加权布尔多项式以及具有二值邏辑变量的队决策问题的解

D0I:10.13374/j.issn1001-053x.1983.02.024 北京钢铁学院学报 1983年第2期 加权布尔多项式以及 具有二值羅辑变量的队决策问题的解 计算机教研室王乘钦 摘要 本文研究了一种特殊的、但具有代表性的队决策问题。这种问题包括有二位的 逻辑变量。 文中提出了一种所谓的加权布尔多项式一它把实变量空问和逻辑变量空间联 系起来一一用来做为一种对这类队决策问题的求解方法。在讨论了加权布尔多项式 的若干重要性质之后，如完备性、正交性、增生与蛻化，作者提出了一种广义支付 矩阵（或称W矩阵）的概念。并通过一个典型的例子（协同模型）来说明它的运用 技巧。 一、队决策问题的一般提法和一个特例 队，是一个广义的组织，对其所有的成员来说，它有着共同的目标。 组织中的每一个成员可以从系统中获取各自的信息，并向系统施加各自的作用（或决 定)。它所要解决的问题是每个成员如何根据获得的信息来决定向系统施加的作用。即如何 决策，以达到共同的目标。 “共同的目标”是队决策问题的最本质性的特点。正因为如此，使它区别于博奕对策问 题。现以二人对策问题为例来说明它们之间的关系。假若局内双方各有其目标函数J:、J2。 那么： 若J1=J2,是为队决策问题， 若J:=~J2,是为零和博奕对策问题， 若J1≠J2,而且J1≠一J:,是为非零和博奕对策问题。 队决策问题对于现代控制理论，对于信息论，对于经济管理科学，对于现代的军事指挥 科学，都具有重大的理论意义。它的价值就在于它代表了近十年来系统科学家们所做的一种 势力：那就是用一个统一的观点和方法来处理上述不同领域中的一些问题一即建立一个统 一的决策理论。这些问题是：大系统理论中的分散控制问题【」，信息论中的传输通道上的 编码、解码问题，经济理论中的资源分配和市场报信问题【」·1，军事科学中的诸兵种协 同问题等。【1 在对于队决策问题给出它的准确提法之前，必须先做以下的五点说明： 1.系统中所有的不确定性的因素都归结成一个由随机变量构成的随机矢量 Market Signalng 41

北 京 钢 铁 学 院 学 报 年第 期 加权布尔多项式以及 具有二值耀辑变量的队决策问题的解 计 算机教研 室 王 秉 钦 摘 要 本文研 究 了一 种特殊 的 、 但 具 有代表性的队决策 问题 。 这种 问题 包括有二 位 的 逻 辑 变量 。 文 中提 出了一 种所谓 的加 权布 尔多项 式— 它把实 变量 空 间和 逻辑变量 空间联 系起来— 用 来做为 一 种对 这 类队决 策 问题 的求解方 法 。 在讨论 了加 权布 尔多项 式 的若 干重 要 性质之 后 ， 如完 备性 、 正 交性 、 增生与蜕化 ， 作者提 出了一 种广义 支付 矩 阵 或称 矩 阵 的概念 。 并通过 一 个典型 的例子 协同模型 来说 明它 的运用 技巧 。 一 、 队决 策问题的一 般提 法 和 一 个 特例 队 ， 是一个广义 的 组织 ， 对其所 有的成 员来 说 ， 它有着共 同的 目标 。 组织 中的每一个 成 员可 以 从系 统 中获取各自的 信息 ， 并向系统 施加 各自的 作用 或决 定 。 它所要解决的问 题是每个成 员如何根据获得 的信息来决定向系统施加的 作用 。 即如何 决策 ， 以达到共同的 目标 。 “ 共 同的 目标 ” 是队决策问 题的 最本质性的 特点 。 正 因为如此 ， 使 它 区别 于博 奕对策问 题 。 现 以二 人 对策问 题为例来说 明它们 之 间的关系 。 假若 局 内双 方各有其 目标函数 、 。 那 么 若 ， 是为队 决策问题 ， 若 一 ， 是为 零和博 奕对策问题 ， 若 子 ， 而且 沪 一 ， 是为 非零和博 奕 对策问题 。 队决 策问题 对于现代控 制理 论 ， 对于信息论 ， 对于经 济管 理 科学 ， 对于现代的 军事指挥 科学 ， 都具有重 大 的 理论意义 。 它的价值就在 于 它代表 了近十年来 系统科学家们 所做的一种 势力 那 就是 用一个统一 的 观 点和 方法来处理 上述不 同领域 中的 一些 问题 — 即建立一个统 一的决策理论 。 这些 问题 是 大系统理论 中的 分散 控制问 题 ‘ ， 信 息论 中的传输通道 上的 编码 、 解码问 题 ， 经 济理论 中的 资源分配和市场报信 朴问 题 川 ’ ‘ ， 军事科学 中的 诸兵种协 同问题 等 。 “ 在 对于队决 策问 题 给 出它的 准确提法 之前 ， 必须 先做 以 下 的五点说 明 系统 中所有的不 确定性的 因素都归结成一 个由随机变量 构成的 随机矢量 七 朴 DOI ：10．13374／j ．issn1001—053x．1983．02．024

