Preguntas etiquetadas con cc.complexity-theory

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

2
Dureza de los separadores de vértices
Para un gráfico dado , el Problema del separador pregunta si existe un conjunto de vértices o bordes de pequeña cardinalidad (o peso) cuya eliminación separa G en dos gráficos disjuntos de tamaños aproximadamente iguales. Esto se llama el Problema del separador de vértices cuando el conjunto eliminado es un …
1
¿Observan las personas el nido de bucles en los circuitos booleanos?
Mientras era estudiante de EE asistí a algunas conferencias que presentaban una buena caracterización de los circuitos booleanos en términos de cuántos bucles anidados tienen. En complejidad, los circuitos booleanos a menudo se consideran dags, pero en los ciclos reales de hardware son comunes. Ahora, modulo algunos tecnicismos con respecto …
3
Dos variantes de NP
Aquí hay dos variaciones en la definición de NP. Definen (casi con certeza) clases de complejidad distintas, pero mi pregunta es: ¿hay ejemplos naturales de problemas que encajen en estas clases? (Mi umbral para lo que cuenta como natural aquí es un poco más bajo de lo habitual). Clase 1 …
2
¿Ejemplo de algo diferente para oráculos genéricos y aleatorios?
Deje que sea ​​un oráculo genérico en el sentido de la categoría de Cohen / Baire. Deje ser un oráculo al azar.RGGGRRR ¿Hay clases de complejidad A y B con o el al revés, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La pregunta fue inspirada por un comentario de Scott …
2
¿El problema de N Queens es NP-duro?
El problema de N-queen es este: Entrada: N Salida: una colocación de N "reinas" en un tablero de ajedrez de NXN de modo que no haya dos reinas en la misma fila, columna o diagonal. Al hacer una búsqueda en Google sobre esto, descubrí que muchas diapositivas de muchos profesores …
2
Mínimo verdadero monótono 3SAT
Estoy interesado en una variación SAT donde la fórmula CNF es monótona (no se niegan variables). Tal fórmula es obviamente satisfactoria. Pero digamos que el número de variables verdaderas es una medida de cuán buena es nuestra solución. Entonces tenemos el siguiente problema: MÍNIMO VERDADERO MONOTONE 3SAT INSTANCIA: Conjunto U …
1
Una obstrucción como ETH
Sabemos que bajo ETHETHETH no podemos resolver KKK -SUM en el tiempo f(K)poly(nK)f(K)poly(nK)f(K)poly(nK) bajo ninguna función f(K)f(K)f(K) (generalmente 2O(K)2O(K)2^{O(K)} ). ¿Hay alguna conjetura que evite una complejidad (logn)O(K)(log⁡n)O(K)(\log n)^{O(K)} (esto es completamente consistente con la posibilidad ya que K=Ω(n)K=Ω(n)K=\Omega(n) necesitamos tiempo exponencial para la suma del subconjunto) o se permite …
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.