정점이 N개이고 간선이 N(N−1)/2개인 방향 그래프 G가 있다. 정점 번호는 0부터 N−1까지이다. 서로 다른 두 정점 i와 j 사이에는 i에서 j로 가는 간선과 j에서 i로 가는 간선 중 정확히 하나만 있다. 그래서 간선의 방향을 무시하면 G는 완전 그래프이다.
X는 G의 인접 행렬이다. Xi,j가 +이면 i에서 j로 가는 간선이 있고, -이면 없다. Xi,i는 항상 .이다.
G의 해밀턴 경로는 모든 정점을 정확히 한 번씩 지나는 길이 N인 경로이다. 해밀턴 경로가 여러 개일 수 있으므로, 지나는 정점 번호를 차례대로 나열한 수열이 사전순으로 가장 앞서는 경로 하나를 찾아야 한다. 수열 a가 수열 b보다 사전순으로 앞선다는 것은 두 수열이 처음으로 달라지는 자리에서 a의 값이 더 작다는 뜻이다.