二分做的，mid表示间隔距离，check函数里面就是pre=nums[0]，遍历数组1～n-1，每次和pre的距离超过mid，就放一个路灯，cnt大于等于k就提前返回true