4
Esempi in cui l'unicità della soluzione semplifica la ricerca
La classe di complessitàUPUP\mathsf{UP} costituita da queiproblemiNPNP\mathsf{NP} che possono essere decisi da una macchina di Turing non deterministica temporale polinomiale che ha al massimo un percorso computazionale accettante. Cioè, la soluzione, se presente, èunicain questo senso. Si ritiene altamente improbabile che tutti isiano in, perché dalteorema Valiant-Vaziraniquesto implicherebbe il collasso.UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …