Existe-t-il des livres récents sur les algorithmes en ligne? Je ne connais que deux livres sur le sujet. Calcul en ligne et analyse concurrentielle par Allan Borodin et Ran El-Yaniv: Il s'agit d'un livre classique mais ancien, et ne contient pas de nombreuses avancées récentes dans le domaine. The...
J'ai une réduction du problème de partition suivant à un certain problème de planification: Entrée: Une liste une1⩽ ⋯ ⩽ anune1⩽⋯⩽unena_1\leqslant\cdots\leqslant a_n d'entiers positifs dans l'ordre non décroissant. Question: Existe-t-il un vecteur ( x1, … , Xn) ∈ { - 1 , 1...
Je recherche une implémentation d'un algorithme pour calculer la largeur de chemin d'un graphe. Il est bien connu que le calcul de la largeur de trajet équivaut au calcul du nombre de recherche de nœuds, du nombre de séparation de sommets ou de l'épaisseur d'intervalle du graphique. L'algorithme...
Je veux définir une notion de "proximité" entre deux langages réguliers de mots finis dans (et / ou des mots infinis dans ). L'idée de base est que nous voulons que deux langues soient proches si elles ne diffèrent pas par beaucoup de mots. Nous pourrions également utiliser la distance d'édition...
Je cherche une référence (pas une preuve, que je peux faire) à l'extension suivante de Chernoff. Laissez sont des variables aléatoires booléennes, pas nécessairement indépendantes . Au lieu de cela, il est garanti que P r ( X i = 1 | C ) < p pour chaque i et chaque événement C qui ne dépend que...
Contexte: La complexité de l'arbre de décision ou la complexité des requêtes est un modèle de calcul simple défini comme suit. Soit F: { 0 , 1 }n→ { 0 , 1 }F:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\} une fonction booléenne. La complexité de requête déterministe de FFf , notée D ( f)ré(F)D(f) , est le...
Branch and bound est une heuristique efficace pour les problèmes de recherche, et Wikipedia répertorie un certain nombre de problèmes difficiles où branch-and-bound a été utilisé. Cependant, je n'ai pas été en mesure de trouver des références pour suggérer que c'est plus qu'une "seule méthode" pour...
Y a-t-il des problèmes qui sont NP-complets lors de l'utilisation de la géométrie euclidienne mais qui sont bien définis et résolubles en temps polynomial pour une géométrie non
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une...
Dans la définition de la tractabilité à paramètres fixes (forts), la limite de temps est une expression de la forme où l'instance d'entrée est ( x , k ) avec le paramètre k , p est un polynôme et f est une fonction calculable .F( k ) .p ( | x | ) ,F(k).p(|X|),f(k).p(|x|),( x , k...
J'ai une question concernant la réductibilité SERF d'Impagliazzo , Paturi et Zane et les algorithmes sous-exponentiels. La définition de SERF-réductibilité donne ce qui suit: Si P1P1P_1 est SERF-réductible à P2P2P_2 et qu'il existe un algorithme O(2εn)O(2εn)O(2^{\varepsilon n}) pour P2P2P_2 pour...
Je m'intéresse à la modélisation d'objets, de la programmation orientée objet, à la théorie des types dépendants. Comme application possible, j'aimerais avoir un modèle où je peux décrire différentes fonctionnalités des langages de programmation impératifs. Je n'ai pu trouver qu'un seul article sur...
La définition des nombres de Ramsey est la suivante: Soit un nombre positif tel que tout graphe d'ordre au moins contienne soit une clique sur sommet soit un ensemble stable sur sommets.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Je travaille sur une extension de Ramsey Numbers. Bien que l'étude...
Je m'intéresse à la complexité du problème des ensembles dominants (DSP) dans certaines classes de graphes spécifiques qui sont des sous-classes de graphes d' accord . Un graphe est un graphe de chemin non orienté s'il s'agit du graphe d'intersection de sommets d'une famille de chemins dans un...
Étant donné un graphe planaire, on peut l'intégrer dans un temps linéaire traversant librement dans une grille . Je voudrais savoir si des algorithmes efficaces sont connus pour incorporer en ligne droite un graphe plan passant librement dans une grille n c × n c , pour certains petits c , de sorte...
Il est facile de voir que si alors il y a des problèmes de recherche totaux qui ne peuvent pas être résolus en temps polynomial (créer un problème de recherche total en ayant à la fois les témoins d'appartenance et les témoins de non-adhésion).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq...
Est-il connu si le problème posé par le sommet de rétroaction sur les graphes planaires non orientés de degré borné est
Motivation: Un co-auteur édite un manuscrit et j'aimerais voir un résumé clair des éditions. Toutes les « diff » -comme outils ont tendance à être inutile si vous êtes à la fois du texte déplacerez (par exemple, la réorganisation de la structure) et faire des modifications locales. Est-il vraiment...
La plus petite formule connue pour le déterminant a la taille selon le folklore (ou selon Ran Raz dans son papier Les formules multi-linéaires pour permanent et déterminant sont de taille super-polynomiale ).nO (logn )nO(Journaln)n^{\mathcal O(\log n)} Avez-vous une référence pour cela? En...
Il me semble que les experts en apprentissage automatique / exploration de données connaissent bien P et NP, mais parlent rarement de certaines des classes de complexité les plus subtiles (par exemple NC, BPP ou IP) et de leurs implications pour une analyse efficace des données. Y a-t-il une...