Gibt es ein laufendes Projekt, um die Theoreme und Beweise der Komplexitätstheorie mit einem Beweisassistenten wie Coq formal zu verifizieren? Gibt es dafür Grenzen?
Gibt es , eine NP- oder P-vollständige Sprache mit einer Familie von SymmetriegruppenLLLGnGnG_n (oder Gruppoid , aber dann die algorithmischen Fragen offener worden) wirken (in Polynomialzeit) auf Mengen so, dass es nur wenige Umlaufbahnen gibt, dh so, dass | L n / G n | < n c für groß …
Im Kieselspiel auf einer Linie gibt es N + 1 Knoten mit den Bezeichnungen 0 bis N. Das Spiel beginnt mit einem Kiesel auf Knoten 0. Befindet sich ein Kiesel auf Knoten i, können Sie einen Kiesel auf Knoten i + 1 hinzufügen oder daraus entfernen. Das Ziel ist es, …
Es ist bekannt , dass , wenn N P ⊆ P / P o l yNP⊆P/PolyNP\subseteq P/Poly dann das Polynom Hierarchie kollabiert zu Σ P 2ΣP2\Sigma_2^{P} und M A = A MMA=AMMA = AM . Was sind die stärksten bekannten Zusammenbrüche, wenn N E X P ⊆ P / P …
In seinem Buch Computational Complexity definiert Papadimitriou FNP wie folgt: Angenommen, LLL ist eine Sprache in NP . Nach Satz 9.1 gibt es eine polynomisch-zeitlich entscheidbare, polynomisch ausgeglichene Beziehung RLRLR_L so dass für alle Zeichenketten xxx : Es gibt eine Zeichenkette yyy mit RL(x,y)RL(x,y)R_L(x,y) genau dann, wenn x∈Lx∈Lx\in L . …
In Stephen Cooks Artikel über das P vs NP-Problem [1] stellt er Folgendes fest [2]: Machbarkeitsthese: Ein natürliches Problem hat einen realisierbaren Algorithmus, wenn es einen Polynom-Zeit-Algorithmus hat. Meine Frage ist, was genau meint er (oder im Allgemeinen wirklich, was bedeutet einer) mit "einem natürlichen Problem"? Über Probleme zu sprechen, …
Bedeutet die Tatsache, dass ein Problem EXP-Zeit vollständig ist, dass A nicht in D T I M E ( 2 o ( n ) ) ist ?EINAAEINAAD T.ichM.E.( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Mir ist bewusst, dass nach dem Zeithierarchiesatz nicht in E = D T I M E ( 2 …
KURZE FRAGE: Ist MAJ-3CNF ein PP-vollständiges Problem bei vielen Reduzierungen? LÄNGERE VERSION: Es ist bekannt, dass MAJSAT (Entscheidung, ob die Mehrheit der Zuweisungen des Satzsatzes dem Satz entspricht) unter vielen Reduzierungen PP-vollständig und #SAT unter sparsamen Reduzierungen # P-vollständig ist. Es ist auch offensichtlich, dass # 3CNF (dh #SAT, beschränkt …
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 . …
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 als22n22n2^{2^n} und das Bodenbearbeitungsproblem für ein …
Es ist nicht bekannt, ob NEXP in P / Poly enthalten ist. In der Tat hätte der Nachweis, dass NEXP nicht in P / Poly vorliegt, einige Anwendungen bei der Derandomisierung. Was ist die kleinste einheitliche Klasse C, für die man nachweisen kann, dass C nicht in P / Poly …
Betrachten Sie ein konvexes Optimierungsproblem im Formular f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} wobei f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_m konvexe Funktionen sind. Ohne Verlust der Allgemeinheit können wir annehmen, dass f0f0f_0 linear ist. Nesterov und Nemirovskii erwähnen …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.