Preguntas etiquetadas con cc.complexity-theory

Suponga que, para cada , hay una máquina de Turing que decide un lenguaje en el tiempo . ¿Hay un algoritmo único que decida en el tiempo ? (Aquí, el término se mide en términos de , la longitud de entrada).ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn ¿ Hay alguna …

16 cc.complexity-theory  asymptotics 

En el problema de embalaje rectángulo, uno se le da un conjunto de rectángulos y que limitan rectángulo R . La tarea es encontrar una ubicación de r 1 , ... , r n dentro de R de manera que ninguno de los n rectángulos se superpongan. Generalmente, la orientación …

16 cc.complexity-theory  np-hardness  packing 

No tengo conocimiento en el área de la teoría de la complejidad que involucra grupos, así que me disculpo si este es un resultado bien conocido. Pregunta 1. Sea una simple gráfica no dirigida de orden n . ¿Cuál es la complejidad computacional (en términos de n ) de determinar …

16 cc.complexity-theory  graph-theory  gr.group-theory 

No se sabe si isomorfismo gráfico (GI) para gráficos fuertemente regulares (SRGS) está en P . ¿Hay alguna pista de que podría o no ser GI -Complete? ¿Hay alguna consecuencia fuerte en tales casos? (Similar a la creencia de que GI puede no ser NP-Completo).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Me preguntaba si los problemas para los cuales existen algoritmos de tiempo sublineal (en el tamaño de entrada) pueden caracterizarse por poseer propiedades específicas. Esto incluye el tiempo sublineal (por ejemplo, pruebas de propiedad, una noción alternativa de aproximación para problemas de decisión), espacio sublinear (por ejemplo, algoritmos de boceto …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Estoy interesado en este problema: dado un gráfico no dirigido , ¿hay una partición de G en los gráficos G 1 ( E 1 , V 1 ) y G 2 ( E 2 , V 2 ) de modo que G 1 y G 2 son isomorfos?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Según un resultado clásico de Kuroda, la clase de complejidad NSPACE [ ]nortenorten (también conocida como NLIN-SPACE) es precisamente la clase CSL de lenguajes sensibles al contexto . El problema de satisfacción SAT está en NSPACE [ ], ya que una suposición de tamaño lineal para una solución se puede …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

¿Cuál es el número mínimo de compuertas binarias necesarias para calcular AND y OR de bits de entrada simultáneamente? El límite superior trivial es 2 n - 2 . Creo que esto es óptimo, pero ¿cómo probarlo? La técnica de eliminación de compuerta estándar no funciona aquí, ya que al …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Estoy buscando un problema que pertenece a en gráficos generales pero está en en gráficos de ancho de árbol acotado. De hecho, creo que estos problemas son más difíciles que usar la programación dinámica normal en acotado -Gráficos de árbol de ancho para resolverlos.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

El análisis del caso peor y el caso promedio son medidas bien conocidas para la complejidad de un algoritmo. El análisis suavizado recientemente ha surgido como otro paradigma para explicar por qué algunos algoritmos que son exponenciales en el peor de los casos funcionan tan bien en la práctica, por …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

¿Es el siguiente problema en PTIME o coNP-hard: Dadas dos expresiones booleanas y e 2 en variables x 1 , ... , x n , sin negación (es decir, las expresiones se construyen completamente a través de ∧ y ∨ ). Decida si e 1 ≡ e 2 , es …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Existe evidencia teórica de que la ingenua construcción de productos cartesianos para la intersección de los DFA es "lo mejor que podemos hacer". ¿Qué pasa con la concatenación de dos DFA? La construcción trivial implica convertir cada DFA en un NFA, agregar una transición épsilon y determinar el NFA resultante. …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Es bien sabido que las fórmulas aleatorias -CNF sobre n variables con c n cláusulas son insatisfactorias (es decir, son contradicciones) con alta probabilidad, para una constante c suficientemente grande . Por lo tanto, las fórmulas aleatorias de k -CNF (para c lo suficientemente grande) constituyen una distribución natural sobre …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Supongamos que denota la complejidad de Kolmogorov de una cadena x . ¿Existe una cadena tal que K ( x x ) < K ( x ) . (Aquí x x es la concatenación de x consigo mismo). Aquí se hizo una pregunta similar pero diferente , pero el contraejemplo …

16 cc.complexity-theory  kolmogorov-complexity 

Una función es unidireccional si puede calcularse mediante un algoritmo de tiempo polinomial, pero para cada algoritmo de tiempo polinómico aleatorio ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) para cada polinomio y suficientemente grande , suponiendo que se elige de manera uniforme desde . La …

16 cc.complexity-theory  cr.crypto-security  one-way-function