競プロでダブリングと呼ばれるアルゴリズムの抽象化を考えてみました。ダブリングのアルゴリズム自体の解説はしません。 扱う問題 有限の状態集合 と、半群 を考えます。2つの写像 と とが与えられたとき、任意の と に対して、 を求めるという問題を扱いま…