펫리 사이클로이드의 축소와 파라미터 합성: 효율적인 동형 판정 기법

초록

본 논문은 네 개의 정수 파라미터(α, β, γ, δ)로 정의되는 펫리 사이클로이드를 무한 페트리 공간에서 유한 기본 평행사변형으로 접어들어 모델링한다. 축소 규칙을 재작성 시스템 형태로 제시하고, 불가축소 사이클로이드를 특성화한 뒤, 네트워크 구조만으로 파라미터를 복원하는 합성 알고리즘을 개발한다. 최종적으로 두 사이클로이드가 동형인지 O(log n) 시간에 판단할 수 있는 절차를 제시한다.

상세 분석

논문은 먼저 펫리 공간에서 무한히 확장된 마크드 그래프를 정의하고, 이를 α·δ + β·γ개의 전이로 이루어진 기본 평행사변형 C(α,β,γ,δ) 로 제한한다. 이때 전이와 장소는 좌표 (x,y) 로 라벨링되며, 전이 (x,y) 가 (x+α,y) 혹은 (x,y+β) 로 이동하는 형태의 동기화된 순차 프로세스를 형성한다. 저자들은 이러한 구조를 행렬 형태의 “사이클로이드 대수”로 표현하여, 전이 동치 판단을 선형 연산으로 해결하는 정리(2.5, 2.16)를 제시한다. 이어서 전이의 전단(shear) 변환을 이용한 네트워크 동형성(정리 2.6)을 증명하고, 이를 기반으로 β‑δ 축소 규칙을 정의한다. 축소 과정은 마치 유클리드 알고리즘처럼 β와 δ의 최대공약수를 반복적으로 감소시켜, 결국 β와 δ가 서로소인 불가축소 사이클로이드를 얻는다(정리 4.6). 불가축소 형태에서는 최소 사이클 길이 p = A/β 가 명시적으로 계산 가능하며, 이는 네트워크 내 모든 경로 구조를 완전히 결정한다. 이러한 특성을 이용해, 주어진 펫리 네트워크로부터 α,β,γ,δ를 역추출하는 합성 절차를 설계했으며, 파라미터 복원 과정은 O(log n) 시간 복잡도를 가진다(정리 4.9). 최종적으로 두 사이클로이드가 동형인지 판단할 때, 각각을 불가축소 형태로 축소한 뒤 파라미터를 비교하면 되므로, 일반적인 그래프 동형 문제보다 훨씬 효율적인 판정이 가능하다. 논문은 또한 정규 사이클로이드와 정규 정규 사이클로이드(β = γ = δ)의 특수 사례를 다루어, 기존 문헌에서 제시된 예제(예: 4‑시즌)와의 동형성을 새롭게 증명한다. 전체적으로 사전 정의된 재작성 규칙, 선형 대수적 표현, 그리고 유클리드식 축소 알고리즘을 결합함으로써 펫리 사이클로이드 이론에 실용적인 분석·합성 도구를 제공한다.