Bu yanıt, "burada çalışır" formülünü vermek yerine, doğru kapalı formüle nasıl ulaşılacağını genel bir şekilde gösterecektir.
Stars and Bars formula ve Inclusion Exclusion kullanarak, yakın bir formüle almak için, denklemin çözüm sayısını bulmak istiyoruz:
x1 + x2 = n
s.t.
(1) 0 <= x1 <= A
(2) 0 <= x2 <= B
Göstermek:
alma ve dışlama prensibi itibaren
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)
, Yukarıda resmileştirdiğimiz sorunun cevabı:
E = W(0) - (W(1) + W(2)) + W(1,2)
Tümü, W(...)
'a formüller vermek içindir ve bunun için Yıldızlar ve Çubuklar'ı kullanacağız. Kısıtlar ve barlar ve yıldızların Teorem 2 olmadan denklemler kullanılarak
:
W(0) = Choose(N + 2 - 1, 2 - 1) = Choose(N + 1, 1) = N + 1
W hesaplamak için (1) ve W (2), biz her zamanki gibi gidip sonra A+1
veya B+1
olmak ve x1/x2
zorlamak
x1 + x2 = N - A - 1
x1 + x2 = N - B - 1
ve çözeltiler sayısı (yine teoremi 2 kullanılarak) vardır:
W(1) = Choose(N - A - 1 + 2 - 1, 1) = Chose(N-A,1) = max{N-A,0}
W(2) = (similarly) = max{N-B,0}
ve denklemler elde W için
(1,2) biz de ayarlayabilir ve gidip alıyorum:
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}
sizin örnekte olduğu: nihai formül birlikte
W(1,2) = Choose(N - A - 1 - B -1 + 2 - 1) = Choose(N-A-B-1,1) = max{N-A-B-1,0}
hepsini özetleme:
E = 9 + 1 - 3 - 3 + 0 = 4
'u bulmaya çalışıyorum Bu harika bir açıklama ve denediğim her örnek için çalışıyor gibi görünüyor. Sadece yazım hatalarını, maksimum {N-B, 0} yerine maksimum {N-A, 0} üzerinde W (2) hesapladığı son formülde düzeltmeniz gerekir. –
@BrianStephens Teşekkürler, yorumunuzu yazarken yapıyordum. – amit
Bu doğru ve iyi açıklanmış çözüm için çok teşekkür ederim. Inclusion Exclusion'ı kullanmayı düşünmezdim. Sanırım birleştirici hakkında hafızamı yenilemem gerekiyor. –