Als «time-complexity» getaggte Fragen

13
Eingeschränkte Version des Clique-Problems?

Betrachten Sie die folgende Version des Clique-Problems, bei der die Eingabe die Größe nnn und wir aufgefordert werden, eine Clique der Größe kkk . Die Einschränkung besteht darin, dass die Entscheidungsprozedur den Eingabegraphen nicht in eine andere Darstellung ändern und keine andere Darstellung...

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
Beweisen, dass wenn

Ich würde mich sehr über Ihre Hilfe beim Nachweis des Folgenden freuen. Wenn dann ist .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N P.P=NP\mathrm{P}=\mathrm{NP} Hier ist die Klasse aller Sprachen, die von einer...