Просто читал вопрос, получивший большое количество голосов относительно эмуляторов и заявление Доказано, что поиск всего кода в заданном двоичном файле эквивалентен проблеме остановки. Действительно застрял на мне. Конечно, это не...

Я придумал алгоритм решения проблемы 3SAT с помощью следующего подхода: 1) Возьмите все предложения в уравнении cnf, которые имеют хотя бы одну общую переменную. Найдите все такие комбинации и поместите их в список под названием «Пересечение»....