기계학에서의 어수르 그래프를 조합론적 강체 이론으로 재해석

본 논문은 1자유도 평면 메커니즘의 핵심 구성 요소인 ‘어수르 그룹(Assur groups)’을 현대 조합론적 강체 이론의 언어로 재정의하고, 그 구조적 특성을 정밀하게 규명한다. 서론에서는 어수르 그룹이 1914년 레오니드 어수르에 의해 최초 제안되었으며, 이후 러시아와 동유럽에서 널리 활용됐지만 서구에서는 상대적으로 덜 알려졌다는 역사적 배경을 제시한다. 어수르 그룹은 ‘더 이상 단순화할 수 없는 최소 구조’로 정의되며, 이는 기계공학에서 복잡한 메커니즘을 기본적인 최소 단위로 분해하는 데 핵심적인 역할을 한다. 2장에서는 기계공학 용어와 강체 이론 용어를 연결한다. 메커니즘은 바와 핀으로 구성된 그래프 형태로 모델링되며, ‘구조적 스키마(structural scheme)’를 통해 모든 연결을 회전 관절(pin)로 통일한다. ‘구동 링크(driving link)’는 길이가 변할 수 있는 요소이며, 분석을 위해 구동 링크를 삭제하고 그 양끝을 고정(pinned)한다. 예시로 제시된 굴착기 메커니즘은 9개의 링크와 11개의 관절을 가지고 있으며, 구동 링크 두 개를 제거하면 0 자유도가 되는 고정된 구조가 된다. 그루버 방정식(F = 3(L−1)−2∑(i−1)J_i) 을 평면 그래프 형태로 변형하면 F = 2|V|−3−|E| 가 된다. 여기서 |V|는 관절(정점) 수, |E|는 바(간선) 수이며, F=0이면 ‘고정(isostatic)’ 상태이다. 이 식은 맥스웰의 카운팅 조건과 동일하며, 이후 라만 정리와 연결된다. 3절에서는 강체 매트릭스와 라만 정리를 소개한다. 라만 정리는 평면에서 최소 강체 그래프가 |E| = 2|V|−3을 만족하고 모든 부분 그래프가 |E'| ≤ 2|V'|−3을 만족해야 함을 명시한다. 이 정리를 기반으로 독립 집합(강체 그래프)과 회로(최소 의존 집합)를 구분한다. 회로는 |E| = 2|V|−2이며, 모든 진부분이 라만 부등식을 만족한다. 회로는 K₄(완전 4-정점 그래프)에서 시작해 edge‑split과 2‑sum 연산을 통해 생성될 수 있다(정리 3). 핵심 기여는 ‘핀된 프레임워크(pinned framework)’에 대한 정의와 어수르 그래프의 카운팅 조건이다. 핀된 정점 집합 P와 내부 정점 집합 I를 구분하고, 핀된 그래프 G(I,P;E)는 모든 간선이 적어도 하나의 내부 정점에 연결된다. 어수르 그래프는 다음 두 조건을 만족한다: (1) |E| = 2|I| + |P| − 2 (핀된 라만 조건); (2) 모든 부분 그래프 F ⊆ E는 |F| ≤ 2|V(F)∩I| + |V(F)∩P| − 2. 이러한 조건은 어수르 그래프가 최소 강체이면서 동시에 핀된 구조를 유지함을 보장한다. 4절에서는 어수르 그래프의 생성 및 분해 알고리즘을 제시한다. 생성 알고리즘은 K₄에서 시작해 허용된 연산(edge‑split, 2‑sum, 2‑valent vertex addition)만을 사용해 모든 가능한 어수르 그래프를 열거한다. 분해 알고리즘은 주어진 메커니즘을 핀된 그래프 형태로 변환한 뒤, 라만 독립성 검사를 통해 회로를 찾아내고, 이를 순차적으로 제거하면서 어수르 그룹(보통 dyad 형태)의 순서를 결정한다. 알고리즘은 O(n²) 시간 복잡도를 가지며, 실제 메커니즘 설계에 적용 가능하도록 의사코드와 구현 팁을 제공한다. 마지막으로, 오퍼 샤이가 2006년 비엔나 워크숍에서 제시한 일련의 추측—(i) 모든 어수르 그래프는 위 연산들로 생성 가능, (ii) 임의의 1자유도 메커니즘은 유일한 어수르 그래프들의 직합으로 분해될 수 있다—를 라만·헤네버그 이론을 이용해 증명한다. 또한, 이러한 이론적 결과가 실제 설계 단계에서 ‘드라이버(driver)’와 ‘스트레스(stressed) 위치’를 식별하는 데 어떻게 활용될 수 있는지 논의한다. 결론에서는 본 연구가 기계공학과 수학 사이의 용어·개념 격차를 메우고, 조합론적 강체 이론을 메커니즘 설계에 직접 적용할 수 있는 토대를 마련했음을 강조한다. 향후 연구에서는 3차원 메커니즘에 대한 확장, 비선형 기하학적 특수 경우(평행·대칭) 분석, 그리고 소프트웨어 구현을 통한 자동 설계 도구 개발을 제시한다.