Preguntas etiquetadas con complexity-theory

Sabemos que P = NP implica NP = coNP. ¿Se cumple la implicación inversa? ¿NP es igual a coNP implica que P es igual a NP? ¿Si no, porque no? Busqué en Google pero no encontré la respuesta.

8 complexity-theory 

Estoy aprendiendo sobre el análisis asintótico, y he visto algunas complejidades de aspecto exótico que viven entre otras comunes. Por ejemplo, "log log n" está estrictamente entre 1 y log n. Me hace preguntarme si uno siempre puede encontrar complejidades entre otros dos. Específicamente, para cualquier función f y g …

8 complexity-theory  time-complexity  asymptotics 

Recientemente, estoy leyendo documentos sobre dicotomía . No entiendo qué condición se puede llamar como una dicotomía ? ¿Cuál es el significado de "una pregunta está en P o en NP - completa "? (suponga P ≠≠\neq NP ) Por ejemplo, conozco el teorema de la dicotomía de Schaefer, en …

8 complexity-theory  np-complete  satisfiability 

Tengo graficas GkGkG_k y HkHkH_k con |V(Gk)|=|V(Hk)|2k=n2k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k} con k∈Nk∈Nk\in\Bbb Nque pasan controles de cordura como el lema de no homomorfismo. ¿Existen herramientas gratuitas y fáciles de usar para probar el homomorfismo gráfico deGGG a HHH?

8 complexity-theory  graph-theory 

Tengo problemas para entender por qué es fácil detectar ciclos de peso negativo (Bellman Ford) pero difícil de encontrar el ciclo de peso máximo en un gráfico no dirigido. Si negamos el peso de cada borde, podemos encontrar fácilmente si hay ciclos con un peso total> 0. Sin embargo, no …

8 complexity-theory  graph-theory 

Estoy tratando de entender (intuitivamente) los dos términos "capacidad de decisión" y "capacidad de verificación". He realizado una cantidad razonable de búsqueda y revisión de los diversos textos que puedo tener en mis manos. Sin embargo, su comprensión intuitiva parece escapar de mí, especialmente para el segundo. De las muchas …

8 complexity-theory  formal-languages  terminology  computability 

Dado un gráfico , encuentre vértices , cuya eliminación daría como resultado un gráfico con el componente más grande más pequeño. G = ( V, E)sol=(V,mi)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,...,vk∗}\{v^*_1,\dots,v^*_k\} Supongo que para grandesy grande el problema es difícil (NP-hard), pero estoy interesado en valores pequeños de ( ).n=|V|n=|V|n = |V|kkkkkkk∈{1,2,3,4}k∈{1,2,3,4}k …

8 algorithms  complexity-theory  graph-theory  parameterized-complexity 

¿Se sabe si la implicación es válida?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (La pregunta está inspirada en la conocida .)NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}

8 complexity-theory  time-complexity 

Tengo un pequeño problema para entender la prueba del Teorema de la Jerarquía del Tiempo (Hennie y Stearns, 1966) que asegura la existencia de un lenguaje aceptable en pero no aceptable en para cualquier función , de modo que sea ​​construible en el tiempo yU( n )U(norte)U(n)T( n )T(norte)T(n)T( n …

8 complexity-theory  turing-machines  simulation 

¿Nuestra PC funciona como máquina de Turing? El modelo de una máquina de Turing consiste en una cinta de memoria infinita, que significa estados infinitos. Pero supongamos que si nuestra PC tiene 128 MB de memoria y 30 GB de disco, tendría 256 ^ 30128000000 estados y, por lo tanto, …

8 complexity-theory  computability  turing-machines  automata 

Cuando se afirma el famoso teorema de Savitch, a menudo se ve el requisito de que sea ​​espacialmente construible (curiosamente, se omite en Wikipedia). Mi simple pregunta es: ¿Por qué necesitamos esto? Entiendo el requisito de que esté en , lo que queda claro en la prueba. Pero ninguna prueba …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Sudoku es un rompecabezas bien conocido que se sabe que es NP completo y es un caso especial de un problema más general conocido como cuadrados latinos. Una solución correcta del cuadrado consiste en llenar cada fila y cada columna con números del al con la condición de que cada …

8 complexity-theory  np-complete 

Realmente me gustaría su ayuda para probar o refutar la siguiente afirmación: . En la teoría de la complejidad computacional, BPP, que significa tiempo polinómico probabilístico de error limitado, es la clase de problemas de decisión que puede resolver una máquina de Turing probabilística en tiempo polinómico, con una probabilidad …

8 complexity-theory  time-complexity  probabilistic-algorithms 

El problema de 3 colores puede probarse NP-Complete haciendo uso de la reducción de 3SAT Graph Coloring (de 3SAT) . Como consecuencia, el problema de 4 colores es NP-Completo usando la reducción de 3 colores: Reducción de la instancia de 3 colores: agregando un vértice adicional al gráfico del problema …

8 complexity-theory  graph-theory  terminology  np-complete 

Estoy interesado en la auto-reducibilidad del problema Graph 3-Coloralibity. Definición del problema del gráfico 3-Coloralibity. Dado un gráfico no dirigido, ¿existe alguna forma de colorear los nodos de rojo, verde y azul para que ningún nodo adyacente tenga el mismo color?solGG Definición de auto-reducibilidad. Un lenguaje es auto-reducible si existe …

8 complexity-theory  reductions