枝刈り

提供: MonoBook
ナビゲーションに移動 検索に移動

枝刈りとは、明らかに探しているものではない候補を探索対象から外すことにより、 全探索の高速化を狙ったテクニックである。

未稿

関連項目