Kann der Schnittpunkt zweier Sprachen in NP, die nicht NP-vollständig sind, NP-vollständig sein? Kann die Schnittmenge zweier Sprachen in coNP, die nicht coNP vollständig sind, coNP vollständig sein? Kann der Schnittpunkt zweier Sprachen, eine in coNP, aber nicht vollständig, und eine andere in NP,...
Im Expertenproblem geben Ihnen Experten täglich binäre Vorhersagen, und Sie müssen vorhersagen, ob es morgen regnen wird.nnn Das heißt, am Tag kennen Sie die früheren Vorhersagen der Experten, das tatsächliche Wetter für die Tage und die Vorhersagen für morgen und müssen vorhersagen, ob es am...
Mein Verständnis der Church-Turing-These ist: Es begrenzt, was durch einen diskreten und endlichen Prozess berechnet werden kann . Obwohl dies immer noch eine These und kein Theorem ist, würde dies, wenn es widerlegt würde, nicht nur eine Aktualisierung unserer aktuellen Berechnungsmodelle...
Ich habe die Zeitung gelesen Ahmed Younes, " Ein Quantenpolynom- Zeitalgorithmus mit begrenztem Fehler für zwei Graphhalbierungsprobleme ", 2015. doi: 10.1007 / s11128-015-1069-y welches in Springers Zeitschrift Quantum Information Processing veröffentlicht wird. Das Papier scheint zu behaupten,...
Wie in der Arbeit "Monotone Schaltungen für die Mehrheitsfunktion" gezeigt, ist es möglich, eine monotone boolesche Schaltung für die Mehrheitsfunktion auf n Variablen mit der Größe O (n ^ 3) und der Tiefe 5,3 log (n) + O (1) zu konstruieren. http://link.springer.com/chapter/10.1007/11830924_38...
Ich habe die einleitenden Teile einiger Bücher über Semantik der Programmiersprache gelesen (Gordon, Winskel, Nielson und Nielson, Allison, Stump, Schmidt), und obwohl ich verstehe, was sie unter syntaktischen Kategorien oder syntaktischen Domänen verstehen , habe ich es nicht getan. Ich finde...
Möglicherweise fehlt mir etwas Offensichtliches, aber ich kann keine Hinweise auf die Komplexität des Zählens von Übereinstimmungen (nicht perfekte Übereinstimmungen) in zweigeteilten Diagrammen finden. Hier ist das formale Problem: Eingabe: ein zweigeteilter Graph mitE ⊆ U × V.G = ( U., V.,...
Ich versuche, das Papier zu verstehen: Abhängige Typen ohne Zucker, indem ich einen Interpreter und eine Typprüfung für die Sprache implementiere. Dabei habe ich gesehen, dass die unfold t as x -> uSyntax für rekursive Definitionen (die Syntax ist in Abschnitt 2.1 definiert) eine Variable...
Es scheint bekannt zu sein, dass Programmiersprachen keine Summen, Produkte und Nichtterminierungen zusammen haben können. Q1 . Ist das wahr? Unten (oder in dem obigen Link, den ich gegeben habe) ist ein Teilargument. Die generische Programmierung von Hinze mit Adjunctions ignoriert das Problem...
Ich habe diese Frage zuvor auf Programmers.SE ohne Erfolg gestellt. Ich suche nach schriftlichen Lernressourcen zum Entwerfen gleichzeitiger Datenstrukturen. Ich interessiere mich mehr für den Entwurfsprozess (z. B. die Identifizierung der richtigen Invarianten) als für das Endprodukt (eine...
Sie erhalten ein großes binäres Array.nnn Ich möchte zeigen, dass kein Algorithmus Folgendes kann (oder überrascht sein und herausfinden, dass es solche Algorithmen schließlich gibt): 1) Verarbeiten Sie das Eingabearray mit unbegrenzter Zeit, jedoch nur mit -Bits .O(n)O(n)O(n) 2) Beantworten Sie...
Betrachten Sie das folgende Entscheidungsproblem. Sei q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i} und sei (Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n) geeignet Aufzählung der Teilmengen von {0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\} mit höchstens n/4n/4n/4...
Ich suche nach Beispielen für Probleme, bei denen es einfach ist, Algorithmen in der Zeit oder 2 O ( n c ) für einige c > 1 zum Laufen zu bringen , für die jedoch nicht bekannt ist, ob es eine gibt Algorithmus läuft in Zeit 2 O ( n ) .2O ( n logn )2O(nlogn)2^{O(n\log n)}2O (...
Kurz gesagt, meine Frage lautet: Ist Karps ursprünglicher Beweis, der SAT auf 3SAT reduziert, unnötig aufwändig? Die Einzelheiten sind wie folgt. In seiner Arbeit Reducibility Among Combinatorial Problems aus dem Jahr 1972 bewies Karp, dass sich SAT auf 3SAT reduziert, indem er Folgendes...
Viele ausgeglichene Baumstrukturen (rot / schwarze Bäume, Spreizbäume usw.) und einige andere sortierte Wörterbuchstrukturen (Skiplisten) unterstützen eine Verknüpfungsoperation, die zwei Wörterbücher umfasst, in denen alle Schlüssel in der ersten Struktur kleiner sind als alle Schlüssel in der...
Die Pfadbreite des vollständigen zweigliedrigen Graphen mit Teilmengen der Größe 3 und n beträgt höchstens 3 . Ich bin daran interessiert, dieses Diagramm nach folgendem Verfahren zu planarisieren:K3,nK3,nK_{3,n}333nnn333 Zeichnen Sie es in der Ebene so, dass keine Kante einen Scheitelpunkt in...
Was ist über die Komplexität von NP-harten Problemen in Cayley-Graphen bekannt? Angenommen, der Graph wird explizit als Multiplikationstabelle der Gruppe und als Liste der Generatoren angegeben. Die Eingabelänge entspricht also der Größe des Diagramms. Können wir NP-vollständige Probleme in solchen...
Nachdem ich Effekte als Sitzungen, Sitzungen als Effekte gelesen hatte , fragte ich mich, wie ein Äquivalenznachweis zwischen beiden stattfinden würde oder sogar ein Beweis dafür, dass Sitzungstypen ein Typ- und Effektsystem sind. Wie kann man allgemeiner eine Beziehung (z. B. Äquivalenz) zwischen...
Was ist die erste Veröffentlichung des Konzepts zur Optimierung der Zusammenführungssortierung nach Identifizieren von Sequenzen aufeinanderfolgender Positionen in aufsteigender Reihenfolge (auch bekannt als Läufe) in linearer Zeit; dann wiederholtes Zusammenführen der beiden kürzesten derartigen...
Sei ein Graphparameter (zB Durchmesser, Dominanzzahl usw.)sss Eine Familie von Graphen hat die Eigenschaft -treewidth, wenn es eine Funktion so dass für jeden Graphen die Baumbreite von höchstens . s f G ∈ F G f ( s )F.F.\mathcal{F}sssfffG ∈ F.G∈F.G\in \mathcal{F}GGGf( s )f(s)f(s) Zum Beispiel sei...