방법 레인
데이터 조건과 사용 가능한 리소스에 맞춰 실행 가능하도록 설계된 일련의 구현 경로이다. 각 레인은 전처리 가정, 필요한 체크포인트 및 검증 의무를 포함하여 병렬 탐색이 가능하도록 구성된다. 이 개념은 탐색 단계에서 합리적인 후보군만 연산 자원을 소모하도록 만드는 역할을 한다.
