Die Domänentheorie liefert eine erstaunliche Theorie der Berechenbarkeit bei Vorhandensein einfacher Typen. Aber wenn parametrischer Polymorphismus hinzugefügt wird, scheint es keine schöne Theorie zu geben, die erklärt, was ganz so gut vor sich geht, wie die Domänentheorie die Berechnung über...
Das eigentliche Problem, mit dem ich konfrontiert bin, ist das Folgende. INSTANZ : Ich habe Mengen und und Matrix für alle und .K : = { 1 , … , k } a i j > 0 i ∈ K j ∈ N.N:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\}K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\}aij>0aij>0a_{ij}>0i∈Ki∈Ki\in Kj∈Nj∈Nj\in N...
Sobald wir einen polynomialzeitdeterministischen Prüfer V (Eingabe, Zertifikat) festgelegt haben, ist das entsprechende NP-Problem die Frage: Existiert für diese Eingabe ein Zertifikat (Polynomgröße), sodass V (Eingabe, Zertifikat) True zurückgibt? Das damit verbundene Zählproblem (Klasse #P) ist:...
Ich bin mir nicht sicher, ob es der richtige Ort für diese Frage ist. Tut mir leid, wenn ich etwas vom Thema abweiche. Die Auswahl einer geeigneten Sprache für den ersten Programmierkurs ist eines der wichtigsten Dinge, die jeder verwandte Lehrer / Dozent berücksichtigen sollte. vor allem, wenn die...
Unter der Annahme , yyy ist eine Boolesche Variable in einem Programm ILP (dh , st ) und , begrenzt ist ganzzahlige Variablen zwischen und . Ich möchte die folgende Einschränkung auf hoher Ebene codieren:0 < = y < = 1 x 1 x 2 0 M.y∈Zy∈Zy \in Z0<=y<=10<=y<=10...
Ich lese die Programmiersprache The Rust und habe folgende Passage gefunden: Denken Sie daran, dass das Schreiben in eine Struktur keine atomare Operation ist und viele Funktionen wie vec.push()z. B. intern neu zugewiesen werden können und unsicheres Verhalten verursachen können, sodass selbst...
Meine Frage lautet wie folgt. Angenommen, ist ein NP-hartes Problem. Ist es bei einer beliebigen Instanz I von Π und der Annahme, dass ein Gegner weiß, dass diese Instanz leicht zu lösen ist, möglich, einen deterministischen Polynom-Zeit-Algorithmus zu finden, um diese bestimmte Instanz I zu lösen...
Sei eine Sammlung von Zeichenfolgen über dem Alphabet , die insgesamt Symbole enthalten .EINAA{ 0 , … , m - 1 }{0,…,m−1}\{0,\ldots,m-1\}nnn Ihre Aufgabe ist es, jede der Zeichenfolgen intern zu sortieren und dann die resultierenden Zeichenfolgen in lexikografischer Reihenfolge zu sortieren. (Ihr...
In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der...
Ich habe kürzlich etwas über Q-Learning gelernt, eine verstärkte Lerntechnik, die den erwarteten Wert einer Aktion in einem Zustand direkt abschätzt. Ich frage mich, ob es Techniken gibt, um "dynamisches Lernen" durchzuführen, um die Dynamik eines Systems abzuschätzen. Ein "Dynamic Learning" -Agent...
Ich habe die folgende Frage. Sind die SAT-Löser deterministisch? Ich meine zum Beispiel den miniSAT- und DPLL- Algorithmus. Sind sie völlig deterministisch? Wenn diese Algorithmen unSAT zurückgeben, bedeutet dies, dass die Lösung sicherlich nicht
Ich versuche zu verstehen, wie ich ein Array von Elementen sortieren kann, wenn nur \ log n nicht vorhanden ist.log nnnnLognLogn\log n Ich habe gehört, dass das Sortieren eines Arrays mit höchstens ichichI Inversionen die Komplexität O ( n log( Ich/ n))Ö(nLog(ich/.n))O(n\log(I/n)) . Da es...
Ich studiere reine Typensysteme, insbesondere die Berechnung von Konstruktionen, und versuche, eine Codierung für rekursive Typen darauf zu verwenden, was laut Philip Wadler möglich ist . Als Beispiel verwende ich die Morte Haskell-Bibliothek , um Scott-Ziffern zu codieren, wie sie von Cardelli...
Wie gesagt, ich möchte ein Programm erstellen, um n äquidistante Punkte in einem euklidischen Raum zu erzeugen. Von dem was ich weiß 1d: alle paar Punkte 2d: alle gleichseitigen Dreiecke 3d: alle gleichseitigen Tetraeder bis zu 3d: Ich nehme an, es wird ein gleichseitiges Hypertriangle genannt Mein...
Ich nehme an, dass .Σ={a}Σ={a}\Sigma = \{a\} Beweisen oder widerlegen: Für jedes Polynom mit Koeffizienten in gilt L = \ {a ^ {p (n)} \; | \; n \ in \ mathbb {N} \} ist eine kontextsensitive Sprache.p(n)p(n)p(n)NN\mathbb{N}L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} Es...
Dies ist etwas, das ich nicht finden konnte - aber ich fand es immer interessant, dass das Pump-Lemma nur ein Lemma ist (zumal es den gleichen Namen für reguläre Sprachen, kontextfreie Sprachen usw. hat). Was ist das für ein
Mein anfänglicher Algorithmus: Vergleichen Sie Element 0 mit jedem anderen Element und verfolgen Sie, wie viele Elemente kleiner sind. Wiederholen Sie diesen Vorgang für jedes Element, bis ein Element gefunden wird, das größer als genau (k-1) Elemente ist. Ich gehe davon aus, dass dies im...
Bei einem DFA A bezeichne L (A) die Anzahl der Wörter, die A akzeptiert. Ich denke, es ist einfach, L (A) zu berechnen: Übersetzen Sie die Codierung von A in einen regulären Ausdruck. Wenn der Kleene-Stern irgendwo im Ausdruck erscheint, ist die Sprache unendlich. Sonst: Gehen Sie alle...
Ich habe mir kürzlich den folgenden Beweis ausgedacht, dass L = P P = NP impliziert. Angenommen, L = P. Sei A ein Problem in NP. Nach der Verifiziererdefinition von NP hat jede positive Lösung für A einen Zeugen, der in Polynomzeit verifiziert werden kann. Da P = L ist, kann dieselbe Lösung im...
Nach meiner heutigen Theorie der Berechnungstheorie kam mir die Frage in den Sinn: Wenn ein Problem mit einem endlichen Automaten gelöst werden kann, gehört dieses Problem zu P. Ich denke, es ist wahr, da Automaten sehr einfache Sprachen erkennen, würden alle diese Sprachen Polynomalgorithmen...