Grunnleggende konsepter
온라인 할당, 시퀀싱, 매칭 문제를 해결하는 데 효과적인 무작위 반올림 기법을 소개하고, 다양한 문제 유형에 대한 적용 방법과 이점을 제시합니다.
이 튜토리얼에서는 미래에 대한 불확실성 속에서 순차적으로 의사 결정을 내려야 하는 온라인 의사 결정 문제를 다룹니다. 특히, 미래의 불확실성이 전개되는 방식에 대한 완전한 확률적 지식을 가지고 있으며, 의사 결정 정책의 성능이 예상 보상으로 정의되는 문제에 초점을 맞춥니다. 이러한 문제에서 성능을 극대화하는 최적의 정책은 동적 프로그래밍을 사용하여 설명할 수 있습니다. 그러나 동적 프로그래밍에서 상태 공간이 기하급수적으로 증가하기 때문에 이러한 정책을 계산하는 것은 종종 불가능합니다.
이러한 문제를 해결하기 위해 이 튜토리얼에서는 '완화 및 반올림' 접근 방식을 소개합니다. 첫 번째 단계에서는 계산적으로 다루기 쉬운 선형 프로그램(LP)을 작성합니다. 이 LP는 완화된 형태로, 최적 목적 값 OPTLP가 동적 프로그래밍의 성능보다 나쁘지 않음을 의미합니다. 두 번째 단계에서는 이 LP의 솔루션을 "반올림"하여 계산적으로 다루기 쉬운 방식으로 온라인 의사 결정 정책을 구성합니다.
'완화 및 반올림' 접근 방식 예시: 에이전트 선택 문제
'완화 및 반올림' 접근 방식을 설명하기 위해 다음과 같은 문제를 예로 들어 보겠습니다. 각각 알려진 가중치 wi ≥ 0과 알려진 독립 확률 pi로 나타나는 n명의 에이전트 i = 1,...,n이 있다고 가정합니다. 정책은 각 에이전트가 나타나는지 여부를 순차적으로 관찰하고, 나타나는 각 에이전트에 대해 즉시 수락 또는 거부를 결정해야 합니다. 최대 k명의 에이전트를 수락할 수 있는 용량이 있으며, 정책의 성능(극대화될)은 수락한 에이전트의 예상 총 가중치입니다.
첫 번째 단계에서는 다음과 같은 LP 완화를 작성합니다.
max Σ(i=1, n) w_i * x_i
s.t.
Σ(i=1, n) x_i ≤ k
0 ≤ x_i ≤ p_i, ∀i = 1,...,n
이 LP는 다항식 크기이기 때문에 계산적으로 다루기 쉽습니다. 각 변수 xi를 최적 정책이 에이전트 i를 수락할 확률과 같게 설정한다고 가정하면 이 LP가 완화임을 알 수 있습니다. 최대 k명의 에이전트가 예상치에 따라 수락된다는 제약 조건(Σ(i=1, n) x_i ≤ k)은 모든 샘플 경로에서 정책이 최대 k명의 에이전트를 수락하기 때문에 충족됩니다. 제약 조건(0 ≤ x_i ≤ p_i)은 정책이 에이전트 i가 나타날 확률 pi보다 큰 확률로 에이전트 i를 수락할 수 없기 때문에 충족됩니다.
두 번째 단계에서는 주어진 LP에 대한 가능한 솔루션 (xi)n i=1에 대해 가능한 한 큰 상수 c에 대해 모든 에이전트 i를 확률 cxi 이상으로 수락하는 온라인 정책을 찾는 것이 목표입니다. 이를 순차적 무작위 반올림(SRR) 문제라고 합니다. Xi ∈{0,1}을 온라인 정책이 에이전트 i를 수락하는지 여부를 나타내는 것으로 하면, 목표는 분수 벡터 (xi)n i=1을 정수 벡터 (Xi)n i=1로 "반올림"하여 수락 확률을 다음과 같이 유지하는 것으로 다시 나타낼 수 있습니다.
E[Xi] ≥ cxi, ∀i = 1,...,n.
중요한 점은 반올림이 순차적이라는 것입니다. 즉, 온라인 정책은 최대 k명의 에이전트만 수락할 수 있고 나타나는 에이전트만 수락할 수 있다는 문제 제약 조건을 준수하면서 미래에 어떤 에이전트가 나타날지 모른 채 각 Xi를 결정해야 합니다.
일반적으로 SRR의 목표는 문제의 모든 인스턴스와 LP에 대한 가능한 모든 솔루션에 대해 계산적으로 다루기 쉬운 방식으로 (2)를 충족할 수 있는 상수 c ∈[0,1]를 설정하는 것입니다. 즉, 모든 인스턴스에 대해 성능이 최적 정책의 c배 이상인 온라인 정책을 계산적으로 다루기 쉬운 방식으로 계산할 수 있는 c-근사 알고리즘을 의미합니다. (2)를 충족하는 정책을 LP에 대한 최적 솔루션 (xi)n i=1에서 실행하면 수락된 에이전트의 예상 총 가중치는 최소 Σ(i) w_i * (c * x_i) = c * OPTLP가 됩니다. 즉, 성능은 LP가 완화되어 최적 정책의 성능보다 c배 이상이 됩니다. 상수 c는 종종 근사 비율이라고 합니다.
SRR 접근 방식의 추가적인 의미
SRR 접근 방식은 근사 비율 외에도 추가적인 의미를 갖습니다. 실제로 이 문제의 경우 최적 정책을 동적 프로그래밍을 사용하여 직접 계산할 수 있기 때문에(상태 공간이 기하급수적이지 않음) c-근사 알고리즘은 의미가 없습니다. 그러나 이 문제의 경우 SRR 접근 방식은 온라인 정책이 오프라인 정책의 성능보다 c배 이상의 성능을 낼 수 있음을 추가적으로 의미합니다. 오프라인 정책은 어떤 에이전트가 나타날지 미리 알고 있으며 그 중에서 가중치가 가장 높은 k명의 에이전트를 수락합니다. 각 xi를 오프라인 정책이 에이전트 i를 수락할 확률과 같게 설정한다고 가정하면 제약 조건(1b)–(1c)이 충족되므로 오프라인 정책의 성능 Σ(i) w_i * x_i를 LP에서 실현 가능하게 달성할 수 있습니다. 따라서 OPTLP보다 크지 않으며 성능이 c · OPTLP 이상인 SRR 정책도 오프라인 정책의 c배 이상의 성능을 갖습니다. SRR의 두 번째 추가적인 의미로, (2)는 모든 에이전트 i에게 나타나는 조건부로 c 이상의 확률로 수락될 것이라고 약속합니다. 이는 동적 프로그래밍으로는 충족되지 않는 "공정성"의 한 형태로 해석될 수 있습니다.
이 튜토리얼은 SRR에 대한 소개 역할을 하며, 학술 논문에서는 찾기 어려운 개념을 설명하고 자세한 내용을 제공합니다. 또한 간략한 설문 조사 역할을 할 수 있는 고급 주제에 대한 참고 문헌 목록도 제공합니다.
SRR 적용 사례
SRR의 기본적인 적용 사례를 나타내는 4가지 자체 포함된 문제에 대해 설명합니다. 첫 번째는 정의상 SRR 문제이며, 나머지 세 가지 문제에 대해서는 최첨단 근사 알고리즘을 도출하기 위해 SRR이 사용됩니다.
온라인 베이지안 선택(2절): 에이전트 간의 공정성을 충족하면서 식량을 할당하는 모바일 푸드 뱅크에서 영감을 받아 소개에서 다룬 것과 본질적으로 동일한 SRR 문제를 연구합니다. 고정 순서(2.1절) 대 무작위 순서(2.2절)로 에이전트를 만나는 것의 차이점을 논의하고, 이러한 차이점이 온라인 경합 해결 체계(OCRS) 문제의 특수한 경우에 해당하는 이유를 설명합니다(2.3절).
프로빙 및 검색(3절): 채용 회사가 후보자에게 제안을 보낼 순서를 동적으로 결정해야 하는 상황에서 영감을 받아 가장 간단한 확률적 프로빙 문제를 연구합니다. LP 완화를 작성하고 해당 SRR 문제를 해결하여 근사 비율과 적응성 격차를 도출합니다. 그런 다음 회사가 먼저 지원자를 인터뷰하여 가치를 결정해야 하는 문제와 ProbeMax 문제로 확장합니다(3.1절).
확률적 배낭 문제(4절): 유한한 기간 내에 작업을 완료하면 보상이 주어지는 확률적 일정 계획 문제로 볼 수 있는 확률적 배낭 문제를 연구합니다. LP 완화를 작성하고 해당 SRR 문제를 해결하여 근사 비율을 도출합니다. 여기서 이 기법은 유한한 기간의 마르코프 밴딧 문제로 유연하게 확장될 수 있습니다.
확률적 매칭(5절): 순차적 의사 결정과 확률적 실현을 모두 포함하는 그래프에서 최대 매칭 문제의 변형을 연구합니다. 먼저 2절의 SRR 결과를 적용하여 온라인 확률적 매칭에 대한 1/2-근사 알고리즘을 도출한 다음, IID 도착(5.1절)으로 전문화하고, 그래프에서 확률적 프로빙 및 검색을 논의하고(5.2절), 매칭 폴리토프에 대한 OCRS로 돌아갑니다(5.3절). 이러한 문제 중 일부는 SRR 접근 방식을 개발하는 데 중요한 역할을 했지만, 더 고급 주제이기 때문에 마지막으로 미룹니다.
마지막으로 이 튜토리얼을 통해 배운 SRR의 주요 기법과 개념을 요약하고 향후 방향에 대해 논의합니다(6절).