University of Chicago
February 29, 2016
The algorithm indicated in the title builds on Luks's classical framework and introduces new group theoretic and combinatorial tools. In the first talk we outline the algorithm and state the core group theoretic and algorithmic ingredients. Some of the technical details will be given in the second talk, with a focus on the core group theoretic routine ("Local Certificates") and the aggregation of the the local certificates. Time permitting, we also discuss one of the combinatorial partitioning algorithms ("Design lemma").