3. 函数建模&划分建模

3.1 函数建模

函数可以为

• 单射：分配问题
• 双射（|DOM|＝|COD|）：匹配问题

3.1.1 分配问题-吕布问题

在吕布问题中，DOM是英雄们，COD是吕布的弱点
刘备，关羽和张飞会攻击吕布不同的弱点来分散他的注意力，找到可以对吕布造成最大伤害的攻击点。
吕布问题拥有纯分配问题的形式:

• 三个英雄和五个攻击点
• 给每个英雄分配一个攻击点来最大化伤害

1. 思考：
   枚举常量：英雄and攻击点
   二维数组：array[英雄，攻击点] of int: 伤害
   决策变量：array[英雄] of var set of 攻击点： ❌不应该用集合
2. Solution:

   %数据
   enum HERO;
   enum