ξ=〔51，ξ2…5m)∈2 它定意于概率空间并其有已知的分布P(),称为自然状态。因为它主要是代表了下述一 些自然因素：如系统的初始状态，外干扰，测量噪声等不确定事件。 2.对于每一个决策者DM,他所做出的决定为“；（即施加于系统的作用）。其全体 称为决定变量集 u=〔u1,u2…un)∈U 3.对于每一个决策者可做出各自的观察Z:,它是依赖于自然状态的，即Z,=门：() 并且，若各个决策者之间可以（当然是有限制地！）互相交换信息，即把自己的决定通知对 方。那么Zi的一般形式为 Z,=n:(ξ，U) vi 通常Z:是一个矢量，它是供决策者使用的信息。门：称为信息结构，它决定了信息的来源和 组成。通常它要遵循某种约束，例如某种形式的有因条件。所有的Z:全体构成观察集 Z=〔Z1,Z2…Z。)∈Z 4. 第i个决策者根据他获得的信息（或观察）Z:做出决定“：，应该遵循决策的规则 Yt,它是Z:→U:的映射 ui=Yi(Z:) vi Y:应在允许的函数集T:中选取，而上述各变量、u、Z则在相应的空间2、U、Z中取值。 5.支付函数（或损失函数）定义为 L(ξ，u）=L(u1yu2,…un,51,ξ2，…ξm) 当Y:选定后，L就是一确定的函数 L(5)=L(…u:=Y(n:(5),…5…) 按已知的分布P()取其数学期望，那么就得到某种代价的测度J, J=Ee〔L(u=Y(n(),)〕 有了上述五点说明之后，可以将队决策问题的提法叙述如下： 对于所有的i,求取Y:ET:,以便使J为最小。即求满足下式的函数集Y Minimize J=E(L(u=Y(n()),E)) (1-1) Y∈r 信息结构η对于队决策问题的解答是非常重要的。它不仅影知到决策的性质而且影响到 决策的质量。只有根据相对完善的信息，才能做出比较优越的决策。近十年来，对下述几种 信息结构已做了较充分的研究： 设H,是一个具有适当维数的常数矩阵，并且 Z,=H:ξ， vi 具有这种信息结构的问题称为静态队决策问题【2」。这时，除了共同的对于系统的先验统计 知识以外，各个成员之间没有任何的信息交换。信息的唯一来源是各自对自然状态的观察。 任一成员所做的决策都不影响其他成员的观察，因而各决策者进行观察和决策的先后次序对 于问题来说是不重要的。反之，如果决策的次序对于问题来说是一个本质性的因素，那么就 称为动态队决策问题。这反映在问题的信息结构上。若满足有因条件的矩阵D:1,使对所有 的i都有 Z,=H,5,+∑D1u1 Vi I<1 42

毛 〔 七 ， 息 · · 一 毓 〔 它定意于概 率空 间并共 有 已知 的分布 七 ， 七称为 自然 状态 。 因为 它主 要是 代表 了下述一 些 自然因素 如 系统的初始状态 ， 外干 扰 ， 测量 噪声 等不确定事件 。 对于每一个决策者 ‘ ， 他所做出的决定为 ‘ 即施加 于系统的 作用 。 其全体 称为决定变量 集 〔 ， … … 。 〕 ‘ 对于每一个决策者可 做出各 自的 观察 、 ， 它是依赖于 自然状态的 ， 即 ‘ ” ‘ 劫 并且 ， 若各个决策者之 间可 以 当然是有限制地 ， 互相交换信息 ， 即把 自己的决定通知 对 方 。 那 么 的一 般形式为 ‘ ” ‘ 七 ， 通常 ‘ 是一个矢量 ， 它是供决策 者 使用的信息 。 ‘ 称为信息 结构 ， 它决定 了信息的来源和 组成 。 通常它要遵循某种 约束 ， 例如 某种形式的有因条件 。 所有的 ‘ 全体构成观察集 〔 ， … … 。 〕 〔 第 个决策者 根据 他 获得 的信 息 或观察 ‘ 做 出决定 ‘ ， 应 该遵循决策的规则 ‘ ， 它是 ‘ 今 ‘ 的映射 ‘ 丫 ‘ ‘ ‘ 应 在允 许 的 函数集 ‘ 中选取 ， 而 上述 各变量 七 、 、 则在相应 的 空 间 、 、 中取 值 。 支付函数 或损失函数 定义为 七 ， ， ， “ 一 ， 七 ， 七 ， · ” 七 当丫 ‘ 选 定后 ， 就是一确定的 七函数 七 · · … ‘ 丫 ‘ 月‘ 七 ， … … 毛 · ” 一 按 已知 的 分 布 劫 取 其数学期望 ， 那 么就得 到某种 代价的测度 ， 。 〔 丫 毛 ， 专 〕 ‘ 有 了 上述五 点说 明之后 ， 可 以将队决策问题 的提法叙述如下 对于所 有的 ， 求取 ‘ 任 ，， 以便 使 为最小 。 即求满足下式的 函数集 〔 丫 七 ， 七 一 〔 信 息结构 月对于队决 策问题 的解答是 非 常重 要 的 。 它不仅影知到决策的性 质而且影响到 决策的 质量 。 ‘ 只有根据 相 对完善的信 息 ， 才能做 出 比较优越的决策 。 近十年来 ， 对下述几种 信息结构 巳做 了较充分的 研 究 设 ‘ 是一个具有适 当维数的常数矩阵 ， 并且 ‘ ‘ 七 ， 具有这种信息结构 的 问题 称为静态队决 策 问题 】 。 这 时 ， 除 了共 同 的对于系统的先验统计 知 识 以外 ， 各个成员之 间没 有任何的信息交换 。 信 息的 唯一来源是 各 自对 自然状态 的 观察 。 任一成员所做的 决 策都不影响其他成 员的 观察 ， 因而各决策者进行观察和决策的 先后 次序 对 于问题来说是 不重 要的 。 反 之 ， 如果 决 策的 次序 对于问题来说是一个本质性的 因素 ， 那 么就 称为 动态队决策问题 。 这反映 在 问 题 的信息结构 上 。 若满足有 因条件的 矩阵 门 ， 使 对所有 的 都有 ‘ 七 门

其中j<i,而且所有的D:1≠0，而D,1=0。上式称为完善记忆型信息结构【21。它意味着应 史上曾施加给系统的作用全部都提供做为当前的信息。可以证明，线性随机控制的LQG问 题就可以化成具有这种信息结构的队决策问题。若将上式推广，对于所有的而言，只是部 分的D1,中0，（当然仍然是在j<i,且D,1=0的条件下）。它意味着：若两个决策者存在 着先后次序关系，那么先行者知道的信息也必为其后继者所知道。即 Z1=H,5:+D1,u1 j( 这种信息结构称做部分嵌套结构。2！，〔】 部分嵌套结构包括了相当广泛的信息结构类型，如“一步延迟信息共享”结构和“分层” 结构。在大系统问题中它们都是典型的信息结构。若从一个统一的观点来看，它们都不过是 部分嵌套结构的特例而已。 经过近二十年的努力已经得出结论：对于上述所有的信息结构类型，队决策问题(1-1) 式的解u=Y(Z)都是线性的。【1，【1如果注意到前面所提到的在控制理论、信息论、经济管 理和军事科学中的许多问题都可以归结成对(1-1)式求解，而(1-1)式对于上述五种信息结 构的解又都是线性的，那么应该说：通过队决策问题的研究，跨学科地建立一个统一的决策 理论的努力是有成效的！早在1969年，文献7]提出了建立普遍控制理论的目标无疑是卓越 的、迷人的，近十年的进展也是令人鼓舞的。然而，要达到这一目标尚须要跨过一个未曾被 探索过的领域：即决策u的逻辑蕴含方面。迄今为止，决策问题，无论是队决策问题也好， 或者是博奕对策问题也好，论讨中所涉及的变量都是做为实变量来考虑的。例如本文前面所 提到的、Z、“集的元素都是实变量，它们都在实空间2、U、Z上取值。然而，决策过程远 非如此简单。譬如说，人们在做出决定u之前，首先要考虑的不是“应该施加多少作用”， (即u做为实变量如何取值)，而是首先要考虑“是否应该施加作用”，（即u做为布尔变 如何量取值)。决策者是做决定时，必须是先回答“是否”？，然后才是回答多少？。 “多少”，只有在“是”的前题下，才能算得上是正确的定量作用。在一个复杂的对局中， 拒绝做出反应(“否”)往往具有重大的策略价值。“沉默费如黄金”！沉默，它有时甚至 是唯一正确的决策。 过去，对快策问题的研究完全忽略了决策的形式逻辑方面的特点，因而研究工作总是局 限在泛函分析的框架之内。今天，只有冲破这个框架，丝毫不因数学上的困难而回避决策问 题的形式逻辑方面的特点，并寻求新的数学工具来概括这些特点。那么，也许决策问题的研 究会因此而出现一个新的局面。 为了突出这一特点，下面举出一个队决策问题的例子。它所涉及的变量、Z、“不是实 型的而是逻辑型的。这个著名的例子是由哈佛大学的何(Y.C.HO)给出的，其背景是一个 军寧协同问题。【) 住在B市的B先生和住在H市的H先生，因为业务上的需要约定于第二天在W市会面， 如果届时W市是晴天的话。从他们约定之后到他们第二天会面之前，由于种种原因他们是不 能直接通讯联系的。当第二天早上B先生和H先生从各自的城市准备出发时，W市的气象情 况是否为晴天完全是一个随机事件。不果他们两人是可以从各自的城市得到当地的气象情 报，而B、H、W三个城市的气象情况又是相关的。他们会面的性质要求，必须是双方在晴 天到达W市为最佳，而一方到达另一方不到，或者双方都到但W市为雨天，这都是不利的。 这可用支付矩阵（狭义的）表示如表1

其 中 ， 而且所 有的 ，笋 。 ， 而 ，， 。 上式 称为 完善记忆型 信 息结构 【 。 它意味着应 史 上 曾施加 给 系统 的 作用 全部都 提供 做为 当前 的 信 息 。 可 以 证 明 ， 线性随机 控 制 的 问 题 就可 以 化成具有这种 信 息结构 的队 决策问题 。 若 将 上式 推广 ， 对于所有的 而言 ， 只是部 分 的 ，笋 ， 当然仍然是 在 ， 且 ， 。 的 条件下 。 它意 味着 若两个 决 策者存在 着先后 次序关系 ， 那 么先行者 知 道 的信 息也 必为 其后 继者所 知道 。 即 七 艺 ， ， ， 这种信息结构称做部分嵌套结构 。 ， 〔吕 部分嵌套结 构包括 了相 当广 泛的信息结构类型 ， 如 “ 一步 延迟信息共享 ” 结构和 分层” 结构 。 在大系统问 题 中它们 都是典型 的信息结构 。 若 从一个统一的 观 点来看 ， 它们 都不过是 部分嵌套结构 的 特例而 巳 。 经 过近二十年的 努力 已经得 出结论 对于 上述所有的 信息结构类型 ， 队 决策问题 一 式 的解 丫 都是线性 的 。 〔 ， “ 如果 注意到前面 所提到的在控制理论 、 信息论 、 经济管 理 和 军事科学 中的 许多 问题都可 以归结 成 对 一 式求解 ， 而 一 式 对于 上述五种信息结 构 的解又都是线性 的 ， 那 么应 该 说 通 过队决 策问题 的 研究 ， 跨 学科地建立一 个统一 的决策 理论的努力是有 成效的 早 在 年 ， 文 献 提 出了建立普 遍 控制理论 的 目标无疑 是卓越 的 、 迷 人的 ， 近十年的进 展也是 令人 鼓舞的 。 然而 ， 要达到这一 目标 尚须 要跨过一 个未曾被 探索过 的领域 即决 策 的逻 辑蕴 含方面 。 迄今为止 ， 决策问题 ， 无论是 队决 策问题 也好 ， 或者是博奕对策问 题 也好 ， 论讨 中所涉及 的 变量 都是做为实变量 来考虑的 。 例如 本文前面所 提到的 息 、 、 集 的元素都是 实变量 ， 它们 都在实空 间 、 、 上取 值 。 然而 ， 决 策过程远 非如此 简单 。 譬如 说 ， 人们 在做出决定 之前 ， 首先要 考虑的 不是 “ 应 该 施加 多少作用” ， 即 做为实变量 如何取 值 ， 而是 首 先要 考虑 “ 是 否应 该 施加 作用” ， 即 做为布尔变 如 何量取 值 。 决 策 者是 做决定 时 ， 必 须是 先回答 “ 是 否” ， 然后才 是 回 答多少 。 “ 多少 ” ， 只 有在 “ 是 ” 的前题 下 ， 才 能算得 上是 正确的定量 作用 。 在一个复杂的 对局 中 ， 拒绝做出反应 “ 否” 往往具 有重 大 的 策略价 值 。 “ 沉默贵如黄 金” 沉默 ， 它有时甚 至 是 唯一正确的决 策 。 过去 ， 对决 策问 题 的 研 究完全 忽略 了决 策 的形式逻 辑方面 的 特点 ， 因而研 究工 作总是局 限在泛 函分 析的 框 架之 内 。 今天 ， 只 有 冲破这个 框架 ， 丝毫不 因数学 上的 困难而回避决策问 题 的形 式逻 辑方面 的特点 ， 并寻求新 的数 学工具来概 括这些 特点 。 那 么 ， 也许决 策问题 的 研 究会因此 而 出现一 个新 的 局面 。 为 了突出这一 特点 ， 下面 举 出一个队决策问 题 的例 子 。 它所涉及 的 变量 息 、 、 不是实 型的而是逻辑型 的 。 这个著 名的例 子是 由哈佛大学 的何 给 出的 ， 其 背景是一个 军事协同问题 。 住在 市的 先生 和住 在 市 的 先生 ， 因为 业务 上的 需要 约定于 第二天在 市 会面 ， 如果届 时 市是 晴天 的话 。 从他们 约定 之后 到他们 第二天会面 之前 ， 由于种 种原因他们是不 能直接 通讯联系 的 。 当第二天早 上 先生 和 先生从各 自的城市 准备出发时 ， 市 的气 象情 况 是 否为 晴天 完全是一个随机事件 。 不果 他们 两 人是可 以从 各 自的城市 得 到 当地 的气象情 报 ， 而 、 、 三个城市 的气 象情 况 又是相 关的 。 他们 会面 的性 质要求 ， 必须是双方在晴 天到达 市为最佳 ， 而一 方 到达 另一方 不 到 ， 或者双 方都到但 市为雨天 ， 这都是 不利的 。 这可 用 支付矩阵 狭义 的 表示如表

表1 Ew 0 0 0 1 un 0 0 1 1 0 0 1 UH 0 1 0 1 0 L 5 -2 -2 4 0 -3 3 10 其中： w:为W市的气象，它是一个不确定事件。由于是以“晴天”或“雨天”来描述气象的， 所以是一个二值的逻辑变量。用“1”代表晴天，·“0”代表雨天。 u,uH:为B、H两人的决定。也是二值的逻辑变量。“1”代表出发去W市，“0” 代表不去。 L:为支付或代价（本题中为增益），取实数值。 应该注意的是，逻辑变量的取值0、1与L的实数值0,1完全不同，它们是逻辑值。 对于B、H二人所提出的问题是：各自是否决定向W市出发。三个城市的气象情况是互 相关联的，5w、号、5H三个二值随机逻辑变量的联合概率分布如表2所示。 这一问题的特点在于两个决策者所得到的信息是互相关联的。设想一下B、H、W三城 市相距很远以致三城市的气象情况是毫不相关的，那么ξ、“对于决策者来说就毫无用处， 而W又是未知的，那么这就失去了现场观察信息的来源，决策问题就只能靠对W市的气象的 先验统计知识所给出的期望值来解决。这一问题的另一点在于每个决策者在做出决策时必须 考虑到其同伙可能会做出的决定，以便共同的支付函数取得极值。假若失去了这两个特点， 问题就被解耦而简化了。 表2 Ew 0 0 0 EB ① 0 EH 0 I 0 0 0 1 P 0.25 0.1 0.1 0.05 0.05 0.1 0.1 0.25 现在针对这一特例，参照一般提法的五个要点，给出这一问题的数学形式如下： 这是一个静态队决策问题，其信息结构为 Z=n() 快策规则为 u=Y(Z) J=-2L(uB,u5m)p(店nEn、5m） 求Y∈「，使得期望支付取最大 J=Maximize J (1-2) 此处Y具有如下形式 un=YB(EB) (1-3) uH=YH(ξH) 44

表 。 … 几 。 】 ， ， ， … ， … 。 。 … … 。 。 。 】 … 。 ， 一 一 一 。 。 二 上二 … 一 一 … 其 中 七 为 市的气象 ， 它是一 个不确定事件 。 由于是以 “ 晴天 ” 或 “ 雨天 ” 来描述气象的 ， 所 以 肠是一 个二 值 的 逻 辑 变量 。 用 ，’ ” 代 表晴天 ， ’ ” 代 表雨天 。 。 ， 。 为 、 两 人 的 决定 。 也是二值 的逻 辑变量 。 ，’ ” 代表出 发去 市 ， ” 代表不去 。 为 支付 或代价 本题 中为 增益 ， 取实数值 。 应 该 注意的 是 ， 逻 辑 变量 的取 值。 、 与 的实数值。 、 完余不 同 ， 它们是逻辑值 。 对于 、 二人所提 出 的问 题是 各 自是 否决 定向 市出发 ， 三个城市的气象情况是互 相关联 的 ， 毛 、 是。 、 履 三个二值 随机逻 辑 变量 的联 合概率分布如表 所示 。 这一问题 的特点在 于两 个决策者所 得 到的信 息是互 相关联 的 。 设想一下 、 、 三城 市相距 很远 以致 三城市的气 象情况是毫 不相关的 ， 那么 邑 。 、 七 对于决策者来说就毫 无用 处 ， 而 七禅又是未知 的 ， 那 么这就失去 了现场 观察信息的来源 ， 决策问题就只能靠对 市的气象的 先验统计知 识所给 出的期望 值来解决 。 这一问题的 另一 点在于每个决策者在做出决策时必须 考虑 到其 同伙可 能 会做出的决 定 ， 以便共同的 支付 函数取得 极值 。 假若失去了这两 个特点 ， 问 题 就被解 藕而简 化 了 。 ， 表 ， ， 甘 】 】 一 一 刁叫户 一 一 ， 一 一 ，， 叫 」 ’ 】 】 现在针 对这一 特例 ， 参照一般提法 的五个要 点 ， 给出这一问题的数学形式如下 这是一 个静态队决策问题 ， 其信 息结构为 决策规则为 七 ， 艺 。 、 。 、 七，， · “ 卜 息 。 、 “ ， 枯 求 丫 〔 ， 使得期望 支付取 最大 二 此处 丫具有如下形式 。 七 。 。 毛 。 一 一

为了理论上的兴趣，还可以把问题扩展一下，即每一个决策者不仅可获得本城市的气象 观察而且还可以获得其同伙所在城市的气象观察。即在： uB=YB（5B,EH) uH=YH(ξH,5B) (1-4) 的条件下求解(1-2)式。 由于和u都是二值的逻辑变量。形式如(1-3)式的解空间Γ是由16种函数“对”构成。 原则上讲，可以逐个地许算这16种情况下的J值，然后选取最大者即可获得解答。至于形式 如(1-4)式的解，以后可以证明，其解空间是由256个函数“对”构成。由此可见求解过程 的计算工作是很繁重的。若仍然逐个地计算J值，甚至是行不通的。 特别应该强调的是，这里的问题不是求解过程的难易、繁简问题，而是为了理论上的目 的，是否能寻求到一个适当的数字工具来概括这种具有逻辑变量的队决策问题的求解过程。 或者说，这里所迫求的目标是从逻辑的目度，为队决策问均寻求理论基础。 关键是，这一数学工具要能够把二值的逻辑变量和实质变量联系起来。 上面提到的两位先生会面的队决策问题是一个具有代表性的特例。在这一特例中所有 的变量都是二值的逻辑变量，而支付函数却是在实空间上取值。下一节就来讨论解决这种决 策问题的数学工具一加权布尔多项式。并研究它的若干有趣的性质和使用这一工具的技 巧。 二、加权布尔多项式以及它的若干性质 本节中将给出关于加权布尔多项式的六个定理。定理1=5只给出证明要点。而定理6，这 也是最重要的一个，将给出详细的证明。 考虑N个布尔变量，以后称其为逻辑变量： 1=1,2…N 它们中的每一个，都在集合{0,1}上取值。当所有的：的值给定之后，可以得到一个有序的 (按照！从1到N的次序)逻辑值的组合，称之为一个“点”。例如： (ξN=0,ξN-1…ξ1=1)a(01…1) 那么(01…1)就是一个点。所有的这样定义的点的集合，构成一个N维逻辑变量空间， 记做 {}={ENξ-1…ξi} 定理1.N维逻辑变量空间中，点的总数是2个。 证明要点，做一个N位的二进制数DN, DN=dndN-1…d 让其中的每一位二进制数d,(1=1,2…N)对应于一个（二值的)逻辑变量1。做为一个二 进制数的D,由数制的理论知，它所最多可能的取值于互相区别的数的总个数是2个，即从 00…0到111。所以与DN对应的空间{5，}必具有2w个点。于是定理得证。 N维逻辑变量空间具有可数的点数2个。称之为其容积。这一点是和实变量构成的空间 不同的。实空间的点是不可数的。 对N个逻辑变量进行与(*)、或（①）、非(-)的逻辑运算，就得到一个布尔函数B B=B(专N,ξN-1,…51) 5

