Ciencias de la computación teórica

Dado es un dag. Desea etiquetar cada nodo por la cantidad de nodos a los que se puede acceder desde él. es un límite superior trivial; Ω ( V + E ) es un límite inferior (creo). ¿Hay un mejor algoritmo? ¿Hay alguna razón para creer que el límite inferior …

23 ds.algorithms  graph-theory 

Estoy interesado en el problema de empacar copias idénticas de rectángulos (2 dimensiones) en un polígono convexo (2 dimensiones) sin superposiciones. En mi problema, no puede rotar los rectángulos y puede suponer que están orientados en paralelo con los ejes. Solo se le dan las dimensiones de un rectángulo y …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Esta pregunta está relacionada con una respuesta que publiqué en respuesta a otra pregunta. El problema de 3 particiones es el siguiente: Instancia : enteros positivos a 1 , ..., a n , donde n = 3m y la suma de los n enteros es igual a mB, de modo …

23 cc.complexity-theory  np-hardness 

Me preguntaba qué herramientas utilizan las personas en este campo (informática teórica) para crear presentaciones. Dado que gran parte de la informática no es solo escribir documentos sino también hacer presentaciones, pensé que esta sería una pregunta suave importante. Esto se inspira en la pregunta anterior, ¿ qué herramientas utilizas …

23 soft-question  research-practice  writing 

Estoy tratando de entender la relación entre el isomorfismo gráfico y el problema oculto de subgrupos. ¿Hay una buena referencia para esto?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

Si tengo un conjunto de restricciones lineales en las que cada restricción tiene como máximo (por ejemplo) 4 variables (todas no negativas y con coeficientes {0,1} excepto una variable que puede tener un coeficiente -1), qué se sabe sobre la solución ¿espacio? Me preocupa menos una solución eficiente (aunque indique …

23 co.combinatorics  integer-programming 

Publicación actualizada el 31 de agosto : agregué un resumen de las respuestas actuales debajo de la pregunta original. Gracias por todas las respuestas interesantes! Por supuesto, todos pueden seguir publicando cualquier hallazgo nuevo. ¿Para qué familias de gráficos existe un algoritmo de tiempo polinómico para calcular el número cromático …

23 ds.algorithms  graph-theory  co.combinatorics 

Ha pasado más de un año desde su retracción y corrección de enero de 2017. ¿Hay novedades? Si no, ¿es normal que la validación demore tanto? Esperaría que recibiera mucha atención. ¿Alguien notable ha hablado para apoyar / dudar del resultado cuasi polinomial?

23 cc.complexity-theory  graph-isomorphism  proofs 

Motivado por el comentario de Fortnow en mi publicación, Evidencia de que el problema del isomorfismo gráfico no es NPNPNP -completo , y por el hecho de que GIGIGI es un candidato principal para NPNPNP -problema intermedio (no NPNPNP -completo ni en PPP ), estoy interesado en evidencias conocidos que …

23 cc.complexity-theory  graph-isomorphism 

Fijo un lenguaje regular LLL en un alfabeto ΣΣ\Sigma , y considero que el siguiente problema al que llamo programación carta de LLL . Informalmente, la entrada me da nnn letras y un intervalo para cada letra (es decir, una posición mínima y máxima), y mi objetivo es colocar cada …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

El problema No todos iguales -SAT (NAE k -SAT), dado un conjunto C de cláusulas sobre un conjunto X de variables booleanas de modo que cada cláusula contenga como máximo k literales, pregunta si existe una asignación de verdad de las variables de manera que cada cláusula contiene al menos …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

El primer paso del algoritmo de prueba de primalidad AKS es verificar si el número de entrada es una potencia perfecta. Parece que este es un hecho bien conocido en la teoría de números ya que el documento no lo explicó en detalle. ¿Alguien puede decirme cómo hacer esto en …

23 ds.algorithms  nt.number-theory 

Subhash Khot 's juegos únicos conjetura es una de las áreas de investigación activos en teoría de la complejidad. ¿Qué evidencia tenemos de ello? ¿Qué evidencia tenemos en contra?

23 cc.complexity-theory  unique-games-conjecture 

Para A⊂[n]UNA⊂[norte]A\subset [n] denotan por aiunayoa_i el ithyothi^{th} elemento más pequeño de AUNAA . Para dos conjuntos de elementos kkk , A,B⊂[n]A,B⊂[n]A,B\subset [n] , decimos que A≤BA≤BA\le B si ai≤biai≤bia_i\le b_i para cada iii . A kkk hypergraph Uniform que se llama una cadena cambio si por cualquier hyperedges, , …

23 co.combinatorics  graph-colouring  hypergraphs 

Deje que las variables sean . La distancia entre dos variables se define como. La distancia entre dos literales es la distancia entre las dos variables correspondientes. d ( x a , x b ) = | a - b |x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = …

22 np-hardness  sat