Với một khuôn mặt lệch , làm thế nào một số ngẫu nhiên trong phạm vi có thể được tạo ra một cách đồng nhất? Phân phối xác suất của các mặt chết không được biết, tất cả những gì được biết là mỗi mặt có xác suất khác không và phân phối xác suất là giống nhau trên tất cả các cú ném (đặc biệt, các cú ném là độc lập). Đây là sự khái quát rõ ràng của kết quả Công bằng với cái chết không công bằng .
Đặt điều này trong thuật ngữ khoa học máy tính, chúng ta có một lời tiên tri đại diện cho các cuộn chết: sao cho là khác không và độc lập với . Chúng tôi đang tìm kiếm một thuật toán xác định được parametrized bởi (tức là có thể thực hiện cuộc gọi đến ) sao cho . Thuật toán phải chấm dứt với xác suất 1, tức là xác suất mà thực hiện nhiều hơn cuộc gọi đến phải hội tụ thành là .
Với (mô phỏng một đồng tiền công bằng từ các đồng xu lật với một đồng xu thiên vị), có một thuật toán nổi tiếng:
- Lặp lại lật lật hai lần, cho đến khi hai cú ném đưa ra kết quả khác biệt ((đầu, đuôi) hoặc (đuôi, đầu)). Nói cách khác, lặp cho cho đến khi
- Trả về 0 nếu cặp lật cuối cùng là (đầu, đuôi) và 1 nếu là (đuôi, đầu). Nói cách khác, trả về trong đó là chỉ số tại đó vòng lặp được kết thúc.
Một cách đơn giản để tạo ra một cái chết không thiên vị từ một thiên vị là sử dụng phương pháp không thiên vị lật đồng xu để xây dựng một đồng tiền công bằng, và xây dựng một cái chết công bằng với lấy mẫu từ chối, như trong Không thiên vị các chuỗi . Nhưng điều này có tối ưu không (đối với các giá trị chung của phân phối xác suất)?
Cụ thể, câu hỏi của tôi là: một thuật toán yêu cầu số lượng cuộc gọi dự kiến nhỏ nhất đến nhà tiên tri là gì? Nếu tập hợp các giá trị dự kiến có thể tiếp cận được mở, giới hạn dưới là gì và một lớp thuật toán hội tụ về phía giới hạn dưới này là gì?
Trong trường hợp các họ thuật toán khác nhau là tối ưu cho các phân phối xác suất khác nhau, hãy tập trung vào súc sắc gần như công bằng: Tôi đang tìm kiếm một thuật toán hoặc một nhóm thuật toán tối ưu cho các phân phối sao cho đối với một số .