본 논문은 토너먼트에서 승자 선정 규칙에 따라 승자로 선정된 후보에 대한 인증된 설명을 제공하는 문제를 연구합니다. 여러 토너먼트 규칙(탑 사이클, 언커버드 집합, 코플랜드 규칙, 보르다 규칙, 맥시민 규칙, 가중 언커버드 집합 등) 하에서, 후보가 승리하기 위해 필요한 최소한의 서브 토너먼트인 '최소 지원(minimal supports)'을 식별합니다. 이는 "왜 승자가 토너먼트에서 승리했는가?"라는 질문에 대한 설명으로, 형식적 설명 가능한 AI의 핵심 개념에 해당합니다. 각 규칙에 대한 최소 지원의 크기를 결정하고, 가중 언커버드 집합을 제외한 모든 규칙에 대해 최소 지원을 계산하는 다항 시간 알고리즘을 제시합니다. (가중 언커버드 집합의 경우 NP-완전 문제임을 보임). 마지막으로, 최소 지원을 사용하여 간결하고, 인증 가능하며, 직관적인 설명을 생성하는 방법을 보여줍니다.
