特定のグラフにおける k 完全独立スパニングツリーの存在条件 | Synapse