Bài 4
Cho và là các số nguyên dương. Gọi là -phân biệt nếu tồn tại một tập gồm số nguyên dương khác nhau nhỏ hơn , không có hai tập con khác nhau và có tổng các phần tử trong bằng tổng các phần tử trong . (a) Chứng minh là -phân biệt. (b) Chứng minh không là -phân biệt.
Bước 1 trên 4: Đưa ra cấu hình tám phần tử
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.