Als «computability» getaggte Fragen

Berechenbarkeitstheorie alias Rekursionstheorie.

1
Ein Beispiel, bei dem der kleinste normale Lambda-Term nicht der schnellste ist
Die von -terms sei wie folgt definiert:λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Die Komplexität eines λλ\lambda -terms ttt sei definiert als die Anzahl der parallelen Beta-Reduktionen von txtxt x auf seine normale Form (unter Verwendung eines …
1
Nicht vergleichbare natürliche Zahlen
Das "Spiel mit der größten Zahl" fordert zwei Spieler auf, eine Zahl heimlich aufzuschreiben, und der Gewinner ist die Person, die die größere Zahl aufgeschrieben hat. Das Spiel erlaubt es den Spielern normalerweise, Funktionen aufzuschreiben, die zu einem bestimmten Zeitpunkt ausgewertet werden. Daher wäre es auch akzeptabel , 222222222^{2^{2^{2}}} aufzuschreiben. …
1
Entscheidungsproblem vs. Ungesteigertssatz
Der erste Begriff wird von Hilbert in seiner Arbeit von 1928 verwendet, aber in Gödels späterer Arbeit wird das gleiche als Unempfindlichkeitssatz bezeichnet . Für die heutigen deutschen CS-Forscher scheint es, dass Unbehandlungsssatz häufiger verwendet wird und das Entscheidungsproblem immer noch verstanden wird, aber nicht unbedingt mit dem Halteproblem verbunden …
4
Gibt es eine algorithmische mathematische Analyse?
Es gibt algorithmische Graphentheorie / Zahlentheorie / Kombinatorik / Informationstheorie / Spieltheorie. Gibt es eine algorithmische mathematische Analyse? Laut Wiki umfasst die mathematische Analyse die Theorien der Differenzierung, Integration, Messung, Grenzen, unendlichen Reihen und analytischen Funktionen. Es ist in Ordnung, sich auf die reale Analyse (Wiki) zu konzentrieren , die …
2
Wie kann man die Definition der rechnerischen Komplexität von Real beurteilen, die natürlich oder geeignet ist?
Wie wir wissen, ist die Definition der rechnerischen Komplexität von Algorithmen fast unumstritten, aber die Definition der rechnerischen Komplexität von Real oder der Berechnungsmodelle über Real ist in einem solchen Fall nicht. Wir kennen das Modell und das Modell von Blum und Smales im Buch Computable Analysis. Und anscheinend stimmt …
2
Wie kann ich Knoten berechnen?
Gibt es eine dokumentierte Möglichkeit, Knoten zu berechnen? (Umfänge eingebettet in einen dreidimensionalen euklidischen Raum). Ich meine, einen Datentyp, um sie darzustellen, und einen Algorithmus, um zu bestimmen, ob zwei Instanzen des Datentyps denselben Knoten darstellen. Wenn die Antwort positiv ist, wie steht es dann mit der Komplexität dieses Problems?
2
Entscheidbarkeit der Gleichheit der CFLs
Das folgende Problem ist entscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Das folgende Problem ist unentscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = A * ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Gibt es eine Charakterisierung kontextfreier Sprachen mit entscheidbarer Gleichheit L ( …
1
Wenn ein PDA M gegeben ist, so dass L (M) in DCFL ist, konstruiere ein DPDA N, so dass L (N) = L (M)
Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die akzeptierte Sprache akzeptiert von ?L ( M ) N M.M.MML ( M.)L(M)L(M)N.NNM.MM Ein …
4
Ein endliches Modell finden
ϕϕ\phi ϕϕ\phiϕϕ\phi Der zweite Teil meiner Frage lautet: Gibt es bekannte Einschränkungen, so dass das Problem entscheidbar ist? Beispielsweise kann das Problem für Formeln erster Ordnung mit nur monadischen Prädikaten entscheidbar werden. Oder wenn wir ein monadisches Prädikat plus eine Nachfolgerbeziehung haben. Aber ich kann mir keinen Algorithmus vorstellen, um …
1
Gleichgewicht in einem Haltespiel
Betrachten Sie das folgende 2-Spieler-Spiel: Die Natur wählt zufällig ein Programm aus Jeder Spieler spielt eine Zahl in [0, unendlich] einschließlich als Reaktion auf die Bewegung der Natur Nehmen Sie das Minimum der Anzahl der Spieler und führen Sie das Programm für (bis zu) so viele Schritte aus (es sei …
1
Können Differentialgleichungen in ihre eigenen Komplexitätsklassen eingeteilt werden?
Dank der Komplexität der Berechnungen wurden die Probleme insgesamt klassifiziert. Aber ist es in Differentialgleichungen möglich, Differentialgleichungen in Abhängigkeit von ihrer Rechenstruktur zu klassifizieren? Wenn beispielsweise eine inhomogene Gleichung erster Ordnung vergleichsweise schwer zu lösen ist als eine homogene Gleichung 100. Ordnung, können sie dann als separate Konvexitätsklassen klassifiziert werden, …
1
Reversible Turing-Tarpits?
Bei dieser Frage geht es darum, ob es bekannte reversible Turing-Tarpits gibt, wobei "reversibel" im Sinne von Axelsen und Glück bedeutet und "Tarpit" ein viel informelleres Konzept ist (und möglicherweise keine sehr gute Wortwahl ist). aber ich werde mein Bestes geben, um zu erklären, was ich damit meine. Was ich …
2
Über Inverse 3-SAT
Kontext : Kavvadias und Sideri haben gezeigt, dass das inverse 3-SAT-Problem coNP Complete ist: Gibt es bei einer Reihe von Modellen für n Variablen eine 3-CNF-Formel, bei der ϕ die genaue Menge von Modellen ist? Es entsteht eine unmittelbare Kandidatenformel, die die Konjunktion aller 3-Klauseln ist, die von allen Modellen …
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.