Algorithm Engineering für MONET und verwandte Abdeckungsprobleme

MONET的算法工程及相关覆盖问题

• 批准号: 149546573
• 负责人: Professor Dr. Martin Mundhenk
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2009
• 资助国家: 德国
• 起止时间: 2008-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/149546573?language=en
• 关键词: Algorithm; Engineering; MONET; und; verwandte

Der Äquivalenztest monotoner Boolescher Formeln in Normalform (Problem MONET) findet sich in vielen wichtigen Problemstellungen aus den unterschiedlichsten Bereichen der Informatik wieder. Es gibt sehr unterschiedliche Algorithmen für MONET, aber keiner davon hat polynomielle Rechenzeit. Ungeklärt ist, ob nur die bekannten Algorithmen nicht gut genug sind, oder ob es für MONET keinen schnellen Algorithmus geben kann. Umso interessanter und von praktischer Bedeutung ist damit die Frage, welcher der bekannten Algorithmen für welche Anwendungen am schnellsten ist. Im beantragten Projekt soll eine auf Experimenten basierende Studie einen Vergleich von sorgfältigen Implementierungen der bekannten Algorithmen ermöglichen. Hierzu suchen wir für jeden Algorithmus besonders schwer zu behandelnde Probleminstanzen. Diese Instanzen werden Teil einer im Zuge des Projektes zu erstellenden Online-MONET-Instanzen-Bibliothek. Schließlich soll experimentell untersucht werden, welche Modifikationen die bekannten Algorithmen verbessern. Die bisher kaum untersuchte Multiplikationsmethode bietet sich wegen ihrer Freiheitsgrade ganz besonders für eine Untersuchung mittels Algorithm Engineering an.

正规形式中的单调布尔格式的等价检验（问题MONET）在信息学领域中发现了许多问题。这对MONET来说是非常重要的，但它不是多项式。但事实上，只有那些受欢迎的人才不会感到高兴，或者说，对于莫奈来说，没有什么是可以接受的。Umso interessanter und von praktischer Bedeutung ist damit die Frage，welcher der bekannten schummen für welche Anwendungen am schnellsten ist. Im beantragten Projekt soll eine auf Experimenten basierende Studie einen Vergleich von sorgfältigen Implementierungen der bekannten immöglichen.因此我们需要解决问题。该即时韦尔登在网上MONET即时图书馆的项目组中提供一个电话。Schließlich soll experimentell untersucht韦尔登，welche Modifikationen die bekannten musmen verbessern.这种更好的乘法方法适合于算法工程和数学的研究。