Dado un lenguaje regular (NFA, DFA, gramática o expresión regular), ¿cómo se puede contar el número de palabras aceptadas en un idioma determinado? Tanto "con exactamente n letras" como "con como máximo n letras" son de interés. Margareta Ackerman tiene dos documentos sobre el tema relacionado de...
No soy un teórico de la informática, pero creo que este problema del mundo real pertenece aquí. El problema Mi compañía tiene varias unidades en todo el país. Ofrecimos a los empleados la posibilidad de trabajar en otra unidad. Pero hay una condición: el número total de trabajadores en una...
¿Conoces alguna wiki actualizada dedicada a problemas de optimización de NP con su mejor resultado de aproximación y dureza? Según los comentarios, parece seguro asumir que no existe dicho recurso (consulte el final de esta pregunta para conocer dos opciones cercanas). - agregado el 8 de...
Estoy seguro de que todos conocen el experimento de la aguja de Buffon en el siglo XVIII, que es uno de los primeros algoritmos probabilísticos para calcular .ππ\pi La implementación del algoritmo en las computadoras generalmente requiere el uso de , o una función trigonométrica, que, incluso si...
¿Cuáles serían las consecuencias de #P = FP? Me interesan las consecuencias prácticas y teóricas. Desde un punto de vista práctico, estoy particularmente interesado en las consecuencias sobre la Inteligencia Artificial. Punteros a papeles o libros son más que bienvenidos. Por favor no digas que...
Los solucionadores SAT son muy importantes en los ataques algebraicos , por ejemplo, walkingat y minisat . Sin embargo, al resolver los problemas de referencia disponibles aquí, existe una enorme diferencia de rendimiento entre los dos: Walksat es mucho más rápido que el minisat para estos...
En relación con el rompecabezas Slither Link , me he estado preguntando: supongamos que tengo una cuadrícula de celdas cuadradas , y quiero encontrar un ciclo simple de bordes de cuadrícula, uniformemente al azar entre todos los ciclos simples posibles.n×nn×nn\times n Una forma de hacer esto sería...
Lo que se sabe sobre la complejidad del siguiente problema: Dado: números racionales .x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n Salida: enteros .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Objetivo: minimizar donde∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1 \le i < j...
Por lo general, uno construye un gráfico y luego hace preguntas sobre la descomposición del valor propio de la matriz de adyacencia (o algún pariente cercano como el laplaciano ) (también llamado espectro de un gráfico ). Pero, ¿qué pasa con el problema inverso? Dados valores propios, ¿puede uno...
Formulé el siguiente problema hoy mientras jugaba con mi GPS. Aquí está : Supongamos que sea un gráfico dirigido, de modo que si entonces (v, u) \ notin E , es decir, G es una orientación del gráfico subyacente no dirigido. Considere las siguientes operaciones:e = ( u , v ) ∈...
Volumen III de Knuth de The Art of Computer Programming (capítulo 5, verso 3.2) incluye la siguiente tabla que enumera el exacto número mínimo de comparaciones requeridas para seleccionar el -ésimo elemento más pequeño de un conjunto sin ordenar de tamaño , para todos . Esta tabla, junto con las...
Necesito calcular la mediana de carrera: Entrada: nnn , kkk , vector .(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Salida: vector , donde es la mediana de .(y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc, y_{n-k+1})yiyiy_i( xyo, xi + 1, ... , xi + k - 1)(Xyo,Xyo+1,...,Xyo+k-1)(x_i, x_{i+1},...
Dados subconjuntos de .S 1 , ... , S n { 1 , ... , d }nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Compruebe si hay conjuntos con . (Si es así, encuentre un ejemplo, si no, simplemente diga "no")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La solución trivial a este problema pasa...
¿Existe un análogo paralelo natural a los árboles rojo-negros con propiedades similares o incluso no terriblemente peores para las actualizaciones, mientras que es razonablemente eficiente en el trabajo? En términos más generales, ¿qué es lo mejor que podemos hacer para la búsqueda paralela con...
Un gráfico H es un núcleo si cualquier homomorfismo de H a sí mismo es una biyección. Un subgrafo H de G es un núcleo de G si H es un núcleo y hay un homomorfismo de G a H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dado un gráfico G, ¿cuál es el algoritmo exacto más conocido para...
Problema de matrimonio estable: http://en.wikipedia.org/wiki/Stable_marriage_problem Soy consciente de que para una instancia de un SMP, son posibles muchos otros matrimonios estables, aparte del que devuelve el algoritmo Gale-Shapley. Sin embargo, si solo se nos da , el número de hombres /...
Quiero hacer un primer solucionador SAT. Conozco la competencia SAT y la conferencia SAT, y hay tantos documentos sobre este tema. Soy un abridor, un abrumador abrumador. ¿Dónde debería comenzar? Finalmente quiero impulsar el estado del arte. Quiero un consejo experto sobre cómo comenzar, para no...
El algoritmo de Coppersmith-Winograd es el algoritmo conocido asintóticamente más rápido para multiplicar dos matrices cuadradas. El tiempo de ejecución de su algoritmo es que es el más conocido hasta ahora. ¿Cuál es la complejidad espacial de este algoritmo? ¿Está en ?n×nn×nn \times...
Editar: Primero formulé mal mi restricción (2), ahora está corregida. También agregué más información y ejemplos. Con algunos colegas, estudiando alguna otra pregunta algorítmica, pudimos reducir nuestro problema al siguiente problema interesante, pero no pudimos resolver la cuestión de su...
Dada una enorme base de datos de palabras permitidas (ordenadas alfabéticamente) y una palabra, encuentre la palabra de la base de datos que esté más cerca de la palabra dada en términos de distancia de Levenshtein. El enfoque ingenuo es, por supuesto, simplemente calcular la distancia levenshtein...