[논문 리뷰] Constructing circuit codes by permuting initial sequences

Ed Wynn|arXiv (Cornell University)|2012. 01. 08.

Interconnection Networks and Systems참고 문헌 6인용 수 10

한 줄 요약

이 논문은 초입방체에서 순열화된 전이 시퀀스와 하위차원 경로의 연결을 활용하여, 검색 공간을 줄이기 위해 두 가지 새로운 구성법을 제안한다. 이는 뱀-속-박스 코ils의 새로운 기록을 달성하며, 각각 d=10, spread 2일 때 348, d=11, spread 2일 때 638, d=13, spread 6일 때 58의 길이를 기록으로 기록을 경신한다. 이는 여러 차원에서 이전에 알려진 최고 성능을 초월한다.

ABSTRACT

Two new constructions are presented for coils and snakes in the hypercube. Improvements are made on the best known results for snake-in-the-box coils of dimensions 9, 10 and 11, and for some other circuit codes of dimensions between 8 and 13. In the first construction, circuit codes are generated from permuted copies of an initial transition sequence; the multiple copies constrain the search, so that long codes can be found relatively efficiently. In the second construction, two lower-dimensional paths are joined together with only one or two changes in the highest dimension; this requires a search for a permutation of the second sequence to fit around the first. It is possible to investigate sequences of vertices of the hypercube, including circuit codes, by connecting the corresponding vertices in an extended graph related to the hypercube. As an example of this, invertible circuit codes are briefly discussed.

연구 동기 및 목표

• 초입방체에서 장기 회로 코드를 찾는 데 발생하는 조합 폭발 문제를 줄이기 위한 제약 조건이 부여된 검색 방법을 개발하기 위해.
• 고차원 초입방체에서 더 긴 코드를 구성하여 뱀-속-박스 및 코일 문제의 최신 기술 수준을 향상시키기 위해.
• 순열과 경로 조합을 통한 대칭성과 구조적 제약 조건을 활용하여 장기 회로 코드를 효율적으로 탐색할 수 있도록 하기 위해.
• 확장된 그래프 모델을 사용한 그래프 기반 방법을 도입하여 회로 코드의 대칭성을 탐지하기 위해.
• 차원 8에서 13에 걸쳐 새로운 기록 길이의 회로 코드를 위한 명시적 전이 시퀀스를 제공하기 위해.

제안 방법

• 초기 전이 시퀀스의 여러 복제본을 순열 π에 따라 생성함으로써 순열화된 회로 코드를 구성하며, 시퀀스 주기 P는 순열과 초기 점프 벡터에 의해 결정된다.
• 초기 점프 벡터를 사용하여 한 시퀀스의 시작점에서 다음 시퀀스의 시작점으로의 이동을 정의하며, 순열이 이 점프가 각 시퀀스 간에 어떻게 변형되는지를 규정한다.
• k-스프레드 조건에 의해 제약된 백트래킹 검색을 적용하여 원본 및 순열화된 시퀀스 전이를 동시에 테스트함으로써 유효성을 확보한다.
• 공액성과 순열 π와의 교환을 통한 시작 정점의 스켈레톤 비교를 통해 대칭적으로 동일한 해를 기각한다.
• 최고 차원에서 전이 수가 하나 또는 두 개인 두 개의 하위차원 경로를 조합하며, 두 번째 경로에 대해 첫 번째 경로 주변에 맞출 수 있는 적절한 순열을 검색한다.
• 대칭성을 탐지하기 위해 보조 노드를 초입방체 그래프에 추가함으로써, 가역적 및 기타 대칭적인 회로 코드 식별이 가능하게 한다.

실험 결과

연구 질문

• RQ1 순열화된 시퀀스를 통한 구조적 제약 조건이 초입방체에서 장기 회로 코드의 검색 공간을 상당히 줄일 수 있는가?
• RQ2 최소한의 고차원 전이를 가진 두 개의 하위차원 경로를 조합하면 경쟁력 있거나 향상된 회로 코드 길이를 얻을 수 있는가?
• RQ3 회로 코드의 대칭성을 체계적으로 탐지하고 재현 방지를 위해 활용할 수 있는가?
• RQ4 스프레드 2, 3, 5, 6일 때, 차원 8에서 13까지 알려진 가장 긴 회로 코드는 무엇인가?
• RQ5 제안된 구성법이 코드 길이와 계산 효율성 측면에서 일반적인 백트래킹 검색을 초월할 수 있는가?

주요 결과

• d=10, spread 2일 때 348의 길이를 가진 코일이 발견되어 이전 최고 기록인 342를 초월한다.
• d=11, spread 2일 때 638의 길이를 가진 코일이 발견되어 이전 최고 기록인 630을 초월하는 신기록을 수립한다.
• d=11, spread 2일 때 640의 길이를 가진 코일이 구성되었으며, 초기 시퀀스 길이 32와 순열 (1234567890)A를 사용하고 주기 P=20이다.
• d=9, spread 3일 때 58의 길이를 가진 코일이 발견되어 이전 최고 기록인 56을 초월한다.
• d=12, spread 5일 때 58의 길이를 가진 코일이 구성되어 이전 최고 기록인 56을 초월한다.
• d=13, spread 6일 때 50의 길이를 가진 코일이 발견되어 이전 최고 기록인 48를 초월한다.