면역 반응 복잡성의 비계산성 알고리즘 정보 격차와 제한된 효율성

초록

이 논문은 면역 반응을 “조언‑구동 계산”으로 모델링하고, 유효성 판별자 V와 입력‑불감 실행기 E를 통해 최소 조언 복잡도 M(x)를 정의한다. M(x)의 백분위인 정규화 조언 분위수(NAQ)를 도입해 작업 난이도를

상세 분석

본 연구는 면역 반응을 “조언‑구동” 형태의 계산으로 정형화한다. 고정된 전역 실행기 E는 입력 x를 전혀 읽지 않고, 자기 구분 가능한 조언 문자열 w를 받아 결과 r=E(w)를 생성한다. 유효성 판별자 V(x,r)∈{0,1}가 존재하며, V가 반감소 가능(c.e.)이든 결정 가능이든 상관없이, V가 1인 경우에만 r을 유효한 반응으로 인정한다. 이때 최소 조언 복잡도 M(x)=min_{V(x,r)=1}K(r) (K는 전위 콜모고로프 복잡도) 를 정의함으로써, 특정 면역 상황 x에 대해 “필요한 최소 정보량”을 정량화한다.

정규화 조언 분위수(NAQ)는 M(x)를 기준으로 사전 정의된 레퍼런스 풀 T에 대한 백분위 위치를 계산한다. 즉, NAQ(x;T)=|{x’∈T : M(x’)<M(x)}|/|T|+½·|{x’∈T : M(x’)=M(x)}|/|T| 로 정의되며, 이는