두 번째 차수 단일 모노이드·그룹오이드 양화자와 복잡도 특성화

초록

이 논문은 문자열 위에서 두 번째 차수 단일 모노이드와 그룹오이드 양화자를 이용한 논리 체계의 표현력을 조사한다. 모노이드와 그룹오이드의 단어 문제를 정규 언어와 문맥 자유 언어로 해석하고, 내장 술어의 존재 여부에 따라 계산 복잡도와의 대응 관계를 밝힌다. 특히 ATIME(n) 시간 제한을 갖는 비결정적 기계의 계산 능력을 이러한 양화자를 이용해 논리적으로 기술한다.

상세 분석

논문은 먼저 기존의 두 번째 차수 단일 양화자(Second‑Order Monadic Quantifier)를 확장하여, 모노이드와 그룹오이드 구조에 기반한 새로운 양화자 집합을 정의한다. 여기서 ‘모노이드 양화자’는 입력 문자열을 모노이드의 곱 연산에 매핑하는 정규 언어를, ‘그룹오이드 양화자’는 문맥 자유 언어를 통해 그룹오이드의 부분곱을 표현한다는 점에서 기존 양화자와 차별된다. 이러한 정의는 언어 이론에서 잘 알려진 단어 문제(word problem)와 직접적인 동형을 이루며, 정규 언어와 CFL이 각각 모노이드와 그룹오이드의 동등성 관계를 기술한다는 사실을 이용한다.

연산적 관점에서 저자들은 문자열 구조에 내장된 순서, 성공/실패 표시, 그리고 비트 연산자와 같은 기본 술어들의 유무에 따라 논리 체계의 계산 복잡도가 어떻게 변하는지를 체계적으로 분류한다. 내장 순서 관계만을 허용할 경우, 모노이드 양화자는 FO