Springe direkt zu Inhalt

Sebastian Bentert:

Algorithmic Search for Extremal Functions in 0-1 Matrices


This thesis contributes to the study of extremal functions in 0-1 matrices, pivoting from a predominantly theoretical focus to a more application oriented perspective. The cornerstone of this research is the translation of theoretical insights into practical code by treating matrix pattern detection as a Constraint Satisfaction Problem (CSP), coupled with a systematic search for potential reductions. These strategies turn out to be very efficient and enable the examination of a wider range of matrices.

Bachelor of Science (B.Sc.)