Als «probabilistic-algorithms» getaggte Fragen

11
Verfeinerungsarten ableiten

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

10
Würde

Wenn ist, kollabiert die Hierarchie auf ihre zweite Ebene (nach dem Karp-Lipton-Theorem). Aber was ist mit und ?N P c o N P.R P = N P.RP=NP\sf RP = NPN P.NP\sf NPc o N P.coNP\sf coNP Ich habe versucht zu beweisen, dass in (die andere Richtung ist trivial, wenn ), aber ohne Erfolg, und ich bin mir...