Bài 4
Đất nước Dreamland gồm thành phố. Hãng hàng không Starways muốn thiết lập một số chuyến bay một chiều giữa các cặp thành phố sao cho mỗi thành phố có đúng một chuyến bay xuất phát từ nó. Tìm số nguyên dương nhỏ nhất sao cho dù Starways thiết lập các chuyến bay như thế nào, các thành phố luôn có thể được chia thành nhóm sao cho từ một thành phố bất kỳ không thể đến một thành phố khác trong cùng nhóm bằng cách dùng nhiều nhất chuyến bay.
Bước 4 trên 4: Bỏ đi rồi chèn lại
Phân tích chi tiết
Bỏ đi; theo giả thiết quy nạp, phần đồ thị còn lại chia được thành nhiều nhất nhóm hợp lệ. Đỉnh có bậc vào và bậc ra mỗi loại nhiều nhất trong đồ thị gốc, nên nó kề với nhiều nhất đỉnh khác, chiếm nhiều nhất trong số nhóm. Do đó có một nhóm không chứa láng giềng nào của nó, và có thể đặt vào đó, hoàn tất quy nạp. Vậy nhóm luôn đủ, nên .