Preguntas etiquetadas con approximation-algorithms

O(nlogn)O(nlog⁡n)O(n\log n)1+O(n−c)1+O(n−c)1+O(n^{-c})cccO(n)O(n)O(n)(max−min)n−(c+1)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}de su valor original, y luego use la clasificación de radix. Pero los modelos con redondeo tienen una teoría de complejidad problemática y esto me llevó a preguntarme, ¿qué pasa con los modelos de computación más débiles? Entonces, ¿con qué precisión se puede aproximar el TSP unidimensional, en un …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

Últimamente comencé a buscar algoritmos de aproximación para problemas NP-difíciles y me preguntaba sobre las razones teóricas para estudiarlos. (La pregunta no pretende ser inflamatoria, solo tengo curiosidad). Del estudio de los algoritmos de aproximación ha surgido una teoría realmente hermosa: la conexión entre el teorema de PCP y la …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Para concretar, considere el LP para resolver un juego de suma cero de dos jugadores donde cada jugador tiene acciones. Suponga que cada entrada de la matriz de pagos A es como máximo 1 en valor absoluto. Para simplificar, no hagamos suposiciones de escasez.nortenortenUNUNA Supongamos que el tiempo de ejecución …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Cuando consideramos un algoritmo de aproximación para un problema de minimización, la brecha de integralidad de una formulación de IP para este problema proporciona un límite inferior de una relación de aproximación para cierta clase de algoritmos (como el redondeo o el algoritmo primal-dual). De hecho, hay muchos problemas cuya …

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Me han dicho que hay algunos buenos algoritmos de tiempo polinomiales para aproximar el número de rutas simples en un gráfico dirigido desde el vértice inicial dado hasta el vértice final dado . ¿Alguien sabe de una buena referencia sobre este tema?sssttt Antecedentes: contar el número exacto de rutas en …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

El problema que consideramos aquí es la extensión del conocido problema de coloreado de intervalos. En lugar de intervalos, consideramos rectángulos que tienen lados paralelos a los ejes. El objetivo es colorear los rectángulos usando un número mínimo de colores, de modo que a cualquiera de los dos rectángulos superpuestos …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Me preguntaba si los problemas para los cuales existen algoritmos de tiempo sublineal (en el tamaño de entrada) pueden caracterizarse por poseer propiedades específicas. Esto incluye el tiempo sublineal (por ejemplo, pruebas de propiedad, una noción alternativa de aproximación para problemas de decisión), espacio sublinear (por ejemplo, algoritmos de boceto …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Existe una teoría de aproximación estándar donde la relación de aproximación es supAOPTsupAOPT\sup\frac{A}{OPT} (para problemas conobjetivosMINMINMIN),AAA- el valor devuelto por algún algoritmoAAAyOPTOPTOPT- un valor óptimo. Y otra teoría, la deaproximación diferencialdonde la relación de aproximación esinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT} ,- el peor valor de una solución factible para la instancia dada. Losautoresde esta …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Dado un conjunto S de matrices de permutación nxn (que es solo una pequeña fracción de las n! Matrices de permutación posibles), ¿cómo podemos encontrar subconjuntos T de tamaño mínimo de S de manera que sumar las matrices de T tenga al menos 1 en cada posición? Estoy interesado en …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

Esta pregunta se publicó anteriormente en Computer Science Stack Exchange aquí . Imagine que es un vendedor ambulante muy exitoso con clientes en todo el país. Para acelerar el envío, ha desarrollado una flota de drones de entrega desechables, cada uno con un alcance efectivo de 50 kilómetros. Con esta …

15 ds.algorithms  approximation-algorithms  tsp 

Hay estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo polinómico y algoritmos exactos en tiempo exponencial. ¿Existen estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo subexponencial de forma donde δ 2 ∈ ( 0 , 1 ) ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Estoy particularmente interesado en …

15 approximation-algorithms  approximation-hardness 

Considere el siguiente problema: dado un gráfico de consulta y un gráfico de referencia , queremos encontrar el mapeo inyectivo que minimiza el número de bordes tal que . Esta es una generalización del problema del isomorfismo del subgrafo en el que permitimos que los subgrafos sean isomorfos hasta algunos …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Supongamos que queremos encontrar o max x ∏ i j ∈ E f(xi,xj)∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Donde Max o la suma se toma sobre todos los marcajes de VVV , el producto se toma sobre todos los bordes EEE para un gráfico G={V,E}G={V,E}G=\{V,E\} y fff …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Teniendo en cuenta los temas tratados en una conferencia como STOC, ¿hay algún algoritmo o investigador de complejidad que use activamente COQ o Isabelle? Si es así, ¿cómo lo usan en su investigación? Supongo que la mayoría de la gente no usaría tales herramientas porque las pruebas serían de un …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants