Nurikabe ist ein auf Einschränkungen basierendes Puzzle, das Minesweeper / Nonograms sehr ähnlich ist. Zahlen werden in einem Raster platziert, das mit Ein / Aus-Werten für jede Zelle gefüllt werden soll, wobei jede Zahl einen Bereich verbundener "Ein" -Zellen dieser Größe und einige geringfügige...
Ich habe ein Problem, das sich in NEXP NP befindet und auch durch ein alternierendes TM mit exponentieller Zeit und nur einem Wechsel (beginnend in einem existenziellen Zustand) gelöst werden kann.NPNP^{\text{NP}} Ist etwas über NEXP NP bekannt ? Ist es gleich NEXP oder einer anderen Klasse? Gibt...
Die Vollständigkeit und Solidität in interaktiven Proofsystemen wird informell definiert als: Vollständigkeit: Wenn eine Aussage wahr ist, die ehrlich Prover die überzeugen kann ehrlich Verifizierer dieser Tatsache whp . Solidität: Wenn eine Aussage falsch ist, kann der Betrüger den ehrlichen...
Ich kann mich nicht erinnern, eine Klassentrennung gesehen zu haben, die nicht auf Diagonalisierungs- und Relativierungsergebnissen basiert. Die Diagonalisierung könnte weiterhin verwendet werden, um verbleibende bekannte Klassen zu trennen, da nicht relativierende Argumente weiterhin in der...
1975 hat Miller gezeigt, wie man die Faktorisierung der ganzen Zahl reduziert , um die Periode r einer Funktion f ( x ) = a x zu findenN.NNrrr so, dass f ( x + r ) = f ( x ) mit einigen zufällig ausgewählten a < N . Es ist bekannt, dass Shors Algorithmus r auf einem Quantencomputer...
Was ist über den Phasenübergang bei # P-Complete-Problemen bekannt? Gibt es speziell einen anderen Phasenübergang für # DNF-k-SAT und # CNF-k-SAT? Update: Wie wir wissen, gibt es in Random k-SAT einen Phasenübergang, bei dem die Lösung des Problems von einfach zu schwierig und wieder zu einfach...
Wie betrachtet man ein Problem und einen Grund dafür, dass es wahrscheinlich NP-Intermediate im Gegensatz zu NP-Complete ist? Es ist oft ziemlich einfach, ein Problem zu betrachten und festzustellen, ob es wahrscheinlich NP-vollständig ist oder nicht, aber es scheint mir viel schwieriger zu sein,...
Ich denke, es würde # P-Space heißen, aber ich habe nur einen Artikel gefunden, der es vage erwähnt. Wie wäre es mit der Zählversion von EXP-TIME-Complete-, NEXP-Complete- und EXP-SPACE-Complete-Problemen? Gibt es frühere Arbeiten, die man in Bezug auf diese oder irgendeine Art von Einschluss oder...
Angenommen, wir haben eine Halbgruppe mit Elementen S = { s 1 , s 2 , … , s n } . Unser Ziel ist es , rechen Produkte s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S., ∘ )(S,∘)(S,\circ)S.= { s1, s2, … , S.n}}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesich∘ si + 1∘ ⋯ ∘ sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ...
In verteilten Versionskontrollsystemen (wie Mercurial und Git ) müssen gerichtete azyklische Graphen (DAGs) effizient verglichen werden. Ich bin ein Mercurial-Entwickler, und wir wären sehr daran interessiert, etwas über theoretische Arbeiten zu erfahren, in denen die Zeit- und Netzwerkkomplexität...
Gibt es Probleme, deren durchschnittliche Fallkomplexität mit der Worst-Case-Komplexität übereinstimmt? Was sind die zugrunde liegenden Eigenschaften dieser Probleme, die es ermöglichen, den schlimmsten Fall auf den Durchschnittsfall zu
Ich interessiere mich für eine SAT-Variante, bei der die CNF-Formel monoton ist (keine Variablen werden negiert). Eine solche Formel ist offensichtlich erfüllbar. Angenommen, die Anzahl der wahren Variablen ist ein Maß dafür, wie gut unsere Lösung ist. Wir haben also folgendes Problem: MINIMUM TRUE...
Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht...
Ich arbeite in einem rechnergestützten neurowissenschaftlichen Labor, das die gegenseitige Information zwischen Paaren oder Gruppen von Neuronen quantifiziert. Vor kurzem verlagerte der Chef seinen Fokus auf die Messung der "Komplexität der neuronalen Dynamik". Bei der Verfolgung dieser...
Das 3-Clique-Partitionsproblem ist das Problem der Bestimmung, ob die Eckpunkte eines Graphen, beispielsweise , in 3 Cliquen aufgeteilt werden können. Dieses Problem ist NP-hart durch eine einfache Reduzierung des 3-Färbbarkeitsproblems. Es ist nicht schwer zu erkennen, dass die Antwort auf dieses...
Dana Angluin ( 1987 ; pdf ) definiert ein Lernmodell mit Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einer vorgeschlagenen Funktion). Sie zeigt, dass eine reguläre Sprache, die durch einen minimalen DFA von Zuständen dargestellt wird, in Polynomzeit (wobei die...
Ein direkter Produktsatz besagt informell, dass das Berechnen von Instanzen einer Funktion f schwieriger ist als das einmalige Berechnen von f .kkkffffff Typische direkte Produktsätze (z. B. Yaos XOR-Lemma) betrachten die Komplexität im Durchschnitt und argumentieren (sehr grob), dass fff nicht...
In der Arbeit "Integer-Programmierung mit einer festen Anzahl von Variablen" wurde gezeigt, dass Integer-Programmierungen mit einer konstanten Anzahl von Einschränkungen (oder Variablen) polynomiell lösbar sind. Gilt dies für die
Antwort: nicht bekannt Vielen Dank an alle, die dazu beigetragen haben, diese Frage und die damit verbundenen Definitionen zu verfeinern. Die Definitionen dieses Wikis bildeten den Ausgangspunkt für das neuere TCS-Wiki " Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist?...
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Betrachten Sie nun Schaltungsfamilien mit Orakeltoren - beispielsweise ABABA^B , wobei AAA eine Schaltungskomplexitätsklasse ist, die einen Lograum mit Orakelzugriff auf eine andere Klasse BBB über an die Basis von A angehängte Orakeltore enthält AAA. Gibt...