とりあえずアルゴリズムは思いついた。 4個ぐらいの例で試してみたら、いまのところ正しくないアルゴリズムであることは証明できてない。(つまり正しい可能性がある。) もう少し考えてみて、正しそうだったら、証明にとりかかろうと思う。 アルゴリズムの計…