Computerwissenschaften complexity-theory

2

Wie kann man beweisen, dass ? Ich suche nur nach einem solchen Orakel TM M und einer rekursiven Sprache L ( M ) = L, für die dies gilt.N PEIN≠ c o N PEINNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Ich kenne den Beweis , wo Sie zeigen …

12 complexity-theory relativization

2

Wie komplex ist das Leereproblem bei 2-Wege-DFAs?

Ich frage mich, wie zeitlich komplex es ist, die Leere für 2-Wege-DFAs zu bestimmen. Das heißt, endliche Automaten, die sich auf ihrem schreibgeschützten Eingabeband rückwärts bewegen können. Laut Wikipedia entsprechen sie DFAs, obwohl die äquivalenten DFA möglicherweise exponentiell größer sind. Ich habe staatliche Komplexität für ihre Komplemente und Schnittpunkte gefunden, …

12 complexity-theory formal-languages reference-request automata finite-automata

1

Wie partitioniere ich eine Menge unter bestimmten Bedingungen in eine bestimmte Anzahl disjunkter Teilmengen?

Ich eine Menge , eine ganze Zahl und nicht negative ganze Zahlen a_ {ij} . Mein Problem besteht darin, s disjunkte Teilmengen S_j von \ {1, \ ldots, k \} so zu finden, dass:s ⩽ k a i j s S j { 1 , … , k }A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} …

11 complexity-theory integer-programming

1

Warum ist NP in EXPTIME?

Gibt es eine einfache Möglichkeit zu erkennen, warum NP in EXPTIME ist? Es scheint mir a priori denkbar, dass es ein Problem geben könnte, dessen Lösung eine überexponentielle Zeit erfordert, dessen Lösung jedoch in Polynomzeit verifiziert werden könnte.

11 complexity-theory complexity-classes

1

NP-Härte der Abdeckung mit rechteckigen Teilen (Google Hash Code 2015 Testrunde)

In der Testrunde zum Google Hash Code 2015 ( Problemstellung ) wurde nach folgendem Problem gefragt: Eingabe: ein Gitter mit einigen markierten Quadraten, eine Schwelle T ∈ N , eine maximale Fläche A ∈ N.M.M.MT.∈ N.T.∈N.T \in \mathbb{N}A ∈ N.EIN∈N.A \in \mathbb{N} Ausgabe: Die größtmögliche Gesamtfläche eines Satzes disjunkter Rechtecke …

11 complexity-theory reductions np-hard

1

Warum ist dieses Argument für falsch?

Ich weiß, dass es albern ist, aber ich habe es geschafft, mich zu verwirren, und ich brauche Hilfe, um das zu regeln Angenommen, , dann haben wir eindeutig für jedes Orakel was der Tatsache widerspricht, dass es ein Orakel für das , alsoA P A = N P A A …

11 complexity-theory p-vs-np oracle-machines

2

Bedeutet #

Sei ein Zählproblem, von dem bekannt ist, dass es # P- vollständig ist .ΠΠ\PiPPP Ist es bedeuten , dass ist ein P X -hard (dh keine PTAS für das Problem besteht , es sei denn P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory complexity-classes approximation counting

1

Kann ein NP-hartes Problem im Durchschnitt polynomisch sein?

Ich frage mich, ob es -harte Probleme gibt, die im Durchschnitt "polynomisch" sind. Ich denke, es gibt zwei Möglichkeiten, dies zu interpretieren.NPNPNP Wenn , kann es einen Algorithmus geben, der ein N P -hartes Problem mit einer amortisierten (Durchschnittsfall) Laufzeit von O ( n k ) für eine Konstante k …

11 complexity-theory reference-request np-complete probabilistic-algorithms amortized-analysis

2

Schweres Rechenproblem bei einer speziellen Klasse von zweiteiligen Graphen

Ich interessiere mich für die Eigenschaften einer Klasse von zweigeteilten Graphen denen alle Knoten in X 3-regulär sind, alle Knoten in Y 2-regulär sind und | X | = | 2 Y / 3 | . Erstens: Ist dies eine bekannte Klasse von Graphen? Zweitens,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Gibt es …

11 complexity-theory graph-theory

1

Komplexität der Entscheidung, ob eine Formel genau 1 zufriedenstellende Zuordnung hat

Das Entscheidungsproblem Bei einer Booleschen Formel , tut φ genau eine erfüllende Belegung haben?ϕϕ\phiϕϕ\phi kann gesehen werden, in , U P -hard und c o N P -hard zu sein. Ist etwas mehr über seine Komplexität bekannt?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory complexity-classes satisfiability

1

Warum sind alle Probleme in FPTAS auch in FPT?

Laut dem Wikipedia-Artikel über Polynom-Zeit-Approximationsschemata : Alle Probleme in FPTAS sind mit festen Parametern nachvollziehbar. Dieses Ergebnis überrascht mich - diese Klassen scheinen sich völlig zu unterscheiden. FPTAS charakterisiert Probleme dadurch, wie einfach sie zu approximieren sind, während FPT Probleme durch ihre Schwierigkeit relativ zu bestimmten Parametern charakterisiert. Leider bietet …

11 complexity-theory reference-request approximation parameterized-complexity

1

Durchschnittliche Länge von st (einfachen) Pfaden in einem gerichteten Graphen

In Anbetracht der Tatsache , dass - t Pfad Aufzählung a # P-vollständigen Problem ist, könnte es effiziente Methoden sein , dass Compute (oder zumindest ungefähr) die durchschnittliche Länge s - t Weg ohne sie aufzählt? Was ist, wenn Pfade Scheitelpunkte erneut besuchen dürfen?ssstttsssttt Relevante Ergebnisse in speziellen Diagrammen könnten …

11 algorithms complexity-theory graphs approximation enumeration

2

Auftragsplanung mit Engpassproblem

Bei Jobs J 1 , J 2 , . . . , J n , jeder Job benötigt T i > 0 , T i ∈ N Zeit, um abgeschlossen zu werden.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Jeder Auftrag muss von einer einzelnen Maschine M vor- und nachbearbeitet werden, die …

11 complexity-theory reference-request scheduling

1

Welche nicht regulären Sprachen sind in ?

Zum Beispiel weiß ich, dass die nicht reguläre Sprache anbnanbna^nb^n in AC0AC0AC^0 . Ich würde gerne weitere Beispiele wie dieses kennenlernen.

11 complexity-theory regular-languages circuits

1

Unabhängiger Satz für kubische dreieckfreie Diagramme

Ich weiß, dass die maximale unabhängige Menge in kubischen dreieckfreien Graphen NP-vollständig ist. Ist es immer noch NP-vollständig, falls die unabhängige Menge genau die Größe haben muss ? V | / 2 ?|V|/2|V|/2|V|/2 Grundsätzlich muss die YES-Instanz des Problems der unabhängigen Menge bei kubischen dreieckfreien Graphen genau Knoten. KEINE Instanz …

11 complexity-theory np-complete

Als «complexity-theory» getaggte Fragen