Preguntas etiquetadas con cc.complexity-theory

El análisis suavizado se ha aplicado muchas veces para comprender el tiempo de ejecución de algoritmos exactos para muchos problemas como la programación lineal y k-means. Hay resultados bastante generales en este ámbito, por ejemplo, Heiko Röglin y Berthold Vöcking, Análisis suavizado de la programación de enteros , 2005. Algunos …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Sudoku es un rompecabezas bien conocido que es NP completo. Sudoku binario es una variante que solo permite los números y 1 . Las reglas son las siguientes.000111 Cada fila y cada columna deben contener un número igual de ceros y unos. Cada fila y cada columna es única. Ninguna …

12 cc.complexity-theory  np-hardness  puzzles 

Estoy buscando resultados de dureza en la coloración de vértices de gráficos con grado acotado. Dado un gráfico , sabemos que para cualquier ϵ > 0 , es difícil aproximar χ ( G ) dentro de un factor de | V | 1 - ϵ a menos que NP = …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

El teorema de la dicotomía de Schaefer muestra que cada problema de CSP sobre puede resolverse en tiempo polinómico o es NP completo. Esto aplica solo para problemas CSP de ancho acotado, excluyendo SAT y Horn-SAT, por ejemplo. Los problemas generales de CSP de ancho ilimitado pueden ser muy difíciles …

12 cc.complexity-theory  lo.logic  csp 

RP=NPRP=NPRP = NP es ampliamente conjeturado como falso. Pero imagine por un momento que es verdad. En tal caso, ¿qué tan probable sería que ?P=NPP=NPP = NP En otras palabras: en un mundo donde RP=NPRP=NPRP = NP , ¿qué podría verse como un obstáculo para que creamos P=NPP=NPP = NP …

12 cc.complexity-theory  complexity-classes  conditional-results 

Arregle un problema de búsqueda NP-complete, por ejemplo, la forma de búsqueda de SAT. La búsqueda de Levin proporciona un algoritmo para resolver X que es óptimo en algún sentido. Específicamente, el algoritmo es "Ejecutar todos los posibles programas P en cola de milano en la entrada x , una …

12 cc.complexity-theory  time-complexity  p-vs-np 

Se han realizado algunos esfuerzos para atacar el problema del isomorfismo gráfico utilizando la caminata aleatoria cuántica de bosones de núcleo duro (simétrica pero sin ocupación doble). Amir Rahnamai Barghi e Ilya Ponomarenko demostraron que el poder simétrico de la matriz de adyacencia, que parecía prometedor, era incompleto para los …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Si nos dan dos cadenas de tamaño y n 2 , la Levenshtein cálculo de distancia de edición estándar es mediante un algoritmo dinámico con el tiempo complejidad O ( n 1 n 2 ) y el espacio complejidad O ( n 1 n 2 ) . (Se pueden hacer …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Ahora se sabe que el adversario general de límite inferior caracteriza la complejidad de la consulta cuántica debido al trabajo innovador de Reichardt et al. La misma línea de trabajo también establece conexiones con el marco del programa span para diseñar algoritmos cuánticos. Muchos algoritmos cuánticos interesantes, incluidos los que …

12 cc.complexity-theory  quantum-computing  query-complexity 

Dado un gráfico dirigido con n nodos de modo que cada vértice tenga exactamente dos bordes salientes, y un número natural N codificado en binario, dos vértices syt, Quiero contar el número de rutas (no necesariamente simples) de sa t en N pasos. ¿Es este un problema difícil de # …

12 cc.complexity-theory  graph-theory  counting-complexity 

Definir un "problema" a ser un algoritmo aceptar un número natural y devolver 0 o 1 que devuelve 1 en al menos un n ∈ N . Cualquiera de tales n se llama una "solución" a AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Defina un "solucionador de problemas universal" como un algoritmo acepta un …

12 cc.complexity-theory  ai.artificial-intel 

Arora y Barak muestran que puede expresarse como B P ⋅ N P, es decir, el conjunto de idiomas que tienen reducciones aleatorias a 3SAT. M A también es una generalización aleatoria natural de N P en la que reemplaza el verificador determinista por uno aleatorio.A MAM\mathsf{AM}B P ⋅ N …

12 cc.complexity-theory  big-picture 

Un MPA (autómata multipebble) es un 2DFA (autómata finito determinista bidireccional) que puede usar un número arbitrario de guijarros (en realidad, como máximo guijarros en una entrada dada - la entrada está escrita en la cinta entre dos extremos -marcadores como ). Durante el cálculo, un MPA puede detectar si …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Digamos que uno tiene un idioma L ⊆ Σ∗L⊆Σ∗L \subseteq \Sigma^* , pero uno no sabe qué cadenas son realmente parte del idioma. Todo lo que uno tiene es una vista finita del lenguaje: un conjunto finito de cadenas A ⊆ LA⊆LA \subseteq L que se sabe que están en …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Por lo general, es más simple razonar sobre el cálculo donde la limitación es la finitud de la computación en lugar de un umbral como "computable en una cantidad de tiempo polinómica". En la teoría de los lenguajes formales, por ejemplo, en lugar de usar para caracterizar un monoïd aperiódico, …

12 cc.complexity-theory  computability