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