leetcode 56题合并区间 PHP解法

题目：
给出一个区间的集合，请合并所有重叠的区间。

示例 1:

输入: [[1,3],[2,6],[8,10],[15,18]]
输出: [[1,6],[8,10],[15,18]]
解释: 区间 [1,3] 和 [2,6] 重叠, 将它们合并为 [1,6].
示例 2:

输入: [[1,4],[4,5]]
输出: [[1,5]]
解释: 区间 [1,4] 和 [4,5] 可被视为重叠区间。

首先，我们将列表按上述方式排序。然后，我们将第一个区间插入 merged 数组中，然后按顺序考虑之后的每个区间：如果当前区间的左端点在前一个区间的右端点之后，那么他们不会重合，我们可以直接将这个区间插入 merged 中；否则，他们重合，我们用当前区间的右端点更新前一个区间的右端点 end 如果前者数值比后者大的话。

一个简单的证明：假设算法在某些情况下没能合并两个本应合并的区间，那么说明存在这样的三元组 ii，jj 和 kk 以及区间 intsints 满足 i < j < ki<j<k 并且 (ints[i]ints[i], ints[k]ints[k]) 可以合并，而 (ints[i]ints[i], ints[j]ints[j]) 和 (ints[j]ints[j], ints[k]ints[k]) 不能合并。这说明满足下面的不等式：

ints[i].end < ints[j].start \\ ints[j].end < ints[k].start \\ ints[i].end \geq ints[k].start \\
ints[i].end<ints[j].start
ints[j].end<ints[k].start
ints[i].end≥ints[k].start

我们联立这些不等式（注意还有一个显然的不等式 ints[j].start \leq ints[j].endints[j].start≤ints[j].end），可以发现冲突：

\begin{aligned} ints[i].end < ints[j].start \leq ints[j].end < ints[k].start \\ ints[i].end \geq ints[k].start \end{aligned}
ints[i].end<ints[j].start≤ints[j].end<ints[k].start
ints[i].end≥ints[k].start

因此，所有能够合并的区间必然是连续的。

考虑上面的例子，当列表已经排好序，能够合并的区间构成了连通块。

作者：LeetCode
链接：https://leetcode-cn.com/problems/merge-intervals/solution/he-bing-qu-jian-by-leetcode/
来源：力扣（LeetCode）

上面的解题思路LeetCode已经给了出来，下面我们就用PHP的代码去实现它。

class Solution {

    /**
     * @param Integer[][] $intervals
     * @return Integer[][]
     */
    function merge($intervals) {
    	//定义返回数据
         $result = [];
         //升序存放数组
         $num1 = [];
         if	(!empty($intervals)) {
         	foreach ($intervals as $key => $row) {
	            $num1[$key] = !empty($row[0]) ? $row[0] : 0;
	        }
	        //升序排序
	        asort($num1);
	        //获取排序后的第一个开始时间
            $begin = !empty($intervals[$num1[0]][0]) ? $intervals[$num1[0]][0] : 0;
            //获取排序后的第一个结束时间
            $end = !empty($intervals[$num1[0]][1]) ? $intervals[$num1[0]][1] : 0;
            //比对时间
            foreach ($num1 as $key => $value) {
            	//如果起始结束大于了下一个的开始时间，那么就说明第二段时间在第一段范围内
                if ($end >= $business[$value][0]) {
                    $end = max($end, $business[$value][1]);
                } else {
                    array_push($result, [$begin, $end]);
                    $begin = $business[$value][0];
                    $end = $business[$value][1];
                }

            }
            array_push($result, [$begin, $end]);
         }
         return $result;
    }
}