枝刈り

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

例編集

未稿

	この項目「枝刈り」は、まだ書きかけの項目です。加筆、訂正などをして下さる協力者を求めています。
このテンプレートは分野別のスタブテンプレート（Monobook:スタブカテゴリ参照）に変更することが望まれています。