Preguntas etiquetadas con ds.algorithms

¿Se sabe algo sobre el siguiente problema? ¿Tiene sentido? Como se llama ¿Es trivialmente equivalente a algún otro problema? ¿Cuál es la complejidad del tiempo? Dado un gráfico G = (V, E) no dirigido (general / planar / acotado / etc.), Encuentre un subconjunto máximo de aristas E ', de …

14 ds.algorithms  graph-theory 

Estoy interesado en implementar SM para la tarea LP, sin embargo, he oído hablar de posibles dificultades: el libro de Cormen dice que es posible tener datos de entrada que harán que la implementación ingenua se comporte en un tiempo exponencial. También he oído que la implementación ingenua puede repetirse …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Sea G un gráfico no dirigido de n-nodos, y sea T un subconjunto de nodos de V (G) llamados terminales . Un preservador de distancia de (G, T) es un gráfico H que satisface la propiedad reH( u , v ) = dsol( u , v )reH(tu,v)=resol(tu,v)d_H(u,v) = d_G(u,v) para …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

Considere un lenguaje LLL tal que: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) y asi que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) En otras palabras, la máquina más rápida calcula en el tiempo y la máquina más eficiente en espacio calcula mientras usa el espacio .L O ( f ( n ) ) …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Ya hice esta pregunta en stackoverflow , pero tal vez sea más adecuada para este sitio. El problema es: Tengo N pares de enteros sin signo. Necesito ordenarlos. El vector final de los pares debe clasificarse de manera no decreciente por el primer número de cada par y no cada …

14 ds.algorithms  sorting 

Escribí una implementación del algoritmo Kuhn-Munkres para el problema de coincidencia perfecta bipartita de peso mínimo basado en las notas de clase que encontré aquí y allá en la web. Funciona muy bien, incluso en miles de vértices. Y estoy de acuerdo en que la teoría detrás de esto es …

14 ds.algorithms  graph-theory  linear-programming  simplex 

Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por escaso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no encontré buenos resultados. En realidad, pensé que si …

14 ds.algorithms  graph-theory  open-problem 

Sabemos que el algoritmo de mincut de Karger se puede usar para demostrar (de manera no constructiva) que el número máximo de mincuts posibles que puede tener un gráfico es .(n2)(n2)n \choose 2 Me preguntaba si podríamos de alguna manera probar esta identidad al dar una prueba biyectiva (más bien …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Estoy leyendo el documento "Fast Paxos" de Leslie Lamport y me quedo atascado con las pruebas de corrección de Paxos clásico y Fast Paxos. Por consistencia, el valor recogió por el coordinador en fase en la ronda debería satisfacer2 a ivvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): para cualquier ronda , ningún valor que no …

13 ds.algorithms  dc.distributed-comp  proofs 

Se nos da un dirigido acíclico gráfico con un número asociado con cada vértice ( g : V → N ), y un número de destino T ∈ N .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} El problema de la suma DAG subconjunto (podría existir con un nombre diferente, una referencia será grande) pregunta …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Motivación: un coautor edita un manuscrito y me gustaría ver un resumen claro de las ediciones. Todo "diff" -como herramientas tienden a ser inútil si usted está tanto en el texto desplazando dentro (por ejemplo, la reorganización de la estructura) y haciendo las modificaciones locales. ¿Es realmente tan difícil hacerlo …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Esta pregunta trata sobre problemas de programación cuadrática con restricciones de caja (box-QP), es decir, problemas de optimización de la forma minimizar sujeto a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Si fuera semi-definido positivo, entonces todo sería agradable, convexo y fácil, y podríamos resolver el problema …

13 ds.algorithms  optimization  exp-time-algorithms 

En su artículo seminal Algoritmos teóricos grupales para multiplicaciones matriciales , Cohn, Kleinberg, Szegedy y Umans presentan el concepto de rompecabezas único y solucionable (definido a continuación) y la capacidad de USP. Afirman que Coppersmith y Winograd, en su innovador papel Matrix multiplication mediante progresiones aritméticas , "implícitamente" demuestran que …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Una función de conjunto es monótono submodular si para todos , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA,BA,BA,Bf(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Una …

13 ds.algorithms  approximation-algorithms  submodularity 

Me gustaría saber sobre la historia de estos dos términos: " eficiente ", " factible ". ¿Quién los usó sobre computación / algoritmos la primera vez? (en el sentido moderno de estos términos, es decir, siglo XX). ¿Cómo se convirtieron en la corriente principal? ¿Cómo comenzaron a usarse estos dos …

13 cc.complexity-theory  ds.algorithms  ho.history-overview