Гостевая книга

		ИНФОРМАЦИЯ
	О школе Правила Олимпиады Фотоальбом Гостевая Форум Архив олимпиад

		ЗАДАЧНИК
	Архив задач Состояние системы Рейтинг Курсы

		МЕТОДИЧКА
	Новичкам Работа в системе Курсы ККДП Дистрибутивы Статьи Ссылки

СТАТИСТИКА

ОБСУЖДЕНИЕ ЗАДАЧИ "ДОКАЗАТЕЛЬСТВО В HOL"

1 Иван Михнович, 06 мая 2019 г. 17:55:08

Классная задача, мне очень понравилась :о) Завалиться на втором тесте можно если перепутать X и Y во входных данных.

2 Чернышов Андрей Максимович, 17 июля 2018 г. 9:04:06

На всякий случай: первые тесты в этой задаче не совпадают с тестами в условии.