Я обнаружил, что многие удовлетворительные проблемы, согласно экземплярам SATLIB SAT, фактически являются неудовлетворительными, поскольку все они содержат одно или несколько пунктов, которые имеют точную антиклазу против них. Например, приведенная ниже ссылка для загрузки для Предложения SATLIB cnf для 20 переменных, 91 предложение - 1000 экземпляров, все выполнимо
имеет 1-й файл, в котором пункты 7-й и 86-й являются точными обратными друг другу, поэтому это уравнение никогда не может быть отклонено. Я уже размещал здесь вопрос по этому поводу, но пока не получил ответа Старый вопрос о P = NP Любые комментарии действительно приветствуются, так как я действительно хотел бы знать, используются ли задачи Benchmark для соревнований или нет, как если бы они были, тогда эти соревнования действительно бесполезны. Итак, мой вопрос: правильно ли я определяю эти ошибки и раскрываю их общественности и прошу комментариев или нет? Также полезны ли эти выводы? Я отправил несколько писем с просьбой ответить от администратора веб-сайта по проблемам тестов, но все еще отсутствие ответа через 2 месяца заставляет меня чувствовать себя плохо.
