Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

Extensions du théorème de Ramsey: monochromatique mais diversifié

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 1≪d≪k≪n1≪d≪k≪n1 \ll d \ll k \ll …

9 reference-request co.combinatorics ramsey-theory

Des formulations SAT / SMT du VRP / VRPTW (TSP, Job-Shop-Scheduling)?

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 plages horaires …

9 ds.algorithms reference-request sat reductions tsp

Test de propriété pour les ensembles indépendants

Supposons que l'on nous donne un graphe et les paramètres . Existe-t-il des plages de valeurs pour (ou est-ce faisable pour tous les ) pour lesquelles il est possible de tester si est loin d'avoir un ensemble indépendant de taille au moins dans le temps ?ggGk , ϵk,ϵk,\epsilonkkkkkkggGϵϵ\epsilonkkkO ( n …

9 ds.algorithms graph-theory reference-request property-testing

Algorithmes de recherche de base de données de théorie des graphes métriques

J'écris (lentement) une revue du Handbook of Chemoinformatics Algorithms pour SIGACT News. Un chapitre traite des implémentations logicielles actuelles, et les recherches dans la base de données (et d'autres applications) ne semblent pas tirer autant d'informations sur les graphiques que possible. D'un autre côté, il serait peut-être trop difficile de …

9 reference-request

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.