MathLabs

Bài 4

Cho nn và bb là các số nguyên dương. Gọi nn là bb-phân biệt nếu tồn tại một tập gồm nn số nguyên dương khác nhau nhỏ hơn bb, không có hai tập con khác nhau UU và VV có tổng các phần tử trong UU bằng tổng các phần tử trong VV. (a) Chứng minh 88 là 100100-phân biệt. (b) Chứng minh 99 không là 100100-phân biệt.
Bước 1 trên 4: Đưa ra cấu hình tám phần tử
S={3,6,12,24,48,95,96,97}={3⋅2k:0≤k≤5}∪{95,96,97}S=\{3,6,12,24,48,95,96,97\}=\{3\cdot2^k:0\le k\le5\}\cup\{95,96,97\}
Phân tích chi tiết

Lấy tập trong công thức. Sáu phần tử đầu có các tổng tập con là 3t với mọi t từ 1 đến 63. Thêm cả 95 và 97 cho 192 cộng các tổng ấy; thêm riêng 95 hoặc 97 cho các tổng lần lượt đồng dư âm một hoặc một theo môđun ba.