정량적 공정성 게임

초록

두 명의 플레이어가 유한 색깔 그래프 위에서 무한 경로를 만들며 색들의 등장 빈도를 조절하는 게임을 연구한다. 동일 빈도, 차이 제한, 고정 비율이라는 세 가지 정량적 공정성 목표에 대해 승리 전략 존재 여부를 판단하는 문제는 모두 CoNP‑complete임을 보였다.

상세 분석

본 논문은 전통적인 공정성 개념을 정량적으로 확장한 “정량적 공정성 게임”을 정의한다. 게임은 유한 정점 집합과 색 집합으로 라벨링된 방향 그래프 위에서 진행되며, 두 플레이어가 번갈아가며 현재 정점의 출발점을 선택해 무한 경로를 만든다. 목표는 생성된 경로가 특정 빈도 조건을 만족하도록 하는 것이다. 세 가지 목표는 (i) 모든 색이 동일한 극한 빈도로 나타나는 ‘동일 빈도’ 조건, (ii) 모든 전처리(prefix) 구간에서 두 색의 등장 횟수 차이가 일정 상수 이하로 유지되는 ‘차이 제한’ 조건, (iii) 각 색이 사전에 정해진 비율로 등장하는 ‘고정 비율’ 조건이다.

각 목표에 대해 승리 전략 존재 여부를 결정하는 알고리즘을 설계한다. 핵심 아이디어는 목표를 선형 부등식 시스템으로 변환하고, 이를 만족시키는 순환 구조를 그래프 내에서 찾는 것이다. 특히 (i)와 (ii)의 경우, 색들의 등장 횟수를 변수로 두고 평균값이 동일하거나 차이가 제한되는 선형 제약을 만족하는 사이클을 탐색한다. (iii)의 경우에는 목표 비율을 정수 비율로 스케일링한 뒤, 해당 비율을 정확히 구현하는 사이클 집합을 구성한다.

복잡도 분석에서는 문제를 CoNP‑complete로 귀결시킨다. CoNP‑hardness는 부정 가능한 부울 공식의 만족 여부를 그래프 구조와 색 라벨링을 통해 인코딩함으로써 증명한다. 구체적으로, 주어진 부정 공식이 만족되지 않을 경우에만 플레이어가 목표 조건을 강제할 수 있음을 보인다. 반면, CoNP‑membership는 전략이 존재한다면 그 전략을 다항 시간 내에 검증할 수 있음을 이용한다. 검증 과정은 제시된 전략에 따라 생성된 경로의 색 빈도를 계산하고, 선형 제약을 만족하는지 확인하는 절차로 구성된다.

전략의 메모리 요구량도 논의된다. (i)와 (ii)에서는 유한 메모리 전략만으로 충분함을 보였으며, 메모리 크기는 그래프의 정점 수와 색 수에 다항적으로 의존한다. (iii)의 경우에도 유한 메모리 전략이 존재하지만, 목표 비율을 정확히 구현하기 위해서는 보다 정교한 카운터 메커니즘이 필요할 수 있다.

결과적으로, 정량적 공정성 목표를 만족시키는 전략 존재 여부를 결정하는 문제는 전통적인 무한 공정성 검증보다 더 복잡하지만, 여전히 CoNP 범위 내에 머무른다. 이는 실시간 시스템에서 작업 간 균등 자원 배분이나 우선순위 기반 스케줄링을 형식적으로 검증하는 데 유용한 이론적 기반을 제공한다.