Презумпция корректности?

[alexeioganesyan]

Иногда на конкурсы составления авторы присылают многоходовые задачи (разных жанров), на полную компьютерную проверку которых ушло бы огромное время даже средствами самых мощных современных компьютеров и шахматных программ. Иными словами, такие задачи можно считать заведомо "непроверяемыми" (побочные решения или дуали в них обнаружить можно лишь "случайно", частичной компьютерной проверкой или ручным поиском решения).

Poll