Als «polynomial-time» getaggte Fragen

2
Was ist eine äquivalente Definition von mP / poly in Bezug auf eine Turingmaschine?
P / poly ist die Klasse von Entscheidungsproblemen, die durch eine Familie von Booleschen Schaltungen polynomialer Größe lösbar sind. Es kann alternativ als eine Polynom-Zeit-Turing-Maschine definiert werden, die eine Hinweiszeichenfolge empfängt, die in n polynomisch ist und die ausschließlich auf der Größe von n basiert. mP / poly ist die …
3
Beispiele für Probleme, bei denen Exponentialalgorithmen für praktische Größen schneller ausgeführt werden als Polynomalgorithmen?
Kennen Sie Probleme (vorzugsweise zumindest einigermaßen bekannte), bei denen für eine praktische Problemgröße ein Exponentialalgorithmus viel schneller ausgeführt wird als ein bekanntes Gegenstück zur Polynomzeit. Angenommen, ein Problem hat eine praktische Größe * von und es gibt zwei bekannte Algorithmen: Einer ist und der andere ist für eine Konstante . …
3
Welche ganzzahligen linearen Programme sind einfach?
Bei dem Versuch, ein Problem zu lösen, habe ich einen Teil davon als das folgende ganzzahlige lineare Programm ausgedrückt. Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest kann positive Integralwerte annehmen:x i jℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} …
2
"Verwandte" des kürzesten Wegproblems
Betrachten Sie einen verbundenen ungerichteten Graphen mit nicht negativen Kantengewichten und zwei unterschiedlichen Eckpunkten . Im Folgenden sind einige Pfadprobleme aufgeführt, die alle die folgende Form haben: Suchen Sie einen Pfad, sodass eine Funktion der Kantengewichte auf dem Pfad minimal ist. In diesem Sinne sind sie alle "Verwandte" des Problems …
1
P und beschreibende Komplexität
Im Complexity Zoo heißt es [ 1 ], dass PPP in der beschreibenden Komplexität durch drei verschiedene Arten von Formeln definiert werden kann: FO(LFP)FO(LFP)FO(LFP) das auch FO(nO(1))FO(nO(1))FO(n^{O(1)}) , und auch als SO(HORN)SO(HORN)SO(HORN) . Es gibt jedoch einige Ausnahmen sind zum Beispiel EvennessEvennessEvenness kann nicht durch FP ausgedrückt werden (FP hat …
1
Welche Beziehung besteht zwischen den Sprachen P (PTime) und Typ 1 (kontextsensitiv)?
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP ist die Menge aller Sprachen, die in der Polynomzeit auf einer deterministischen Turing-Maschine entscheidbar sind, und CSLCSLCSL ist die Klasse der kontextsensitiven Sprachen, die bekanntermaßen , den Sprachen, die von linear begrenzten Automaten bestimmt werden.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Bei vielen offenen Fragen besteht die Tendenz zu einer Antwort ( …
3
Gibt es eine Verallgemeinerung der Informationstheorie auf polynomiell erkennbare Informationen?
Ich entschuldige mich, das ist eine "weiche" Frage. Die Informationstheorie hat kein Konzept der rechnerischen Komplexität. Beispielsweise enthält eine Instanz von SAT oder eine Instanz von SAT plus ein Bit, das die Erfüllbarkeit anzeigt, dieselbe Informationsmenge. Gibt es eine Möglichkeit, das Konzept des "polynomiell erkennbaren" zu formalisieren? Ein solches Framework …
1
Gibt es mehr polynomielle Zeitprobleme mit Komplexitätsuntergrenzen?
Ich suche nach mehr Problemen in mit unteren Grenzen der klassischen Zeitkomplexität. Einige Leute fragen sich vielleicht, wie Sie eine solche Untergrenze beweisen können. Siehe unten.PPP Exponentielle Untergrenzen: Behauptung: Wenn Sie ein Problem , das unter Polynomreduktionen vollständig ist, dann gibt es eine Konstante so dass in nicht lösbar ist …
5
Probleme in der quasi-polynomiellen Zeit, die möglicherweise in P liegen könnten (ohne Zusammenbrüche zu verursachen oder weit verbreitete Überzeugungen zu verletzen)
Was sind einige Beispiele für Probleme mit quasi-Polynomzeit ( ) Algorithmen , die möglicherweise in sein könnte P . Mit anderen Worten, sie befinden sich in Q P aus keinem offensichtlichen Grund, außer dass niemand einen Polynom-Zeit-Algorithmus gefunden hat?Q P.QPQPP.PPQ P.QPQP Diese Frage wird durch das aktuelle Ergebnis des Graphisomorphismus …
4
Was sind einige effiziente Algorithmen, um festzustellen, ob ein quadratisches multivariates Polynom eine Lösung hat?
Ich weiß, dass die multivariate Polynom-Erfüllbarkeit im Allgemeinen 3-SAT entspricht; Ich frage mich jedoch, ob es im quadratischen Fall gute Techniken gibt, insbesondere, ob es eine polynomielle Zeitlösung gibt. Ich denke, die allgemeinere Frage wäre, gibt es Klassen multivariater Polynome, für die das Erfüllbarkeitsproblem effizient lösbar ist?
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.