Preguntas etiquetadas con decision-problem

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 resultados que han …

64 complexity-theory  np-complete  decision-problem 

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 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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, el problema del camino más corto Versión de …

26 complexity-theory  optimization  search-problem  decision-problem 

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 determinista. [...] Se …

25 complexity-theory  computability  undecidability  decision-problem 

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 SMT es un procedimiento de resolución y resolución SAT. …

24 algorithms  terminology  reference-request  decision-problem 

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 …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

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 tales problemas. Estaba …

18 algorithms  satisfiability  approximation  decision-problem 

¿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 …

18 algorithms  formal-languages  context-free  decision-problem 

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" …

16 complexity-theory  terminology  decision-problem 

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; 2.3=6 Si ayuda, podemos prohibir cualquier expresión representable con valores numéricos distintos de ; es …

14 complexity-theory  time-complexity  decision-problem 

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 problema.

13 computability  undecidability  decision-problem 

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 concatenando como …

12 complexity-theory  decision-problem  np 

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, …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

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 …

11 computability  automata  finite-automata  decision-problem