Ciencias de la computación teórica

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 

Un laberinto fractal es un laberinto que contiene copias de sí mismo. Por ejemplo, el siguiente de Mark JP Wolf de este artículo : Comience en el MENOS y diríjase al PLUS. Cuando ingrese una copia más pequeña del laberinto, asegúrese de registrar el nombre de la letra de esa …

17 computability  fractals 

Estoy buscando un algoritmo para fusionar dos árboles de búsqueda binarios de tamaño y rango arbitrarios. La forma obvia de implementar esto sería encontrar subárboles completos cuyo rango pueda caber en un nodo externo arbitrario en el otro árbol. Sin embargo, el peor tiempo de ejecución para este tipo de …

17 ds.algorithms  ds.data-structures  tree 

Supongamos que hemos construido una computadora cuántica universal. Excepto por cuestiones relacionadas con la seguridad (criptografía, privacidad, ...), ¿qué problemas actuales del mundo real pueden beneficiarse al usarlo? Estoy interesado en ambos: problemas actualmente irresolubles para una entrada práctica, problemas que actualmente se están resolviendo, pero una aceleración significativa mejoraría …

17 quantum-computing  application-of-theory 

Digamos que un gráfico es comunicado con los si la eliminación de cualquier vértices y cualquier bordes de hojas siempre un gráfico conectado. Por ejemplo, un gráfico conectado a , según la definición estándar, está conectado , según la nueva definición. ¿Existe un algoritmo de tiempo polinómico para decidir si …

17 ds.algorithms  graph-theory  graph-algorithms 

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 

Dado , ¿cuántos DNF con variables y cláusulas son tautología? (¿o cuántos CNF son insatisfactorios?)k n m km , n , kmetro,norte,km, n, kkkknortenortenmetrometromkkk

17 co.combinatorics  lo.logic  sat 

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 

Esta pregunta es similar a una de mis preguntas anteriores. Se sabe que es un menor prohibido para gráficos de ancho de árbol como máximo t .Kt+2Kt+2K_{t+2}ttt ¿Existe una familia infinita de gráficos bien parametrizados e infinitos (que no sean gráficos completos y gráficos de cuadrícula) que sean mínimos prohibidos …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

SSS es un conjunto de puntos en un plano. Se da un punto aleatorio en el mismo plano. La tarea es ordenar todo por distancia euclidiana entre e .x∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy Un enfoque sin cerebro es calcular distancias entre e para todos y luego ordenarlos usando cualquier algoritmo …

17 cg.comp-geom  sorting 

Recientemente estuve en una conferencia apoyada por ACM. Durante el banquete, los organizadores de la conferencia nos contaron sobre el futuro y el pasado de la conferencia. Nos dijeron que durante la edición 2010 de la conferencia hubo una pérdida de 5000 $. Nos mostraron el presupuesto de la conferencia …

17 soft-question  conferences 

Recientemente leí una prueba que tenía la intención de mostrar que un problema era fuertemente NP-duro, simplemente reduciéndolo (en tiempo polinómico) a partir de un problema fuertemente NP-duro. Esto no tenía ningún sentido para mí. Pensé que tendrías que demostrar que cualquier número utilizado en la reducción y las instancias …

17 cc.complexity-theory  np-hardness  reductions 

¿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