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...
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...
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...
Étant donné un ensemble S de matrices de permutation nxn (qui n'est qu'une petite fraction des n! Matrices de permutation possibles), comment pouvons-nous trouver des sous-ensembles de taille minimale T de S tels que l'ajout des matrices de T a au moins 1 dans chaque position? Je suis intéressé par...
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...
Considérons le problème suivant: étant donné un graphe de requête et un graphe de référence G ′ = ( V ′ , E ′ ) , nous voulons trouver la cartographie injective f : V → V ′ qui minimise le nombre d'arêtes ( v 1 , v 2 ) ∈ E tel que ( f ( v 1 ) , f ( v 2 ) )G=(V,E)G=(V,E)G = (V,...
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 )...
∑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....
Dans leur article Approximate Distance Oracles , Thorup et Zwick ont montré que pour tout graphique non orienté pondéré, il est possible de construire une structure de données de taille qui peut renvoyer une ( 2 k - 1 ) approximative distance entre n'importe quelle paire de sommets dans le...
Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une...
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...
Existe-t-il un moyen de coder une instance de sous-ensemble de somme ou le problème de partition numérique afin qu'une (petite) solution à une relation entière donne une réponse? Si ce n'est pas définitivement, dans un sens probabiliste? Je sais que LLL (et peut-être PSLQ) ont été utilisés avec un...
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: seq :: a -> b -> b...
J'ai récemment appris la conjecture gourmande du problème de chaîne la plus courte . Dans ce problème, on nous donne un ensemble de chaînes s1,…,sns1,…,sns_1,\dots, s_n et nous voulons trouver la chaîne la plus courte c'est-à-dire telle que chaque apparaisse comme une sous-chaîne de .ssssisis_isss...
Il est connu que de nombreux problèmes de logique (par exemple les problèmes de satisfiabilité de plusieurs logiques modales) ne sont pas décidables. Il existe également de nombreux problèmes indécidables dans la théorie des algorithmes, par exemple dans l'optimisation combinatoire. Mais dans la...
On nous donne un graphe acyclique dirigé G = ( V, E)g=(V,E)G=(V,E) avec un nombre associé à chaque sommet ( ), et un nombre cible .g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Le problème de somme de sous-ensemble DAG (peut exister sous un nom différent, une référence sera excellente)...
Une fonction d'ensemble est sous-modulaire monotone si pour tout 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). Une propriété plus forte est Prenant C =...
Les paramètres fixes et l'approximation sont des approches totalement différentes pour résoudre des problèmes difficiles. Ils ont une motivation différente. L'approximation recherche un résultat plus rapide avec une solution approximative. Le paramètre fixe recherche une solution exacte avec une...
Problème J'ai un graphique non orienté (avec plusieurs arêtes), qui changera au fil du temps, des nœuds et des arêtes peuvent être insérés et supprimés. A chaque modification du graphe, je dois mettre à jour les composants connectés de ce graphe. Propriétés Les propriétés supplémentaires sont...
Que sait-on du problème suivant? Étant donné une collection de fonctions f : { 0 , 1 } n → { 0 , 1 } , trouver une plus grande sous-collection S ⊆ C soumise à la contrainte VC-Dimension ( S ) ≤ k pour un entier k .CCCF: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆ CS⊆CS...