TVL-Implementierung
Betreuer: Dipl.-Inf. Gürkan Uygur
Vortragender: Özdamar, Oguzhan
Einführung: Eine Ternärvektorliste (TVL) t ist eine Liste aus Vektoren (Tupeln, Belegungen) Xi mit einer festen Länge (Stelligkeit) |x| = k. Die Codierung einer TVL t ist gegeben mit dem Codierungsvektor x = (xk-1,,xi,,x0) mit xi a {0,1,-}. Innerhalb einer TVL bildet ein TV bzw. die zugehörige Belegung Xi a [x] einen Block aus wahren Aussagen (1-Block), und die Belegungen in der Liste t bilden gemeinsam eine Überlagerung (Vereinigung) der einzelnen 1-Blöcke. Auf diese Weise können beliebige Aussagen (beliebige 1-Mengen) per Überdeckung von 1-Blöcken mit einem TVL t codiert werden.
Motivation: Die Stärken einer TVL liegen sowohl in der kompakten Speicherung von Aussagen als auch in der Implementierung von sehr effizienten Algorithmen auf Bitebene.
Problemstellung: Die Herausforderung liegt in der Wahl der Ternärvektoren (Blöcke): Diese Blöcke können möglichst groß gewählt werden, dadurch dass maximale Blöcke algorithmisch resolviert werden. Um vieles geeigneter erscheint es jedoch die Blöcke orthogonal zueinander zu organisieren (Orthogonale TVL).
Aufgabenstellung: Die Resolvierung und Orthogonalisierung von TVL und die TVL-Operationen (Verundung, Veroderung, Komplementbildung, Schneiden, Filtern, ...) sind auf Bitebene mittels C / C++ zu implementieren. Die Implementierung ist zu bewerten.
Termin: 08.01.2015 16:30 Uhr