Una pregunta en algún sistema formal con una respuesta de sí o no.
Me gustaría saber si ha habido algún trabajo que relacione el código legal con la complejidad. En particular, supongamos que tenemos el problema de decisión "Dado este libro de leyes y este conjunto particular de circunstancias, ¿es el acusado culpable?" ¿A qué clase de complejidad pertenece? Hay...
Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando n/2pares de...
Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por lo que puedo decir. Una...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Se sabe que cada problema de optimización / búsqueda tiene un problema de decisión equivalente. Por ejemplo,...
Claramente no hay ningún problema indecidible en NP. Sin embargo, según Wikipedia : NP es el conjunto de todos los problemas de decisión para los cuales las instancias donde la respuesta es "sí" tienen [... pruebas que son] verificables en tiempo polinómico por una máquina de Turing...
Esas terminologías me confunden. Según entiendo Solucionador SAT: decida la satisfacción de la lógica proposicional (usando DPLL o Búsqueda local). El procedimiento de decisión es un procedimiento para decidir la satisfacción de una determinada teoría de primer orden decidible. El solucionador...
Entonces entiendo la idea de que el problema de decisión se define como ¿Existe una ruta P tal que el costo sea menor que C? y puede verificar fácilmente que esto sea cierto al verificar la ruta que recibe. Sin embargo, ¿qué pasa si no hay un camino que se ajuste a este criterio? ¿Cómo...
Tengo un problema de decisión NP-completo. Dada una instancia del problema, me gustaría diseñar un algoritmo que genere SÍ, si el problema es factible, y, de lo contrario, NO. (Por supuesto, si el algoritmo no es óptimo, cometerá errores). No puedo encontrar ningún algoritmo de aproximación para...
¿Existe un algoritmo / procedimiento sistemático para probar si un lenguaje no tiene contexto? En otras palabras, dado un idioma especificado en forma algebraica (piense en algo como ), pruebe si el idioma está libre de contexto o no . Imagine que estamos escribiendo un servicio web para ayudar a...
En la Teoría de la computación de Michael Sipser en la página 270, escribe: P = la clase de idiomas para los cuales la membresía se puede decidir rápidamente. NP = la clase de idiomas para los cuales la membresía se puede verificar rápidamente. ¿Cuál es la diferencia entre "decidido" y...
ej. ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Las expresiones son del álgebra ordinaria de la escuela secundaria, pero están restringidas a la suma y multiplicación aritmética (por ejemplo, ), sin inversos, restas o divisiones. Las letras son variables.2+2=4;2.3=62+2=4 4;2.3=6 62+2=4;...
Me pregunto si decidir la capacidad de decisión del problema es un problema decidible. Supongo que no, pero después de las búsquedas iniciales no puedo encontrar ninguna literatura sobre este
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...
Entonces, sé que probar si un lenguaje regular es un subconjunto del lenguaje regular S es decidible, ya que podemos convertirlos a ambos en DFA, calcular R ∩ ˉ S y luego probar si este idioma está vacío.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Sin embargo, dado que esto requiere la conversión a DFA, es...
Quiero especificar qué significa dar un álgebra como entrada a un algoritmo y no encontré mucha literatura al respecto. Primero, quiero preguntar si puede recomendar un libro o documento que aborde el tema del análisis de complejidad de álgebras sobre campos y defina claramente el problema de...
¿Existe un algoritmo / procedimiento sistemático para evaluar si un idioma es regular? En otras palabras, dado un idioma especificado en forma algebraica (piense en algo como ), pruebe si el idioma es regular o no. Imagine que estamos escribiendo un servicio web para ayudar a los estudiantes con...
¿Está el siguiente problema NP-completo? (Asumo que sí). Entrada: un gráfico no dirigido en el que el conjunto de bordes puede descomponerse en dos ciclos simples separados por bordes (estos no son parte de la entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pregunta: ¿Hay un ciclo...
¿Existe un algoritmo para el siguiente problema: Dada una máquina de Turing que decide un lenguaje L , ¿hay una máquina de Turing M 2 que decide L de modo que t 2 ( n ) = o ( t 1 ( n ) ) ?METRO1M1M_1LLLMETRO2M2M_2LLLt2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Las funciones y t 2...
Entonces, dados dos DFA, ¿es el problema de encontrar si generan el mismo idioma un problema decidible? Ya sé que la igualdad de dos CFL no es decidible pero ¿qué pasa con la igualdad de dos DFA? Teniendo en cuenta que la mayoría de los problemas con los DFA son decidibles, ¿esto también es...
Mi libro dice esto Si un problema de decisión B está en P y A se reduce a B, entonces el problema de decisión A está en P. Un problema de decisión B es NP completo si B está en NP y para cada problema en A en NP, A se reduce a B. Un problema de decisión C es NP completo si C está en NP y...