기본 콘텐츠로 건너뛰기

해 탐색 알고리즘 : 백트래킹 알고리즘(Backtraking Algorithm)

해 탐색 알고리즘 중 하나.
해를 찾는 도중에 해가 아니면 되돌아가서 다시 해를 찾아 가는 기법
백트래킹 기법은 최적화(optimization) 문제와 결정(decision) 문제를 해결

결정 문제: 문제의 조건을 만족하는 해가 존재하는지의 여부를 ‘yes’ 또는 ‘no’가 답하는 문제
-미로 찾기
-해밀턴 경로 문제 (모든 꼭짓점을 한번씩 지나는 경로)
-부분 집합의 합 문제(집합의 부분집합 중에서 원소를 다 더한 값이 0이 되는 경우 있는지)

백트래킹 알고리즘은 기본적으로 상태공간트리를 이용한다.
어떤 노드의 유망성을 점검한 후, 유망하지 않다고 판단이 되면 
그 노드의 후손노드들에 대한 탐색을 중지하고, 부모노드로 돌아가서(Backtracking) 다른 후손노드에 대한 탐색을 계속하는 절차

깊이우선탐색(DSP)과 다른 점!
깊이우선탐색은 완결탐색
백트래킹 기법은 가지치기를 하여 완결탐색보다 효율적!

다시 정리하면,

Backtracking Algorithm
->기본 알고리즘
①상태공간트리에서 깊이우선탐색을 실시
②각 노드가 유망한지를 점검

->유망하지 않은 노드들은 검색을 하지 않음 (가지치기)
->유망한 노드에 대해서만 그 노드의 자식노드를 탐색
->깊이우선탐색(DSP)보다는 빠르지만 여전히 지수시간을 가짐

예로는 여행자 문제, N개의 퀸 문제(2의 n승의 체스판에 n개의 퀸을 놓는 문제)

==================================================
N개의 퀸 문제

BLANK, FILLED, CHECKED, QUEEN

1.모두 BLANK로 표시(Init)
2.행마다 CHECKED 표시(Check)
3.CHECKED마다 QUEEN 표시.(IsTherePossible)
4.QUEEN을 못 놓는 부분을 FILLED 표시(Fill)
5.QUEEN의 개수를 파악하고 맞다면 반환.
==================================================

댓글

이 블로그의 인기 게시물

11401 : 이항계수 3 (Dynamic Programming, Divide and Conquer) [C++]

1번, 2번 문제들과 확연히 차이나는 입력의 범위. 400만 ! DP를 사용해서 풀 수 없는 문제이다 . 하지만 DP가 쓰이긴 한다! 수학은 너무 어렵다. 곱셈의 역원을 공부해보다가 모르겠어서 도움을 구했다. 왜 곱셈의 역원을 구해야하는가? N! / (K! * (N-K)!) 에서 K! * (N-K)! 의 역원을 구해야 하기 때문! 곱셈의 역원을 구하는 정리인 페르마의 소정리를 이용하면 p가 1000000007 이지만 분할 정복을 이용한 제곱 수 계산 덕분에 logP 시간 소요. 분할 정복을 이용한 제곱 수 계산은 계속 써먹을 것 같아서 따로 올려놓았다. DP가 쓰이는 부분은 구해준 400만의 역원을 바탕으로 모든 역원을 구하는 부분이다. 그러므로 총 시간 소요는 O(N+LogP) long long BinomialCoefficient :: GetNum ( int N , int K ) { this - > Factorial [ 1 ] = 1 ; for ( int i = 2 ; i < = 4000000 ; i + + ) this - > Factorial [ i ] = ( this - > Factorial [ i - 1 ] * i ) % P ; this - > Invert [ 4000000 ] = this - > Pow_DC ( this - > Factorial [ 4000000 ] , P - 2 ) ; for ( int i = 4000000 - 1 ; i > 0 ; i - - ) this - > Invert [ i ] = ( this - > Invert [ i + 1 ] * ( i + 1 ) ) % P ; if ( N = = K | | K = ...

1978 : 소수 찾기 [C++]

# include < iostream > # include < vector > using namespace std ; int main ( ) { cin . tie ( NULL ) ; vector < int > Primes ; Primes . push_back ( 2 ) ; Primes . push_back ( 3 ) ; for ( int i = 4 ; i < 1000 ; i + + ) { bool IsPrime = true ; if ( i % 2 = = 0 | | i % 3 = = 0 ) continue ; for ( int j = 4 ; j < i ; j + + ) { if ( i % j = = 0 ) { IsPrime = false ; break ; } } if ( IsPrime ) Primes . push_back ( i ) ; } int N , Count = 0 ; cin > > N ; for ( int i = 0 ; i < N ; i + + ) { int Input ; cin > > Input ; for ( int j = 0 ; j < Primes . size ( ) ; j + + ) if ( Input = = Primes [ j ] ) Count + + ; } cout < < Count < < " \n " ; return 0 ; }