FPTR: 마감 시간 제약 조건 하의 공동 빔 및 자원 할당을 위한 실현 가능성 보존 트랜잭션 정제

단시간 간격 무선 스케줄러는 각 실행 마감 시간 전에 완전하고 실현 가능한(feasible) 빔-및-자원 할당 결과를 반환해야 하며, 지연되거나 유효하지 않은 출력은 현재 제어 주기에서 아무런 효용을 제공하지 않습니다. 검색 시간을 늘리면 전송 트래픽을 증가시킬 수 있지만, 마감 시간을 놓치거나 실현 불가능한 중간 해답만 남길 수도 있습니다. 우리는 Feasibility-Preserving Transactional Refinement (FPTR)을 제안하며, 이는 항상 현재의 유효한 실현 가능 할당(incumbent)을 유지합니다. 각 정제 단계는 별도의 후보(candidate)를 구축하고 기존의 incumbent는 변경하지 않습니다. 후보가 완전하고, 해당 단계 차단 시간 이전에 실현 가능성 검증기(feasibility validator)를 통과하며, 목적 함수(objective)를 엄격하게 개선할 경우에만 incumbent를 대체합니다. 그렇지 않으면 폐기됩니다. 네 가지 정제 단계가 이 규칙을 사용합니다: 버퍼 인식 자원 선택(buffer-aware resource selection), 호환성 그룹(CG) 사용자 공유(compatibility-group user sharing), 남은 수요로부터의 빔 마스크 재구축(beam-mask rebuilding from remaining demand), 그리고 두 자원의 공동 재할당(joint reassignment of two resources). 150개의 고정 합성 인스턴스에서, 전체 파이프라인(Full)은 경량 빔 우선 참조 모델 대비 평균 트래픽을 3.83% 증가시키고, Base 생성기 대비로는 1.79% 증가시킵니다. 매칭된 입력으로 구성된 별도의 테스트 스위트에서는 Full이 여섯 개의 독립적인 검색 베이스라인(ALNS, tabu search, GA, simulated annealing, iterated local search, 및 GRASP)을 6.68-8.35% 능가했습니다. 이 경우 출력은 100ms 이후에는 효용이 0입니다. 내부 스위트의 모든 750개 Full 실행은 실현 가능한 할당을 반환했으며, 그중 어느 것도 100ms를 초과하지 않았습니다. 필수적인 출력 구성과 선택적 정제를 분리함으로써, 예비 계산 시간을 활용하여 incumbent를 위험에 빠뜨리지 않으면서 할당을 개선할 수 있습니다. 오픈 소스 구현은 독립적인 재현을 지원합니다.