Questions marquées «approximation-algorithms»

Questions sur les algorithmes d'approximation.

1
TSP 1d approximatif avec comparaisons linéaires?
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 sa valeur d'origine, puis utilisez le tri radix. Mais les modèles avec arrondi ont une théorie de complexité problématique et cela m'a amené à me demander, qu'en est-il des modèles de calcul plus faibles? Ainsi, avec quelle précision le TSP unidimensionnel peut-il être approximé, dans un modèle d'arbre …
5
Applications théoriques pour les algorithmes d'approximation
Dernièrement, j'ai commencé à chercher des algorithmes d'approximation pour les problèmes NP-difficiles et je me demandais les raisons théoriques de les étudier. (La question n'est pas censée être incendiaire - je suis simplement curieux). Une théorie vraiment belle est sortie de l'étude des algorithmes d'approximation - la connexion entre le …
1
Quels sont les meilleurs compromis temps / erreur possibles pour une solution approximative de programmes linéaires?
Pour le concret, considérons le LP pour résoudre un jeu à somme nulle à deux joueurs où chaque joueur a actions. Supposons que chaque entrée de la matrice de gains soit au plus 1 en valeur absolue. Par souci de simplicité, ne faisons aucune hypothèse de rareté.AnnnAAA Supposons que le …
5
Est-il possible de tester si un nombre calculable est rationnel ou entier?
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …
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 
3
Écart d'intégrité et rapport d'approximation
Lorsque nous considérons un algorithme d'approximation pour un problème de minimisation, l'écart d'intégralité d'une formulation IP pour ce problème donne une limite inférieure d'un rapport d'approximation pour certaines classes d'algorithmes (comme l'arrondi ou l'algorithme primal-dual). En fait, il existe de nombreux problèmes dont le meilleur rapport d'approximation correspond à l'écart …
3
Existe-t-il un algorithme d'approximation à facteur constant pour le problème de coloration des rectangles 2D?
Le problème que nous considérons ici est l'extension du problème bien connu de coloration d'intervalle. Au lieu d'intervalles, nous considérons des rectangles ayant des côtés parallèles aux axes. L'objectif est de colorer les rectangles en utilisant un nombre minimum de couleurs de sorte que deux rectangles qui se chevauchent se …
2
Caractérisation de problèmes pour lesquels existent des algorithmes de temps sublinéaire
Je me demandais si des problèmes pour lesquels existent des algorithmes de temps sublinéaire (dans la taille d'entrée) pouvaient être caractérisés comme possédant des propriétés spécifiques. Cela comprend le temps sublinéaire (par exemple, les tests de propriétés, une autre notion d'approximation pour les problèmes de décision), l'espace sublinéaire (par exemple, …
3
Pourquoi les ratios d'approximation différentiels ne sont-ils pas bien étudiés par rapport aux ratios standard malgré leurs avantages revendiqués?
sup AO PTsouperUNEOPT\sup\frac{A}{OPT}MjeNMjeNMINUNEUNEAUNEUNEAO PTOPTOPTinf Ω - AΩ - O PTinfΩ-UNEΩ-OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega il donne le même rapport d'approximation pour des problèmes tels que la couverture minimale des sommets et l'ensemble indépendant maximal qui sont connus pour être des réalisations différentes du même problème; il donne le même rapport pour les versions max …
2
Que sait-on de cette variante TSP?
Cette question a été précédemment publiée sur Computer Science Stack Exchange ici . Imaginez que vous êtes un vendeur itinérant très réussi avec des clients dans tout le pays. Pour accélérer les expéditions, vous avez développé une flotte de drones de livraison jetables, chacun avec une portée effective de 50 …
2
Approximation en temps sous-exponentiel
Il existe des études sur les algorithmes d'approximation pour les problèmes NP complets en temps polynomial et les algorithmes exacts en temps exponentiel. Existe-t-il des études sur les algorithmes d'approximation des problèmes NP complets en temps sous-exponentiel de forme où δ 2 ∈ ( 0 , 1 ) ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Je …
1
Décompositions de graphes pour combiner les fonctions «locales» des étiquetages de sommets
∑X∏i j ∈ EF( xje, xj)∑X∏jej∈EF(Xje,Xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxX∏i j ∈ EF( xje, xj)maxX∏jej∈EF(Xje,Xj)\max_x \prod_{ij \in E} f(x_i,x_j) Lorsque max ou sum est pris sur tous les étiquetages de , le produit est pris sur tous les bords pour un graphique et est une fonction arbitraire. Cette quantité est …
2
Utilisation d'un assistant de preuve dans la recherche sur la théorie de la complexité?
Compte tenu des sujets abordés lors d'une conférence comme le STOC, des chercheurs en algorithmes ou en complexité utilisent-ils activement COQ ou Isabelle? Si oui, comment l'utilisent-ils dans leurs recherches? Je suppose que la plupart des gens n'utiliseraient pas de tels outils car les preuves seraient de trop bas niveau. …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.