Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Uso dell'assistente alla prova nella ricerca della teoria della complessità?
Considerando gli argomenti trattati in una conferenza come STOC, alcuni algoritmi o ricercatori di complessità utilizzano attivamente COQ o Isabelle? Se è così, come lo usano nella loro ricerca? Suppongo che la maggior parte delle persone non userebbe tali strumenti perché le prove sarebbero di livello troppo basso. Qualcuno sta …
2
Aggiungi una corrispondenza a un percorso hamiltoniano per ridurre la distanza massima tra determinate coppie di vertici
Qual è la complessità del seguente problema? Input : HHH unpercorso hamiltonianoinKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 un sottoinsieme di coppie di vertici un numero intero positivokkk Query : c'è una corrispondente MMMtale che per ogni(v,u)∈R(v,u)∈R(v,u) \in R ,dG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq k ? (doveG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) ) Ho avuto una discussione …
3
Accelerazione non deterministica del calcolo deterministico
Il non determinismo può accelerare il calcolo deterministico? Se sì, quanto? Accelerando il calcolo deterministico per non determinismo intendo i risultati della forma: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Ad esempio qualcosa del genere DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Qual è il risultato accelerato più noto del calcolo deterministico per non determinismo? Che dire di …
1
Complessità del circuito aritmetico monotono dei polinomi simmetrici elementari?
Il kkk -esimo polinomio simmetrico elementare è la somma di tutti i prodotti di variabili distinte. Sono interessato alla complessità del circuito aritmetico monotono (+, \ times) di questo polinomio. Un semplice algoritmo di programmazione dinamica (così come la figura 1 sotto) fornisce un circuito (+, \ times) con porte …
2
Verifica dell'equivalenza di due politopi
Considera un vettore di variabili e un insieme di vincoli lineari specificati da .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Inoltre, considera due politopi P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} dove ' sono mappature affine . Vale a dire, hanno la …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.