Я изучаю и пытаюсь решить 3SAT с использованием грубой силы и N.D.M, но не мог этого сделать. может кто-нибудь, пожалуйста, объясните мне это подробно и скажите мне базовый алгоритм решения 3SAT с использованием грубой силы и N.D.M? спасибоКак решить 3SAT с использованием грубой силы и N.D.M
Решение одной грубой силы - это просто попробовать все возможные входы. Поэтому попытаться решить (A | B) & (~ A | C) & (~ B) & (~ C) try 000,001,010,011,100,101,110,111 где xyz A = x, B = y, C = z.
Если по NDM вы имеете в виду недетерминированную машину, как в https://en.wikipedia.org/wiki/Non-deterministic_Turing_machine, здесь есть разные способы мышления. Один из них заключается в том, что вы должны платить за вычислительное время, но в контракте есть лазейка, где, если вы попробуете все возможные входы, вы получите только самую долгую попытку этих попыток - все остальные свободны.
Какой N.D.M. Вы имеете в виду? –