Minimum Vertex Cut with Reachable Set (MVCRS) Problem for Suppressing Botnet Propagation in IoT Networks: Complexity and Algorithms. - Yamaguchi, Shingo (Sensors (14248220), 2026)