C'è un vecchio trucco per scrivere un algoritmo che, se P = NP, risolve SAT in tempo polinomiale. In sostanza, uno elenca tutte le macchine del tempo polinomiale e le attività multiple su di esse.
Esiste un analogo trucco per le funzioni a senso unico (o anche per le funzioni botola a senso unico)? Cioè, possiamo scrivere una funzione che, se esistono funzioni unidirezionali, è necessariamente una funzione unidirezionale?
Non sembra esserci un modo semplice per imitare il trucco P = NP. In tal caso, possiamo riconoscere rapidamente una soluzione quando ne otteniamo una. Ma se multi-task su tutte le funzioni temporali polinomiali, non c'è modo ovvio di riconoscere una funzione unidirezionale quando arrivo a una.
Se la risposta alla domanda precedente è no, c'è qualche tipo di argomento sul perché non possiamo farlo? Forse scrivere una simile funzione proverebbe in qualche modo che esistono funzioni unidirezionali?