バックトラッキング

バックトラッキング (backtracking) は、制約充足問題の解を探索する戦略の一種で、力まかせ探索を改良したもの。「バックトラック」という用語は、アメリカの数学者デリック・ヘンリー・リーマー (Derrick Henry Lehmer) が1950年代に作った造語である。