Lý lịch
Giả sử tôi có hai lô viên giống hệt nhau . Mỗi viên bi có thể là một trong những màu , trong đó . Hãy biểu thị số lượng viên bi màu trong từng lô.
Đặt là multiset đại diện cho một lô. Trong biểu diễn tần số , \ msS cũng có thể được viết dưới dạng (\ po ^ {n_1} \; \ pt ^ {n_2} \; khăn \; \ pc ^ {n_c}) .
Số lượng hoán vị riêng biệt của được đưa ra bởi đa thức :
Câu hỏi
Có một thuật toán hiệu quả để tạo ra hai hoán vị khuếch tán, loạn trí và của một cách ngẫu nhiên không? (Việc phân phối phải thống nhất.)
Một hoán vị là khuếch tán nếu cho mọi phần tử riêng biệt của , các trường hợp của được cách nhau ra các khá đồng đều trong .
Ví dụ: giả sử .
- không khuếch tán
- là khuếch tán
Nghiêm khắc hơn:
- Nếu , chỉ có một phiên bản của để không gian bên ngoài ra ngoài trong , vì vậy hãy để .
- Nếu không, hãy để là khoảng cách giữa dụ và dụ của trong . Trừ đi khoảng cách dự kiến giữa các trường hợp của , xác định các mục sau:
Nếu cách đều nhau trong , thì phải bằng 0 hoặc rất gần với 0 nếu .
Bây giờ xác định số liệu thống kê để đo lường bao nhiêu mỗi là đều nhau trong . Chúng tôi gọi khuếch tán nếu gần bằng 0 hoặc gần bằng . (Người ta có thể chọn ngưỡng cụ thể cho để khuếch tán nếu )i P P s ( P ) s ( P ) « n 2 k « 1 S P s ( P ) < k n 2
Ràng buộc này gợi lại một vấn đề lập lịch thời gian thực chặt chẽ hơn được gọi là vấn đề pinwheel với multiset (sao cho ) và mật độ . Mục tiêu là lên lịch cho một chuỗi vô hạn theo chu kỳ sao cho bất kỳ chuỗi con nào có độ dài đều chứa ít nhất một thể hiện của . Nói cách khác, một lịch trình khả thi đòi hỏi tất cả ; nếu đậm đặc ( ), thì và . Vấn đề pinwheel dường như là NP-hoàn thành.một i = n / n i ρ = Σ c i = 1 n i / n = 1 P một i i d ( i , j ) ≤ một i Một ρ = 1 d ( i , j ) = một tôi s ( P ) = 0
Hai hoán vị và đang bị rối loạn nếu là một xáo trộn của ; nghĩa là, cho mọi chỉ số .QP i ≠ Q i i ∈ [ n ]
Ví dụ: giả sử .
- và không bị loạn trí
- và bị loạn trí
Phân tích thăm dò
Tôi quan tâm đến gia đình nhiều người có và cho . Cụ thể, hãy để .
Xác suất mà hai hoán vị ngẫu nhiên và của đang bị rối loạn là khoảng 3%.
Điều này có thể được tính như sau, trong đó là đa thức Laguerre thứ : Xem ở đây để giải thích.
Xác suất mà một hoán vị ngẫu nhiên của là khuếch tán là khoảng 0,01%, đặt ngưỡng tùy ý ở mức xấp xỉ .D
Dưới đây là biểu đồ xác suất theo kinh nghiệm gồm 100.000 mẫu trong đó là hoán vị ngẫu nhiên của .P D
Ở kích thước mẫu trung bình, .
Xác suất hai hoán vị ngẫu nhiên là hợp lệ (cả khuếch tán và loạn trí) là khoảng .
Thuật toán không hiệu quả
Một thuật toán phổ biến nhanh trên nền tảng phổ biến để tạo ra sự biến dạng ngẫu nhiên của một tập hợp là dựa trên từ chối:
làm P ← Random_permuting ( D ) cho đến khi is_derangement ( D , P ) trả lại P
trong đó mất khoảng lần lặp, vì có khoảng có thể xảy ra. Tuy nhiên, thuật toán ngẫu nhiên dựa trên từ chối sẽ không hiệu quả cho vấn đề này, vì nó sẽ theo thứ tự lặp lại .n ! / E 1 / v ≈ 10 10
Trong thuật toán được sử dụng bởi Sage , một sự biến dạng ngẫu nhiên của multiset Nhận được hình thành bằng cách chọn một phần tử ngẫu nhiên từ danh sách tất cả các biến động có thể xảy ra. Đây cũng là điều không hiệu quả, vì có hoán vị hợp lệ để liệt kê, và bên cạnh đó, người ta sẽ cần một thuật toán chỉ để làm điều đó.
Câu hỏi thêm
Sự phức tạp của vấn đề này là gì? Nó có thể được giảm xuống bất kỳ mô hình quen thuộc nào, chẳng hạn như lưu lượng mạng, tô màu đồ thị hoặc lập trình tuyến tính không?