추출기와 효율적인 무친코프 정리

** 본 논문은 무친코프 정리(모든 문자열 a와 b에 대해, a를 b로 변환하는 가장 짧은 프로그램 p가 존재하고, p는 b에 대해 조건부로 단순함을 만족한다) 를 새로운 관점에서 재해석한다. 기존 증명은 주로 압축 이론과 마틴‑로드 정리를 이용했으며, 프로그램 p의 구체적인 구조를 제시하기 어려웠다. 저자는 이를 해결하기 위해 추출기(Extractor)라는 그래프 기반 난수 증폭 도구를 도입한다. **1. 추출기의 정의와 기본 성질** 추출기 E는 두 입력 (n‑비트 문자열 X, d‑비트 시드 U) 를 받아 m‑비트 출력 Y를 생성한다. (k,ε)-추출기라 함은, X가 최소 엔트로피 k를 가지고 있을 때, 임의의 시드 U에 대해 Y가 거의 균등 분포에 가깝게(오차 ≤ε) 생성된다는 뜻이다. 논문은 정규 이분 그래프 G=(