Core Concepts
정수 계획법에서 최적 해 선택 시 공정성을 보장하기 위해 최적 해 선택 확률을 제어하는 통합 프레임워크를 제안한다.
Abstract
이 논문은 정수 계획법에서 다수의 최적 해가 존재할 때 공정한 의사결정을 내리는 방법을 제안한다.
주요 내용은 다음과 같다:
이분법적 선호도를 가진 에이전트를 대상으로 최적 해 선택 확률을 제어하는 일반적인 알고리즘을 제안한다. 이를 통해 Nash 곱 최대화, 최소 선택 확률 최대화, 무작위 순차 독재 등의 공정성 기준을 만족하는 분포를 찾을 수 있다.
확률적 사회 선택 이론과 협력적 교섭 이론을 활용하여 제안한 방법론의 이론적 기반을 마련한다. 이를 통해 에이전트의 기수적 선호도를 고려하는 방법으로 확장한다.
신장 교환 문제(이분법적 선호도)와 단일 기계 지연 시간 최소화 문제(기수적 선호도)에 대해 제안한 방법론을 평가한다. 결과적으로 Nash 곱 최대화 및 최소 선택 확률 최대화 방법이 다른 방법에 비해 우수한 성능을 보이지만, 무작위 순차 독재 방법도 계산 시간이 유사하면서 합리적인 성능을 보인다.
Stats
이 단순한 인스턴스에는 최적 해가 4개 존재한다: {x1, x2}, {x1, x3}, {x1, x4}, {x2, x3, x4}.
이 중 {x2, x3, x4} 해를 40% 확률로, 나머지 해를 각각 20% 확률로 선택하면 각 학생이 60% 확률로 선택된다.
그러나 Gurobi와 CPLEX는 기본 설정에서 항상 {x2, x3, x4} 해를 선택하여 쌍둥이 학생(x1)이 선택되지 않는 불공정한 결과를 초래한다.
Quotes
"One cannot make truly fair decisions using integer linear programs unless one controls the selection probabilities of the (possibly many) optimal solutions."
"Using a solver without being aware of this issue may therefore result in an unfair treatment of some of the agents involved."