一类网络成本分配函数的规范性质.pdf

维普资讯 2001年 12月 应用数学与计算数学学报 第 15卷 第 2期 Dec 2001 COM M ．ON APPL M ATH．A D COM PUT V ．15 NO．2 一 类网络成本分配函数 的规范性质 周 梦 (北京航空航天大学应用数学系，北京， 100083) 摘 要：该文 以数学方法论证 了一类网络成本分配函数的性质 ，证明了成 本分配 函数具有规范形式的充要条件是它满足无记名性 ，可加性和等价性． 并进一步论证了若成本分配函数还具有对成员数 的单调递减性，它必是下游 均等分配函数． 关键词：成本分配函数．规范形式，下游均等分配 函数 1．引 言 随着因特网使用的普及，网络服务成本的分配问题，无论对于网络服务 商还是网络使用者，都变得越来越有意义． fl1中讨论 了一般 网络的最小成 本 问题 ．本文将对 因特 网讨论其成本分配函数的一些特性 ，并 以公理式的 数学形式表述 出来 ．我们讨论的网络成本足指 网络资源 的消耗 ，如网络拥 挤度、网络使用度等的衡量尺度，与网络使用价格并不是一回事，尽管二者 是有联系的． 为了突出基本问题和使考察清晰明了，我们假定的网络模 型是 由一个 单独的稳定的信息源 R和多个信息接收者组成的树 图 (关于图论基础参见 f21)．R组成树的根，各个接收者位于树的各节点上．信息包沿着树路径传 输 ．它 由三个部分组成：网络拓扑，组成员和路径 ．网络拓扑指 网络 中节点 的连接方式．组成员就是信息接收者．路径则 由树 的边组成，它描述信息包 传输 的路径． 我们以Ⅳ(E)表示网络，其 中 是所有节点的集合，节点 ∈V．若 节点 与 有边相连 ，记为 ( ，)．所有 的边所成集合为 E．以M 表示所 有成员的集合 ．成员 m。∈M．成员集 M 到节点集 V 的映射称为位置函数 Loc：M -÷ ．它表示 了成员在各节点上的分布状况 ． 在 Ⅳ 中从信息源 R到节点 的路径 L=T(Ⅳ、R，)称为单 向路径．所 有单 向路径组成 了从根 R到备节点的树 ： L=T(Ⅳ，R．V)=UT(N．ttm) 对任何 V c T(N．tt，V)：UT(N，tt．)称为树 的子树．树 的每个边 V ， ( ”)产生一个与之相关的上游部分和下游部分．下游部分是指从根 R沿 每个包含边 (％ J¨，)的单 向路径所到达 的所有节点和成员，上游部分则指非 本文 2001年 2月 19日收 维普资讯 应用数学与计算数学学报 15卷 下游部分的那些节点和成员． 成本函数指与边 ( )相联系的成本 (可能是信息包的成本或信息储存 的成本)．记为 c( J．它足一个定义在边集上的实值函数 ．在 网络 Ⅳ(E) 中，对 L CL．定义 ，上的总成本函数为： 它是 ，的所有边上的成本之和．成本分配函数是定义于 的实值函数，它 表示一个具体分配方案，我们记之为 af(N R．M，Loc、c)．它与网络 Ⅳ，根 ， 成员组 M．位置函数 Loc及成本函数 c皆有关．在 Ⅳ．，M、Loc及 c给定的 情况下，我们以n，0(Ⅳ．R、M Loc、c)表示成员 m。∈M 被分配 的成本、 我们假定全部成本被分配到成 员中，这就要求 VN R，M、Loc、c有 ∑。 (ⅣRM、Loc，e)=cf(T(NR．Loc(M))．c) M 或简记为 此处 Loc(M)指所有成员所处的节点组成的集合 ．在 Ⅳ 中包含