Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 3 años . En el artículo de Ciencia de 2016 " Realización de un algoritmo Shor escalable " [ 1 ], los autores factorizan 15 con...
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...
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 se puede mejorar (relacionado: qué se sabe...
Veamos el futuro dentro de 30 años. Seamos optimistas y asumamos que las áreas relacionadas con el aprendizaje automático continúan desarrollándose tan rápido como lo que hemos visto en los últimos 10 años. Eso sería genial, pero ¿cuál sería el papel de los algoritmos tradicionales en un futuro...
Deje que sean dos lenguajes regulares dados por NFA M 1 , M 2 como entrada.L1, L2L1,L2L_1,L_2METRO1, M2M1,M2M_1,M_2 Supongamos que nos gustaría verificar si . Esto puede hacerse claramente mediante un algoritmo cuadrático que computa el autómata del producto de M 1 , M 2 , pero me preguntaba si se...
El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Es NP-difícil calcular el ancho del árbol. El algoritmo de aproximación más conocido logra factor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) El teorema de Courcelle establece que cualquier propiedad de gráficos definibles en lógica...
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 tiempo polinómico?...
Sabemos que el conjunto máximo independiente (MIS) es difícil de aproximar dentro de un factor de para cualquier menos que P = NP. ¿Cuáles son algunas clases especiales de gráficos para los que se conocen mejores algoritmos de aproximación?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 ¿Cuáles son...
Al diseñar algoritmos de aproximación, a veces se resuelve un programa semidefinido seguido de un paso de redondeo. Un ejemplo de uso frecuente para ilustrar esto es Max-Cut. (Ver, por ejemplo, Algoritmos de aproximación de Vijay Vazirani). ¿Existen buenas fuentes educativas o encuestas que vayan...
Considere una red eléctrica modelada como un gráfico plano G, donde cada borde representa una resistencia de 1Ω. ¿Qué tan rápido podemos calcular la resistencia efectiva exacta entre dos vértices en G? De manera equivalente, ¿qué tan rápido podemos calcular la corriente exacta que fluye a lo largo...
Esto está en la línea de " Algoritmos del libro ". Aunque las reducciones también son algoritmos, pensé que era dudoso pensar en una reducción en respuesta a la pregunta sobre los algoritmos del libro. Por lo tanto, una consulta por separado! Las reducciones de todo tipo son bienvenidas....
En 1999, Petra Schuurman y Gerhard J. Woeginger publicaron el documento "Algoritmos de aproximación del tiempo polinómico para la programación de máquinas: diez problemas abiertos" . Desde entonces, que yo sepa, no han aparecido revisiones que conciernen a la misma lista de problemas. Por lo tanto,...
¿Hay problemas en CS donde no se conocen algoritmos eficientes, a pesar de los teoremas de existencia que demuestran que tales algoritmos eficientes deben existir? ¿Cómo se llaman estos problemas? ¿Dónde puedo encontrar
Esta pregunta es sobre la complejidad temporal del algoritmo de flujo máximo de Ford-Fulkerson cuando se usa DFS para encontrar rutas de aumento. Hay un ejemplo bien conocido que muestra que el uso de DFS puede necesitar un número lineal de iteraciones en el flujo máximo; consulte, por ejemplo, la...
No entiendo por qué casi todos los solucionadores de SAT usan CNF en lugar de DNF. Me parece que resolver SAT es más fácil usando DNF. Después de todo, solo tiene que explorar el conjunto de implicantes y verificar si uno de ellos no contiene tanto una variable como su negación. Para CNF, no existe...
Esto se trata de cuán efectivamente podemos expresar un algoritmo a mano. Necesito esto para mi enseñanza de pregrado. Entiendo que no existe una forma estándar de escribir un pseudocódigo. Diferentes autores siguen diferentes convenciones. Sería útil si las personas aquí señalan la forma en que...
Supongamos que se nos da varios polígonos disjuntos simples en el plano, y dos puntos y fuera de cada polígono. El problema de la ruta más corta euclidiana es calcular la ruta más corta euclidiana desde hasta que no intersecta el interior de ningún polígono. Para ser concretos, supongamos que las...
¿Alguien sabe de un programa de código abierto para calcular la descomposición de gráficos en árbol para una "k" fija (ancho)? Sé que el problema de encontrar Tree-Decomposition es NP-Hard para la variable "k", pero mis instancias de entrada serán realmente pequeñas (~ 10 nodos) y "k" es...
Deje ser un gráfico. Para un vértice x ∈ V , definir N ( x ) para ser el barrio (abierto) de x en G . Es decir, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in Vnorte( x )N(x)N(x)XxxsolGG . Defina dos vértices u , v en G para que seangemelossi u y v tienen el mismo conjunto de vecinos, es...
Esta pregunta es sobre la relación entre la multiplicación normal de números binarios y la multiplicación polinómica mod 2. Para concretar la pregunta, idealmente quisiera saber si hay una mejor solución para la pregunta de Knuth vol. 2, 3ª edición, página 420 que la que figura en el libro. "¿Se...