승인 기반 위원회 투표에서 Thiele 규칙을 구간 선거와 그 일반화에 적용하는 방법을 연구했다. 유권자 구간(VI) 도메인에서 Thiele 규칙의 복잡도는 오랜 미해결 문제였으나, 관련 선형 프로그램이 적어도 하나의 최적 정수해를 허용함을 증명하고 이를 찾는 빠른 알고리즘을 제시했다. 유권자-후보자 구간(VCI)과 선형 일관성(LC) 도메인으로 확장했으며, LC가 VCI를 진포함함을 증명하고 트리 기반 일반화에서 NP-hard임을 보였다.
- •유권자 구간(VI) 도메인에서 Thiele 규칙의 복잡도는 미해결 문제였으나, 관련 LP가 항상 최적 정수해를 허용함을 증명했다.
- •표준 LP 접근법이 전체 단모듈 행렬이 아니어도 정수 해를 보장함을 보이고 이를 찾는 빠른 알고리즘을 제시했다.
- •유권자-후보자 구간(VCI)과 선형 일관성(LC) 도메인으로 기법을 확장하고 LC가 VCI를 진포함함을 증명했다.
- •트리 기반 VCI 일반화에서 Thiele 규칙은 NP-hard임을 보여 구간과 트리 도메인 간 복잡도 차이를 규명했다.
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Computing Thiele Rules on Interval Elections and their Generalizations
- 1.Thiele 규칙(특히 PAV)을 유권자 구간 도메인에서 다항시간으로 계산하는 미답 문제 해결
- 2.LP가 정수 해를 보장함을 증명하고 고속 알고리즘 제시, VCI⊂LC 도메인 포함 관계 증명
- 3.대안 트리 기반 일반화는 NP-난해 확인, 소시얼 선택 연구에 실용적 향상
왜 중요한가?
비례 대표 투표 규칙의 계산 복잡도에 관한 오랜 미해결 문제를 해소해, 공정한 위원회 선출 알고리즘의 실용적 구현 가능성을 높인다.
본문 미리보기
arXiv:2605.03067v1 Announce Type: new Abstract: Approval-based committee voting has received significant attention in the social choice community. Among the studied rules, Thiele rules, and especially Proportional Approval Voting (PAV), stand out for desirable properties such as proportional representation, Pareto optimality, and support monotonicity. Their main drawback is that computing a Thiele outcome is NP-hard in general. A glimpse of hope comes from the fact that Thiele rules are bette
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:12AI 초안
