给定一个整数数组和查询，目标是通过处理查询将数组变为零数组。每个查询允许在指定范围内减少元素的值。需要找到最小的查询数量k，使得处理前k个查询后数组变为零数组。如果不存在这样的k，返回-1。使用二分查找和差分数组优化查询处理。