¿Alguien puede proporcionar un ejemplo de dos autómatas no deterministas (NFA) mínimos equivalentes (que reconocen el mismo lenguaje) que no son
Seguimiento ¿Cuál es un ejemplo de una mónada que es una alternativa pero no una MonadPlus? : Supongamos que es una mónada. ¿Cuáles son las relaciones betweem m ser una alternativa , un MonadPlusCatch y una MonadPlusDistr ? metrommmetrommPara cada uno de los seis pares posibles, me gustaría tener...
¡En los tipos recursivos de Wadler gratis! [1], demostró dos tipos, y ∃ X . ( X → F ( X ) ) × X , y afirmó que son duales . En particular, señaló que el tipo ∃ X . X → ( X → F ( X ) ) no es∀ X. ( F( X) → X) → X∀X.(F(X)→X)→X\forall X . (F(X) \rightarrow X) \rightarrow X∃ X. ( X→ F( X) ) ×...
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...
Está formulado extendiendo los gráficos de umbral . Dado un gráfico de umbral , donde C es la camarilla y I es el conjunto independiente, mi extensión es como sigue: Cada vértice v ∈ I puede ser reemplazado por un nuevo clique K v tal que los vértices de K v tienen el mismos vecinos de v...
ETH afirma que SAT no se puede resolver en el peor de los casos en tiempo subexponencial. ¿Qué pasa con el caso promedio? ¿Hay problemas naturales en NP que se supone que son exponencialmente difíciles en el caso promedio? Tome el caso promedio como el tiempo promedio de ejecución con una...
En el famoso contraejemplo para el isomorfismo gráfico mediante el método Weisfeiler-Lehman (WL) , Cai, Furer e Immerman construyeron el siguiente dispositivo en este documento . Construyen un gráfico dado porXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k,
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 vez...
Considere un predicado monótono sobre el conjunto de potencia 2 | n | (ordenado por inclusión). Por "monotónico" quiero decir: ∀ x , y ∈ 2 | n | tal que x ⊂ y , si P ( x ) entonces P ( y ) . Estoy buscando un algoritmo para encontrar todos los elementos mínimos de P , es decir, x ∈ 2 | n | tal que...
Inspirado por esta pregunta , tengo curiosidad por lo siguiente: ¿Cuál es la complejidad del peor caso de verificar si un DFA determinado acepta el mismo lenguaje que una expresión regular dada? ¿Se sabe esto? La esperanza sería que este problema esté en P, que exista un algoritmo polinomial...
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...
El algoritmo simplex a menudo se trata dentro de la aritmética real o en el mundo discreto con cálculos exactos. Sin embargo, parece implementarse con mayor frecuencia con aritmética de punto flotante. Esto lleva a la pregunta de si el algoritmo simplex debe considerarse como un algoritmo...
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...
Considere un circuito que toma como entradas números en , y tiene puertas que consisten en las funciones max ( x , y ) , min ( x , y ) , 1 - x , y x + y[ 0 , 1 ][0,1][0,1]max ( x , y)max(x,y)\max(x, y)min ( x , y)min(x,y)\min(x, y)1 - x1−x1 - x . La salida del circuito también es un número...
El famoso artículo de 1983 de H. Lenstra Integer Programming With A Fixed Number Of Variables establece que los programas enteros con un número fijo de variables pueden resolverse en el tiempo polinomial en la longitud de los datos. Lo interpreto de la siguiente manera. La programación de...
¿Cuál es el más eficiente (en la complejidad del tiempo) algoritmo conocido hoy en día para la Divisibity Decisión Problema: dados dos números enteros, por ejemplo y b , hace una división B ? Que quede claro que lo que pido no es (necesariamente) un algoritmo para el cálculo del resto. Solo quiero...
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 = ZPP [ 1 ]. Pero, ¿qué pasa si el grado máximo de G está limitado...
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 fila o columna...
Defina como la clase de idiomas que puede aceptar una máquina de Turing (multitapa) en el tiempo f ( n ) + 1 . (El " + 1 " es simplemente para simplificar la notación y evitar confusiones). Observe que no hay O ( ⋅ ) alrededor de f ( n ) + 1
Estoy buscando un pequeño gráfico GGG cuyo número cromático vectorial es menor que el número cromático,