Algorithm Engineering für MONET und verwandte Abdeckungsprobleme

在Vielen wichtigen Problemstellungen Aus den Unterschiedlichsten Bereichen der Informatik wieder中找到了符合规范(Problem Monet)形式的单调测试Boolescher Formeln。这是莫奈的一种新的算法，比起凯纳·戴文的帽子多项式。这是一种新的算法，也是一种新的算法，是一种新的算法。他说：“我的意思是，这是一件很重要的事情，它的算法是什么？”我正在研究一种新的算法，并在此基础上进行实验。这是一种新的解决问题的算法。Dese Instanzen is teil einer im zuge des Projektes zu erstellenden Online-Monet-Instanzen-Bibliothek.所有的实验都是这样做的，而且修改后的算法也不是很好。本文介绍了一种新的乘法方法，并给出了一种新的算法工程。

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.