Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Härte von Vertex-Separatoren
Für einen gegebenen Graphen fragt das Separatorproblem, ob ein Scheitelpunkt oder eine Kantenmenge mit kleiner Kardinalität (oder Gewichtung) existiert, deren Entfernungspartitionen G in zwei disjunkte Graphen von ungefähr gleicher Größe unterteilt sind. Dies wird als Vertex Separator Problem bezeichnet, wenn die entfernte Menge eine Vertexmenge ist, und als Edge Separator …
1
Betrachten Menschen die Schleifenverschachtelung in booleschen Schaltkreisen?
Während eines EE-Studiums besuchte ich einige Vorlesungen, die eine schöne Charakterisierung der Booleschen Schaltkreise hinsichtlich der Anzahl der verschachtelten Schleifen darstellten. In der Komplexität werden boolesche Schaltungen oft als Dags angesehen, aber in realen Hardwarezyklen sind sie üblich. Nun, modulo einige technische Details in Bezug darauf, was eine Schleife ist …
3
Zwei Varianten von NP
Hier sind zwei Variationen der Definition von NP. Sie definieren (mit ziemlicher Sicherheit) unterschiedliche Komplexitätsklassen, aber meine Frage ist: Gibt es natürliche Beispiele für Probleme, die in diese Klassen passen? (Meine Schwelle für das, was hier als natürlich gilt, ist etwas niedriger als gewöhnlich.) Klasse 1 (eine Superklasse von NP): …
2
Beispiel für etwas, das sich für generische und zufällige Orakel unterscheidet?
Sei GGG ein generisches Orakel im Sinne der Kategorie Cohen / Baire. Sei RRR ein zufälliges Orakel. Gibt es Komplexitätsklassen A und B mit AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R oder umgekehrt, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Die Frage wurde von einem Kommentar von Scott Aaronson inspiriert .
2
Ist das N Queens Problem NP-schwer?
Das N-Queen-Problem ist folgendes: Eingabe: N. Ausgabe: Eine Platzierung von N "Königinnen" auf einem NXN-Schachbrett, so dass keine zwei Königinnen in derselben Zeile, Spalte oder Diagonale liegen. Bei einer Google-Suche stellte ich fest, dass viele Folien von vielen Professoren behaupten, dies sei ein NP-schweres Problem (z. B. web.mst.edu/~ercal/387/slides/NP-Hard.ppt). Ich konnte …
4
Beziehung zwischen Rechenkomplexität und Information
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 Forschungsrichtung scheinen einige Leute in meiner Gruppe "komplex" mit "hat eine hohe Entropie" …
2
Minimum True Monotone 3SAT
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 MONOTONE 3SAT INSTANZ: Setze U von …
6
Führen Sie Mehrfachreduktionen und Turing-Reduktionen durch, um denselben Klassen-NPC zu definieren
Ich frage mich, ob NPC-Klassen, die durch Ein-Eins-Reduktionen und Turing-Reduktionen definiert sind, gleich sind. Bearbeiten: Eine andere Frage, sind Turing-Reduktionen nur kollabierende C- und Co-C-Klassen für einige C oder gibt es eine Klasse wie es ein Problem gibt, das nicht in unter Karp-Reduktion und das in C unter Turing-Reduktion ist …
1
Wie schwer ist es, die Existenz von Rot-Blau zu bestimmen?
Das zweifarbige Problem der perfekten Übereinstimmung besteht darin, zu entscheiden, ob ein Graph zwei Farben färbt, sodass jeder Knoten genau einen Nachbarn hat, der dieselbe Farbe wie er selbst hat. Das Problem wurde von Schaefer als NP-vollständig erwiesen . Es bleibt auch für planare kubische Graphen NP-vollständig. Ich interessiere mich …
1
Ein Hindernis wie die ETH
Wir wissen, dass wir unter ETHETHETHKKK -SUM nicht in f(K)poly(nK)f(K)poly(nK)f(K)poly(nK) Zeit unter irgendeiner Funktion f(K)f(K)f(K) lösen können (normalerweise 2O(K)2O(K)2^{O(K)} ). Gibt es eine Vermutung, die eine (logn)O(K)(log⁡n)O(K)(\log n)^{O(K)} -Komplexität verhindert (dies stimmt völlig mit der Möglichkeit überein, dass K=Ω(n)K=Ω(n)K=\Omega(n) wir exponentielle Zeit für die Teilmengen-Summe benötigen) oder ist eine solche …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.