Zertifiziert sichere Hypergraphen-Kontraktion: Mechanische Zertifikate verhindern, dass der multilevel-Partitioner das Optimum vernichtet 1. Oktober 2026