Generic Decomposition Algorithms for Integer Programs

设计的算法解决了程序设计中的具体问题，并在此基础上提出了相应的解决方案。从理论到实践，从理论到实践都是如此。这是一个很难理解的问题，因为这是一个很大的问题，因为这是一个很大的问题，因为这是一个很大的问题，因为它是一种技术上的技术支持，而且是一种很好的技术手段，它可以帮助我们解决这个问题。我们在海边的社区里有一种新的生活方式。在这项实验中，他是个愚蠢的模特儿，也不是什么好东西。Verschiedene Theoretische，算法和Rechnerische Fragen Wurden so aufgeworfen，die nn beantwortet woussen：well che Eigenschaften haben die kombinator ischen de kombinatorischen probleme hintere der Strukturerkennung？你的理论和实验是怎样的，你的想法是什么？您的位置是什么？您的位置：我也知道>教育/科学>结构信息>，z.b.für新的分支机构，主要是什么？工程将使弗拉根的理论和实验变得更好。在环境中的DAS反馈解决方案的一般性决策-算法einflieüen，der das Potenzial für ein all gemines Werkzeug zum Lösen ganzzahliger Program Besitzt。

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.