Preguntas etiquetadas con ds.algorithms

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 perder mi tiempo en …

24 ds.algorithms  reference-request  lo.logic  sat 

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 / mujeres, hacemos la siguiente pregunta: ¿podemos construir una lista …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

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 …

24 ds.algorithms  graph-theory  graph-algorithms 

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 nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)

24 ds.algorithms  matrices 

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 entre la palabra …

24 ds.algorithms  reference-request  string-matching  string-search 

¿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 actualizaciones?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

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 así? Aquí, …

23 ds.algorithms  soft-question  machine-learning 

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 solo 5 qubits, …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

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 …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

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 los gráficos para los que se conocen …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

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 monádica de segundo orden (MSO2) se puede decidir …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

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 …

23 ds.algorithms  graph-theory 

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 tiempo polinómico para calcular el número cromático …

23 ds.algorithms  graph-theory  co.combinatorics 

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 …

23 ds.algorithms  nt.number-theory 

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 de cada …

22 ds.algorithms  graph-theory  planar-graphs  physics