보수적 k오브n 테스트의 최대 처리량

초록

이 논문은 보수적 k오브n 테스트에 대한 병렬 시스템에서의 최대 처리량(Max‑Throughput) 문제를 정의하고, 이를 다항시간 내에 해결하는 조합적 알고리즘을 제시한다. 기존의 k=1 경우(파이프라인 필터 정렬) 연구를 일반 k로 확장했으며, 표준 k오브n 테스트에 대해서는 타원체 방법을 이용한 다항시간 알고리즘을 제안한다.

상세 분석

논문은 먼저 기존의 k오브n 테스트와 보수적 변형을 명확히 구분한다. 표준 k오브n 테스트에서는 k개의 0이 관측되거나 n‑k+1개의 1이 관측되면 검사를 중단하지만, 보수적 버전에서는 모든 아이템이 최소 k개의 0이 관측될 때까지 혹은 전체 n개의 테스트를 수행할 때까지 검사를 계속한다. 이 차이는 특히 “k보다 적은 결함을 가진 제품의 결함 위치를 파악해야 하는” 품질 관리 시나리오에서 실용적 의미를 가진다.

본 연구의 핵심은 병렬 환경에서 각 테스트를 별도 프로세서가 수행하고, 각 프로세서마다 처리량 제한 r_i가 주어졌을 때 전체 시스템의 처리량을 최대화하는 라우팅 문제를 선형계획(LP) 형태로 모델링한 것이다. 보수적 k오브n 테스트의 경우, 모든 프로세서가 포화(saturate)될 때 최적해가 보장된다는 Lemma 1을 증명한다. 이 증명은 각 프로세서에서 발생하는 0값 테스트의 기대 개수가 전체 처리량 F와 직접적으로 연결됨을 이용한다. 즉, 전체 시스템에서 단위 시간당 발생하는 0값 테스트의 총량은 고정된 M값(=k·Pr