본문으로 건너뛰기
158 / CODING LAB
먼저 알아두면 좋아요 · 연결된 선수 단원의 확률·이진 연산·논리와 부호 표기
단원 목록 (600) · 반복 부호와 오류정정의 비용
이해하는 속도로 읽으세요.개념도이론실험확인 문제
BUILD YOUR INTUITION

먼저 그림으로 이해하기

한 번에 한 단계씩 살펴보세요.

다수결의 성공 조건과 전송률·블록 오류의 교환을 확인합니다.

Odd repetition n=3; independent BSC flips; majority decoder, including when noise > 1/2. Received mask uses only the lowest n bits.

031.05-0.02
가로: 오류 개수 · 세로: 이항 확률 · 주황 점: 다수결 실패
positionsentreceivederror
1011
2000
3000

block length n = 3

고정 기준 예제의 그림과 수치입니다. 각 단계에서 같은 그림의 의미를 차례로 살펴보세요. 고정된 기준 예제이며 아래 실험의 설정과 독립적입니다.
1 / 4

거리

000과 111은 세 위치에서 다릅니다. 한 오류까지 원래 부호어가 더 가깝습니다.

d_min=n

실험에서 확인하기 →
이 단원 목차

같은 비트를 여러 번 보내는 이유

한 비트를 세 번 보내 0은 000, 1은 111로 표현해 봅시다. 수신열이 001이면 000과 거리는 1, 111과 거리는 2여서 0을 선택합니다. 여기서 거리는 다른 비트 위치의 수인 Hamming 거리입니다. 잉여 비트를 추가하면 가능한 수신열 중 일부가 원래 메시지를 되찾을 단서가 됩니다.

일반적으로 홀수 n의 반복 부호는 길이 n인 두 부호어만 가집니다. 거리가 n이므로 t=(n−1)/2개까지의 임의 오류를 유일하게 고칠 수 있습니다. 이는 확률을 가정하지 않는 최악 경우의 보장입니다.

dmin⁡=n,2t<dmin⁡,R=1/n.d_{\min}=n,\qquad 2t<d_{\min},\qquad R=1/n.

확률 보장에는 독립성 가정이 필요하다

이제 각 위치가 독립적으로 확률 ε로 뒤집히는 BSC를 가정합니다. 오류 개수 K는 이항분포이며 다수결은 K>n/2일 때 실패합니다. 특정 오류 mask 하나의 확률에는 조합 계수가 없고, 같은 개수의 모든 오류 위치를 합칠 때 조합 계수가 붙습니다.

P(K=k)=(nk)εk(1−ε)n−k,Pe=∑k=(n+1)/2nP(K=k).\begin{aligned} P(K=k)&={n\choose k}\varepsilon^k(1-\varepsilon)^{n-k},\\ P_e&=\sum_{k=(n+1)/2}^{n}P(K=k). \end{aligned}

ε=.1, n=3이면 Pₑ=3×.01×.9+.001=.028입니다. n=5이면 .00856으로 줄지만 정보 비트 하나에 5번의 사용을 지불합니다. ε=.1인 BSC의 용량 약 .531과 비교하면 반복 부호의 전송률 1/3, 1/5가 낮습니다. 오류가 줄어도 좋은 부호의 모든 조건을 만족한 것은 아닙니다.

곡선과 선택 수신열을 따로 읽기

파란 점은 오류 개수별 이항 확률, 주황 점은 실패 영역입니다. 표는 선택한 수신 mask 한 개의 전송·수신 비트를 보여줍니다. 낮은 n비트만 사용하므로 위쪽 mask 비트는 버립니다. 이 표를 바꾼다고 이론적 블록 오류 확률이 달라지지는 않습니다.

n=5, 전송 0, mask=3은 앞 두 위치만 1인 수신열입니다. K=2이므로 0으로 복원하지만 이 열 하나의 확률 .1²×.9³=.00729와 전체 실패 확률 .00856은 다른 양입니다.

독립 오류 모형의 한계와 AI 시스템

ε=.5에서는 다수결도 공정한 동전과 같아 오류 확률이 .5입니다. ε>.5에서는 뒤집힌 값이 더 흔하므로 출력을 먼저 반전하는 등 알려진 채널을 반영해야 합니다. 실습은 이 경우에도 단순 다수결을 그대로 계산해 잘못된 복호 규칙을 드러냅니다.

연속된 장치 장애처럼 오류가 상관되면 이항식은 맞지 않습니다. 분산 학습에서 복제본을 여러 개 만드는 것 역시 독립 실패를 보장하지 않습니다. 공통 원인의 장애와 통신량·지연을 함께 평가해야 합니다.

확인 문제와 해설

  1. n=7은 몇 오류까지 보장하나요? 3개입니다. 반경 3의 두 Hamming 공은 거리가 7인 두 부호어 사이에서 겹치지 않습니다.
  2. 오류가 정확히 4개인 n=7의 수신은? 다수결이 반대로 판정합니다. 부호 자체의 거리를 늘리지 않고 복호 규칙만 반복 적용해도 복구되지 않습니다.
  3. 독립성 없이 .028을 사용할 수 있나요? 아니요. 세 위치가 함께 뒤집히는 모형이라면 같은 위치별 오류율 .1이어도 블록 오류는 .1입니다.

추가 읽기: MIT MAS.160, Error Correction.

CHECK YOUR UNDERSTANDING

설명할 수 있나요?

실험 설정과 무관한 기준 예제를 묻습니다. 답을 고르고 설명을 확인해보세요.

1. n=5는 몇 비트 오류까지 보장하나요?
2. ε=.8에서도 긴 다수결이 좋아지나요?

선택한 답과 학습 표시는 이 브라우저에 저장됩니다. 다시 풀거나 표시를 해제할 수 있습니다.