ダイナミックプランニング—一般的なゲージとプッシュ 最大連続長さがmを超えないサブシーケンスとダイナミックプランニング—一般的なゲージとプッシュデータ構造ー単調なスタック/単調なキューデータ構造-線分樹
