Preguntas etiquetadas con approximation-algorithms

Se menciona en un comentario en otra publicación cstheorySE que la integridad de PSPACE implica dureza APX. ¿Alguien puede explicar / compartir una referencia para ello? ¿Es esto "apretado"? (es decir, ¿hay problemas completos de PSPACE cuyo problema de optimización admite una aproximación de factor constante en el tiempo polivinílico?) …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

En su trabajo , Oráculos de distancia aproximada , Thorup y Zwick demostraron que para cualquier gráfico ponderado no dirigido, es posible construir una estructura de datos de tamaño que pueda devolver una distancia aproximada entre cualquier par de vértices en el gráfico.O ( k n1 + 1 / k)O(knorte1+1/ …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

¿Hay alguna forma de codificar una instancia de Subset Sum o el problema de partición numérica para que una solución (pequeña) a una relación entera produzca una respuesta? Si no es definitivamente, ¿en algún sentido probabilístico? Sé que LLL (y quizás PSLQ) se han utilizado con éxito moderado en la …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Recientemente me enteré de la conjetura codiciosa para el problema de la supercuerda más corta . En este problema, se nos da un conjunto de cadenas s1, ... , snortes1,...,snortes_1,\dots, s_n queremos encontrar la súper cadena más corta, sss decir, cada syosyos_i aparece como una subcadena de sss . Este …

14 reference-request  approximation-algorithms  greedy-algorithms 

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 

Se sabe que muchos problemas lógicos (por ejemplo, problemas de satisfacción de varias lógicas modales) no son decidibles. También hay muchos problemas indecidibles en la teoría de algoritmos, por ejemplo, en la optimización combinatoria. Pero en la práctica, los heurísticos y los algoritmos aproximados funcionan bien para los algoritmos prácticos. …

13 lo.logic  approximation-algorithms  undecidability 

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 

Los parámetros fijos y la aproximación son enfoques totalmente diferentes para resolver problemas difíciles. Tienen motivaciones diferentes. La aproximación busca un resultado más rápido con una solución aproximada. El parámetro fijo busca una solución exacta con complejidad de tiempo en términos de la función exponencial o alguna de k y …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

La entrada es un universo y una familia de subconjuntos de , por ejemplo, . Suponemos que los subconjuntos de pueden cubrir , es decir, .U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃mi∈ Fmi= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Una secuencia …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

¿Cuál es la relación entre y ? En otras palabras, ¿son aproximables los problemas que admiten una búsqueda local de tiempo polinómico? ¿Los problemas de optimización aproximada implican un algoritmo de búsqueda local en general?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

El análisis suavizado se ha aplicado muchas veces para comprender el tiempo de ejecución de algoritmos exactos para muchos problemas como la programación lineal y k-means. Hay resultados bastante generales en este ámbito, por ejemplo, Heiko Röglin y Berthold Vöcking, Análisis suavizado de la programación de enteros , 2005. Algunos …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

En mi trabajo surge el siguiente problema: ¿Existe un algoritmo conocido que se aproxime al número cromático de un gráfico sin un conjunto independiente de orden 65? (Por lo tanto, se conoce alfa (G) <= 64 y | V | / 64 es un límite inferior trivial, | V | …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

¿Qué se sabe sobre el siguiente problema? Dada una colección de funciones , encuentre una subcolección más grande sujeta a la restricción que VC-Dimension para algún entero .f : { 0 , 1 } n → { 0 , 1 } S ⊆ C ( S ) ≤ k kCCCF: …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Estoy buscando un nombre o alguna referencia a este problema. Dado un gráfico ponderado G = ( V, E, W )G=(V,E,w)G = (V, E, w) encuentre una partición de los vértices en hasta n = | VEl |n=|V|n = |V|establece S1, ... , SnorteS1,…,SnS_1,\ldots,S_n para maximizar el valor de los …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut