Je me demande s'il existe des approches formulant un problème de routage de véhicule avec des fenêtres temporelles ( VRPTW ) (en tant que problème de décision) en tant qu'instance SAT / SMT? (alternative: TSP) Par exemple: "Existe-t-il une solution valable pour visiter tous les clients dans leurs...
Dans le prolongement de ma question précédente , qui a été résolue par Hsien-Chih Chang, voici une autre tentative pour trouver une généralisation appropriée du théorème de Ramsey. (Vous n'avez pas besoin de lire la question précédente; ce message est autonome.) Paramètres: les entiers...
Soit un ensemble de formes rectangulaires à dimensionsPour et , décrit la longueur de dans la dimension . La même notation est utilisée pour le conteneur . Le problème d' emballage de dimension orthogonale (Opp- ) est de décider si se insère dans le récipient sans se chevaucher. Formellement...
J'ai eu du mal à trouver un algorithme ou à publier des articles sur la triangulation des polygones auto-entrecroisés (également des polygones avec structure de trous). Quelqu'un peut-il me guider pour trouver le papier / algorithme publié, s'il vous plaît? PS: quelqu'un marque correctement cette...
J'aimerais savoir où je peux me tourner pour une bonne et douce introduction à k-SAT (cela peut être pour les mathématiciens qui peuvent ne pas avoir une bonne formation en informatique). J'aimerais également connaître les articles qui peuvent étudier ou expliquer les méthodes actuelles utilisées...
Je me demande si le problème suivant a un nom ou des résultats qui y sont liés. G=(V,w)G=(V,w)G = (V,w)w(u,v)w(u,v)w(u,v)uuuvvvu,v∈Vu,v∈Vu,v \in Vw(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)\max_{S \subseteq V} \sum_{(u,v) : u \in S\...
Comme c'est vendredi, il est temps de poser une question CW. Je recherche des heuristiques qui ont une large utilisation dans les problèmes d'optimisation. Pour limiter la portée à des heuristiques plus «favorables à la théorie», voici les règles (certaines arbitraires, d'autres non) Ce devrait...
J'apprécierais tous les conseils ou termes qui pourraient me permettre de commencer dans la bonne direction. Nous avons un graphe orienté et des longueurs pour chaque arête qui peut être supposée positive. Il existe un nœud de début spécial s et un nœud de fin t
Je suis intéressé à en savoir plus sur les algorithmes sans cache et les structures de données, mais il y a tellement d'articles que je ne sais vraiment pas par où commencer. J'ai trouvé la thèse originale de Prokup sur le sujet, ce qui semble être un bon point de départ, mais s'il y a une...
J'ai une famille de problèmes de programmation linéaire: maximiser sous réserve de , . Les éléments de , et sont des entiers non négatifs, strictement positifs. ( devrait également faire partie intégrante, mais je m'en occuperai plus tard.)A x ≤ b x ≥ 0 A b c c xc′Xc′xc' xA x ≤ bAx≤bA x\le bx ≥...
Partout où j'ai lu sur le problème de coupe le plus clairsemé, il est seulement dit que le problème est connu pour être NP- dur. Où puis-je trouver une preuve de cela? Quel problème NP- dur connu se réduit au problème de coupe le plus clairsemé? Je n'ai trouvé aucune preuve dans le livre de...
Pour une application d'apprentissage automatique, mon groupe doit calculer la distance euclidienne au ème voisin le plus proche dans un ensemble pour chaque (pour entre 5 et environ 100 , et quelques centaines à quelques millions). Nous utilisons actuellement soit l'approche par force brute , soit...
Supposons un cadre dans la complexité de la communication où nous avons deux joueurs A (poux) et B (ob) et un R (eferee). A et B ne communiquent pas directement entre eux. Dans chaque cycle de communication, chacun d'eux envoie un message ( , m B ) au R. R calcule deux fonctions f A ( m A , m B )...
Dans le cadre de travaux récents , nous avons défini un langage basé sur une logique à trois valeurs à la Kleene, où signifie vrai, 0 pour faux et ⊥ pour erreur ou ne sait pas. Afin de montrer que notre langage était expressif, nous avons voulu prouver que nous pouvions construire un ensemble...
Ma question est un peu vague. Je me demandais si (et comment), nous pouvons appliquer la notion de largeur d'arbre aux problèmes d'emballage dans les graphiques. Je serais heureux de tout aperçu ou référence de travaux de recherche antérieurs à ce sujet (en supposant qu'il s'agit d'une relation)....
Intrigué par la question intéressante de Chris Pressey sur les fonctions élémentaires-récursives , j'explorais davantage et je n'arrivais pas à trouver une réponse à cette question sur le web. Les fonctions récursives élémentaires correspondent bien à la hiérarchie exponentielle, .DTIME ( 2n) ∪...
Ce qui suit me semble être une définition naturelle et je me demande si cela a été étudié quelque part Considérons un ensemble de langues. Alors K ⊂ { 0 , 1 } ω est appelé " information X- vérifiable" quand il y a L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
Je m'intéresse aux compilateurs vérifiés formalisés en théorie de type Martin-Löf, c'est-à-dire Coq / Agda. En ce moment, j'ai écrit un petit exemple de jouet. Ainsi, je peux prouver que mes optimisations sont correctes. Par exemple, les ajouts avec zéro peuvent être éliminés, c'est-à-dire des...
Nous savons que . D'après le théorème de Savitch, , et, depuis Space Hierarchy Teorem, . Donc, comme nous ne savons pas si , nous ne savons pas si , ou savons-nous que ? Quelqu'un at-il essayé de prouver que \ mathcal L ^ 2 \ subseteq \ mathcal P ? Quels sont les derniers résultats ou efforts en ce...
Une grande partie de la littérature sur l'informatique quantique se concentre sur le modèle de circuit. L'informatique quantique adiabatique n'est pas basée sur l'application d'une séquence d'opérateurs unitaires, mais sur la modification d'un hamiltonien dépendant du temps. Je recherche un aperçu...