Cho tập thứ tự bộ phận trên n phần tử qua các cặp 'a ⪯ b' (lấy bao đóng bắc cầu, có phản xạ). Kiểm tra nó có phải là DÀN hay không: mọi cặp phần tử đều có cận trên nhỏ nhất (lub) DUY NHẤT và cận dưới lớn nhất (glb) DUY NHẤT.
Dòng 1: n m. m dòng: a b nghĩa là a ⪯ b.
1 ≤ n ≤ 100, 0 ≤ m ≤ n*n.
YES nếu là dàn, ngược lại NO.
Ví dụ:
Đầu vào:
4 4
1 2
1 3
2 4
3 4
Đầu ra:
YES
Giải thích:
Đang tải editor...