Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

4
Zählung der Anzahl der Scheitelpunktabdeckungen: Wann ist es schwierig?
Man betrachte das # P-vollständige Problem des Zählens der Anzahl der Scheitelpunktabdeckungen eines gegebenen Graphen .G=(V,E)G=(V,E)G = (V, E) Ich würde gerne wissen, ob es ein Ergebnis gibt, das zeigt, wie die Härte eines solchen Problems mit einem Parameter von variiert (zum Beispiel ).GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} Mein Gefühl ist , …
2
Raum-Zeit-Kompromiss und der beste Algorithmus
Betrachten Sie eine Sprache so, dass:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) und so das L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Mit anderen Worten, die schnellste Maschine berechnet in der Zeit und die platzsparendste Maschine berechnet unter Verwendung des Raums .L O ( f ( n ) ) M ' L O …
1
Maschinencharakterisierung von
ist die Klasse von Entscheidungsproblemen, die durch eine Familie von O ( log i n ) -Tiefenschaltungen mit UND-Gattern mit unbegrenztem Fanin-ODER und begrenztem Fanin lösbar sind. Negationen sind nur auf der Eingangsebene zulässig. Es ist bekannt, dassfürunter Komplement abgeschlossen ist undnicht. Außerdem istund weist daher eine Maschinencharakterisierung auf, daLogCFL?SACiSACiSAC^iO(login)O(login)O({\log}^i{n})SACiSACiSAC^ii≥1i≥1i …
1
Ganzzahlbeziehungserkennung für Teilmenge Summe oder KKW?
Gibt es eine Möglichkeit, eine Instanz von Subset Sum oder das Number Partition Problem zu codieren, sodass eine (kleine) Lösung für eine Ganzzahlbeziehung eine Antwort ergibt? Wenn nicht definitiv, dann in einem wahrscheinlichkeitstheoretischen Sinne? Ich weiß, dass LLL (und möglicherweise PSLQ) mit mäßigem Erfolg bei der Lösung von Subset-Summen-Problemen in …
5
Sollten wir durch Reduzierungen mehr oder weniger optimistisch in Bezug auf die Tractability eines Problems sein?
Mir scheint, dass die meisten Komplexitätstheoretiker im Allgemeinen die folgende philosophische Regel glauben: Wenn wir nicht einen effizienten Algorithmus für Problem herauszufinden , können , und wir können Problem reduzieren zu Problem , dann gibt es wahrscheinlich keinen effizienten Algorithmus für Problem , entweder.AAAAAABBBBBB Dies ist der Grund, warum wir …
2
Was ist die Komplexität von Median-SAT?
Sei eine CNF-Formel mit Variablen und Sätzen. Es sei eine Variablenzuordnung und die Anzahl von Klauseln, die durch eine Variablenzuordnung zu erfüllt sind. . Definieren Sie dann Median-SAT als das Problem der Berechnung des Medianwerts von über alle . Wenn beispielsweise eine Tautologie ist, lautet die Lösung für Median-SAT da …
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.