死活判定のアルゴリズムをキッチリ作る技術あるの?