타일링 주기와 복잡도 클래스의 연결

초록

본 논문은 평면 타일링 시스템이 생성할 수 있는 모든 주기의 집합을 연구한다. 저자들은 주기 집합을 적절히 재코딩하면 공간 복잡도 클래스 NSPACE(n) 과 co‑NE 에 해당하는 언어와 정확히 일치한다는 정리를 증명한다. 이를 위해 튜링 기계의 동작을 타일링 규칙에 인코딩하고, 주기성 여부를 계산 복잡도와 연결시키는 새로운 기법을 제시한다.

상세 분석

논문은 먼저 평면 타일링, 특히 와앙 타일링 시스템을 형식적으로 정의하고, “주기”(period)라는 개념을 수평·수직 이동에 대해 타일링이 자기 자신과 일치하는 최소 변위로 규정한다. 주기 집합 Per(𝒯) 은 주어진 타일링 시스템 𝒯 이 허용하는 모든 자연수 p (가로·세로 모두 p 만큼 이동했을 때 동일한 배치가 재현되는 경우)들의 집합이다. 저자들은 이 집합이 단순히 정수론적 성질에 머무는 것이 아니라, 계산 이론의 복잡도 클래스와 깊은 연관을 가진다는 점을 밝혀낸다.

핵심 정리는 두 부분으로 나뉜다. 첫 번째는 “주기 집합 S 가 NSPACE(n) 언어에 해당한다면, 적절한 타일링 시스템 𝒯 을 구성하여 Per(𝒯)=S 또는 S∪{0} 을 얻을 수 있다”는 전향적 결과이다. 이를 위해 저자들은 길이 n 인 입력을 받아 O(n) 공간을 사용하는 비결정적 튜링 기계 M 을 선택하고, M 의 실행 트레이스를 2‑차원 격자에 ‘시간‑공간’ 다이어그램 형태로 전개한다. 각 셀은 기계의 상태·헤드 위치·테이프 심볼을 나타내는 색으로 채워지며, 인접 셀 간의 일관성을 보장하는 로컬 타일 규칙을 만든다. 중요한 점은 M 이 O(n) 공간만을 사용하면, 타일링의 가로·세로 주기가 정확히 입력 길이 n 과 일치하도록 설계할 수 있다는 것이다. 따라서 입력 n 에 대해 M 이 수용하면 해당 주기가 존재하고, 거부하면 존재하지 않는다.

두 번째는 “주기 집합이 co‑NE 언어와 동치”라는 역방향 정리이다. 여기서는 비결정적 지수시간(NE) 기계 N 의 부정 언어를 고려한다. N 이 2^{O(n)} 시간 내에 거부하는 입력을 ‘주기 없음’으로 매핑하고, 수용하는 경우에만 특정 주기 p 을 강제한다. 이를 위해 타일링 규칙에 ‘시간 압축’ 메커니즘을 도입해, 지수적인 실행 단계들을 로그‑스케일로 압축해 2‑차원 격자에 배치한다. 이렇게 하면 주기의 존재 여부가 N 의 부정 판정과 정확히 일치한다.

두 정리 모두 “약간의 재코딩”이라는 전제 하에 성립한다. 재코딩이란, 주기 집합을 S → S′ (예: S∪{0} 또는 S·k) 형태로 변환하는 단순한 수학적 변환을 의미한다. 이는 타일링의 기본적인 대칭성(회전·반사)이나 격자 스케일링을 이용해 구현 가능하다.

이러한 결과는 타일링이 단순히 ‘평면을 채우는 퍼즐’이 아니라, 복잡도 이론에서 공간·시간 제한을 시각적으로 표현할 수 있는 강력한 모델임을 보여준다. 특히, NSPACE(n) 과 co‑NE 이라는 서로 다른 복잡도 계층이 동일한 타일링 주기 프레임워크 안에서 교차한다는 점은, 기존에 알려진 SFT(shift of finite type) 와 sofic 시스템들의 주기 구조 연구와도 흥미로운 연관성을 시사한다.

마지막으로 논문은 이론적 함의를 넘어, 주기성 검증을 위한 알고리즘적 접근법을 제시한다. 주어진 타일링 시스템에 대해 p‑주기 존재 여부를 결정하는 문제는 NSPACE(n) 완전이며, 반대로 p‑비주기성을 검증하는 문제는 co‑NE 완전이라는 복잡도 구분을 제공한다. 이는 타일링 기반 암호·패턴 인식 시스템 설계 시 보안·복잡도 균형을 맞추는 데 실용적인 가이드라인을 제공한다.