Welche konkreten und überzeugenden Anwendungen zur Abschätzung des Volumens von konvexen Polyedern wurden in den neueren Arbeiten zu Random-Walk-Methoden untersucht? Diese Arbeiten zur Volumenschätzung erwähnen die numerische Integration als eine Motivation. Was sind Beispiele für Integrale, die...
Dieses Papier gibt einen Beweis dafür, dass es in einem Spiel mit Türen und Druckplatten PSPACE-schwer ist, zu bestimmen, ob der Avatar (des Spielers) einen bestimmten Ort erreichen kann oder nicht. Dies wird durch eine Reduktion von TQBF bewiesen , und die Länge der resultierenden Lösungen hängt...
Befindet sich eine Warteschlange mit ganzzahliger Priorität, die Leerzeichen mit den folgenden Operationen verwendet, und zwar im ungünstigsten Fall und ohne Zugriff auf die Zufälligkeit:O ( n )Ö(n)O(n) createEmptyQueuein für eine Konstante c .O ( l gcU)Ö(lGcU)O(lg^c U)ccc insertin .O ( 1 )Ö(1)O(1)...
Restliche Automaten mit endlichen Zuständen (RFSAs, definiert in [DLT02]) sind NFAs, die einige nette Merkmale gemeinsam mit DFAs haben. Insbesondere gibt es immer einen kanonischen RFSA mit minimaler Größe für jede reguläre Sprache, und die Sprache, die von jedem Zustand im RFSA erkannt wird, ist...
Zwischen jeder Ebene der Polynomhierarchie sind verschiedene Komplexitätsklassen enthalten, einschließlich ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k und & ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . In Ermangelung einer besseren Terminologie werde ich diese und...
Ich habe kürzlich angefangen, viel über die Komplexität von Beweisen zu lesen und habe das, was ich gelesen habe, wirklich genossen. Ich würde wirklich gerne mehr darüber erfahren, aber es fällt mir zunächst schwer, ein gutes Anfängermaterial zu finden. Würde jemand in der Lage sein, einige...
Ganz ähnlich zu meiner zuvor geposteten Frage . Diesmal ist das Diagramm jedoch ungerichtet. Gegeben Ein ungerichteter Graph GGG ohne Mehrkanten oder Schleifen, Ein Quellscheitel ,sss Ein Zielscheitelpunkt ,ttt Maximale Weglänge lll , Ich suche nach G′G′G' - Ein Teilgraph von GGG , der einen...
Ich versuche zu verstehen, zu welcher Komplexitätsklasse das folgende Problem gehört: Exponentiating Polynomial Root Problem (EPRP) Sei ein Polynom mit deg ( p ) ≥ 0 mit Koeffizienten, die aus einem endlichen Feld G F ( q ) mit q einer Primzahl gezogen werden, und r eine Grundwurzel für dieses...
Was sind die bekannten Grenzen der Entscheidbarkeit des Vergleichs der Wachstumsrate von Funktionen von ? Ich denke hier an die Entscheidbarkeit von Fragen wie "Ist x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" oder "Ist 2 lg * x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg(x+2)⌋x^x...
Angenommen, P NP.≠≠\ne Ladners Theorem besagt, dass es NP-Zwischenprobleme gibt (Probleme in NP, die weder in P noch in NP-Complete vorliegen). Ich habe einige verschleierte Online-Referenzen gefunden, die darauf hindeuten (ich denke), dass es in NPI viele "Ebenen" gegenseitig reduzierbarer...
Ich suche bibliografische Referenzen für den folgenden Algorithmus / das folgende Problem: Ich habe es "BiSelect" oder "t-ary Select" oder "Select in Union of Sorted Arrays" genannt, aber ich denke, es wurde zuvor unter einem anderen Namen eingeführt? Problem Betrachten Sie das folgende Problem:...
Ich habe Freyds Artikel "Algebraically Complete Categories" in der berühmten Como90 gelesen und habe zwei Fragen zu dem Begriff der algebraischen Kompaktheit, den er in diesem Artikel definiert hat. (Wenn Sie mit der Definition nicht vertraut sind, ist es hier: Eine Kategorie heißt algebraisch...
Instanz: Ein ungerichteter Graph GGG mit zwei getrennten Eckpunkten s≠ts≠ts\neq t und einer ganzen Zahl k≥2k≥2k\geq 2 . Frage: Gibt es in G einen -s−ts−ts-t Pfad , so dass der Pfad höchstens k Eckpunkte berührt ? (Ein Scheitelpunkt wird vom Pfad berührt, wenn sich der Scheitelpunkt entweder auf dem...
Die Definition von "algebraische poset" in Continuous Gitter und Domains , Definition I-4.2, sagt , dass für alle ,x∈Lx∈Lx \in L die Menge sollte eine gerichtete Menge sein, undA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L)...
Eine Grapheneigenschaft wird als erblich bezeichnet, wenn sie in Bezug auf das Löschen von Eckpunkten geschlossen wird (dh alle induzierten Untergraphen erben die Eigenschaft). Eine Grapheneigenschaft wird als additiv bezeichnet, wenn sie in Bezug auf disjunkte Gewerkschaften geschlossen ist. Es...
Ein Hauptproblem bei TCS ist das Problem, eine bleibende Karte als Determinante auszudrücken. Ich habe Agrawals Artikel Determinant Versus Permanent gelesen und in einem Absatz behauptet er, das umgekehrte Problem sei einfach. Es ist leicht zu erkennen, dass die Determinante einer Matrix als die...
Das Johnson-Lindenstrauss-Lemma ermöglicht die Darstellung von Punkten in einem hochdimensionalen Raum in Punkte in einer niedrigeren Dimension. Wenn Sie am besten passende Räume mit niedrigeren Dimensionen finden, besteht eine Standardtechnik darin, die Singularwertzerlegung zu finden und dann den...
Dyck-Sprachen durch die folgende Grammatik S → S S definiertDyck(k)Dyck(k)\mathsf{Dyck}(k) über der Menge der Symbole { ( 1 , … , ( k , ) 1 , … , ) k } . Intuitiv sind Dyck-Sprachen die Sprachen der ausgeglichenen Klammern von kS→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S...
Tut NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}halten? Klar NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , aber es scheint mir, dass NP∩coNPNP∩coNP\mathsf{NP\cap coNP} "deterministisch" ist, was mich glauben lässt, dass dies wahr ist. Gibt es einen einfachen Beweis (oder vielleicht nur per...
Eine schnelle Suche im Internet hat mich zu der Annahme geführt, dass "APXHardness impliziert, dass für ein Problem kein QPTAS vorhanden ist, es sei denn, [eine Komplexitätsklasse] ist in einer [anderen Komplexitätsklasse] enthalten", und das ist auch bekannt! Es scheint, dass jeder außer mir das...