CSP 기반 최소 로케이팅 배열 생성기

초록

본 논문은 (1, t)‑로케이팅 배열의 최소 크기를 찾기 위해 문제를 제약 만족 문제(CSP)로 모델링하고, 최신 CSP 솔버를 활용하는 방법을 제안한다. 기본 인코딩과 대체 행렬 인코딩, 대칭 파괴 기법을 결합해 효율성을 높였으며, 실험을 통해 기존에 알려진 최솟값보다 작은 배열을 다수 발견하고 일부는 최적임을 증명하였다.

상세 분석

논문은 소프트웨어 테스트에서 상호작용 결함을 효율적으로 탐지하고 원인까지 식별할 수 있는 (1, t)‑로케이팅 배열의 생성 문제를 다룬다. 기존 연구는 주로 수학적 귀납법에 의존해 몇몇 특수 경우에만 최소 크기를 구했으나, 일반적인 경우에 대한 체계적인 탐색 방법은 부재했다. 저자들은 이를 해결하기 위해 배열 생성 문제를 제약 만족 문제(CSP)로 변환한다.

첫 번째 인코딩에서는 각 셀을 나타내는 정수 변수 x_{r,i} (행 r, 열 i)를 도입하고, (1) t‑커버링 조건을 “모든 t‑way 상호작용이 적어도 하나의 행에 나타나야 함”으로, (2) (1, t)‑로케이팅 조건을 “두 개의 서로 다른 t‑way 상호작용이 동일한 행 집합을 공유하지 않도록” XOR 제약으로 표현한다. 또한 첫 행을 전부 0으로 고정해 탐색 공간을 축소한다.

두 번째 인코딩은 ‘대체 행렬(alternative matrix)’ 모델을 사용한다. 여기서는 각 행‑조합 (i₁,…,i_t)에 대해 y_{r,(i₁,…,i_t)} 라는 변수에 해당 t‑way 상호작용을 0 ~ v^t−1 범위의 정수로 매핑한다. 이 매핑을 채널링 제약(4)으로 연결함으로써, 기존의 다중 변수 제약을 단일 변수에 대한 등식·XOR 제약(5, 6)으로 대체한다. 결과적으로 변수 수는 N·C(k,t) 로 감소하고, 제약 전파가 효율적으로 이루어져 솔버의 수행 시간이 크게 단축된다.

대칭 파괴(symmetry breaking) 기법도 중요한 역할을 한다. 로케이팅 배열은 행·열 순열, 값의 전역 교환 등에 대해 동형성을 갖는다. 저자들은 행과 열을 사전식(lexicographic) 순서로 제한하고, 첫 행을 0으로 고정하는 추가 제약을 삽입해 탐색 공간을 크게 줄였다. 이러한 대칭 파괴는 특히 큰 k와 v 값을 다룰 때 탐색 효율을 급격히 향상시킨다.

알고리즘 측면에서는 N을 1부터 시작해 점진적으로 증가시키며 CSP를 해결한다. 각 N에 대해 위의 인코딩을 적용해 해가 존재하면 최소 배열을 발견한 것이며, 해가 없으면 N을 증가시켜 다시 시도한다. 이 방식은 최적성 보장을 제공한다.

실험 결과는 k = 510, v = 24, t = 2~3 범위에서 기존 문헌에 보고된 최소 크기보다 작거나 동등한 배열을 다수 찾아냈다. 특히 (1, 2)‑로케이팅 배열에 대해 11×10 크기의 최소 배열을 새롭게 발견했으며, 일부 경우에는 이 크기가 이론적 하한과 일치함을 증명해 최적임을 확인했다.

전체적으로 이 논문은 CSP 기반 접근법이 복잡한 조합 설계 문제에 강력한 도구가 될 수 있음을 보여준다. 인코딩 설계, 대칭 파괴, 그리고 단계적 탐색 전략이 결합돼 기존 수학적 방법이 한계였던 영역까지 확장했으며, 향후 더 높은 차수(t ≥ 4)나 비균등 레벨(v_i가 서로 다른 경우)에도 적용 가능성을 시사한다.