2.1 基于理想化原则的公平分配数学模型.doc

基于理想化原则的席位公平分配数学模型 金健 (常熟理工学院 数学系，江苏 常熟 215500) 摘要：基于席位公平分配的两个理想化原则，建立了满足这两个原则的整数规划模型，给出了模型的简便易行的求解方法，大量的数值实验为模型的实际应用提供了不少有价值的结论. 关键词: 理想化原则; 整数规划; 席位公平分配 等人在《数学模型教程》[1]中介绍了席位公平分配问题的经典值法，国内教材[2]也选人了同一问题及解法，并且给出了公平分配的两个理想化原则，对这个问题，后来又出现了多种解法：新值法[3]，0-1规划法[4]，最小极差法[5]，在这些解法中，提出了衡量“公平度”的不同标准，并且得到了不同的解。本文研究了同时满足两个理想化原则的整数规划模型，并且给出了模型的简明解法。 1 问题的提出 席位公平分配问题是在若干单位中如何根据各单位人数的多少来分配总席位，使之尽可能合理、公平，也就是：设有个单位，各有个人，总计人，现从中选出个代表，问怎样合理、公平分配这N个席位。设第个单位分得席，，，问题在于如何求得合理、公平的。 2 席位公平分配的整数规划模型 2.1公平分配的两个理想化原则 公平的席位分配是一个十分有趣而重要的问题，它是一个有着广泛应用的数学问题，在政治学、管理和对策论等领域具有广泛的应用价值[6]，在发现了“比例加惯例”分配方法的弊端后，按照相对不公平度最小的原则，提出了经典值法，不过值法并不能同时满足教材[2]中提出的两个公平分配的理想化原则： 原则一 ， 原则二 ， 2.2公平分配的两个整数规划模型及其解法 在公平分配问题中，最公平的分配方案是：，即， ，但此时得到的未必总是整数，对取整，记，则并不总是等于， 是第个单位每人获得的席位数，是整个分配方案中每人获得的席位数，两者在一般情况下存在一定的偏差，满足两个理想化原则的公平分配方案应该使整体偏差尽可能地小，因此可以建立以下两个模型。 模型一： 为整数， 。 模型二： 为整数， 。 下面给出这两个模型的简明解法。在模型一中，总取或+1两者之一，可将目标函数分解成两部分，即 =, 由于及均为常数，故求解模型一可按以下步骤进行： 第一步：计算，,并按的值从小到大进行排序； 第二步：计算; 第三步：值从小到大进行排序后的前个单位，获得+1个席位，其余单位获得个席位， 席位分配完毕。 在模型二中，总取或+1两者之一，可将目标函数分解成两部分，即 = 由于为常数，故求解模型二可按以下步骤进行： 第一步：计算，,并按的值从小到大进行排序； 第二步：计算; 第三步：值从小到大进行排序后的前个单位，获得+1个席位，其余单位获得个席位， 席位分配完毕。 定理1：，模型一的解满足两个理想化原则，即满足（1）， （2），。 证明：由两个模型的约束条件知，模型一、二的解满足，， 由于,故,于是 ，如果模型一出现当席位总数从变为+1时，某单位分得的席位数从反而变为-1的情况时，则以下两点同时成立： （i） (3) (ii) 存在另一单位满足 (4) (5) 下面用反证法证明（i）、(ii)两种情况不能同时成立。 式(3)成立的充要条件是，由（4），（5）得 ,即 （6），式（6）与一般情况下成立的公式相矛盾，所以（i）、(ii)不能同时成立。对于模型一不会出现当席位总数增加时，某单位分得的席位数反而减少的情况，故模型一的解同时满足两个公平分配的理想化原则。 3 模型应用 例1 甲、乙、丙三个系各有103人、63人、34人，分别给出总席位数为20席、21席时的分配方案。 对模型一，当总席位数为20席，，，，，则, ,, 值最小，故甲系分得11席、乙系分得6席、丙系分得3席。 对模型一，当总席位数为21席，，，，，则, ,, 值最小，值次小，故甲系分得11席、乙系分得6席、丙系分得4席。关于本问题，下表给出了几个模型的分配结果对比。 表1 甲、乙、丙三个系席位分配的对比 模型 总席位20席（甲/乙/丙） 总席位21席（甲/乙/丙） 比例加惯例 10/6/4 11/7/3 值法 11/6/3 11/6/4 模型一 11/6/3 11/6/4 模型二 11/6/3 11/6/4 值法、模型一、模型二获得了相同的结果，“比例加惯例”当席位从20席增加1席时，丙系反而从4席减少到3席。 例2 六个单位人数分别为9215人、