Nguyên lý bù-trừ


Mở đầu

Bài viết xem như sự mở đầu của phương pháp SÀNG trong các bài toán đếm. Ở phương pháp này, khi muốn đếm số phần tử của một tập A, ta bắt đầu với một tập B chứa A, sau đó tìm cách loại đi các phần tử không nằm trong A.

Chúng ta biết rằng nếu AB là các tập hữu hạn rời nhau thì |A\cup B|=|A|+|B|, tổng quát hơn ta có: Nếu AB là các tập hữu hạn bất kỳ(không nhất thiết rời nhau) thì  |A\cup B|=|A|+|B|-|A\cap B|, đây chính là nguyên lý bù-trừ cho hai tập hợp, dễ hiểu tại sao người ta lại gọi đây là nguyên lý bù trừ. Với n>1 tập hợp ta có định lý sau

Định lý. Nếu A_1,A_2,\cdots,A_n là các tập hữu hạn thì |\cup_{i=1}^nA_i|=\sum_{1\leq i\leq n}|A_i|-\sum_{1\leq i<j\leq n}|A_i\cap A_j|+...+(-1)^{n+1}|\cap_{1\leq i\leq n}A_i|.

Ta sẽ chứng minh rằng rằng mỗi phần tử trong \cup_{i=1}^nA_i được đếm đúng một lần trong vế phải. Gọi x là một phần tử trong hợp đó và nó nằm trong dúng m tập A_i, khi đó trong vế phải nó sẽ được đếm đúng C_m^1-C_m^2+\cdots+(-1)^{m+1}C_m^m=1 lần (lưu ý (1-1)^m=0). Định lý được chứng minh.

Ngoài cách chứng minh trên các bạn có thể chứng minh Định lý bằng phương pháp quy nạp toán học, tôi chọn giới thiệu cách chứng minh đó vì phong cách Tổ hợp của nó.

Một áp dụng đẹp của nguyên lý bù-trừ là bài toán Bernoulli-Euler về các bức thư sai địa chỉ: Có n>1 bức thư khác nhau phải gửi đến n địa chỉ khác nhau. Có bao nhiêu cách gửi mà các bức thư đều đến không đúng địa chỉ của mình? Theo ngôn ngữ ánh xạ, bài toán được phát biểu như sau: Có bao nhiêu song ánh từ S={1,2,…,n} đến chính S sao cho nó không có điểm cố định? Ta đếm số các song ánh có điểm cố định, số này bằng C_n=|\cup_{1\leq i\leq n}A_i|, ở đây A_i là tập các song ánh nhận i làm điểm cố định. Theo nguyên lý bù-trừ dễ có C_n=\sum_{k=1}^nC_n^k(-1)^{k+1}(n-k)! và đáp số của bài toán là D_n=n!-C_n.

Bài tập.

Bài 1. Tìm số các số nguyên dương trong {1,2,…,500} chia hết cho 2 hoặc 3 hoặc 5.

Bài 2. Tính giá trị của phi hàm Euler tại n theo phân tích chính tắc của n.

Bài 3. Chứng minh nguyên lý bù-trừ bằng quy nạp toán học.

Bài 4. Cho X là một tập hữu hạn và A,B,C là các tập con của nó. Chứng minh rằng |\bar{A}\cap B|=|B|-|A\cap B||\bar{A}\cap\bar{B}\cap C|=|C|-|A\cap C|-|B\cap C|+|A\cap B\cap C|.

Bài 5. Tìm số các số nguyên trong tập {1,2,…,1000} không chia hết cho 5, không chia hết cho 7, nhưng chia hết cho 3.

Bài 6. Có bao nhiêu số nguyên dương n sao cho n là ước của ít nhất một trong hai số 10^{40}20^{30}?

Bài 7. Với mỗi số nguyên dương n>1, gọi A_n là số các song ánh từ S đến S sao cho f(k) khác k+1 với mỗi k=1,2,…,n-1.

a)Tính A_n;

b)Chứng minh rằng A_n=D_n+D_{n-1} với mỗi n>1.

Bài 8. Tìm số các số nguyên dương là ước của ít nhất một trong các số 10^{60},20^{50},30^{40}.

Bài 9. Với k=1,2,…,1992 cho A_k là một tập với 44 phần tử. Gỉa sử rằng |A_i\cap A_j|=1 với mỗi i,j khác nhau trong {1,2,…,1992}. Tính |\cup_{i=1}^{1992}A_i|.

Bài 10. Cho A_1,A_2,\cdots,A_n là n tập hữu hạn. Chứng minh rằng |\cup_{i=1}^nA_i|\geq \sum_{i=1}^n|A_i|-\sum_{1\leq i<j\leq n}|A_i\cap A_j|. Sử dụng bất đẳng thức này để giải bài toán sau: Một hoán vị của {1,2,…,2n} được gọi là có tính chất P nếu có ít nhất hai số dạng k,n+k đứng cạnh nhau. Chứng minh rằng với mỗi số nguyên dương n, số các hoán vị có tính chất P nhiều hơn số các hoán vị không có tính chất đó.

Bài 11. Cho các số nguyên dương m\leq n và A,B là các tập có n,m phần tử tương ứng. Tìm số các toàn ánh từ A lên B. Từ đó suy ra \sum_{k=0}^n(-1)^kC_n^k(n-k)^n=n!.

5 thoughts on “Nguyên lý bù-trừ”

  1. ban oi.giai gium minh bai nay voi:1 cuoc hop co 12 nguoi cung tham du ban luan ve 3 van de.co 8 nguoi ban ve vde 1,5 nguoi ban luan ve vde 2,7 nguoi ban luan ve vde 3.ngoai ra co dung 1 nguoi ko ban luan ve vde nao.hoi nhieu lam co bao nhieu nguoi phat bieu ca 3 van de.
    bai nay nua ne:dau dau qua ^^:tim he thuc truy hoi dem Qn la so chinh hop chap n tu 3 so :0,1,2 khong chua hoac la 2 so 0 lien tiep hoac la 2 so 1 lien tiep.tinh Q6.

    them bai nua:giai he thuc truy hoi:Fn = Fn-1 + Fn-2 +Fn=3,n>=4 voi F1=2,F2=4;F3=7;

    ai giai quyet duoc pm minh qua gmail:tranngockhanhttk54@gmail.com.vn nhe’.thank nhiu.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s