Preguntas etiquetadas con complexity

¿Existe algún proyecto en curso para verificar formalmente los teoremas y las pruebas de la teoría de la complejidad utilizando un asistente de pruebas como Coq? ¿Hay límites para hacer esto?

18 cc.complexity-theory  complexity  proof-assistants 

O con otras palabras, ¿tenemos eso para cada idioma y B , A ≤ p B o ?UNUNAsisiBA ≤pagsiUN≤pagsiA \leq_p BB ≤pagUNsi≤pagUNB \leq_p A

15 reductions  complexity 

¿Existe , un lenguaje completo NP o P que tiene una familia de grupos de simetría (o grupoide , pero luego las preguntas algorítmicas se vuelven más abiertas) actuando (en tiempo polinómico) en conjuntos tal que hay pocas órbitas, es decir, tal que para suficientemente grande algunosLLLGnGnG_nLn={l∈L∣|l|=n}Ln={l∈L∣|l|=n}L_n = \{ l …

14 np  algebra  gr.group-theory  complexity  symmetry 

En el juego de guijarros en una línea hay N + 1 nodos etiquetados de 0 a N. El juego comienza con un guijarro en el nodo 0. Si hay un guijarro en el nodo i, puede agregar o quitar un guijarro del nodo i + 1. El objetivo es …

13 complexity  reversible-computing 

Se sabe que si , la jerarquía polinómica se colapsa en y .N P ⊆ P / P o l y Σ P 2 M A = A MNP⊆P/PolyNP\subseteq P/PolyΣP2\Sigma_2^{P}MA=AMMA = AM ¿Cuáles son los colapsos más fuertes que suceden si ?N E X P ⊆ P / P o …

13 circuit-complexity  complexity 

En su libro Computational Complexity , Papadimitriou define FNP de la siguiente manera: Supongamos que es un lenguaje en NP . Por la proposición 9.1, hay una decidable de tiempo polinómico, polinomialmente equilibrada relación R L tal que para todas las cadenas de x : No es una cadena y …

13 complexity 

En el artículo de Stephen Cook sobre el problema P vs NP, [1] afirma lo siguiente [2]: Tesis de viabilidad: un problema natural tiene un algoritmo factible si tiene un algoritmo de tiempo polinómico. Mi pregunta es, ¿qué quiere decir exactamente él (o, en general, qué quiere decir uno) con …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

¿El hecho de que un problema esté completo en el tiempo EXP implica que A no está en D T I M E ( 2 o ( n ) ) ?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) Soy consciente de que, según el teorema de la jerarquía temporal, no está incluido en E = D T …

10 exp-time-algorithms  complexity 

PREGUNTA CORTA: ¿MAJ-3CNF es un problema de PP completo bajo muchas reducciones? VERSIÓN MÁS LARGA: Es bien sabido que MAJSAT (decidir si la mayoría de las asignaciones de oración proposicional satisface la oración) es PP-completo bajo muchas reducciones y #SAT es # P-completo bajo reducciones parsimoniosas. También es evidente que …

10 counting-complexity  complexity  probabilistic-complexity 

Dada generadores fuertes para un grupo que actúa sobre bitstrings de longitud n y un elemento s ∈ { 0 , 1 } n , lo difícil que es para calcular el elemento lexicográficamente mínima de G . s , la órbita de s en G ?(G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *)nnns∈{0,1}ns∈{0,1}ns …

9 permutations  gr.group-theory  complexity 

Tenemos un problema y encontramos un algoritmo que parece ser 2-nexptime. Me gustaría encontrar problemas conocidos de 2-nexptime-complete para encontrar un límite inferior. Encontré en la literatura principalmente dos de estos problemas: si PCP como solución de tamaño inferior a 22norte22norte2^{2^n} y el problema de labranza para un cuadrado de …

9 complexity-classes  time-complexity  complexity 

No se sabe si NEXP está contenido en P / poli. De hecho, probar que NEXP no está en P / poli tendría algunas aplicaciones en la desrandomización. ¿Cuál es la clase C uniforme más pequeña para la cual se puede demostrar que C no está contenido en P / …

9 complexity 

Considere un problema de optimización convexa en el formulario 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} donde son funciones convexas. Sin pérdida de generalidad, podemos suponer que es lineal.f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_mf0f0f_0 Nesterov y Nemirovskii mencionan en …

8 convex-optimization  complexity