Последние новости
05.03.24
Проведение финального тура
01.01.24
Предварительные результаты
25.12.23
Отборочный этап завершён.
18.12.23
Отборочный этап продлён по 24 декабря включительно
28.11.23
Начало отборочного этапа 11 декабря. Примеры работы с манипуляторами
Запишите при помощи языка исчисления предикатов утверждения, что рядом с каждым человеком в очереди стоит кто-то, голосующий "за".
На картинке синий цвет обозначает человека, голосующего «за», красный — голосующего «против». Левая картинка представляет из себя пример правильной очереди, правая - неправильной.
Манипулятор позволяет создавать в том числе картинки, не являющиеся очередями. Их не надо учитывать и использовать при решении задачи.