update +_posts/Tech/Algorithms/2022-05-01-数学.md

_posts/Tech/Algorithms/2022-05-01-数学.md

@@ -487,6 +487,46 @@ arr1 和 arr2 中的元素 互不相同 。
 
 **Key**: 判断过程中分为三类：保证在范围内有充足的数不是第一个数的倍数；不是第二个数的倍数；不为公倍数的数总数不少于总共要取的数。根据这三个条件即得到结果。
 
+
+
+
+
+### 将 s 个物品分成大小为 k 或 (k+1) 的的最少组数
+
+将 s 个物品分成大小为 k 或 (k+1) 的的最少组数：
+
+1. **情况1**：首先尝试将 s 个物品分成大小是 (k+1) 的组，这样会分出 d1 = ⌊ (s/(k+1)) ⌋ 组，并且还剩下 r1 = s mod (k+1) 的物品。
+   - 若 r1 = 0，则直接分成 d1 组即可。
+   - 否则，如果 d1 + r1 ≥ k，则可以组成新的一组，总共可以分成 (d1+1) 组。
+2. **情况2**：接下来尝试将 s 个物品分成大小是 k 的组，这样会分出 d2 = ⌊ (s/k) ⌋ 组，并且还剩下 r2 = s mod k 的物品。
+   - 因为 d2 组的大小都是最小值 k，所以不能再拿出物品和 r2 凑成新的一组，而是反过来要把 r2 塞进每一组里。由于 d2 组的每一组最多再加入一个物品。因此如果 r2 ≤ d2，那么就可以把所有物品分成 d2 组。
+3. 如果所有尝试都失败，那么这些物品不能被分成大小是 k 和 (k+1) 的组。
+
+- [100097. 合法分组的最少组数](https://mafulong.eu.org/2023/10/23/100097.-%E5%90%88%E6%B3%95%E5%88%86%E7%BB%84%E7%9A%84%E6%9C%80%E5%B0%91%E7%BB%84%E6%95%B0/)
+
+```python
+        def min_groups(s, k):
+            divisor = s // (k + 1)
+            remainder = s % (k + 1)
+            cnt = 0
+            if remainder == 0:
+                cnt += divisor
+            elif divisor + remainder >= k:
+                cnt += divisor + 1
+            else:
+                divisor = s // k
+                remainder = s % k
+                # cnt == -1 表示无法分组
+                if remainder > divisor:
+                    cnt = -1
+                else:
+                    cnt += divisor
+            # print(s, k, cnt)
+            return cnt
+```
+
+
+
 ## 位运算
 
 a xor b ==c 则 a = b xor c.