Ich kämpfe darum, die Beziehung zwischen NP-Intermediate und NP-Complete zu verstehen. Ich weiß, dass, wenn P! = NP, basierend auf Ladners Theorem, eine Klasse von Sprachen in NP existiert, aber nicht in P oder in NP-Complete. Jedes Problem in NP kann auf ein NP-Complete-Problem reduziert werden....
Ich habe irgendwo gelesen , dass der effizienteste Algorithmus gefunden können die Faktoren berechnen Zeit, aber der Code , den ich geschrieben habe , ist O ( n ) oder Möglicherweise O ( n log n ), je nachdem, wie schnell Division und Modul sind. Ich bin mir ziemlich sicher, dass ich irgendwo etwas...
Wenn tatsächlich gleich N P ist , wie würde dies unsere Algorithmen verbessern, um ganze Zahlen schneller zu faktorisieren. Mit anderen Worten, welche Art von Einsicht würde uns diese Tatsache zum besseren Verständnis der Faktorisierung von ganzen Zahlen verhelfen?PP{\sf P}N PNP{\sf...
Ich habe Probleme, mich mit den Problemen PRIME, COMPOSITE, FACTOR und deren Beziehung zur Komplexität auseinanderzusetzen. Ich verstehe, dass PRIME durch den AKS-Primalitätstest als wurde, und ich glaube, dass dies auch für COMPOSITE funktioniert.PPP Wie für FACTOR, FA CTO R = { ( m , r ) :∃ s ,...
Moderne SAT-Löser sind sehr gut darin, viele reale Beispiele für SAT-Instanzen zu lösen. Wir wissen jedoch, wie man harte generiert: Verwenden Sie beispielsweise eine Reduzierung vom Factoring auf SAT und geben Sie die RSA-Nummern als Eingabe an. Dies wirft die Frage auf: Was ist, wenn ich ein...
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 =>...
Ich bin ein junger Informatiker und werde gebeten, eine Arbeit zu schreiben, die eine ganzzahlige Faktorisierung beinhaltet. Daher muss ich mich mit Shors Algorithmus auf Quantencomputern befassen. Für die anderen Algorithmen konnte ich spezifische Gleichungen finden, um die Anzahl der Anweisungen...