Theo hệ quả của công thức Euler V−E+F=2, mọi đồ thị phẳng đơn liên thông với n≥3 đỉnh phải thỏa
m≤3n−6,
trong đó m là số cạnh. Đây là điều kiện cần (không đủ). Cho n và m, hãy in YES nếu đồ thị có thể phẳng theo điều kiện này, ngược lại in NO. Với n<3 luôn in YES.
Một dòng chứa hai số nguyên n và m.
1≤n≤109, 0≤m≤1018.
Một dòng: YES hoặc NO.
Ví dụ:
Đầu vào:
5 10
Đầu ra:
NO
Giải thích:
Đang tải editor...