정의
이진 행렬은 모든 원소가 0 또는 1인 행렬을 의미한다. 수학 및 컴퓨터 과학 분야에서는 주로 이산 구조를 표현하거나, 논리 연산, 그래프 이론, 코드 이론 등에서 사용된다. 행과 열의 크기는 자유롭게 지정할 수 있으며, 행렬의 차원에 따라 2‑차원 배열 형태로 나타난다.
주요 특성
- 원소값 제한: 각 원소는 0 또는 1만을 가질 수 있다.
- 산술 연산: 덧셈·곱셈 등 일반적인 행렬 연산을 수행할 수 있으나, 종종 모듈로 2 연산(즉, XOR, AND 등)과 결합해 사용한다.
- 대칭성 및 희소성: 특정 응용에 따라 대칭 행렬, 희소 행렬(많은 0을 포함) 등 다양한 형태를 갖는다.
활용 분야
- 그래프 표현: 인접 행렬로 사용되어 그래프의 연결 관계를 0과 1로 나타낸다.
- 디지털 이미지: 흑백 이미지를 픽셀 단위로 0(검정)·1(흰색)으로 표현한다.
- 코딩 이론: 오류 정정 코드를 설계할 때 생성 행렬이나 검사 행렬을 이진 행렬 형태로 정의한다.
- 논리 회로 설계: 부울 함수를 행렬 형태로 모델링하여 회로 최적화에 활용한다.
- 데이터 마이닝: 트랜잭션 데이터(예: 구매 여부)를 이진 행렬로 표현해 연관 규칙 분석 등에 사용한다.
관련 개념
- 이진 벡터: 한 행 또는 열만을 갖는 특수한 경우.
- 모듈로 2 연산: 이진 행렬 간 연산에서 종종 적용되는 연산 체계.
- 희소 행렬 포맷: 많은 0을 효율적으로 저장하기 위한 압축 형식(예: CSR, CSC)과 결합해 사용한다.
참고 문헌
- Linear Algebra and Its Applications (Gilbert Strang) – 행렬 이론 전반.
- Introduction to Algorithms (Cormen et al.) – 그래프와 행렬 표현.
- 논문 및 교과서에서 “binary matrix”라는 용어로 다루어지는 내용이 다수 존재한다.
이 설명은 현재까지 확인된 공신력 있는 자료에 근거한다.