Tutorial — Cuộc Đua Đào

Vì lượng đất được khoan mỗi ngày đều là số nguyên, tổng độ sâu cần đạt để vượt quá $a.5$ mét chính là số nguyên $T = a + 1$ mét.

Quá trình lặp lại theo chu kỳ $2$ ngày với tổng độ sâu mỗi chu kỳ là $R = x + y$. Số chu kỳ hoàn chỉnh diễn ra trước khi đạt độ sâu $T$ là $k = \lfloor (T - 1) / R floor$.

Sau $2k$ ngày, tổng độ sâu là $k \cdot R < T$. Ta chỉ cần kiểm tra xem ở ngày thứ $2k + 1$, khi Minh khoan thêm $x$ mét, tổng độ sâu $k \cdot R + x$ có đạt tới $T$ hay không; nếu có thì in ra "NO", ngược lại in ra "YES".