Complexity of Perfect and Ideal Resilience Verification in Fast Re-Route Networks. - Matthias Bentert; Esra Ceylan-Kettler; Valentin Hübner; Stefan Schmid 001; Jirí Srba (CoRR, 2026)