Preguntas etiquetadas con cc.complexity-theory

¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece …

9 cc.complexity-theory  reference-request  circuit-complexity 

Dado un gráfico y un δ > 0, uno quiere calcular h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) . ( ϕ ( S ) = E ( S , ˉ S )G = ( V, …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

No se cree que lo siguiente sea cierto: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 ¿Puedes ayudarme a ver dónde se rompe la discusión? El problema de accesibilidad dirigida está completo para . Sostengo que está en -uniform .L N C 1LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} El problema de accesibilidad dirigida sobre los gráficos …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

El teorema de la jerarquía de tiempo permite mostrar que, por ejemplo, hay problemas en P que una máquina de Turing no puede resolver en un tiempo menor que const * n ^ 2. Pero dale algunos consejos a la máquina Turing y todas las apuestas están canceladas. Todavía no …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

El establecimiento reciente de la relaciónbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) pasa por Gotsman, Linial . ¿Puede el mismo enfoque llegar a o hay una limitación esencial para el enfoque?O ( s ( f)2)O(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

De Wikipedia : VPVP\mathsf{VP} : La clase VP es el análogo algebraico de P; es la clase de polinomiosfff de grado del polinomio que tienen circuitos de tamaño polinómicas sobre un campo fijoKKK . VNPVNP\mathsf{VNP} : La clase VNP es el análogo de NP. VNP puede considerarse como la clase …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Problema general Supongamos que tenemos una función polinomial multivariada y varias funciones lineales . ¿Qué se sabe sobre la complejidad de resolver el siguiente problema de optimización?F( x )F(X)f(\mathbf{x})ℓyo( x )ℓyo(X)\ell_i(\mathbf{x}) MaximizarSujeto a: F( x )ℓyo( x ) ≤ 0 para todo iMaximizarF(X)Sujeto a: ℓyo(X)≤0 0 para todos yo\begin{align*} \text{Maximize} …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado. Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k .k>1k>1k>1nknkn^knk/knk/kn^k/k La …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Considere los siguientes problemas: Problema de vectores ortogonales Entrada: Un conjunto SSS de nnn vectores booleanos de longitud ddd . Pregunta: ¿Existen vectores distintos v 1v1v_1 y v 2 ∈ S dev2∈Sv_2 \in S modo que v 1 ⋅ v 2 = 0v1⋅v2=0v_1 \cdot v_2 = 0 ? Problema de …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Considere una máquina (es decir, un algoritmo probabilístico que usa espacio de registro y polinomialmente muchos bits aleatorios). Se sabe (Saks-Zhou) que B P L ⊆ D S P A C E ( l o g 1.5 ( n ) ) .B PLsiPAGSLBPLB PL ⊆ D SPAGSA Cmi( l o …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

¿Cuál es la complejidad del problema de satisfacción local para la lógica modal ? Aquí denotamos por la lógica modal sobre tramas euclidianas extendidas con modalidad inversa. ¿Podría darnos alguna referencia? ¿Está en ? I K 5 N PIK5IK5\mathit{IK5}IK5IK5IK5NPNPNP ¿Qué sé sobre el tema? Es fácil ver que está en …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Es fácil ver un algoritmo de tiempo de ejecución para el isomorfismo de grupo abeliano. Más tarde, trabajando en este problema en 2003, Vikas mejoró el resultado del tiempo de ejecución de O ( n 2 ) a O ( n log n ) . En 2007, Kavitha demostró que …

8 cc.complexity-theory  ds.algorithms 

Supongamos que . Entonces demuestra un sencillo argumento de que P H P P = N P . ¿Podemos ir un paso más allá y obtener P P P P = N P ? El argumento simple esnortePAGS= PPAGSNP=PPNP=PPPAGSHPAGSPAGS= NPAGSPHPP=NPPH^{PP}=NPPAGSPAGSPAGSPAGS= NPAGSPPPP=NPPP^{PP}=NP Teorema Si entonces P H P P = N …

8 cc.complexity-theory  counting-complexity  conditional-results 

En Computabilidad, si queremos demostrar que un problema no es recursivo o recursivamente enumerable, podemos usar, por ejemplo, reducciones de otros problemas no recursivos o no re, el teorema de Rice, el teorema de Rice-Shapiro, etc. Estas técnicas funcionan gracias a , o se basan directamente en la existencia de …

8 cc.complexity-theory  computability 

Antecedentes Sabemos que .P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Además, se conoce a partir del teorema de Toda que .PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} Para obtener más información sobre , consulte aquí: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pregunta ¿Existe un oráculo tal que ( P # P ) A ≠ P S P A C E A ?AAA(P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace