Xáo trộn (Derangement)
Hoán vị sai chỗ
Định nghĩa
Hoán vị sai chỗ (derangement) là hoán vị không có phần tử nào ở đúng vị trí. Tức với hoán vị \(P\) của \(1\sim n\), nếu \(P_i\neq i\) thì \(P\) là hoán vị sai chỗ của \(n\).
Ví dụ, hoán vị sai chỗ bậc 3 có \(\{2,3,1\}\) và \(\{3,1,2\}\). Bậc 4 có \(\{2,1,4,3\}\)、\(\{2,3,4,1\}\)、\(\{2,4,1,3\}\)、\(\{3,1,4,2\}\)、\(\{3,4,1,2\}\)、\(\{3,4,2,1\}\)、\(\{4,1,2,3\}\)、\(\{4,3,1,2\}\) và \(\{4,3,2,1\}\). Hoán vị sai chỗ là hoán vị không có điểm bất động, tức không có chu trình độ dài 1.
Tính bằng bao hàm–loại trừ
Không gian mẫu \(U\) là tất cả hoán vị của \(1\sim n\), \(|U|=n!\); đặt \(S_i\) là tập hoán vị thỏa \(P_i\neq i\). Dùng bù và bao hàm–loại trừ, bài toán thành:
Tổng trong là chọn \(a_1, a_2, \cdots, a_k\) từ \(1..n\) sao cho \(a_i<a_{i+1}\). Khi đó
là số hoán vị có \(k\) vị trí cố định \(P_{a_i}=a_i\), còn lại \(n-k\) vị trí tùy ý, nên:
Có \(\dbinom{n}{k}\) cách chọn \(k\) vị trí, nên:
Vậy số hoán vị sai chỗ:
Dãy bắt đầu: \(0,1,2,9,44,265\) (OEIS A000166).
Tính bằng truy hồi
Xét bài toán đặt thư vào phong bì:
\(n\) lá thư đánh số \(1,2,3,4,5\) cần đặt vào phong bì \(1..5\), yêu cầu số thư khác số phong bì. Hỏi số cách?
Xét phong bì \(n\), ban đầu đặt thư \(n\) vào phong bì \(n\), rồi xét hai trường hợp:
- \(n-1\) phong bì trước đều sai chỗ;
- \(n-1\) phong bì trước có đúng một cái đúng chỗ, còn lại sai.
Trường hợp 1: \(n-1\) phong bì trước đều sai, thì thư \(n\) chỉ cần đổi chỗ với một vị trí trong \(n-1\) vị trí, có \(D_{n-1}\times (n-1)\) cách.
Trường hợp 2: có đúng một phong bì đúng chỗ, đổi thư ở đó với thư \(n\) sẽ tạo thành một hoán vị sai chỗ bậc \(n\).
Các trường hợp khác không thể thành hoán vị sai chỗ bậc \(n\) chỉ bằng một phép đổi.
Do đó:
Ngoài ra còn có:
Quan hệ khác
Số hoán vị sai chỗ có công thức làm tròn đơn giản, tốc độ tăng gần như \(n!\):
Khi \(n\) lớn, xác suất một hoán vị là sai chỗ:
Last updated on this page:, Update history
Found an error? Want to help improve? Edit this page on GitHub!
Contributors to this page:OI-wiki
All content on this page is provided under the terms of the CC BY-SA 4.0 and SATA license, additional terms may apply