メインメニューを開く

枝刈り

2013年8月29日 (木) 12:49時点におけるimported>MikeCATによる版 (とりあえず作成)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)

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

編集

未稿

関連項目編集