[논문 리뷰] Exact values for three domination-like problems in circular and infinite grid graphs of small height

Marwane Bouznif, Julien Darlay외 2명|arXiv (Cornell University)|2017. 08. 02.

graph theory and CDMA systems인용 수 5

한 줄 요약

이 논문은 정사각형, 정삼각형, 킹 격자에서 높이가 4 이하인 원형 및 무한 격자 그래프에서 세 가지 독립적 코드—식별(identification, ID), 위치-지배(locating-dominating, LD), 위치-전체-지배(locating-total-dominating, LTD)—에 대한 정확한 최소 밀도와 최소 기수를 제시한다. 로타그래프에서의 의사-d-국소 성질에 대한 일반적인 프레임워크 내에서 컴퓨터 검색을 통해 저자들은 새로운 정확한 값을 도출하고, 기존 결과에 대한 별개의 증명을 제공하며, 특히 높이 3인 정사각형 스트립에서의 ID-코드에 대한 이전의 경계를 향상시켰다(최적 밀도: 7/18), 그리고 높이 2인 정삼각형 스트립에서의 LTD-코드에 대해서도 최적 밀도 1/3을 확립하였다.

ABSTRACT

In this paper we study three domination-like problems, namely identifying codes, locating-dominating codes, and locating-total-dominating codes. We are interested in finding the minimum cardinality of such codes in circular and infinite grid graphs of given height. We provide an alternate proof for already known results, as well as new results. These were obtained by a computer search based on a generic framework, that we developed earlier, for the search of a minimum labeling satisfying a pseudo-d-local property in rotagraphs.

연구 동기 및 목표

• 특히 식별, 위치-지배, 위치-전체-지배 코드에 대해 작은 높이의 격자 그래프에서 독립적 코드에 대한 정확한 값이 부족한 문제를 해결한다.
• 정사각형, 정삼각형, 킹 격자에서 높이가 4 이하인 원형 및 무한 스트립에서 이러한 코드의 정확한 최소 기수와 밀도를 제공한다.
• 의사-d-국소 성질에 기반한 일반적인 계산 프레임워크를 개발하고 적용하여 최적 코드 구성의 체계적인 탐색과 검증을 수행한다.
• 이전에 알려진 경계를 향상시키며, 특히 높이 3인 정사각형 스트립에서의 식별 코드와 높이 2인 정삼각형 스트립에서의 위치-전체-지배 코드에 대해 개선한다.
• 재현 가능하고 알고리즘 기반의 결과를 통해 향후 구조적 격자 구조에서의 코드 최적화 연구의 기반을 마련한다.

제안 방법

• 이전 연구에서 유도된 일반적인 이론적 프레임워크를 변형하여, 로타그래프에서 의사-d-국소 제약 조건을 가진 최소 레이블링 문제를 모델링하고 해결한다. 이를 격자 그래프에 특화하여 적용한다.
• 고정된 높이와 크기를 가진 유한한 원형 스트립에서 가능한 모든 코드 구성에 대해 체계적으로 검색하는 컴퓨터 검색 알고리즘을 구현한다.
• 동적 프로그래밍과 상태 전이 기법을 활용하여 각 상태당 일정 시간 내에 구성 탐색을 수행함으로써 최소 기수 코드의 효율적 계산을 가능하게 한다.
• 유한한 원형 스트립에서의 결과를 바탕으로, 정리 2를 활용하여 무한 스트립의 최소 밀도를 유도한다.
• 기존 문헌에서 알려진 경계 및 패턴과의 비교를 통해 결과를 검증하고, 주기적 패턴을 활용하여 최적 밀도를 확인한다.
• 메모리 효율적인 상태 표현 및 가지치기 전략과 같은 기술적 최적화를 통해 검색 과정의 실행 시간과 RAM 사용량을 감소시킨다.

실험 결과

연구 질문

• RQ1 정사각형 격자에서 높이 3인 원형 스트립에서 식별 코드의 정확한 최소 기수는 얼마인가요?
• RQ2 정삼각형 격자에서 높이 2인 무한 스트립에서 위치-전체-지배 코드의 최소 밀도는 얼마인가요?
• RQ3 높이 4인 무한 스트립에서의 위치-지배 코드의 최소 밀도는 더 작은 높이의 경우와 비교해 어떻게 되나요?
• RQ4 제안된 계산 프레임워크는 작은 높이의 격자에서 이전에 알려지지 않은 코드 구성에 대해 정확한 결과를 도출할 수 있나요?
• RQ5 높이 3인 정사각형 스트립에서의 식별 코드의 최적 밀도가 이론적 하한값과 일치하는가? 만약 그렇다면, 어떤 패턴이 이를 달성하는가?

주요 결과

• 높이 3인 무한 정사각형 스트립에서 식별 코드의 최소 밀도는 정확히 7/18이며, 이는 이전에 알려진 상한값 2/5를 초월하는 개선이다.
• 정사각형 격자에서 크기가 n이고 높이가 3인 원형 스트립에 대해, LTD-코드의 최소 기수는 n ≡ 0 mod 6이면 n이고, 그 외의 경우 n+1이며, 이는 최소 밀도 1/3을 달성한다.
• 정삼각형 격자에서 높이 2인 무한 스트립에서 LTD-코드의 최소 밀도는 1/3이며, 주기 3의 주기적 패턴을 통해 달성된다.
• 정사각형 격자에서 높이 4인 원형 스트립에서 ID-코드의 최소 기수는 스트립 크기의 11/28이며, 이는 새로운 정확한 결과이다.
• 높이 3인 정삼각형 스트립에서의 LTD-코드에 대해 최적의 주기적 패턴은 밀도 1/3을 달성하며, 크기가 3의 배수인 모든 원형 스트립에 대해 유효하다.
• 원형 스트립 해법에서 유도된 무한 스트립 결과는, 무한 격자에서의 최소 밀도가 유한 스트립의 경우와 같거나 더 작음을 확인한다. 이는 무한 정사각형 격자에서의 ID-코드 최소 밀도 중 알려진 최소값이 7/20임을 뒷받침한다.