【LeetCode】每日一题：1953.你可以工作的最大周数

给你 n 个项目，编号从 0 到 n - 1 。同时给你一个整数数组 milestones ，其中每个 milestones[i] 表示第 i 个项目中的阶段任务数量。
你可以按下面两个规则参与项目中的工作：
每周，你将会完成 某一个 项目中的 恰好一个 阶段任务。你每周都 必须 工作。
在 连续的 两周中，你 不能 参与并完成同一个项目中的两个阶段任务。
一旦所有项目中的全部阶段任务都完成，或者仅剩余一个阶段任务都会导致你违反上面的规则，那么你将 停止工作 。注意，由于这些条件的限制，你可能无法完成所有阶段任务。
返回在不违反上面规则的情况下你 最多 能工作多少周。

英文原题：
There are n projects numbered from 0 to n - 1. You are given an integer array milestones where each milestones[i] denotes the number of milestones the ith project has.
You can work on the projects following these two rules:
Every week, you will finish exactly one milestone of one project. You must work every week.
You cannot work on two milestones from the same project for two consecutive weeks.
Once all the milestones of all the projects are finished, or if the only milestones that you can work on will cause you to violate the above rules, you will stop working. Note that you may not be able to finish every project’s milestones due to these constraints.
Return the maximum number of weeks you would be able to work on the projects without violating the rules mentioned above.

解题思路

这题构造了半天充分性的证明，有梦回高中数竞的快乐了（虽然能力不够没做出来，但也可能是没有集中精神好好思考）
充分性的证明思路是用奇偶相隔来保证，这个应该很容易想到的然而我脑子抽了，真的转速远不如从前（

class Solution:
    def numberOfWeeks(self, milestones: List[int]) -> int:
        L = max(milestones)
        rest = sum(milestones) - L
        if L > rest + 1:
            return rest * 2 + 1
        else:
            return L + rest