USACO 2025 - Transforming Pairs
Xem PDFBessie, cô bò thông thái, vừa khám phá ra một niềm say mê mới — phép thuật toán học! Một ngày nọ, khi đang chạy qua những cánh đồng trong trang trại của Farmer John, cô bắt gặp hai đống cỏ khô bị phù phép. Đống thứ nhất có \(a\) kiện và đống thứ hai có \(b\) kiện (\(1\le a,b\le 10^{18}\)).
Bên cạnh đống cỏ, bị vùi một nửa trong đất, cô tìm thấy một cuộn giấy cổ. Khi cô mở nó ra, những ký tự phát sáng hé lộ một lời tiên tri:
Để thực hiện sắc lệnh của Đại Đồng Cỏ, người được chọn phải biến đổi hai đống cỏ nhỏ bé này thành chính xác \(c\) và \(d\) kiện — không hơn, không kém.
Bessie nhận ra cô chỉ có thể thi triển hai phép thuật sau:
- Cô có thể triệu hồi thêm số kiện cỏ vào đống thứ nhất bằng đúng số kiện hiện có trong đống thứ hai.
- Cô có thể triệu hồi thêm số kiện cỏ vào đống thứ hai bằng đúng số kiện hiện có trong đống thứ nhất.
Cô phải thực hiện các thao tác tuần tự, nhưng có thể thực hiện chúng bao nhiêu lần và theo bất kỳ thứ tự nào. Cô phải đạt chính xác \(c\) kiện ở đống thứ nhất và \(d\) kiện ở đống thứ hai (\(1\le c,d\le 10^{18}\)).
Với mỗi trong số \(T\) (\(1\le T\le 10^4\)) trường hợp kiểm thử độc lập, hãy in ra số thao tác tối thiểu cần thiết để hoàn thành lời tiên tri; nếu không thể, in ra \(-1\).
Dữ liệu vào
Dòng đầu tiên chứa \(T\).
\(T\) dòng tiếp theo, mỗi dòng chứa bốn số nguyên \(a,b,c,d\).
Dữ liệu ra
In ra \(T\) dòng, là đáp án cho từng trường hợp kiểm thử.
Ví dụ
Ví dụ 1
Input
4
5 3 5 2
5 3 8 19
5 3 19 8
5 3 5 3
Output
-1
3
-1
0
Giải thích
Trong trường hợp kiểm thử thứ nhất, điều này là không thể vì ban đầu \(b>d\), trong khi các thao tác chỉ có thể làm \(b\) tăng.
Trong trường hợp kiểm thử thứ hai, ban đầu hai đống có \((5,3)\) kiện. Trước tiên, Bessie có thể tăng đống thứ nhất thêm số lượng ở đống thứ hai, thu được \((8,3)\). Sau đó, Bessie tăng đống thứ hai thêm số lượng mới ở đống thứ nhất và thực hiện thao tác này hai lần, lần lượt thu được \((8,11)\) và \((8,19)\). Kết quả này khớp với \(c\) và \(d\), đồng thời đây là số thao tác tối thiểu để đạt được nó.
Lưu ý rằng trường hợp kiểm thử thứ ba có đáp án khác trường hợp thứ hai vì \(c\) và \(d\) bị hoán đổi (thứ tự hai đống là quan trọng).
Trong trường hợp kiểm thử thứ tư, không cần thao tác nào.
Ví dụ 2
Input
1
1 1 1 1000000000000000000
Output
999999999999999999
Phân nhóm
- Dữ liệu 3–4: \(\max(c,d)\le 20\cdot\min(a,b)\).
- Dữ liệu 5–7: \(T\le 10\) và \(a,b,c,d\le 10^6\).
- Dữ liệu 8–12: Không có ràng buộc bổ sung.
Nguồn
USACO 2025 February Contest, Silver — Transforming Pairs. Tác giả: Benjamin Qi.
Kỳ thi:
- USACO 2025 - Tháng 2 - Hạng Bạc (1 Tháng 2., 2025)
Bình luận