프로그래머블 매터를 위한 분산 리더 선출 및 k‑지역 식별자 부여

초록

이 논문은 무한 격자(정사각형, 삼각형, 킹 격자) 위에 배치된 익명 입자들 사이에서 O(1) 메모리만을 사용해 리더를 선출하고, 거리 k 이내의 입자마다 서로 다른 k‑지역 식별자를 할당하는 알고리즘을 제시한다. 제안된 알고리즘은 구멍이 없는 구조에서 작동하며, 포트 번호 재배열 및 스패닝 트리 구축까지 포함한다.

상세 분석

본 연구는 프로그래머블 매터를 그래프 이론적 관점에서 모델링하고, 입자들이 무한 격자 위의 정점 하나를 점유하며 인접 정점과만 통신한다는 가정을 둔다. 각 입자는 동일한 시계방향 포트 번호 체계를 가지고 있으며, 주변 입자들의 포트 위치와 상태를 로컬하게 인식한다. 이러한 제약 하에 저자들은 O(1) 메모리와 상수 크기 메시지만을 이용해 세 가지 주요 문제를 해결한다.

첫 번째는 리더 선출이다. 기존 연구는 구멍이 없고 절단점(articulation)이 없는 경우에만 확률적 혹은 복잡한 결정적 알고리즘을 제시했지만, 본 논문의 S‑contraction 알고리즘은 구멍이 없고 절단점이 존재해도 작동한다. 핵심 아이디어는 “S‑contractible” 입자를 정의하고, 이러한 입자를 반복적으로 후보 집합에서 제거하면서 남은 유일한 입자를 리더로 선정한다. 입자 p가 S‑contractible 하려면 (i) p의 확장 이웃 집합 M_G(p)∩S가 연결 그래프를 이루고, (ii) p의 인접 정점 중 최소 하나가 S에 속하지 않아야 한다. 이 조건은 로컬 연산만으로 판단 가능하므로, 동시에 거리 2 이하의 입자들이 연산을 수행하지 않도록 스케줄링하면 충돌 없이 진행된다. 알고리즘은 최악의 경우 2n 라운드( n은 입자 수) 안에 종료되며, 각 라운드마다 상수 시간 연산과 상수 크기 메시지만 필요하다.

두 번째는 스패닝 트리와 포트 번호 재배열이다. 리더가 선정된 뒤, 리더를 루트로 하는 BFS 기반 스패닝 트리를 구축한다. 트리 구축 과정에서도 각 입자는 부모와 자식 포인터만을 저장하므로 O(1) 메모리 요구사항을 유지한다. 포트 번호 재배열은 입자들이 동일한 시계방향 기준을 공유한다는 점을 이용해, 트리 구조에 맞게 포트 번호를 순환시켜 일관된 방향성을 부여한다. 이는 이후 k‑지역 식별자 할당 단계에서 포트 번호를 기준으로 좌표를 추정하는 데 필수적이다.

세 번째는 k‑지역 식별자 부여이다. k‑지역 식별자는 거리 ≤k 인 입자들 간에 서로 다른 값을 갖는 라벨이다. 이를 위해 저자들은 격자의 k‑제곱 그래프(G^k)의 색칠 문제를 활용한다. 정사각형, 삼각형, 킹 격자 각각에 대해 최소 색 수 χ(G^k)를 구하고, 사전 계산된 색상 패턴(부록 I)을 로컬하게 적용한다. 입자는 자신의 좌표와 포트 번호를 이용해 (i mod p, j mod p) 형태의 색을 계산하고, 이를 k‑지역 식별자로 사용한다. 이 방식은 입자 이동 시에도 주변 입자들의 좌표만 재계산하면 되므로 업데이트가 간단하고, O(1) 메모리와 상수 시간 내에 수행된다.

알고리즘들의 복합적인 장점은 다음과 같다. 첫째, 모든 단계가 로컬 연산으로 구성돼 분산 환경에서 구현이 용이하다. 둘째, 메모리 요구가 O(1)이라 나노 규모 입자에도 적용 가능하다. 셋째, 구멍이 없는 연결 구조라는 제한이 있지만, 실제 프로그래머블 매터 시나리오(예: 자가 조립 로봇 군집)에서는 대부분 이 조건을 만족한다. 한계점으로는 구멍이 존재할 경우 리더 선출이 실패한다는 점이며, 이를 해결하려면 추가적인 탐색 혹은 복잡한 전역 정보를 필요로 한다. 또한, 라운드 수가 입자 수에 선형적으로 비례하므로 대규모 군집에서는 실행 시간이 길어질 수 있다. 그럼에도 불구하고, 제한된 메모리와 통신 모델 하에서 최초로 리더 선출과 k‑지역 식별자를 동시에 제공한다는 점에서 의미가 크다.