Backtracking Generic Trace

제약식/목표식을 직접 정의해 백트래킹 과정을 시각화합니다.

length탐색 깊이

candidates예: 1,2,3

candidateGenerator사용 변수: partial, depth, candidates (빈 값이면 candidates 그대로 사용)

validPredicate사용 변수: partial, depth, choice

goalPredicate사용 변수: partial, depth, length

stopAfterFirsttrue면 첫 해 발견 즉시 종료

detailMode상세/요약 step 밀도 조절

maxStepsstep 상한. 도달 시 중단

Current Step

Phase

Time Complexity

Space Complexity

State

입력을 설정하고 Execute를 눌러주세요.

Step List

0 steps

아직 step이 없습니다.

Step Description

INFO

입력을 설정하고 Execute를 누르면 trace가 표시됩니다.