Sei ein Polynom, das durch eine arithmetische Schaltung der Größe . Gibt es bei als Eingabe einen deterministischen Algorithmus, um zu überprüfen, ob alle irreduziblen Faktoren von in lineare Formen sind? In einer verwandten Anmerkung können wir bei einer linearen Form deterministisch prüfen, ob...
Lassen Sie uns eine Codierung von Turing-Maschinen und einer universellen Turing-Maschine U festlegen, die bei Eingabe (T, x) alle T-Ausgaben bei Eingabe x ausgibt (möglicherweise laufen beide für immer). Definieren Sie die Kolmogorov-Komplexität von x, K (x) als die Länge des kürzesten Programms...
Ich interessiere mich für effiziente Algorithmen für die DFA-Schnittmenge für Sonderfälle. Wenn sich die zu schneidenden DFAs einer bestimmten Struktur gehorchen und / oder mit einem begrenzten Alphabet arbeiten. Gibt es eine Quelle, in der ich in solchen Fällen Algorithmen finden kann? Um die...
Ich suche nach einem Beweis dafür, dass die Komplexität von Kolmogorov nicht berechenbar ist, indem ich ein anderes nicht berechenbares Problem reduziere. Der übliche Beweis ist eher eine Formalisierung von Berrys Paradoxon als eine Reduktion, aber es sollte einen Beweis geben, indem man von etwas...
Hat jemand untersucht, wie komplex klassische Entscheidungen wie Primes oder Graph-Isomorphism für kleine Eingangsgrößen ?N.NN Während die meisten Leute daran interessiert sind, wie die Skalierung als , wäre es meiner Meinung nach auch interessant zu sehen, wie dies für kleine N wächst. Sicher, wir...
Ich glaube , die Antworten auf diese Frage geben Klassen so dass für alle Polynome , gibt es ein Problem in der Klasse ist , die nicht über Schaltungen der Größe p ( n ) . Ich frage jedoch nach der Schaltungsgröße ωpppp ( n )p(n)p(n) .ω( n )ω(n)\omega \hspace{.02 in}(n) (⟨00,11,...
Wikipedia [1] gibt an, dass die bekannteste Untergrenze für die Größe von Frege-Beweisen quadratisch ist und dass keine superlinearen Untergrenzen für die Anzahl der Zeilen von Frege-Beweisen bekannt sind. Fragen: 1) Was ist die bekannteste Untergrenze für die Anzahl der Zeilen erweiterter...
Der folgende Begriff eines Destillationsalgorithmus stammt aus "Über Probleme ohne Polynomkerne". Es sei eine Sprache gegeben. Ein Destillationsalgorithmus für nimmt eine gegebene Liste von Eingabezeichenfolgen und berechnet eine Ausgabezeichenfolge :LLL{ x i } i ∈ [ t ] yLLL{xi}i∈[t]{xi}i∈[t]\{...
Let eine Sprache sein, und definiert f L : A * × A * → { 0 , 1 } von F L ( x , y ) = 1 genau dann , wenn x ⋅ y ∈ L . Ich suche eine Referenz für:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Vorschlag....
Wir haben ein Problem und haben einen Algorithmus gefunden, der 2-nexptime zu sein scheint. Ich würde gerne bekannte 2-Nexptime-vollständige Probleme finden, um eine Untergrenze zu finden. Ich fand in der Literatur hauptsächlich zwei solche Probleme: ob PCP als Lösung mit einer Größe von weniger...
Wie stark ist es angesichts starker Generatoren für eine Gruppe die auf Bitstrings der Länge und ein Element wirkt , das lexikographisch minimale Element von zu berechnen ? Umlaufbahn von in ?( G ≤ S.n, ∗ )(G≤S.n,∗)(G \leq S_n, *)nnns ∈ { 0 , 1 }ns∈{0,1}}ns \in \{0, 1\}^nG ....
Sei eine Komplexitätsklasse und BP- C das randomisierte Gegenstück von C, das auf die gleiche Weise definiert ist , wie BPP in Bezug auf P definiert ist . Formal stellen wir polynomiell viele zufällige Bits bereit und akzeptieren eine Eingabe, wenn die Wahrscheinlichkeit zu akzeptieren über 2...
Was ist Razborovs Approximationsmethode? Kann jemand einen Überblick auf hoher Ebene und die Intuition dahinter
Ich bin ein Forscher, der in der Algorithmen- und Komplexitätstheorie arbeitet. Ich verwende zum Teil parametrisierte Komplexität. Mir scheint, dass Forscher mit parametrisierter Komplexität in Bezug auf die Anzahl der Forschungsarbeiten sehr aktiv sind (ich meine nicht, dass andere dies nicht...
Ich bin gespannt, wie Sie festgestellt haben, dass Ungleichmäßigkeiten bei der Berechnung hilfreich sind. Ein Weg ist die Zufälligkeit, wie in , und ein anderer ist Nachschlagetabellen, die zeigen, dass alle Sprachen ungleichmäßige Schaltkreise haben.B P.P.⊆ P./ polyBPP⊆P/polyBPP \subseteq P/poly...
Ich suche nach Problemen, die in der FPT-Zeit schwer zu lösen sind, aber einen Approximationsalgorithmus haben. Das heißt, Probleme, die sind: R1. W [1] -hart. R2. Lassen Sie einen (vorzugsweise konstanten) Approximationsalgorithmus in der FPT-Zeit zu. Das mir bekannte Problem besteht darin, die...
Dieses Ergebnis von Tavenas, Koiran und anderen zeigt, dass jedes Polynom, das von einer Schaltung der Größe sss berechnet wird, von einer homogenen Schaltung der Größe s √ der Tiefe 4 berechnet wirdsd√sds^{\sqrt{d}} . Gibt es ähnliche Ergebnisse für Boolesche Schaltungen oder wissen wir, warum so...
Für viele Probleme hat der Algorithmus mit der besten asymptotischen Komplexität einen sehr großen konstanten Faktor, der durch die große O-Notation verborgen ist. Dies tritt bei der Matrixmultiplikation, der Ganzzahlmultiplikation (insbesondere dem jüngsten O (n log n)
Problem mit parametrisierten maximalen unabhängigen Klauseln: Eingabe: Eine r-CNFSAT-Formel F mit n Variablen und m Klauseln, k Fragen: Gibt es mindestens k Klauseln, so dass sie voneinander unabhängig sind, dh keine Variable kommt mehr als einmal in allen diesen Klauseln zusammen vor. Parameter: k...
Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme...