Подойдёт ли в качестве решения P=NP описание механизма реализующего решение? Или нужно обязательно делать алгоритм?

Question

[gghaker]

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

Answer 1

[sim3x]

Нет