아홉 명 달리기 선수의 외로운 러너 추측 증명

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

본 논문은 9명의 달리기 선수가 있을 때 외로운 러너(Lonely Runner) 추측이 성립함을 보인다. 기존 8명에 대한 방법을 강화한 새로운 레마와 소수의 약수 분석, 그리고 고속 집합 커버 탐색을 통한 컴퓨터 검증을 결합해 제품 상한을 초과하는 모순을 도출한다.

논문은 먼저 기존 연구