780. 到达终点 : 数论推理分析题

原创

宫水三叶 2022-05-20 15:12:10 ©著作权

文章标签 后端 Java 算法数据时间复杂度 文章分类 后端开发

©著作权归作者所有：来自51CTO博客作者宫水三叶的原创作品，请联系作者获取转载授权，否则将追究法律责任

题目描述

这是 LeetCode 上的 780. 到达终点 ，难度为困难。

Tag : 「数学」

给定四个整数 sx，sy，tx 和 ty，如果通过一系列的转换可以从起点到达终点，则返回 true，否则返回 false。

从点可以转换到或者。

示例 1:

输入: sx = 1, sy = 1, tx = 3, ty = 5

输出: true

解释:
可以通过以下一系列转换从起点转换到终点：
(1, 1) -> (1, 2)
(1, 2) -> (3, 2)
(3, 2) -> (3, 5)

示例 2:

输入: sx = 1, sy = 1, tx = 2, ty = 2

输出: false

示例 3:

输入: sx = 1, sy = 1, tx = 1, ty = 1

输出: true

提示:

数学

给定的的数据范围为（即均为正整数），且每次转换，只能将另外一维的数值累加到当前维，因此对于每一维的数值而言，随着转换次数的进行，呈（非严格）递增趋势，再结合起始值为正整数，可知在转换过程中均不会出现负数。

由此得知从到的转换过程唯一确定：总是取较大数减去较小数来进行反推（否则会出现负数）。

但即使反向转换唯一确定，数据范围为，线性模拟仍会超时。

我们考虑将「相同操作的连续段转换动作」进行合并，在某次反向转换中，如果有，我们会将转换为，若相减完仍有，该操作会继续进行，得到，直到不满足，其中为转换次数。

即对于一般性的情况而言，中的较大数会一直消减到「与较小数的余数」为止。

因此我们可以先使用的复杂度将其消减到不超过为止。此时如果消减后的结果任一维度小于，必然不能进行转换，返回 False；如果任一维度相等（假定是维度），则检查另一维度（维度）的差值，能够由当前维度（维度）拼凑而来。

代码：

class Solution {
    public boolean reachingPoints(int sx, int sy, int tx, int ty) {
        while (sx < tx && sy < ty) {
            if (tx < ty) ty %= tx;
            else tx %= ty;
        }
        if (tx < sx || ty < sy) return false;
        return sx == tx ? (ty - sy) % tx == 0 : (tx - sx) % ty == 0;
    }
}