Preguntas etiquetadas con complexity-classes

(Publiqué esta pregunta en CS hace diez días, sin respuesta desde entonces, así que la publico aquí). Cualquier fórmula CNF se puede transformar en tiempo polinómico en una fórmula 3-CNF mediante el uso de nuevas variables. No siempre es posible si no se permiten nuevas variables (tome por ejemplo la …

8 cc.complexity-theory  complexity-classes  sat 

Para poder explicar el problema P vs NP a los no matemáticos, me gustaría tener un ejemplo pedagógico de cuándo se puede evitar la búsqueda de fuerza bruta. Idealmente, el problema debería ser inmediatamente comprensible y el truco no debería ser ni demasiado fácil ni demasiado difícil. Lo mejor que …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Espero que esta pregunta no sea demasiado ingenua para este sitio. En matemáticas (topología, geometría, álgebra) es común que uno distinga entre dos objetos creando un invariante algebraico o numérico, y demostrando que los dos objetos tienen valores diferentes. Me pregunto hasta qué punto se ha intentado esto con las …

8 cc.complexity-theory  complexity-classes  algebra 

¿Es posible encontrar una reducción de conteo de #SAT a #HornSAT? No he encontrado esta pregunta publicada aquí, así que decidí verificar si alguien tiene alguna respuesta. Permítanme explicar a qué me refiero con contar la reducción. Suponga que son dos problemas de conteo. Por ejemplo, #SAT pregunta cuántas asignaciones …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

¿Se sabe algo sobre lenguajes reconocidos por un autómata determinista bidireccional de múltiples cabezas o un logspace TM con contador (modelo equivalente)? Esta clase se llama Aux2DC en el documento de mi asesor . ¿O sobre tal clase no determinista? He obtenido que la clase de idiomas reconocidos por tales …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

¿Existe una función similar a una trampilla cuya complejidad de codificación es el tiempo polinomial nk1nk1n^{k_{1}} y la complejidad inversora (sin clave secreta) también es una función polinómica en la longitud de entrada con (digamos que y es incondicionalmente demostrable estar limitado por ) ¿Cuáles son las implicaciones de tales …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

Como sabemos, el isomorfismo gráfico está en NP pero no se sabe que sea NP-Completo o P-Completo. Me preguntaba si hay algún problema que se sabe que está en PSPACE pero no se sabe que es PSPACE-Complete y no se encuentra en PH.

8 cc.complexity-theory  complexity-classes 

por favor, ¿puede proporcionar una referencia o dar ejemplos particulares de problemas completos de PSPACE que se puedan resolver en tiempo pseudo-polinomial? Notas Adicionales: Definición de tiempo pseudopolinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time En respuesta a algunos comentarios mencionados anteriormente. He preguntado antes si había algún problema que fuera PSPACE-complete que tuviera un FPTAS. …

8 cc.complexity-theory  complexity-classes 

Esta es una pregunta algo frívola que surgió en mi cabeza después de leer las diversas respuestas a "¿Cuál es la clase de complejidad" más pequeña "para la que se conoce un circuito superlineal? ". Las respuestas se refieren a , y cuando miré la entrada del zoológico , descubrí …

8 cc.complexity-theory  complexity-classes 

¿Se sabe si SPACE (n) (la clase de lenguajes reconocidos por TM deterministas con espacio lineal) es un subconjunto apropiado de E (la clase de lenguajes reconocidos por TM deterministas en el tiempo 2 ^ O (n))?

8 cc.complexity-theory  complexity-classes 

Se sabe que el problema # MONOTONE-2SAT es # P-completo. Esto significa que #SAT se puede reducir a eso. Mi pregunta es: dada una instancia #SAT , ¿cuál es la transformación que convierte F en su correspondiente instancia # MONOTONE-2SAT F ' ?FFFFFFF′F′F' Una segunda pregunta es: que es el …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat