找出给定方程的正整数解[单增或者有序概念与二分&双指针的紧密联系]

前言

双指针取值常用于有序/单增/单减这些场景中，利用有序大大降低时间复杂度，如果没序，就O(nlogn)排个序，也比O(n方)好。同样的，二分法也是在同样的场景中，有序/单增/单减，将时间复杂度降到O(logn)，非常方便。

一、找出给定方程的正整数解

二、双指针&二分法

1、二分法

由于每一种函数都是单增函数，意味着随着x/y的单增输入，得到的结果z也是单增的，说明只有一个结果为z，可以固定x，二分寻找那个y，使得f(x,y) = z

// 结果单增，可以利用二分法寻找result == z
func findSolution(customFunction func(int, int) int, z int) [][]int {
    rs := [][]int{}
    for x := 1;x <= 1000;x++ {
        // 先剪枝
        if customFunction(x,1) > z {
            return rs
        }
        // 再二分
        low,high := 1,1000
        for ;low <= high;{
            mid := low + (high - low) >> 1
            midVal := customFunction(x,mid)

            if midVal == z {
                rs = append(rs,[]int{x,mid})
                break
            }
            if midVal < z {
                low = mid + 1
            }else {
                high = mid - 1
            }
        }
    }
    return rs
}

2、双指针

x/y和f(x,y)有一致的单增性，当f(x,y) > z时，说明需要x - 1/y - 1，当f(x,y) < z时，说明需要x + 1 / y + 1，当f(x,y) = z时，则加入。
所以不用暴力循环x / y 从1 - 1000，而是x从1出发，y从1000出发，通过x++/y–来控制f(x,y)的大小向z靠近。

// 双指针利用单调增
func findSolution(customFunction func(int, int) int, z int) [][]int {
    var rs [][]int
    result := 0
    for x,y := 1,1000; x <= 1000 && y >= 1; {
        result = customFunction(x,y)

        if result > z {
            y--
        } else if result < z {
            x++
        }else {
            rs = append(rs,[]int{x,y})
            x++
            y--
        }
    }
    return rs
}

总结

1）在有序/单增/单减的场景中，一定联想双指针与二分法，非常方便。有时候比较隐式，可以转换到有序场景，进行一个问题转换。

参考文献

[1] LeetCode 找出给定方程的正整数解