Câu trả lời này sẽ thể hiện cách tổng quát cách nhận đúng công thức đã đóng, thay vì cung cấp công thức "ở đây, hoạt động".
Để có được một công thức chặt chẽ, sử dụng Stars and Bars formula và Inclusion Exclusion, bạn muốn tìm những số giải pháp để phương trình:
x1 + x2 = n
s.t.
(1) 0 <= x1 <= A
(2) 0 <= x2 <= B
Biểu thị:
W(0) = #solutions to the problem regardless of restrictions
W(1) = #solutions to the problem with (1) is NOT correct (x1 > A)
W(2) = #solutions to the problem with (2) is NOT correct (x2 > B)
W(1,2) = #solutions to the problem with both (1,2) NOT correct (x1 > A and X2 > B)
Từ nguyên tắc loại trừ bao gồm, câu trả lời cho vấn đề chúng tôi đã chính thức hóa ở trên là:
E = W(0) - (W(1) + W(2)) + W(1,2)
Tất cả còn lại là cung cấp công thức cho W(...)
và cho điều này, chúng tôi sẽ sử dụng Dấu sao và Thanh.
Sử dụng các phương trình mà không constraits và Định lý 2 quán bar và sao:
W(0) = Choose(N + 2 - 1, 2 - 1) = Choose(N + 1, 1) = N + 1
Để tính toán W (1) và W (2), chúng tôi buộc x1/x2
là A+1
hoặc B+1
, và sau đó đi như bình thường , và nhận được phương trình:
x1 + x2 = N - A - 1
x1 + x2 = N - B - 1
và số lượng các giải pháp được (một lần nữa sử dụng định lý 2):
W(1) = Choose(N - A - 1 + 2 - 1, 1) = Chose(N-A,1) = max{N-A,0}
W(2) = (similarly) = max{N-B,0}
Đối với W (1,2), chúng tôi đặt cả và tiếp tục và nhận được:
W(1,2) = Choose(N - A - 1 - B -1 + 2 - 1) = Choose(N-A-B-1,1) = max{N-A-B-1,0}
Tóm nó tất cả cùng nhau đến công thức thức:
E = W(0) - (W(1) + W(2)) + W(1,2) =
= N + 1 - max{N-A,0} - max{N-B,0} + max{N-A-B-1,0}
nào trong ví dụ của bạn là:
E = 9 + 1 - 3 - 3 + 0 = 4
Đây là một lời giải thích tuyệt vời và dường như hoạt động cho mọi ví dụ mà tôi đã thử. Bạn chỉ cần sửa chữa lỗi đánh máy trong công thức cuối cùng mà nó tính toán W (2) trên tối đa {N-A, 0} thay vì tối đa {N-B, 0}. –
@BrianStephens Cảm ơn, đã làm điều đó khi bạn gõ nhận xét của bạn. – amit
Cảm ơn bạn rất nhiều vì giải pháp chính xác và được giải thích tốt này. Tôi sẽ không nghĩ đến việc sử dụng Loại trừ Bao gồm. Đoán tôi cần phải làm mới trí nhớ của mình về tổ hợp. –