Hay bins, el i ésimo bin contiene un i bolas. Las bolas tienen n colores, hay una i bolas de color i . Sea m = ∑ n i = 1 a i .nortenortenyoyoiunyounyoa_inortenortenunyounyoa_iyoyoim = ∑nortei = 1unyometro=∑yo=1norteunyom=\sum_{i=1}^n a_i Un intercambio es tomar una pelota de un contenedor e...
Al leer algunos blogs sobre la complejidad computacional (por ejemplo, aquí ) asimilé la noción de que decidir si dos grupos son isomórficos es más fácil que probar dos gráficos para el isomorfismo. Por ejemplo, en la página indicada dice que el isomorfismo gráfico es un problema más general que el...
¿Qué significa la clase de complejidad ? Sé que ⊕ P es la clase de complejidad que contiene los lenguajes A para los cuales existe una máquina de Turing no determinista de tiempo polinomial M tal que x ∈ A si el número de estados de aceptación de la máquina M en la entrada x es impar.⊕ P⊕...
¿Cómo demostrar que ? Solo estoy buscando un oracle TM M y un lenguaje recursivo L ( M ) = L para el cual esto es válido.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMETROMML ( M) = LL(M)=LL(M) = L Sé que la prueba donde se demuestra que existe un oráculo tal que P A ≠ N P A y un...
Acabo de leer algunas páginas en el libro de Sipser Introducción a la teoría de la computación sobre el problema posterior a la correspondencia, y estoy pensando que PCP está realmente en NP. El certificador es: para una configuración de entrada de pile concatenando como una cadena y...
Definición: Reducción de Karp Un lenguaje es Karp reducible a un lenguaje si hay una función computable de tiempo polinomial f: \ {0,1 \} ^ * \ rightarrow \ {0,1 \} ^ * tal que para cada x , x \ in a si y sólo si f (x) \ in B .BAAABBB x x ∈ A f ( x ) ∈
He visto cómo XOR-3-SAT se puede resolver de manera eficiente (por ejemplo, consulte la sección "Satisfacción de XOR" en la entrada de Wikipedia para el problema de satisfacción booleana ). Me pregunto una pregunta básica: ¿es XOR-k-SAT eficientemente solucionable, para fórmulas con cantidades...
Se hizo una pregunta en Stack Overflow ( aquí ): Dado un número entero , imprimir todas las combinaciones posibles de valores enteros de A , B , C y D que resolver la ecuación A 2 + B 2 + C 2 + D 2 = N .NNNA,B,CA,B,CA,B,CDDDA2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N Por supuesto, esta...
A continuación, supongamos que estamos trabajando con una máquina Turing de cinta infinita. Al explicar la noción de la complejidad del tiempo a alguien, y por qué se mide en relación con el tamaño de entrada de una instancia, me topé con la siguiente afirmación: [..] Por ejemplo, es natural...
Tengo curiosidad por saber si hay problemas completos en la clase de complejidad Arthur-Merlin. Graph Non-Isomorphism (GNI) parece ser el ejemplo canónico de un problema en AM, pero probablemente no sea completo. Supongo que también me pregunto si un problema "completo" está bien definido para AM....
Estoy tratando de construir una lista de algoritmos / problemas que son "excepcionalmente útiles", como resolver problemas que 'parecen' muy exponenciales en la naturaleza, pero que tienen un algoritmo particularmente inteligente que finalmente los resuelve. Ejemplos de lo que quiero...
¿La completitud de coNP implica dureza NP? En particular, tengo un problema que he demostrado que es completo para coNP. ¿Puedo afirmar que es NP-hard? Me doy cuenta de que puedo reclamar dureza de coNP, pero no estoy seguro de si esa terminología es estándar. Me siento cómodo con la afirmación de...
Me pregunto esto basado en varios lugares en línea que llaman a co- un problema abierto importante ... pero no puedo encontrar ninguna indicación de si esto es lo mismo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf
Tengo esta "prueba" muy simple para NP = CoNP y creo que hice algo mal en alguna parte, pero no puedo encontrar lo que está mal. ¿Alguien me puede ayudar? Sea A un problema en NP, y sea M el decisivo para A. Sea B el complemento, es decir, B está en CoNP. Dado que M es un elemento decisivo,...
¿La dificultad de un problema NP-hard o NP-complete (como se define aquí ) cambia cuando su entrada es unaria en lugar de codificada en binario? ¿Qué diferencia hay si la entrada de un problema fuertemente NP-hard está codificada de forma unaria? Quiero decir, si tomo, por ejemplo, el problema de...
Soy consciente de que esto parece una pregunta muy estúpida (o demasiado obvia para decir). Sin embargo, estoy confundido en algún momento. Podemos mostrar que P NP=== si y solo si podemos diseñar un algoritmo que resuelva cualquier instancia dada de problema en NP en tiempo polinómico. Sin...
Tengo problemas para comprender los problemas PRIME, COMPUESTO, FACTOR y cómo están relacionados en términos de complejidad. Entiendo que PRIME ha demostrado estar en mediante la prueba de primalidad AKS, y creo que esto también funciona para COMPOSITE.PAGPP En cuanto a FACTOR, FA CTO R = { ( m ,...
Estoy tratando de resolver este problema y realmente estoy luchando. Una fórmula booleana monótona es una fórmula en lógica proposicional donde todos los literales son positivos. Por ejemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3...
Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más...
Tenemos muchos problemas, como la factorización, que se conjeturan fuertemente, pero no se prueban, que están fuera de P. ¿Hay alguna pregunta con la propiedad opuesta, a saber, que se conjeturan fuertemente pero no se prueba que estén dentro de