Constraints...ようなものの数え方を包除原理と呼びます。天下り的に証明する方法もありますが、ここでは地道に導きました。条件が連言の場合のほかに、選言で表されている場合も似たような方法がとれます。よってこの問題は、「ある頂点からある頂点の間の辺がすべて白辺である」の形の複数の文の連言を条件とする問題を解けばよいです。これは易しい問題です。次は、ある頂点間を結ぶ道上の辺の列挙について考えます。深さ優先探索や幅優先探索などのアルゴリズムによって調べることができますが、次のようにもできます。Steps...してしまう。そのため包除原理的に重複を除去していく。下側エラー→上側エラーとなるパターン数と上側エラー→下側エラーとなるパターン数もまた、先程と同様のテクニックにより計算できる(二回反転させる)。下側エラー→上側エラー→下側エラーというのも同様に計算できる(三階反転させる)。Counting...]-i|=Kを使って包除原理を行う。場合、それぞれの事象は次のように表せる。発生には依存関係はない。最後の式変形は包除原理を使った。