Questions marquées «reductions»

Une réduction est la transformation d'un problème en un autre problème. Un exemple d'utilisation d'une réduction serait de montrer si un problème P est indécidable. Ceci serait réalisé en transformant ou en effectuant une réduction d'un problème de décision $P$ en un problème indécidable. Si cela peut être réalisé, nous avons montré que ce problème P est indécidable.

Améliorer la réduction générique de Cook pour Clique en SAT?

Je souhaite réduire -Clique en SAT sans agrandir l'instance.kkk La clique est en NP, elle peut donc être réduite à SAT en utilisant l'espace logarithmique. La réduction simple des manuels de Garey / Johnson fait exploser l'instance à la taille cubique . Cependant, -Clique est en P pour chaque fixe …

10 cc.complexity-theory sat reductions clique

Réduction des problèmes difficiles aux modèles physiques

Je recherche des exemples de problèmes difficiles (en NP ou plus difficiles) de l'informatique qui peuvent être réduits à des modèles de processus physiques. Par exemple, max-2-sat peut être réduit à une minimisation d'énergie dans un modèle Ising. J'aimerais trouver plus d'exemples de ce type de réduction.

10 cc.complexity-theory reductions physics formal-modeling

La preuve de la complexité de Kolmogorov n'est pas calculable à l'aide de réductions

Je cherche une preuve que la complexité de Kolmogorov n'est pas calculable en utilisant une réduction d'un autre problème non calculable. La preuve commune est une formalisation du paradoxe de Berry plutôt qu'une réduction, mais il devrait y avoir une preuve en réduisant quelque chose comme le problème de l'arrêt, …

9 computability reductions kolmogorov-complexity

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

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.