Preguntas etiquetadas con cc.complexity-theory

P versus NP y otros cálculos limitados por recursos.

3
¿Hay un juego simple con complejidad asimétrica?
Considere la información completa de los juegos combinatorios de dos jugadores que terminan después de un número polinómico de movimientos, y de manera alterna, los jugadores eligen entre un número finito de movimientos permitidos. La pregunta habitual es cuán difícil es distinguir desde una posición determinada al ganador. Otra sería, …
2
Complejidad de línea recta de monomios
Deje ser un campo. Como de costumbre, para una definimos como la complejidad lineal de sobre . Sea el conjunto de monomios de , es decir, los monomios que aparecen en con coeficiente distinto de cero.kkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}]L(f)L(f)L(f)fffkkkFFFffffff ¿Es cierto que ?∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le L(f) ¿ Se conoce incluso un …
2
¿Cómo juzgar la definición de complejidad computacional de los reales es natural o adecuada?
Como sabemos, la definición de la complejidad computacional del algoritmo es casi sin controversia, pero la definición de la complejidad computacional de los reales o los modelos de cálculo sobre los reales no es en tal caso. Conocemos el modelo y modelo de Blum y Smales en el libro Análisis …
4
Problemas polinomiales en clases de grafos definidos por subgrafías cíclicas inducidas prohibidas
Cruzado desde MO . Sea una clase gráfica definida por un número finito de subgrafías inducidas prohibidas, todas las cuales son cíclicas (contienen al menos un ciclo).CCC ¿Hay problemas de gráficos NP-hard que se puedan resolver en tiempo polinómico para no sean Clique y Clique cover?CCC Si no recuerdo mal, …
3
¿Existen pruebas no constructivas de la existencia de máquinas de Turing / NFA "pequeñas"?
Después de leer una pregunta relacionada , acerca de las pruebas de algoritmos de existencia no constructivas, me preguntaba si existen métodos para mostrar la existencia de máquinas de cómputo "pequeñas" (por ejemplo, a nivel de estado) sin construirlas realmente. Formalmente: supongamos que tenemos un lenguaje y arreglamos un modelo …
1
Casi siempre casi correcto
Estoy buscando una clase de complejidad que se relacione con APX como BPP se relaciona con P. Ya he hecho la misma pregunta aquí , pero tal vez TCS sería una ubicación más fructífera para las respuestas. La razón de la pregunta es que, en problemas prácticos, a menudo es …
1
Modelo computacional en SETH
Impagliazzo, Paturi y Calabro, Impagliazzo, Paturi introdujeron la hipótesis del tiempo exponencial (ETH) y la hipótesis del tiempo fuertemente exponencial (SETH). Aproximadamente, SETH dice que no existe un algoritmo que resuelva SAT en el tiempo . 1.99n1.99n1.99^n Me preguntaba qué significaría romper con SETH. Definitivamente necesitamos encontrar un algoritmo que …
2
Intuición para la clase UP
La clase UP se define como tal: La clase de problemas de decisión que una máquina NP puede resolver Si la respuesta es 'sí', se acepta exactamente una ruta de cálculo. Si la respuesta es 'no', todas las rutas de cálculo se rechazan. Estoy tratando de desarrollar la intuición para …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.