이 논문은 라스베가스 알고리즘의 완벽한 시뮬레이션 방법을 제안한다.
라스베가스 알고리즘은 유한한 실행 시간과 인증 가능한 무작위 실패로 정의될 수 있다. 또한 무오류 무작위 알고리즘으로 정의될 수 있다. 이 두 정의는 동등하다.
저자들은 로컬 계산을 통해 라스베가스 알고리즘의 성공적인 실행 결과를 완벽하게 재현할 수 있음을 보였다. 구체적으로 LOCAL 모델에서 폴리로그 시간 복잡도로 유한한 실행 시간과 로컬 인증 가능한 실패를 가진 라스베가스 알고리즘을 무오류 라스베가스 알고리즘으로 변환할 수 있다.
이 변환된 알고리즘은 원래 알고리즘의 성공적인 실행 결과를 정확하게 재현한다.
이 결과는 특히 강한 공간적 혼합 성질을 가진 깁스 분포 샘플링 문제에 적용될 수 있다. 로컬 계산을 통해 이러한 깁스 분포에서 완벽한 샘플링이 가능하다.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Xinyu Fu,Yon... lúc arxiv.org 04-08-2024
https://arxiv.org/pdf/2311.11679.pdfYêu cầu sâu hơn