Preguntas etiquetadas con reference-request

Hoy enseñé los límites inferiores de , y uno de los estudiantes preguntó por la razón del nombre . La explicación oficial es que la "A" significa "Alternancia".A C0 0AC0AC^0A CACAC Recuerdo vagamente que me dijeron hace muchos años que Nick Pippenger Steve Cook nombró a después de Nick Pippenger …

17 cc.complexity-theory  reference-request  ho.history-overview 

Estoy leyendo sobre las clases de gráficos para los que isomorfismo de grafos ( ) se encuentra en . Uno de esos casos son los gráficos de valencia acotada (máximo sobre el grado de cada vértice) como se explica aquí . Pero lo encontré demasiado abstracto. Estaría agradecido si alguien …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

Hace muchos años escuché que calcular el mínimo NFA (autómata finito no determinista) de un DFA (determinista) era una pregunta abierta, en oposición a la dirección inversa que se conoce desde hace décadas y está bien investigada con un eficiente ( n lg n ) algoritmo. ¿Alguien ha ideado un …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Contexto: relaciones entre lógica y autómatas El teorema de Büchi establece que la lógica de segundo orden monádico sobre cadenas (MSO) captura la clase de lenguajes regulares. La prueba muestra que en realidad existencial MSO ( o EMSO ) sobre cadenas es suficiente para capturar los lenguajes regulares. Esto puede …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Una red de conmutación (se inventa el nombre) se realiza con tres tipos de nodos: un nodo de inicio un nodo final uno o más nodos Switch El nodo del interruptor tiene 3 salidas: izquierda, arriba, derecha; tiene dos estados L y R y un estado objetivo TL o TR …

17 ds.algorithms  reference-request  graph-algorithms  np 

¿Cuáles son los métodos más conocidos para la convolución cíclica de longitud sobre un campo pequeño, es decir, cuando ? Estoy particularmente interesado en campos de tamaño constante, o incluso . Las declaraciones y referencias generales de eficiencia asintótica son muy apreciadas.| F | ≪ n F = F 2nnn|F|≪n|F|≪n|\mathbb{F}| …

17 ds.algorithms  reference-request 

El método negativo del adversario ( ) es un SDP que caracteriza la complejidad de la consulta cuántica. Es una generalización del método adversario ampliamente utilizado ( A D V ) y supera las dos barreras que obstaculizaron el método adversario:ADV±ADV±ADV^\pmADVADVADV La barrera de la prueba de propiedad: si todas …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Me han dicho que hay algunos buenos algoritmos de tiempo polinomiales para aproximar el número de rutas simples en un gráfico dirigido desde el vértice inicial dado hasta el vértice final dado . ¿Alguien sabe de una buena referencia sobre este tema?sssttt Antecedentes: contar el número exacto de rutas en …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Es bien sabido que si arrojas n bolas en n contenedores, es muy probable que el contenedor más cargado tenga O ( logn )O(Iniciar sesión⁡norte)O(\log n) bolas en él. En general, uno puede preguntar acerca de bolas en contenedores. Un artículo de RANDOM 1998 de Raab y Steger explora esto …

17 reference-request  pr.probability 

¿Qué pasa si se sabe algo sobre la complejidad parametrizada de calcular el número de intersección de un gráfico (el número más pequeño de camarillas necesario para cubrir todos sus bordes)? Desde hace tiempo se sabe que es NP-completo, y obviamente es FPT porque tiene un núcleo: si puede cubrir …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Dado que el término está sobrecargado, primero una breve definición. Un poset es un conjunto XXX dotado de un orden parcial ≤≤\le . Dados dos elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (unión) como su límite superior mínimo en XXX , y definir de manera similar x∧yx∧yx …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Soy nuevo en la teoría de los lenguajes de programación y estoy buscando un buen recurso sobre un recurso para la semántica formal de los lenguajes de programación. Específicamente buscando semántica operacional estructural. Tengo algunas recomendaciones de libros. Pero estoy buscando un recurso en un nivel más introductorio. Especialmente se …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Estoy tratando de averiguar si hay resultados generales o ejemplos sobre la completitud NP del problema de encontrar una segunda solución a un problema NP-completo. Más precisamente, estoy interesado en cualquier problema de la siguiente forma: Dada una solución a una instancia I de un problema NP-completo, ¿hay una solución …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Según tengo entendido, todos saben que las reglas de pivote deterministas para algoritmos simplex tienen entradas específicas en las que el algoritmo requiere tiempo exponencial (o al menos no polinomial) para encontrar el óptimo. Llamemos a estas instancias 'patológicas' ya que generalmente (es decir, en la mayoría de las entradas) …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Al leer un documento sobre el uso de métodos algebraicos para detectar algunos subgrafos inducidos, parece que el ideal de borde es una herramienta importante que conecta el álgebra conmutativa y la teoría de grafos. Como no estoy familiarizado con los cálculos de objetos algebraicos, ¿hay alguna buena referencia o …

17 ds.algorithms  reference-request  algebra  algebraic-complexity