「枝刈り」の版間の差分

2025年3月29日 (土) 00:19時点における最新版

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

未稿

2025年3月25日 (火) 07:41時点における版編集 Administrator (トーク \| 投稿記録) ビューロクラット、インターフェース管理者、管理者 17,818 回編集編集の要約なし ← 古い編集	2025年3月29日 (土) 00:19時点における最新版編集取り消し Golden Bengal (トーク \| 投稿記録) 810 回編集細 Golden Bengal がページ「利用者・トーク:Html123456」を「枝刈り」に、リダイレクトを残して移動しました: 。
(同じ利用者による、間の1版が非表示)
(相違点なし)