이 논문은 라스베가스 알고리즘의 완벽한 시뮬레이션 방법을 제안한다.
라스베가스 알고리즘은 유한한 실행 시간과 인증 가능한 무작위 실패로 정의될 수 있다. 또한 무오류 무작위 알고리즘으로 정의될 수 있다. 이 두 정의는 동등하다.
저자들은 로컬 계산을 통해 라스베가스 알고리즘의 성공적인 실행 결과를 완벽하게 재현할 수 있음을 보였다. 구체적으로 LOCAL 모델에서 폴리로그 시간 복잡도로 유한한 실행 시간과 로컬 인증 가능한 실패를 가진 라스베가스 알고리즘을 무오류 라스베가스 알고리즘으로 변환할 수 있다.
이 변환된 알고리즘은 원래 알고리즘의 성공적인 실행 결과를 정확하게 재현한다.
이 결과는 특히 강한 공간적 혼합 성질을 가진 깁스 분포 샘플링 문제에 적용될 수 있다. 로컬 계산을 통해 이러한 깁스 분포에서 완벽한 샘플링이 가능하다.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Xinyu Fu,Yon... at arxiv.org 04-08-2024
https://arxiv.org/pdf/2311.11679.pdfDeeper Inquiries