Als «decidability» getaggte Fragen

3
Ist es möglich zu berechnen, ob zwei Funktionen in der Erweiterung gleich sind?
Wenn Sie zwei Funktionen haben, die einen unterschiedlichen Sortieralgorithmus implementieren, können Sie dann anhand des Quellcodes schließen, dass beide dieselben externen Eigenschaften haben? Bedeutet das, dass beide eine mögliche unsortierte Sequenz als Eingabe und eine sortierte Sequenz als Ausgabe haben? Wie könnten diese externen Eigenschaften durch den Quellcode bestimmt werden? …
1
Entscheidbarkeit der induktiv invarianten Existenz in der Presburger-Arithmetik
Problem: Betrachten Sie eine endliche Anzahl von Steuerzuständen (einschließlich eines "anfänglichen" und eines "schlechten" Zustands), eine endliche Anzahl von ganzzahligen Variablen und für jedes geordnete Paar von Zuständen eine Übergangsbeziehung, die in der Presburger-Arithmetik ausgedrückt wird. Entscheiden Sie, ob es eine induktive Invariante gibt (= stabil durch Nachzustände der Übergangsrelation), …
1
Gibt es natürliche Verallgemeinerungen von P gegenüber NP?
Akzeptierte Antwort Scott Aaronsons Antwort wurde "akzeptiert" (hauptsächlich, weil es die einzige Antwort ist!) Zusammenfassung der Antwort in einem Satz Plausibel natürliche Verallgemeinerungen der Frage P gegen NP sind offensichtlich nicht einfacher zu lösen als P gegen NP selbst. Ein Hindernis für eine allgemeine Antwort Die ursprüngliche Frage ging davon …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.