Bei einer bestimmten von Personen möchte ich sie zu einer Abfolge von Mahlzeiten an Tischen der Größe . (Natürlich gibt es genug Tische, an denen alle zu jeder Mahlzeit Platz haben.) Ich möchte dies so arrangieren, dass niemand zweimal mit derselben Person einen Tisch teilt. Typische Werte sind und...
Ich habe dies früher auf MSE gepostet , aber es wurde vorgeschlagen, dass es hier einen besseren Ort gibt, um zu fragen. Der universelle Näherungssatz besagt, dass "das Standard-Multilayer-Feed-Forward-Netzwerk mit einer einzelnen verborgenen Schicht, die eine begrenzte Anzahl von verborgenen...
Nach dem, was ich verstehe (was sehr wenig ist, bitte korrigieren Sie mich, wo ich mich irre!), Beschäftigt sich die Theorie der Programmiersprachen oft mit "intuitionistischen" Beweisen. Nach meiner eigenen Interpretation müssen wir die Konsequenzen der Berechnung für Logik und Beweisbarkeit ernst...
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges...
Betrachten Sie die folgende Rechenaufgabe: Wir wollen eine 3-SAT-Formel von Variablen (eine Variante: n Variablen) abtastennnnnnn Klauseln) in Bezug auf die gleichmäßige Wahrscheinlichkeitsverteilung abtasten, vorausgesetzt, die Formel ist erfüllbar:mmm F1: Kann dies mit einem klassischen Computer...
Was sind die überzeugenden Gründe für die Annahme von ? L ist die Klasse von Log-Space-Algorithmen mit Zeigern auf die Eingabe.L≠PL≠PL\neq P Angenommen, L = P für den Moment. Wie würde ein Log-Space-Algorithmus für ein P-complete-Problem in seinen allgemeinen Umrissen
Betrachten Sie Optimierungsprobleme der folgenden Form. Sei eine polynomiell berechenbare Funktion, die eine Zeichenkette in eine rationale Zahl abbildet . Das Optimierungsproblem lautet: Was ist der Maximalwert von über Bit-Strings ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Nehmen wir an,...
Ich weiß, dass trivialerweise die OR-Funktion für Variablen genau durch das Polynom als solches dargestellt werden kann: , das vom Grad .nnn p ( x 1 , ... , x n ) p ( x 1 , ... , x n ) = 1 - ≤ n i = 1 ( 1 - x ix1, … , Xnx1,…,xnx_1,\ldots, x_np ( x1, … , Xn)p(x1,…,xn)p(x_1,\ldots,x_n) np ( x1, … ,...
Für ein festes endliches Alphabet , eine formale Sprache über ist regelmäßig , wenn es einen gibt deterministische endliche Automaten (DFA) über , die akzeptiert genau .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Ich interessiere mich für Sprachen, die "fast" regelmäßig sind, in dem Sinne, dass sie von...
Eine wichtige Veröffentlichung von Childs et al.führte das "Problem der verbundenen Bäume" ein: ein Problem, das eine exponentielle Quantenbeschleunigung zulässt, die mit keinem anderen bekannten Problem vergleichbar ist. In diesem Problem erhalten wir einen exponentiell großen Graphen wie den...
Ich versuche derzeit, EXPSPACE-vollständige Probleme zu finden (hauptsächlich, um Inspiration für eine Reduzierung zu finden), und ich bin überrascht über die geringe Anzahl an Ergebnissen, die sich ergeben. Bisher habe ich diese gefunden, und ich habe Probleme, die Liste zu erweitern:...
Ein Polynom f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) ist eine monotone Projektion eines Polynoms g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) wenn mmm = poly (n)(n)(n) , und es gibt eine Zuordnung π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} so dass . Das...
Mit zwei Zeichenfolgen x und y möchte ich einen DFA mit einer Mindestgröße erstellen, der x akzeptiert und y ablehnt. Eine Möglichkeit hierfür ist die Brute-Force-Suche. Sie zählen die DFAs beginnend mit den kleinsten auf. Sie probieren jeden DFA aus, bis Sie einen finden, der x akzeptiert und y...
Es sei zwei reguläre Sprachen, die von den NFAs als Eingabe gegeben werden.L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Angenommen, wir möchten überprüfen, ob . Dies kann natürlich durch einen quadratischen Algorithmus geschehen, der den Produktautomaten von berechnet , aber ich habe mich gefragt, ob etwas...
Ich habe in unzähligen Artikeln gelesen, dass die Bestimmung der Cheeger-Konstante eines Graphen -hard ist. Es scheint ein Volkstheorem zu sein, aber ich habe weder ein Zitat noch einen Beweis für diese Aussage gefunden. Wem soll ich das zuschreiben? In einer alten Arbeit (Isoperimetric Numbers of...
Motiviert durch Fortnows Kommentar in meinem Beitrag, den Beweis, dass das Graphisomorphismus- Problem nicht vollständig istNPNPNP , und durch die Tatsache, dass ein Hauptkandidat für Zwischenprobleme ist (weder vollständig noch für ), interessiere ich mich für bekannte Beweise dass nicht in...
Derzeit verfügt Bitcoin über ein Proof-of-Work-System (PoW) mit SHA256. Andere Hash-Funktionen verwenden einen Proof-of-Work-System. Ist es möglich, ein Entscheidungsproblem in der Knotentheorie wie die Knotenerkennung zu verwenden und es zu einem Beweis der Arbeitsfunktion zu machen? Hat das auch...
Für eine konstante , kann man in linearer Zeit, da ein Eingangs Graph bestimmen G , ob seine Baumweite IS ≤ k . Wenn jedoch sowohl k als auch G als Eingabe angegeben werden, ist das Problem NP-schwer. ( Quelle ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Wenn der Eingabediagramm jedoch planar ist ,...
Die Komplexitätstheorie unterscheidet anhand von Konzepten wie der NP-Vollständigkeit zwischen Rechenproblemen mit relativ effizienten Lösungen und solchen, die nicht zu lösen sind. "Feinkörnige" Komplexität zielt darauf ab, diese qualitative Unterscheidung in einen quantitativen Leitfaden für die...
Der Zugriff auf ein -Orakel würde für alles in N P - P (vorausgesetzt, die Menge ist nicht leer) eine bedeutende, superpolynomielle Beschleunigung bewirken. Es ist jedoch weniger klar, wie sehr P von diesem Zugang zum Orakel profitieren würde . Natürlich kann die Beschleunigung in P kein...