Ciencias de la computación teórica

Sea una función booleana con sensibilidad s ( f ) y sensibilidad de bloque b s ( f ) .Fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) La conjetura de sensibilidad del bloque de sensibilidad establece que hay un tal que ∀ f , b s ( f ) ≤ s ( …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

¿Hay problemas NP completos (o incluso NP-duros o NP) que tienen buenas propiedades topológicas para estudiar. ¿Los problemas NP tienen formulaciones teóricas de nudos? Conocemos los resultados de # sobre el polinomio de Jones. Los problemas de gráficos (¿incrustaciones?), Específicamente los colores de los gráficos pueden verse con buenas propiedades …

12 ct.category-theory  np 

Estoy bastante seguro de que no soy el primero en considerar la idea que voy a presentar. Sin embargo, sería útil si puedo encontrar alguna literatura relacionada con la idea. La idea es construir una máquina de Turing M con la propiedad de que si P = NP, entonces M …

12 reference-request  turing-machines  p-vs-np 

¿Cómo se demuestra que una determinada propiedad no se puede expresar en 2-CNF (2-SAT)? ¿Hay algún juego, como los juegos de guijarros? Parece que el clásico juego de guijarros negros y el juego de guijarros blanco y negro no son adecuados para esto (son completos para PSPACE, según Hertel y …

12 sat  lower-bounds  combinatorial-game-theory 

La entrada es un universo y una familia de subconjuntos de , por ejemplo, . Suponemos que los subconjuntos de pueden cubrir , es decir, .U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃mi∈ Fmi= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Una secuencia …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

¡Entonces todos conocemos el límite inferior del árbol de comparación de en el peor de los casos de comparaciones realizadas por un algoritmo de clasificación de comparación (determinista). No se aplica a la clasificación de comparación aleatoria (si medimos las comparaciones esperadas para el peor de los casos). Por ejemplo, …

12 ds.algorithms  reference-request  sorting 

La página de Wikipedia en PSPACE menciona que la inclusión no es estricta (desafortunadamente sin referencias).NL⊂PHNL⊂PHNL\subset PH P1: ¿Qué pasa con y ? ¿Se sabe que son estrictos?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} P2: Si no, ¿hay una clase establecida que contiene y para la cual no se sabe si la inclusión es …

12 cc.complexity-theory  complexity-classes  logspace 

Supongamos que una familia de gráficos tiene rutas inducidas largas si hay una constante modo que cada gráfico en contenga una ruta inducida en vértices. Estoy interesado en las propiedades de las familias de gráficos que aseguran la existencia de rutas inducidas largas. En particular, actualmente me pregunto si los …

12 graph-theory  expanders 

Acabo de completar un breve artículo (5 páginas) sobre la prueba de un cierto juego combinatorio NP-Complete. Esto de ninguna manera es un resultado de gran importancia, pero creo que es publicable. ¿Qué lugares serían buenos para un periódico como este? El único que conozco son las cartas de procesamiento …

12 journals 

Mientras respondía esta pregunta en teoría , demostré (informalmente) sobre la marcha el siguiente teorema: Teorema : para cualquier fija, la sonda del ciclo hamiltoniano permanece completa NP incluso si está restringida a gráficos bipartitos planos no direccionados de grado máximo 3 que no contienen ciclos de longitud ≤ l …

12 reference-request  np-hardness 

¿Podemos demostrar que para cada idioma que no es N P -duro (esto supone P ≠ N P ), P L ≠ P SAT ? Alternativamente, ¿se puede probar esto bajo cualquier supuesto razonable?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

Estaba leyendo un artículo de Buhrman y Homer "Circuitos superpolinomiales, oráculos casi dispersos y la jerarquía exponencial" . Al final de la página 2, comentan que los resultados de Kannan implican que NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} no tiene circuitos de tamaño polinómico. Sé que en la jerarquía de tiempo exponencial, NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} es solo …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Considere un vector dimensional donde . Para cada sabemos y supongamos que son independientes. Usando estas probabilidades, ¿hay una manera eficiente de iterar sobre vectores binarios dimensionales en orden de más probable a menos probable (con opciones arbitrarias para los lazos) usando el espacio sublineal en el tamaño de salida? …

12 ds.algorithms  space-bounded 

¿Es posible que ? ¿Hay consecuencias interesantes de tal contención? ¿Contradeciría la hipótesis del tiempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Considere el siguiente juego de cartas (conocido en Italia como "Cavacamicia", que se puede traducir como "camisa de rayas"): Dos jugadores dividen aleatoriamente en dos mazos un mazo de cartas estándar. Cada jugador tiene un mazo. Los jugadores alternan colocando en una pila la siguiente carta de su mazo. Si …

12 board-games