为 了理 论 上的兴 趣 ， 还可 以把问题 扩展一 下 ， 即每一 个决策者不仅可 获得 本城市的气象 观察而且还可 以 获得 其 同伙所 在城 市的气 象观 察 。 即 在 。 。 七 。 ， 七 一 。 。 七 ， 七 的 条件下求解 一 式 。 由于 七和 都是二值的 逻 辑变量 。 形 式如 一 式 的解 空 间 是 由 种 函数 “ 对 ” 构成 。 原则 上讲 ， 可 以逐个 地 许算这 种倩况 下的 值 ， 然后选取 最大 者即可 获得解答 。 至 于形式 如 一 式的解 ， 以后可 以证 明 ， 其解空 间 七是 由 个函数 “ 对 ” 构 成 。 由此可 见求解过程 的计算工 作是很繁重 的 。 若 仍然逐个地计算 值 ， 甚至 是 行 不通 的 。 难 特别应 该 强调 的是 ， 这里 的问 题 不 是 求解过 程 的难易 、 繁简问题 ， 而是为 了理论 上的 目 的 ， 是 否能寻求到一 个适 当的数 字工具来概括这种具 有逻 辑变量 的队决 策问题的 求解过 程 。 或者说 ， 这里所迫求的 目标是 从逻辑 的 目度 ， 为 队决 策问 均寻求理论基础 。 关键是 ， 这一数 学工具 要能够把 二值 的 逻辑变量 和实质变量 联 系起来 。 上面 提 到 的 两 位 先生 会面 的队 决 策问 题是一 个具有代 表性 的 特例 。 在这一 特 例 中所有 的 变量都是 二值 的 逻辑 变量 ， 而 支付函数却是 在实空 间 上取值 。 下一节就来讨论解决这种决 策问题 的 数学工具 —加权布 尔多项 式 。 并研究它 的若干有趣的性质 和使用 这一工具 的技 巧 。 二 二 、 加权 布尔多项 式 以 及 它的若干 性 质 本节 中将给 出关于加 权布尔多项式 的 六个定理 。 定理 巧只 给 出证明要点 。 而定理城 ， 也是最重要 的一 个 ， 将给出详细的 证 明 。 考虑 个布尔变量 ， 以后 称 其为逻辑 变量 几 七 ， ， · · 一 这 它们 中的 每一 个 ， 都在集合 诬 ， 卜上取 值 。 当所 有的 毛 的值 给 定之 后 ， 可 以得 到一个有序 的 按照 从 到 的 次序 逻辑值 的 组 合 ， 称之为一 个 “ 点 ” 。 例如 息 ， 毛 … … 息 卜 · · … 那么 … … 就是 一个 点 。 所有 的这样 定义 的 点的 集合 ， 构 成一个 维逻 辑 变量 空 间 ， ， 记做 遥七 “ 王七 七、 … … 七 定理 维 逻辑 变量空 间 中 ， 点的 总数是 付个 。 ， ” · 证 明要 点 做一 个 位 的二进 制数 ， ’ ” ” · 、 让其 中的每一 位二 进 制数 二 ， · 、 … 对应 于一个 二值 的 逻 辑变量 息 。 做为一个二 进制数的 ， 由数制 的 理论知 ， 它所最多可 能 的取 值 于 互相 区别 的数 的 总个数是 个 ， 即从 · · … 到 卜 · · … 。 所 以与 对应 的空 间佳 必具有 个点 。 于是 定理得证 。 维逻辑变量 空 间具有可数 的 点数 个 。 称 之为其容积 。 这一 点是 和 实变量 构成 的空卿 不 同的 。 实空 间的 点是 不可 数的 。 对 个逻 辑变量 进 行 与 勺 、 或 ① 、 非 一 的 逻 辑运 算 ， 就得 到一个布尔函数 二 虽 ， 七、 ， … … 毛