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...
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,
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 . Cada interruptor se puede recorrer...
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...
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...
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...
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...
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...
(también preguntado aquí , sin respuestas) Un expansor cuántico es una distribución sobre el grupo unitario con la propiedad que: a) , b) , donde es la medida de Haar. Si en lugar de distribuciones sobre unidades unitarias consideramos distribuciones sobre matrices de permutación, no es difícil...
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 copia, ya que tendrá...
El cálculo cuántico limitado en el tiempo es obviamente muy interesante. ¿Qué pasa con el cálculo cuántico limitado por el espacio? Conozco muchos resultados interesantes para la computación cuántica con límites de espacio sublogarítmico y varios tipos de modelos de autómatas cuánticos. Por otro...
Hasta donde yo sé, la mayoría de las implementaciones de generación de números pseudoaleatorios en la práctica utilizan métodos como los registros de retroalimentación de desplazamiento lineal (LSFR) o estos algoritmos "Mersenne Twister". Si bien pasan muchas pruebas estadísticas (heurísticas), no...
2dca (autómata determinista bidireccional de un contador) (Petersen, 1994) puede reconocer el siguiente lenguaje unario: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} ¿Hay algún otro lenguaje unario no trivial reconocido...
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 me puede...
Las gráficas planas tienen género cero. Los gráficos que se pueden insertar en un toro tienen un género como máximo 1. Mi pregunta es simple: ¿Hay algún problema que sea polinomialmente solucionable en gráficos planos pero NP-duro en gráficos del género uno? En términos más generales, ¿hay algún...
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...
Version corta. La prueba original de que # 2-SAT es # P- completo muestra, de hecho, que esas instancias de # 2-SAT son monótonas (no implican negaciones de ninguna variable) y bipartitas (el gráfico formado por las cláusulas sobre el variables es un gráfico bipartito) son #P -duro. Por lo tanto,...
Sabemos que los programas lineales (LP) se pueden resolver exactamente en tiempo polinómico usando el método elipsoide o un método de punto interior como el algoritmo de Karmarkar. Algunos LP con un número de variables / restricciones súper polinomiales (exponenciales) también se pueden resolver en...
La mayoría de los sitios que he visitado leyendo sobre este interesante tema dicen algo similar "Las únicas potencias de dos (que no sean 2) que ocurren en esta secuencia son aquellas con exponente principal" (MathWorld) o "Después de 2, esta secuencia contiene los siguientes poderes de 2:...
Este es un seguimiento de una pregunta reciente de A. Pal: Resolver programas semidefinidos en tiempo polinómico . Todavía estoy desconcertado sobre el tiempo de ejecución real de los algoritmos que calculan la solución de un programa semidefinido (SDP). Como Robin señaló en su comentario a la...