행렬 그래프 문법 새로운 계산 모델

초록

본 논문은 행렬 그래프 문법(MGG)을 형식 문법이자 계산 모델로 정립하고, 튜링 기계와 부울 회로와의 관계를 분석한다. MGG의 비결정성, 변환 규칙의 행렬 표현, 그리고 복잡도 이론 적용 가능성을 제시한다.

상세 분석

본 논문은 기존 그래프 변환 연구에서 파생된 행렬 그래프 문법(MGG)을 전통적인 형식 언어 이론과 연결시키는 시도를 한다. 먼저 MGG의 핵심 개념인 그래프를 인접 행렬 형태로 표현하고, 변환 규칙을 행렬 연산(덧셈, 곱셈, 전치 등)으로 기술한다는 점을 강조한다. 이러한 행렬 기반 표현은 그래프 구조의 동적 변화를 수학적으로 명확히 정의할 수 있게 하며, 알고리즘적 구현에서도 효율성을 제공한다.

논문은 MGG를 형식 문법으로 보기 위해 비단 단일 규칙이 아니라, 규칙 집합을 ‘문법’이라 정의하고, 파생 과정은 행렬 연산의 연속적인 적용으로 모델링한다. 이때 파생 트리는 전통적인 파스 트리와 유사하지만, 각 노드가 그래프의 행렬 상태를 나타내므로 상태 공간 탐색이 선형 대수학적 방법으로 전환된다.

다음으로 MGG와 튜링 기계(Turing Machine, TM) 사이의 동형성을 증명한다. 저자는 TM의 상태와 테이프를 각각 그래프의 노드와 엣지로 매핑하고, TM의 전이 함수를 MGG의 변환 규칙으로 변환한다. 이 변환은 결정적이면서도 비결정적 TM 모두에 적용 가능하며, 특히 비결정적 MGG가 비결정적 TM의 모든 계산을 시뮬레이션할 수 있음을 보인다.

또한 부울 회로(Boolean Circuits, BC)와의 연관성을 탐구한다. 회로의 논리 게이트를 그래프의 서브구조로 모델링하고, 회로의 신호 흐름을 행렬 연산으로 표현한다. 이를 통해 회로의 깊이와 크기를 MGG의 규칙 수와 적용 단계로 직접 대응시킬 수 있다. 특히 회로의 병렬성은 MGG의 규칙 동시 적용(동시성) 메커니즘과 자연스럽게 매핑된다.

비결정성 측면에서 논문은 MGG가 비결정적 선택을 행렬의 다중값(예: 0/1/∗)으로 표현함으로써, 선택적 적용을 가능하게 함을 강조한다. 이는 전통적인 비결정적 문법에서 발생하는 탐색 폭을 행렬 연산의 병렬 처리 능력으로 완화시킬 수 있음을 시사한다.

마지막으로 복잡도 이론에 대한 적용 가능성을 논의한다. MGG를 이용해 P, NP, PSPACE 등 복잡도 클래스와의 관계를 정의하고, 특히 MGG 규칙의 수와 적용 깊이가 시간·공간 복잡도와 직접적인 상관관계를 가진다는 점을 제시한다. 이는 향후 MGG를 기반으로 복잡도 경계 문제를 새로운 관점에서 접근할 수 있는 토대를 제공한다.

전체적으로 논문은 MGG를 기존 계산 모델과 통합함으로써, 그래프 기반 동적 시스템을 수학적으로 엄밀히 다루는 새로운 패러다임을 제시한다.