TVL als Datenstruktur für Boolesche Funktionen
Betreuer: M.Sc. Feng Liu
Motivation: Das Prinzip „Teile und Herrsche“ ist eine etablierte Technik fü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.
Problemlösung (Dekompositionsmethoden):
Die im Stand der Technik etablierten Dekompositionsmethoden (z. B. Shannon- und Davio-Dekomposition) sollen recherchiert / studiert werden. Darauf aufbauend sollen für die Problemstellung geeignete (kostengünstige) Methoden entwickelt werden.
Durchführung:
- Codierung Boolescher Funktionen in TVL
- Recherche von etablierten Dekompositionsmethoden
- Optimierung
Beginn ab sofort - Geeignet für studentische Arbeiten (SA, BA, MA, DiplA) - Das Thema kann in Unterthemen mit individuellen Schwerpunkten unterteilt werden.