与えられたDFSの行きがけ順 を達成するような 頂点の根付き木の数を求める問題.
部分木の形はその部分木の外にある頂点の置き方にはほとんど影響を与えないので,部分木ごとに数を数えて組み合わせる動的計画法が有力に見える.
そこで次のように定める.
: 頂点 からなる行きがけ順 を満たす部分木の数
指定された行きがけ順を満たすために注意すべき点は,あるノードの子が複数ある場合には番号が小さいほうから訪れるという条件である. この条件より,ある頂点を兄弟ノードとして足す場合には,これから足す頂点の番号が現在ある兄弟ノードの中で最も番号が大きいものよりもさらに大きくなっている必要がある.
このことから,部分木の構成において根に対する直接の子ノードのうち最も頂点番号が大きいものがどれであるかで場合分けを行うという方針が見えてくる. そこで,下図のように頂点 からなる部分木の根に からなる部分木を接続することでより大きな部分木を構成することを考える.
このとき与えられた行きがけ順を満たすためには,すでに の子になっている中でもっとも頂点番号が大きいもの ( とする) よりも のほうが大きくなっていなければならない. したがって, からなる部分木を構成する段階で, を満たすかどうかということを覚えておく必要がある.
そこで,次のようにもうひとつ配列を定める.
: 頂点 からなる行きがけ順 を満たす部分木のうち, を満たすものの数
なお, が子を持たない (部分木が根のみからなる) 場合は行きがけ順の制約に関係なく任意の頂点を子としてつけ加えることができるので, と考えてよい.
以上の考察をもとに が次のように計算できることがわかる.
部分木が根のみからなる場合は,
のときは,
と の更新式はほとんど同じであるが, は部分木の直後にくる頂点を根 に対して子として付け加えることができるかどうか覚えている点が異なる.
が求める値である.
実装例
g.cc
がメモ化再帰による実装,g-2.cc
がdpテーブルを直接計算する実装
実装の都合で添字はひとつずらしている.