Considere un problema en el que se le proporciona una cuadrícula 2D (por ejemplo, un tablero de ajedrez) donde están ocupados ciertos cuadrados y necesita colocar el número mínimo de rectángulos no superpuestos de cualquier tamaño wxh donde w = 1 o h = 1 (es decir, "cuadrado segmentos ") de modo...
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 resultados o esfuerzos de esta manera? He estado...
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...
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...
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<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in...
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: ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕ∀ y1, ... , ynorte, ∃ x1, ... , xmetro, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃ x1, ......
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 NP completas ( problemas de...
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...
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
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 ,...
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...
¿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
¿Cuál es el algoritmo de isomorfismo gráfico no dirigido más rápido
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...
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...
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...
Estoy tomando un curso de posgrado en teoría de la información y constantemente me sorprende la cantidad de optimización convexa que hay en esta materia. Sin embargo, las pruebas parecen eludir el uso de toda la maquinaria de la teoría de la relajación, la dualidad, etc. Esto es comprensible ya que...
Dejar solsolG ser un gráfico que es la unión disjunta de una camarilla y un conjunto independiente, es decir G =Knorte1+Knorte2¯¯¯¯¯¯¯¯=Knorte1+yonorte2.sol=Knorte1+Knorte2¯=Knorte1+yonorte2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La clase de gráfico de todos estos gráficos se...
¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece esto...
Supongamos que y H son dos gráficos r- conectados regulares de tamaño n . Deje A el conjunto de permutaciones P tal que P G P - 1 = H . Si G = H entonces A es el conjunto de automorfismos de G .solGGHHHrrrnortennUNAAAPAGSPPPAGSG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HAAAGGG ¿Cuál es el límite...