Cho tập số nguyên dương phân biệt, xét thứ tự bộ phận a⪯b⟺a∣b. Một phản xích (antichain) là tập con mà không phần tử nào chia hết phần tử khác. Theo định lý Dilworth, kích thước phản xích lớn nhất bằng số chuỗi nhỏ nhất phủ hết poset, tính được bằng n trừ đi ghép cặp cực đại trên DAG quan hệ. Hãy in kích thước phản xích lớn nhất.
Dòng đầu: n. Dòng sau: n số nguyên dương phân biệt.
1≤n≤300, các số trong [1,109].
Một dòng: kích thước phản xích lớn nhất.
Ví dụ:
Đầu vào:
4
2 3 4 9
Đầu ra:
2
Giải thích:
Đang tải editor...