이진 선형 코드와 엣지 로컬 컴플리멘테이션의 등가성

본 논문은 그래프 이론과 이진 선형 코딩 이론 사이의 깊은 연관성을 밝히는 연구로, 특히 엣지 로컬 컴플리멘테이션(ELC)이라는 새로운 그래프 변환 연산을 도입하고 이를 통해 코드의 등가 클래스를 완전히 기술한다. 1. **ELC 연산 정의 및 기본 성질** 저자들은 기존의 로컬 컴플리멘테이션(LC)이 한 정점 주변의 이웃을 보완하는 반면, ELC는 두 인접 정점 사이의 간선을 선택해 그 두 정점에 인접한 이웃 집합을 교환·보완하는 연산임을 명시한다. ELC는 자체적으로 가역적이며, 연속 적용 시 닫힌 연산군을 형성한다. 이 연산은 그래프의 구조를 크게 바꾸지 않으면서도 새로운 동등 관계를 만든다. 2. **이분 그래프와 이진 선형 코드의 일대일 대응** 핵심 정리는 “이분 그래프의 ELC 궤도는 하나의 이진 선형 코드의 등가 클래스와 정확히 일치한다”는 것이다. 이분 그래프를 두 파티션 A와 B로 나누고, 인접 행렬을 \(