TVL als Datenstruktur für Boolesche Funktionen

Betreuer: M.Sc. Feng Liu

Motivation: Das Prinzip „Teile und Herrsche“ ist eine etablierte Technik für die Handhabung komplexer Strukturen. Weiterhin ist die Algebraisierung von Strukturen mittels Boolescher Funktionen weit verbreitet.

Problemstellung (Dekomposition Boolescher Funktionen):
In diesem Arbeitsgebiet soll eine Methodik entwickelt werden, um Boolesche Funktionen zu dekomponieren. Die Codierung der Booleschen Funktion soll mittels der Datenstruktur TVL realisiert werden.

Problemlösung (Dekompositionsmethoden):
Die im Stand der Technik etablierten Dekompositionsmethoden (z. B. Shannon- und Davio-Dekomposition) sollen recherchiert / studiert werden. Darauf aufbauend sollen für die Problemstellung geeignete (kostengünstige) Methoden entwickelt werden.

Durchführung:

Codierung Boolescher Funktionen in TVL
Recherche von etablierten Dekompositionsmethoden
Optimierung

Beginn ab sofort - Geeignet für studentische Arbeiten (SA, BA, MA, DiplA) - Das Thema kann in Unterthemen mit individuellen Schwerpunkten unterteilt werden.