[논문 리뷰] Symmetry within Solutions

Marijn J. H. Heule, Toby Walsh|arXiv (Cornell University)|2010. 04. 15.

Graph Labeling and Dimension Problems참고 문헌 18인용 수 7

한 줄 요약

이 논문은 제약 충족 문제의 해에 내재된 대칭성—즉, 서로 다른 해들 사이를 맵핑하는 전통적인 해 대칭성과는 별개로, 개별 해 내부에 존재하는 대칭성—의 개념을 도입한다. 내재 대칭성을 식별하고 대칭성 파기 제약 조건을 통해 강제화함으로써 저자들은 검색 공간을 크게 줄였으며, 이로 인해 최신 기술 수준의 성능 향상을 이룩했다: 반데르와르덴 수의 하한을 약 10% 향상시키고, 크기가 24인 더블 휠 그래프에 대해 처음으로 그레스프풀 레이블링을 발견하였다.

ABSTRACT

We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping between different solutions of the same problem. We argue that we may be able to exploit both types of symmetry when finding solutions. We illustrate the potential of exploiting internal symmetries on two benchmark domains: Van der Waerden numbers and graceful graphs. By identifying internal symmetries we are able to extend the state of the art in both cases.

연구 동기 및 목표

• 제약 충족 문제의 해 내부에 존재하는 내재 대칭성의 개념을 도입하고 체계화하는 것.
• 내재 대칭성이 해 대칭성만큼 연구되지 않았음에도 불구하고, 검색 공간을 줄이는데 효과적으로 활용될 수 있음을 보여주는 것.
• 내재 대칭성과 해 대칭성을 결합함으로써 조합적 검색에서의 성능 향상이 크게 이룩될 수 있음을 보여주는 것.
• 반데르와르덴 수와 그레스프풀 그래프라는 두 분야에서 최신 기술 수준을 확장하는 것.

제안 방법

• 해 A에 대해 σ(A) = A를 만족하는 대칭성 σ를 내재 대칭성으로 정의한다. 즉, 대칭성 σ에 대해 해 A가 불변함을 의미한다.
• 대칭 집합 Σ*의 폐쇄를 이용해 기저 부분집합 B와 대칭성 Σ로부터 해의 모든 할당을 생성한다.
• 내재 대칭성을 강제하는 대칭성 파기 제약 조건을 도입하여 검색을 대칭 해들로 제한한다.
• 기존의 해 대칭성 파기 기법과 결합하여 내재 대칭성 제약 조건을 적용함으로써 검색 공간을 줄인다.
• 반데르와르덴 수 문제에서는 내재 대칭성을 강제함으로써 하한을 약 10% 향상시켰다.
• 그레스프풀 그래프 문제에서는 내재 대칭성 σ₄ₙ (허브가 0 또는 4n에 위치)와 σ₊₂ (라벨을 +2만큼 이동)를 강제하여 DW₂₄에 대해 첫 번째 그레스프풀 레이블링을 발견하였다.

실험 결과

연구 질문

• RQ1 해에 내재된 대칭성—즉, 한 개의 해 내부에 존재하는 대칭성—을 체계적으로 정의하고, 서로 다른 해들 사이를 맵핑하는 해 대칭성과 구별할 수 있는가?
• RQ2 내재 대칭성은 어떻게 탐지하고, 제약 충족 문제의 검색 공간을 줄이는데 어떻게 활용할 수 있는가?
• RQ3 기존의 해 대칭성 파기 기법과 결합했을 때 내재 대칭성 제약 조건으로부터 기대할 수 있는 성능 향상은 어느 정도인가?
• RQ4 내재 대칭성은 반데르와르덴 수나 그레스프풀 그래프와 같은 조합적 검색 문제에서 최신 기술 수준을 어느 정도까지 확장시킬 수 있는가?

주요 결과

• 저자들은 4차 정규 마법 제곱 880개 중 48개가 내재 대칭성 σ_inv ∘ σ_180 를 포함하고 있음을 발견하여, 내재 대칭성이 보편적인 것이 아니라 해에 따라 특화되어 있음을 입증하였다.
• 반데르와르덴 수 문제에서는 내재 대칭성을 강제함으로써 하한이 약 10% 향상되었으며, 알려진 범위가 확장되었다.
• 그레스프풀 그래프 영역에서는 내재 대칭성을 강제함으로써 이전까지 알려지지 않았던 더블 휠 그래프 DW₂₄에 대해 처음으로 그레스프풀 레이블링을 발견할 수 있었다.
• DW₂₄의 그레스프풀 레이블링을 찾는 데 드는 계산 비용은 내재 대칭성 σ₄ₙ 및 σ₊₂ 를 강제함으로써 7200초 이상에서 602.09초로 감소하였다.
• 더 큰 인스턴스에 대해서는 런타임 감소가 더욱 뚜렷했다: DW₂₀의 경우 내재 대칭성 제약 조건을 적용함으로써 런타임이 7200초 이상에서 117.08초로 감소하였다.
• 결과적으로 내재 대칭성과 해 대칭성 파기 기법을 결합하면, 특히 어려운 조합적 검색 문제에서 상당한 성능 향상이 이룩될 수 있음을 보여주었다.