[논문 리뷰] Combinatorial Secretary Problems with Ordinal Information

Martin Hoefer, Bojana Kodric|arXiv (Cornell University)|2017. 01. 01.

Optimization and Search Problems참고 문헌 13인용 수 3

한 줄 요약

이 논문은 정확한 수치적 값이 아닌 도착하는 원소들의 상대적 순위만을 알 수 있는 순서 정보(ordinal information) 하에서 조합 최적화 비서 문제를 소개하고 분석한다. 이는 양방향 매칭, 일반적인 정수계획법(LP), 국소 독립 수가 유계인 그래프에서의 독립집합 문제에 대해 새로운 상수 경쟁률 알고리즘을 제안하며, 임계값 기반 방법이 순서 모델에서 실패함을 보여주고, 구조 무관 알고리즘에 대해 Ω(√n/log n)의 하한을 확립한다.

ABSTRACT

The secretary problem is a classic model for online decision making. Recently, combinatorial extensions such as matroid or matching secretary problems have become an important tool to study algorithmic problems in dynamic markets. Here the decision maker must know the numerical value of each arriving element, which can be a demanding informational assumption. In this paper, we initiate the study of combinatorial secretary problems with ordinal information, in which the decision maker only needs to be aware of a preference order consistent with the values of arrived elements. The goal is to design online algorithms with small competitive ratios. For a variety of combinatorial problems, such as bipartite matching, general packing LPs, and independent set with bounded local independence number, we design new algorithms that obtain constant competitive ratios. For the matroid secretary problem, we observe that many existing algorithms for special matroid structures maintain their competitive ratios even in the ordinal model. In these cases, the restriction to ordinal information does not represent any additional obstacle. Moreover, we show that ordinal variants of the submodular matroid secretary problems can be solved using algorithms for the linear versions by extending [Feldman and Zenklusen, 2015]. In contrast, we provide a lower bound of Omega(sqrt(n)/log(n)) for algorithms that are oblivious to the matroid structure, where n is the total number of elements. This contrasts an upper bound of O(log n) in the cardinal model, and it shows that the technique of thresholding is not sufficient for good algorithms in the ordinal model.

연구 동기 및 목표

• 정확한 수치적 값이 아닌 도착 원소들의 상대적 순위만 알려진 조합 비서 문제를 연구한다.
• 기존의 카디널 모델 알고리즘이 순서 정보 하에서도 유사한 경쟁률을 유지할 수 있도록 적응시킬 수 있는지 규명한다.
• 양방향 매칭, 독립집합 등 핵심 조합 문제에 대해 순서 모델에서 상수 경쟁률을 달성하는 새로운 온라인 알고리즘을 설계한다.
• 기초적인 제약 조건을 설정하기 위해, 매트로이드 비서 문제에서 구조 무관 알고리즘에 대해 Ω(√n/log n)의 하한을 증명한다.
• 순서 모델에서 선형 및 하위모듈라 버전의 매트로이드 비서 문제 간의 관계를 탐색한다.

제안 방법

• 기존의 카디널 모델 알고리즘을 순서 모델에 적응시키기 위해 정확한 가중치 의존성을 상대적 도착 순서 기반 비교로 대체한다.
• 두 단계 샘플링 전략을 도입한다: 대표적인 샘플을 확보하기 위한 학습 단계와, 순서 비교 기반으로 탐욕적 선택을 수행하는 수용 단계.
• 양방향 매칭의 경우, 정점들을 왼쪽 및 오른쪽 집합으로 나누고, 샘플 서브그래프 기반 탐욕적 매칭을 통해 간선 선택을 유도한다.
• 일반 그래프 및 독립집합의 경우, 확률 p = √(α₁/(α₁+1))로 정점들을 샘플 집합에 할당하는 랜덤 샘플링 기법을 사용한 후, 동전 뒤집기 메커니즘을 통한 탐욕적 선택을 수행한다.
• 확률적 경계와 마르코프 부등식을 사용하여 해의 기대 가중치와 최적의 오프라인 해를 연결한다.
• 알고리즘을 등가 시뮬레이션 형태(예: 알고리즘 7)로 재구성하여 분석을 단순화하면서도 경쟁률 보장을 유지한다.

실험 결과

연구 질문

• RQ1 기존의 매트로이드 비서 문제에 대한 상수 경쟁률 알고리즘이 성능 저하 없이 순서 모델에 적응 가능한가?
• RQ2 순서 정보 하에서 온라인 양방향 매칭에 대해 달성 가능한 최고의 경쟁률은 무엇인가?
• RQ3 오직 순서 정보만을 가진 상황에서 일반적인 정수계획법(LP) 및 독립집합 문제에 대해 상수 경쟁률 알고리즘을 설계할 수 있는가?
• RQ4 카디널 모델에서 효과적인 임계값 기법이 순서 모델에서도 양호한 성능을 내기 충분한가?
• RQ5 매트로이드나 그래프의 구조를 활용하지 않는 알고리즘의 순서 비서 설정에서의 기본적인 한계는 무엇인가?

주요 결과

• 순서 정보 하에서 온라인 양방향 매칭에 대해 2e-competitive 알고리즘을 개발하여 상수 경쟁률을 달성한다.
• 각 변수에 최대 d개의 비영원소가 존재하는 일반 정수계획법(LP)에 대해, B가 타이트성 파라미터일 때 O(d(B+1)/B)-competitive 알고리즘을 제시한다.
• 일반 그래프에서의 온라인 매칭에 대해 8.78-competitive 알고리즘을 설계하였으며, 향상된 샘플링 전략을 통해 12e/(e+1) < 8.78로 개선된다.
• 국소 독립 수 α₁이 유계인 그래프에서 가중치가 있는 독립집합 문제에 대해 O(α₁²)-competitive 알고리즘을 확보하였으며, 단위디스크 그래프에서는 α₁ = 5이다.
• 구조 무관 알고리즘에 대해 매트로이드 비서 문제에서 Ω(√n / log n)의 하한을 증명하여, 임계값 기법이 부적절하다는 것을 보여준다.
• 일부 매트로이드 비서 알고리즘은 순서 모델 하에서도 성능이 열등하지 않으며, 특수 매트로이드 유형에 대해 기존의 상수 경쟁률 알고리즘이 여전히 순서 액세스 하에서도 유효하다.