「枝刈り」の版間の差分

2013年8月29日 (木) 12:49時点における最新版

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

未稿

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