エントリのタイトルの定理について．天下一プログラマーコンテスト2013に出題された問題で知ったのでメモする． ざっくり言うと「平面グラフ上でソース頂点集合とシンク頂点集合が指定された時，vertex-disjoint なパス集合の個数を行列式で計算できるように…