X4101. 小慕的智能任务调度

小慕的DevOps系统中有一批并发任务需要匹配合适的执行机进行调度执行。这些任务和执行机各自具有不同的类型： CPU型（用`0`表示） IO型（用`1`表示） 通用型（用`2`表示，仅适用于执行机，能够执行两种类型的任务） 任务的类型和执行机的类型分别由数组`tasks`和`machines`表示，其中`tasks[i]`表示第`i`个任务的类型，`machines[i]`表示第`i`个空闲执行机的类型。 匹配策略 任务按照优先级从高到低依次匹配执行机（即从任务数组头部开始匹配）。 每次匹配尝试： 若任务和执行机的类型匹配，则任务调度成功，并将该执行机从空闲执行机数组中移除。 若任务与执行机的类型不匹配，则将执行机放到数组尾部，继续尝试匹配下一个任务。 通用型执行机的特殊规则： 任务匹配过程中，可以选择让通用型执行机执行某一类型的任务。 一旦通用型执行机开始执行某种类型的任务，则所有通用型执行机只能用于该类型的任务，直到匹配过程结束。 请计算在此匹配策略下，最终剩余的最小空闲执行机数量。