Auf dieser Site gibt es viele Varianten der Frage, ob TMs das Stoppproblem entscheiden können, ob für alle anderen TMs oder bestimmte Teilmengen. Diese Frage ist etwas anders. Es wird gefragt, ob die Tatsache, dass das Stoppproblem für alle TMs gilt, von einem TM entschieden werden kann. Ich...
Ich möchte kürzesten Weg ( k wäre kleiner als 10) zwischen allen Paaren in einem Graphen erzeugen . Die Grafik ist (eigentlich eine U-Bahn-Karte):kkkkkk positiv gewichtet ungerichtet spärlich mit etwa 100 Knoten Mein aktueller Plan ist es, kürzestes Routingkkk auf jedes Paar anzuwenden ; Ich suche...
Bei einer Triangulation (ohne Steiner-Punkte) eines einfachen Polygons kann man das Dual dieser Triangulation betrachten, das wie folgt definiert ist. Wir erstellen einen Scheitelpunkt für jedes Dreieck in unserer Triangulation und verbinden zwei Scheitelpunkte, wenn sich die entsprechenden...
Es gibt eine berühmte und elegante Reduktion vom Problem der maximalen zweiteiligen Anpassung zum Problem des maximalen Durchflusses: Wir erstellen ein Netzwerk mit einem Quellknoten , einem Endknoten und einem Knoten für jedes zuzuordnende Element und fügen dann geeignete Kanten hinzu.sssttt Es...
Normalerweise sehe ich, dass sich in der strukturellen Darstellung der operativen Semantik für die while-Schleife der Programmstatus nicht ändert: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then...
Die Antworten auf diese Frage in Crypto Stack Exchange besagen im Wesentlichen, dass wir zur Messung der Komplexität des Logarithmusproblems die Länge der Zahl berücksichtigen müssen, die die Größe der Gruppe darstellt. Es scheint willkürlich, warum wählen wir nicht die Größe der Gruppe als...
Ein zweigeteilter Graph ist planar, wenn er keine oder K 5 Minderjährigen hat.K.3 , 3K3,3K_{3, 3}K.5K5K_5 Ich suche nach notwendigen oder / und ausreichenden Bedingungen, um planare Zeichnungen ohne Kanten zu ermöglichen, die Sätze von Eckpunkten "umrunden". Dies sind Zeichnungen, die Folgendes...
Ich habe dies auf MathUnderflow gepostet, aber keine Antworten erhalten. Ich dachte, ich würde es hier versuchen. Ich lese die alte Arbeit von Rabin und Fischer [wird nach Möglichkeit einen Link veröffentlichen], wo unter anderem die doppelt exponentielle Komplexität der Presburger-Arithmetik...
Ich habe mich kürzlich gefragt, was passieren würde, wenn wir kontextfreien Grammatiken eine unendliche Anzahl von Regeln erlauben würden. Wenn wir willkürlich solche unendlichen Regelsätze zulassen würden, könnte jede Sprache L.LL über einem Alphabet ΣΣ\Sigma durch ein CFG G = ( { S.} , Σ , R ,...
In Chris Okasakis Artikel " Abflachen von Kombinatoren: Überleben ohne Klammern " zeigt er, dass zwei Kombinatoren ausreichend und notwendig sind, um Turing-vollständige Ausdrücke zu codieren, ohne dass ein Anwendungsoperator oder Klammern erforderlich sind. Im Vergleich zu John Trumps Codierungen...
Ich versuche, einen Beweis für Folgendes zu finden: Für jede Sprache gibt es eine Sprache B, so dass A ≤ T B, aber B ≰ T A ist .EINAAB.BBA ≤T.B.A≤TBA \le_{\mathrm{T}} B≰T.EIN≰TA\nleq_{\mathrm{T}} A Ich dachte zu lassen seine A T M , aber ich merke , dass nicht alle Sprachen sind Turing -...
Angenommen, Sie erweitern die Konstruktionsrechnung um "Löcher", dh um unvollständige Codeteile, die Sie noch nicht ausgefüllt haben. Ich frage mich, ob es einen Algorithmus gibt, mit dem diese Rollen automatisch besetzt werden können. Zum Beispiel (unter Verwendung der Morte -Syntax): Fall A: λ...
Nach dieser Quelle ist Chaitins Konstante normal.ΩΩ\Omega Jede Stoppwahrscheinlichkeit ist eine normale und transzendentale reelle Zahl, die nicht berechenbar ist, was bedeutet, dass es keinen Algorithmus gibt, um ihre Ziffern zu berechnen. In der Tat ist jede Stoppwahrscheinlichkeit...
Ich suche nach einer formalen Definition einer Datei, die nicht nur Speicher enthält, sondern auch Abstraktionen wie procfs oder / dev / null (oder eine auf Sicherungen basierende Datei), die sich nicht auf Speicher beziehen. Bisher weiß ich, dass alle Dateien Abstraktionen sind, die kann...
Um dieses Problem anzugehen, habe ich das zuerst beobachtet ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Wobei die Anzahl der (nicht unbedingt primären) Teiler von . Wenn die...
Ich lese diesen bekannten Artikel über Universen in der Typentheorie . Zuerst habe ich etwas Ähnliches wie Setωin Agda erwartet , aber es stellt sich heraus, dass es noch etwas allgemeineres ist. Es scheint die Universumskonstruktion von einem einfachen induktiv-rekursiven Typ auf ein Bindemittel...
Es gibt einen Satz, der besagt: Bei einem endlichen Zustandsautomaten mit Zuständen, wenn es eine Zeichenkette deren Länge erfüllt dann ist die vom Automaten akzeptierte Sprache unendlich.nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n- -1n \leq |w| \leq 2n-1 Ich verstehe die Einschränkung , aber ich verstehe...
Die folgende kontextfreie Grammatik zeigt eine Mehrdeutigkeit vom Typ "Dangling else" (stellen Sie sich vor, steht für und b steht für und c steht für eine andere Art von Anweisung oder Block): S.einaaif expr thenbbbelseccc Zum Beispiel kannaacbcals(a(acbc))oder als(a(ac)bc)analysiert werden(dies...
In Spanner, TrueTime & The CAP Theorem schreibt Eric Brewer: Eine subtile Sache bei Spanner ist, dass es Serialisierbarkeit durch Sperren erhält, aber externe Konsistenz (ähnlich wie Linearisierbarkeit ) durch TrueTime [ Hervorhebung hinzugefügt ]. Was ist die Definition der externen Konsistenz...
Vorausgesetzt, dass: Eine Sprache mit sehr ausdrucksstarken Typsystemen (z. B. Idris ) kann auch Escape-Mechanismen wie Fremdfunktionsschnittstellen / unsafePerformIO aufweisen. Es gibt Proof-Assistenten, mit denen einige Eigenschaften eines Programms bewiesen werden können, das in einer Sprache...