Als «promise-problems» getaggte Fragen

NP-Complete-Probleme, die einen effizienten Algorithmus zulassen, unter dem Versprechen einer einzigartigen Lösung

Ich war ein sehr schönes Papier vor kurzem zu lesen Valiant und Vazirani , die zeigt , dass , wenn , dann kann es nicht ein effizienter Algorithmus seinen SAT zu lösen , auch unter dem Versprechen , dass es entweder unerfüllbar ist oder eine eindeutige Lösung . Dies zeigt, dass SAT keinen...

Komplexität eines Constraint-Zufriedenheitsversprechens

(Dies ist das "obere Ende" meiner Frage von vor über 10 Monaten auf cs.stackexchange. Diese Frage und das "untere Ende", das ich hier vor über 8 Monaten gestellt habe und auf das ich auch ein Kopfgeld habe, sind beide unbeantwortet. Diese sind Screenshots davon, wie dieser Beitrag aussehen sollte,...