이 비디오는 브래드 스터 교수가 미국 일리노이 대학교 시카고에서 수학적 최적화를 사용하여 투표 기계의 오작동을 감지하는 방법을 설명하는 내용입니다. 그는 투표 기계의 잘못된 구성으로 인해 발생할 수 있는 문제를 해결하기 위해 최소 길이의 테스트 덱을 설계하는 알고리즘을 개발했습니다. 이 알고리즘은 혼합 정수 선형 프로그래밍을 기반으로 하며, 투표 기계가 잘못 구성된 경우 잘못된 출력을 제공하도록 보장합니다. 이 방법은 미시간 주에서 실제 선거에 적용되었으며, 선거 보안과 공공 신뢰를 향상시키는 데 기여했습니다. 또한, 이 방법은 기존의 논리 및 정확성 테스트 절차를 수정하여 구현할 수 있습니다.