Tatsuya Gima, Yasuaki Kobayashi, Yota Otachi, Takumi Sato: Forcing a Unique Minimum Spanning Tree and a Unique Shortest Path. WALCOM 2026: 371-385