Generic Decomposition Algorithms for Integer Programs

本文提出了一种新的分解算法，用于求解求解问题，并提出了一种新的求解方法。(2)理论与实践的结合：理论与实践的结合；理论与实践的结合：理论与实践的结合；理论与实践的结合：理论与实践的结合；理论与实践的结合；die ist insofern unbebeigend，也就是“die”，也就是“die”，也就是“die”，也就是“die”。德国工程与发展计划：德国工程与发展计划：德国工程与发展计划与此同时，我们也在为社区的发展做出贡献。Unsere experimententlegenenhe, dass die Modellstärke durch den generischen Ansatz stark verbessert wind。(1)本特征schaften haben die combinatorischen问题hinter der struckturerkennung ？那么können wir，理论与实验的结合，如何解释两者之间的分解？我们可以将gegebene分解verändert werden？何建平，陈建平，陈建平，陈建平，陈建平，陈建平，陈建平。迪斯项目将对Fragen理论和实验进行深入研究。[2] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1]

Dekompositionsalgorithmen nutzen spezielle Problemstrukturen in ganzzahligen Programmen aus und sind rechnerisch sehr erfolgreich, wenn sie auf Anwendungen zugeschnitten werden. Die zugrundeliegenden Strukturen sind theoretisch gut verstanden, aber ihr praktischer Nutzen fällt demgegenüber stark zurück. Dies ist insofern unbefriedigend, als dass es eine Wiederverwendung von Code verhindert und Nicht-Experten vom Stand der Technik ausschließt. Dieses Projekt zielt auf das Schließen dieser Lücke. Wir haben jüngst die generelle Machbarkeit nachgewiesen und damit in der Community einige Beachtung gefunden. Unsere Experimente legen nahe, dass die Modellstärke durch den generischen Ansatz stark verbessert wird. Verschiedene theoretische, algorithmische und rechnerische Fragen wurden so aufgeworfen, die nun beantwortet werden müssen: Welche Eigenschaften haben die kombinatorischen Probleme hinter der Strukturerkennung? Wie können wir, theoretisch und experimentell, die Güte einer Dekomposition bewerten? Wie kann eine gegebene Dekomposition verändert werden? Wie kann die strukturelle Information genutzt werden, z.B. für neue Branchingregeln, Primalheuristiken oder Symmetriebrechung? Dieses Projekt will diese Fragen theoretisch und experimentell beantworten. Das Feedback soll in die Entwicklung eines generischen Dekompositions-Algorithmus einfließen, der das Potenzial für ein allgemeines Werkzeug zum Lösen ganzzahliger Programme besitzt.