Preguntas etiquetadas con reference-request

Esta pregunta es doble y está principalmente orientada a referencias: ¿Hay algún lugar donde se den las intuiciones principales para probar el teorema menor del gráfico, sin entrar demasiado en los detalles? Sé que la prueba es larga y difícil, pero seguramente debe haber ideas clave que puedan comunicarse de …

9 reference-request  graph-theory  graph-minor 

Estoy buscando referencias para el siguiente problema: dados los enteros y , enumere todos los gráficos planos no isomórficos en vértices y ancho de árbol \ leq k . Me interesan los resultados teóricos y prácticos, pero en su mayoría algoritmos prácticos que son posibles de codificar y ejecutar para …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Sabemos por el teorema de Church que determinar la satisfacción de primer orden es indecidible en general, pero existen varias técnicas que podemos usar para determinar la satisfacción de primer orden. Lo más obvio es buscar un modelo finito. Sin embargo, hay una serie de declaraciones en la lógica de …

9 reference-request  lo.logic  automated-theorem-proving 

¿Cuál es el algoritmo de isomorfismo gráfico no dirigido más rápido conocido?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

¿Cuáles son algunas de las mejores fuentes (libros y documentos) para motivar y aprender la complejidad de la comunicación por sí misma y en relación con su relación con la teoría de la complejidad computacional?

9 cc.complexity-theory  reference-request  communication-complexity  books 

Deje para , con la promesa de que (donde la suma ha terminado ). Entonces, ¿cuál es la complejidad de determinar si ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Observe que trivialmente el problema radica en porque iff . La pregunta es: ¿el problema radica en …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Sé del trabajo de Shannon con la entropía, pero últimamente he trabajado en estructuras de datos sucintas en las que la entropía empírica se usa a menudo como parte del análisis de almacenamiento. Shannon definió la entropía de la información producida por una fuente de información discreta como , donde …

9 reference-request  shannon-entropy  succinct 

Los equilibrios de Nash son indiscutibles en general. Un equilibrio -Nash es un conjunto de estrategias donde, dadas las estrategias de los oponentes, cada jugador obtiene dentro de el máximo beneficio esperado posible. Encontrar un equilibrio -Nash, dado y un juego, es -complete.ϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonPPADPPAD\mathsf{PPAD} Siguiendo estrictamente las definiciones, parece que no …

9 reference-request  gt.game-theory  ppad 

Es bien sabido que la existencia de funciones unidireccionales es necesaria y suficiente para gran parte de la criptografía (firmas digitales, generadores pseudoaleatorios, cifrado de clave privada, etc.). Mi pregunta es: ¿Cuáles son las consecuencias teóricas de la complejidad de la existencia de funciones unidireccionales? Por ejemplo, las OWF implican …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

ECUACIONES LINEALES DE DIOPHANTINE (dados los números naturales , ¿hay números naturales e tales que ?) Se puedan resolver en tiempo polinómico.a , b , cuna,si,Ca, b, cXXxyyya x + b y+ c = 0unaX+siy+C=0 0ax + by + c = 0 Las ECUACIONES DE DIOFANTINA CUADRÁTICA ( ) son …

9 reference-request 

Sea una familia de subconjuntos de elementos de un universo finito de objetos. Una familia de subconjuntos -elemento de , con , es una - hitting-set de si, para cada existe al menos un conjunto tales que .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Dada una …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

En la introducción de este documento Objetos compartidos eventualmente linealizables (PODC'10) , los autores han presentado la siguiente declaración sin referencias: Sin embargo, la linealización se puede lograr si y solo si se puede resolver el consenso. Aquí, la linealización es la propiedad de consistencia más fuerte conocida de los …

9 reference-request  dc.distributed-comp 

Estoy buscando la complejidad de la satisfacción de una fórmula o de una fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ donde ϕ es la fórmula de la forma: ϕ : = ϕ ∧ ϕ | ¬ ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

Gran parte de la literatura de computación cuántica se centra en el modelo de circuito. La computación cuántica adiabática no se basa en aplicar una secuencia de operadores unitarios, sino en cambiar un hamiltoniano dependiente del tiempo. Estoy buscando información sobre cualquiera de los siguientes. ¿Es la computación cuántica adiabática …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Sabemos que . Del teorema de Savitch, , y, del Teorema de la jerarquía espacial, . Entonces, como no sabemos si , no sabemos si , o sabemos que ? ¿Alguien ha intentado demostrar que \ mathcal L ^ 2 \ subseteq \ mathcal P ? ¿Cuáles son los últimos …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems