Một hệ thống gồm máy biến đổi số được đánh số từ 1 tới . Hệ thống thực hiện phép biến đổi trên tập các số nguyên dương từ 1 tới . Hoạt động của máy được xác định bởi cặp số nguyên dương (): Máy nhận đầu vào là số nguyên dương và trả ở đầu ra số nguyên dương . Như vậy hệ thống được mô tả bởi hai dãy số và .
Ta nói một số nguyên dương có thể biến đổi thành số nguyên dương nếu hoặc tồn tại một dãy hữu hạn các số nguyên dương sao cho đối với hai phần tử liên tiếp bất kỳ trong dãy, luôn tìm được một trong số các máy đã cho để biến đổi thành .
Hệ thống được gọi là gần hoàn hảo nếu với hai số bất kỳ thuộc tập , hoặc có thể biến đổi về , hoặc có thể biến đổi về . Ở đây là ký hiệu tập các phần tử thuộc dãy hoặc dãy .
Yêu cầu: Hãy kiểm tra xem hệ thống cho trước có phải là gần hoàn hảo hay không?
Dữ liệu:
Dòng đầu tiên chứa số nguyên dương là số bộ dữ liệu. Tiếp theo là nhóm dòng mô tả các bộ dữ liệu:
Dòng đầu tiên trong nhóm chứa hai số nguyên dương ()
dòng tiếp theo trong nhóm, mỗi dòng chứa một cặp số tương ứng với một máy biến đổi số.
Kết quả: Ghi ra dòng: dòng thứ (tương ứng với bộ dữ liệu thứ trong file dữ liệu vào) chứa thông báo "YES", nếu hệ thống trong bộ dữ liệu tương ứng là gần hoàn hảo, và thông báo "NO" nếu trái lại