能用图解的方式详细说明一下吗？

当你希望理解算法中的每一步具体操作时，图解是一种非常好的方式。以下是使用图解的方式详细说明如何实现二分答案的示例过程。

假设有如下输入数据：

5 3
1 3 6 7 9

其中，第一行的 `5` 表示糖果的数量，第二行的 `1 3 6 7 9` 表示糖果的价格，第二行中的每个数字之间用空格隔开。第三行的 `3` 表示要组合的糖果数量。

首先，对所有糖果的价格进行排序。这里使用快速排序算法来实现。

1 3 6 7 9

然后，确定二分的上下界。最小的甜蜜度一定是 0，最大的甜蜜度一定是所有糖果价格的最大值减去最小值。在这个例子中，最大的甜蜜度为 8。

left = 0, right = 8

下面进入二分算法的循环中。首先计算中间值 `mid`，并调用 `check` 函数来判断当前的甜蜜度是否可行。在本例中，当 `mid = 4` 时可行，因此将二分的下界向上移动。

mid = 4
left = 4, right = 8

接下来，计算新的中间值 `mid`，并再次调用 `check` 函数。在本例中，当 `mid = 6` 时可行，因此将二分的下界再次向上移动。

mid = 6
left = 6, right = 8

最后，计算新的中间值 `mid`，并再次调用 `check` 函数。在本例中，当 `mid = 7` 时不可行，因此将二分的上界向下移动。

mid = 7
left = 6, right = 6

此时，二分算法结束，最终的答案即为最大的可行甜蜜度，即 `6`。

总结一下，二分答案的核心思想是通过二分法来查找一个可行的解。在本例中，我们通过不断缩小甜蜜度的范围，最终找到了最大的可行甜蜜度 `6`。由于二分答案的时间复杂度为 O(log n)，因此它在实际应用中非常高效。