Preguntas etiquetadas con ds.algorithms

En un gráfico, un conjunto independiente es un subconjunto de vértices que no contiene un borde como un subgráfico inducido. El problema de encontrar conjuntos independientes más grandes en un gráfico es una pregunta algorítmica fundamental, y difícil de resolver. Consideremos la cuestión más general de encontrar (el tamaño de) …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

El lema de Johnson-Lindenstrauss dice aproximadamente que para cualquier colección SSS de nnn puntos en RdRd\mathbb{R}^d , existe un mapa f:Rd→Rkf:Rd→Rkf:\mathbb{R}^d \rightarrow \mathbb{R}^k donde k=O(logn/ϵ2)k=O(log⁡n/ϵ2)k = O(\log n/\epsilon^2) tal que para todos x,y∈Sx,y∈Sx, y \in S : (1−ϵ)||f(x)−f(y)||2≤||x−y||2≤(1+ϵ)||f(x)−f(y)||2(1−ϵ)||f(x)−f(y)||2≤||x−y||2≤(1+ϵ)||f(x)−f(y)||2(1-\epsilon)||f(x)-f(y)||_2 \leq ||x-y||_2 \leq (1+\epsilon)||f(x)-f(y)||_2 Se sabe que declaraciones similares no son posibles …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

Se dice que dos grupos (G,⋅)(G,⋅)(G,\cdot) y (H,×)(H,×)(H, \times) son isomórficos si existe un homomorfismo de GGG a HHH que es biyectivo. El problema del isomorfismo grupal es el siguiente: dados dos grupos, verifique si son isomorfos o no. Hay diferentes formas de ingresar un grupo, las dos más utilizadas …

11 ds.algorithms  gr.group-theory 

Me preguntaba cuál es la lista de problemas computacionales naturales actuales para los que no existe una ventaja de complejidad conocida en el uso de una computadora cuántica. Para empezar, creo que el cálculo de la distancia de edición es uno para el cual el algoritmo cuántico más rápido conocido …

11 ds.algorithms  quantum-computing  big-list 

De acuerdo con el libro Topological Graph Theory de Gross y Tucker, dada una incrustación celular de un gráfico en una superficie (por 'superficie' me refiero aquí a una esfera con algunos asas, y debajo de refiere a la esfera con exactamente tiradores), se puede definir un multigrafo dual tratando …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Los algoritmos de aproximación pueden dar salida hasta algún factor constante. Esto es un poco menos satisfactorio que los algoritmos exactos. Sin embargo, los factores constantes se ignoran en la complejidad del tiempo. Entonces, me pregunto si el siguiente truco es posible o si fue utilizado, para resolver algún problema …

11 ds.algorithms  big-list  approximation-algorithms 

Me interesarían mucho las referencias a la teoría de las funciones submodulares (desde lo básico hasta lo avanzado). En particular, estoy estudiando aproximaciones a problemas de optimización difíciles y quiero desarrollar mis fundamentos en funciones submodulares, ya que son relevantes para los problemas de optimización que he estado estudiando. Gracias …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

¿Existe un algoritmo de clasificación basado en la comparación que utiliza un promedio de l g ( n ! ) + O ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaciones? La existencia de un algoritmo de comparación l g ( n ! ) + O ( n ) en el peor de los casos …

10 cc.complexity-theory  ds.algorithms  sorting 

Motivación : Mientras desarrollamos herramientas para el control de versiones de datos, terminamos buscando algoritmos para "diferenciar" dos conjuntos de enteros, creando una secuencia de transformaciones que llevan un conjunto de enteros al otro. Pudimos reducir ese problema al siguiente problema muy natural que parece tener conexiones para editar la …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Los transductores considerados aquí son aquellos que Wikipedia llama transductores de estado finito . El comportamiento de un transductor , es decir, la relación que calcula, se escribe : una palabra es una salida para iff .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Pregunta: ¿Se puede resolver el siguiente problema: Dado: Un transductor y un lenguaje …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Deje ser una constante fija. Dado un número entero , queremos construir una permutación tal que:n σ ∈ S nk > 0k>0 0k>0nortenortenσ∈ Snorteσ∈Snorte\sigma \in S_n La construcción utiliza tiempo y espacio constantes (es decir, el preprocesamiento requiere tiempo y espacio constantes). Podemos usar la aleatorización. Dado , se puede …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Dados dos poliedros y Q , P y Q son equícompuestos si hay conjuntos finitos de poliedros P 1 , ... , P n y Q 1 , ... , Q n de manera que P i y Q i son congruentes para todo i , P = ∪ n …

10 ds.algorithms  computational-geometry  polygon 

Sabemos que la igualdad beta de los términos lambda simplemente escritos es decidible. Dado M, N: σ → τ, ¿es decidible si para todos X: σ, MX NX?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Tengo el siguiente problema: Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros). Consulta: ¿hay una biyección monótona f : S → T ?SSSTTTF: S→ Tf:S→Tf:S \to T La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

¿Qué algoritmo podemos usar para encontrar todas las raíces enteras de un polinomio con coeficientes enteros?F( x )f(x)f(x) Observo que Sage puede encontrar las raíces en unos pocos segundos, incluso cuando todos los coeficientes de son muy grandes. ¿Cómo es capaz de hacer eso?F( x )f(x)f(x)

10 ds.algorithms  na.numerical-analysis