关 于 最 佳二 叉 排 序 树 的 研 究

刘 灿 齐
同 济 大 学

，
厉‘ 。 ”
艺 犷。 ‘ 梦

七 日 七

七
，
。 七 七 七 吕
毛 毛 七
，
七 七 七 七 七 七 日 七几 七 日

七 拓

七
，
七
，
七
，
七 “ ，
’ 、

，
七 七

摘要 本 文挖 掘 了 它 的 一 些 重 要 的 数 学
最 佳 二 叉 排 序 树 在 数 据 检 索 理 论 中 占有 重 要 地 位
， 、

性 质 在 此 基 础 上 提 出 了 一 种 建 立 最 佳 二 叉 排 序 树 的 新 方 法 并 探讨 了 它 在 动 态 情 形 下 的 修
。
正 算法

， ， ， ， ， 。
关键 词 最 佳 树 正 则 树 路 径 最 佳 二 叉 排 序树 树 正 排 树 资格 点

一 引 言
， ，

在 依 关 键 字检 索 记 录 的 算 法 中 最 佳 二 叉 排 序 树 法 是 一 种 高效 率 的 方 法 已 被 不 少 的 软
然而 在 已 有 的 文 献 中 如 【 〕
。 ，

件设 计 者 采 用 提 出 的 建 立 算 法是 依 赖 于 记 录 序 列 的 有 序
。 ， 。

性 即先要 将 记 录 依 关键 字排 成 有 序 的 再 用 二 分 法 逐 一 取 出 各记 录 来 建 树 这 显 然是 麻
。 ， 。

烦 费 时的 本 文 将 设 计 出一 种 不 经 排 序 直 接建 树 的 算 法 时 间 代 价为
，
使 用 最 佳 二 叉 排 序 树 的 另 一 问 题 是 当在 树 上 插 入 或 删除结 点 时 原 树 的 最 佳 性 可 能 被
， ，， ，
。 ， ，

破坏 一 旦破 坏 怎 样 修 正 使 其 恢 复最 佳 性 和 曾提 出 过 关 于
， ， ，
树 的 修正 算 法 然而 树 在检 索效 率 上 比 最 佳 二 叉 排序 树差 故最佳 二 叉 排序
。

树 的修正算 法也 将被 讨论
， ，
本 文 首 先 提 出 了 正 则 树 和 最 佳 树 的概 念 研 究 了 它 们 内在 的 数 学 性 质 在此 垅础 上讨
。

本文 似年 月 朋 印 义到
 。 ，

论 了 以上 两 间 题 的 算 法 由 于 篇幅所 限 本 文 省略 了 所 有 定理 的证 明 及 一 些 算 法 的 详 细
。
表达

二 正 则 树 和 最佳 树

正 则树
， ， 。 ，
设 是 二 叉 树 从 它 的根 到 各 结 点 的 长 度 之 和 叫 它 的 路 径 记作 尸 若 为空
一
， ，
一 ，‘ 。 、 、 。
规定 否则 设 结 点 数 为 记 根 的左 右子 树分 别 记 作
、 ，

设 其 结点 数 分 别 为 易知
一 一 一 一
卜 卜 卜 一 卜 一

」则
， 、 ，
定义 若 一 个 二 叉 树 或为 空 或 它 的每 个 结点 的左 右 子 树 的 结 点 数 相 差 最 多 为
。

称 它是正则 树

在 所 有结点 数 为 “ 的 二 叉 树 中 正 则 树 的路 径 最短 为
，
‘」 其 中 刘 表
， ， ，
定理
馨
， 。
一
， 。
示不 大于 的最 大 整 数 时 此和为
， 。
定理 的逆 命 题 不 成 立 这 由 下 可 见
匀 最 佳树
，
二 二， 、 ，
二、 、 。
为 简便 计 本文 约定 的 功分 别 表 示 夕 两 数 中的 最 小 者 最大者
定义 ， 个 结 点 的最 佳 树 的 递 归 定 义 是
空二 叉 树是最佳树
·
。 、 ， 、 ，

若 个 结点 的 二 叉 树 的根 的 左 右 子 树均 是 最 佳 树 设 结 点 数 分 别 为 满足
， ， ” 一二
一 ， ， ，‘ ，”
，
喊 石
。

则 它 是 最 佳树
个结点 的 二 叉 树是 最 佳 树 的 充 要 条件是 在所 有 的 。 结 点 的 二 叉 树 中
，
定理 它的

‘
。 。
路 径 最短 即 遗
馨
， 。
由上两 定理 知 正 则 树 是 最 佳 树 的特 殊 情 况 由定 理 知最 佳 树 与 最 短 路 径 的 二 叉 树
， 。 ，

是 等 价 的 这 一 点 称 为 它 的最 佳性 关 于 它 的等 价 的 提 法 我 们 还 有
定理 一 个 二 叉 树 为 最 佳 树 的充 分 必 要 条 件是 除 最 低 两 层 的结 点 的 度数 可 以 小 于
， 。

外 其 余 各层 的 结 点 的度 数均 为

三 最 佳 二 叉 排 序树 的 数 目
，

二 叉树 的等形
定义 二 叉 树 等 形 的递 归 定 义 是
空 二 叉 树 与 且 仅与 自身等 形
· 、 ， ， ，

设 刀 为 两 非空 二 叉 树 若 刀 与 刀 等形 且 与 刀 等形 则 刀 与
。
刃 等形
用、 表示等形 显 然
， ， ， 。
是一 等 价关系 且若 必有 刀
 … 。 。
， ， ， 。

设 孰 叽 城 是 结点 了 表 示 由 了 中结 点 组 成 的所有 个 结点 的 二 叉
、 闭 中 的 元素 为 形
， 。
树之 集 我 们 称 商 集 口 一 个 形 是 由 一 个 二 叉 树及 所 有 与 它 等 形 的
。
二 叉 树 组 成 的集 合
， ，

显 然 若 一 个 形 中有 一 个 二 叉 树 是 最 佳 树 正 则 树 则 它 所 有 的二 叉 树也是最 佳树 正
， 。

则树 此 时我 们称 该 形为 最 佳 形 正则 形
，

当 任 选 一 个 形 中 的 一 二 叉 树 作为 代 表 忽 略 各 结 点 的 具 体 内 容 而 都看 成 实 点 称 这 些 实
， 。 ，

点为 位 置点 即可 用 实 点 二 叉 树 直 观 地 表 示 一 个 形 口 厂 中形 的个 数 其 实 与 无关
。 。
。 ， ， ，

仅与 有关 如 时 工 有五个形 直观表示如 图 其 中第 一 个 是 最 佳 形 恰好
。

也是 正 则 形 可 以推 出 口 工 中形 的 数 目 口 哟 满 足
已 一

， ，‘
·
一 一 一
艺仔

八
图

， 最 佳 二 叉 排 序树 及 其 数 目
， ， 。
当 中序 遍 历 一 个 二 叉 树 时 记 录 依 关 键 字形 成 升 序 序 列 则 称 此 二 叉 树 为 排 序 树
则 。
， ，

若 万 给定 中 的 一 个 形 中含 且 仅 含 一 个 排 序 树 在 此 我 们 是 将关键
。 ， ，

字 相 等 的结 点 看 作 相 同 事 实 上 了 中各点 依 关键 字 相 等 的 原 则 分 成 若 干 组 设 组
‘ 几 各 组 分 别有 。 … 。 个 结 点 其 关 键 字 依 次 为 ， … 夕 不 妨 设 叭 脚 丈 … 叭
， ， ， ， ， ， ， 。

， ，

将 表 示 该 形 的 实点 二 叉 树 的 所 有位 置 点 依 中序 遍 历排成 一 列 时 欲 形 成 排 序 树 只 有在前
。
个 位 置 点 放 关 键 字为 势 的结 点 … … 不 可 能
， ，
龟 个 位 置 点放 关 键 字为 势 的 结 点 紧 接 着 的
。 ， 。
有 别 的放 置 法 故 排 序 树 与 实 点 二 叉 树 数 目相 同 即 排 序 树 与 口 了 中 形 的 数 口相 同
， ， ，

若 一 个 二 叉 树 既 是 排 序 树 又 是 最 佳 树 则 称 为 最 佳 二 叉 排 序 树 简称 树 一个二又
。 。

树 既 是 排 序 树 又 是 正 则 树称 作 正 排 树 显 然 正 排 树是 树的特殊 情 形
、 中最 佳 形 正 则 形 的
，

由 以上分析知 口 了 中 树 正 排 树 的 数 目等 于 口
。 、 ， ，
，‘ ， 。
数目 现 分 别栩 习 表示 显然 簇习 喊

定理 吸 习

表
， 。 。 。

三止 …
幸止二二 ”
公 口 石 公
筑川
外 习 习 生 公〔玉

” 、 生 岔 眨
玉 人 性 盛 公毛 公
月 咬
 ， 。 一 ，’ ， 、 ，
习 二 扩 为排 列式
卜 魄
，’ ，一 ，《 、 」
嗜」
·
，
· ·
九

宁
间，
’， 一
习
十」 阳 ，，
一
蟒
。
其中 任 二 希
， ，

为 了 更清楚 地 了 解 的变 化 规 律 在
。 ，

表 中给 出 了 从 到 时召 和 的值 可
以 发 现 它 们 均 以 〔牙 一
，
一 为一 变化回合
。
。
， ，
…
。
在一 回合 中 以
，
‘ 一
卜 ‘一
一 为对称
、
月
轴 召 在 此 处 达 到 最 大值 在 此 处 的左 右
， 一，
，
七 一 咔 一 。

附近 处 达 到 最 大 值 习 牙 一 一 牙一 对
图 所 有‘ … 如图
， ， 。

四 最 佳 二 叉 排序 树 的建 立
， ， 。
设 记 录 序 列为 叮 们 喊喀 首先 讨 论 对 下 面 一 般 子 序 列 的处 理
〔。 。 … 。 哎
二 ，
二 ， ，
二

。 ， ，
第一 步 找 出 所 构成 的 树 的根 若 该 树 已 建 成 设 中序 遍 历 该树 时 根 在 第 位
，

由定 义 有
， ‘ 卜 “ 斗 ，，一
《 一。
， ，
一 一
，。 ‘ ，《
卜。 」
，
一二 一人

，，
。
· 一 ，

首先 设 定一 个 数 由 知 接近于 卜 例 故不 妨 取 为 咬 的关键 字 的平均 值

。

或其 近 似
① 设 。
· ， ， ·

水 方 叭 当 城司 时 不 断 地 作 感奈 公卜 直 到 城幻 介 当
〔刃 此 时若 感《 夕 交 换 姚 们 城 习之 值
二
· ， ， · 。 ， 、 ，
一 二
口 时 不 断地 作 歹
介 直到
再作 ‘卜感
， ， 。 。 ，
夕
卜 一 再 重 复 上 述 工 作 直 到 感 夕 结束 时 必 有 感一 夕一 或 且 孟 礼
。 而《 〔们 【月
，
二
· · 。
落喊 犷喊 二
了 伙 时
② 【 为 所 找 的根 否 则 作 ④
， ， ， ， 。
感一 夕 落一 二
时 取 若 式成立
③ 感一 夕一 。
， ， ， ，
一 时 若 一落 取 弓若 式 成立 则 在 叮 幻 至 城 司 中找 出 关键
【 式 不 真 时作 ④ 若 一 坛 一 二 取
， 。 ， ，
二
字 最 小者 与 交换 值 城 则 为 之 所 找 夕若
则 在 叮。 〕 至 ’ 不真
， 。
二
式真 中找 关 键 字 最 大 者 与 叮 交换 值 城 则 为 之 所 找
时作 ④
。

， 、 ， 、 、 、
， ， ， ，
、 ， ，
‘ 、 ‘ ‘
二 一
一 饥 卜
④ 此 时 必 ”然 。 一。 ， 一卜
。
一 笋 一 作「 以 下 调， 整
‘ 、、
’
一
’
一

“
一 ” 一
， ’
“ ，
·
一一
卜
一
’
一
’
一 ’

一
一一
一
’ 一 ’

、 兰子产
。 一 ，一
介‘ ， 卜 一竺
牛生 、
一 ，
一 一么 其 中 了如 下 所 述
心 、 ‘
它 在 主 程 序 的初 始

再重 复 ①、 ③ 。 ，
，
， ， 。 飞， 犷
化 工 作 中求 出 川 整 个 第一 步 工 作 用 过 程 人 表
， 。

示 详细描述 略
《 么 。
、 ，
、
。 ，
第二 步 预先 取 分 别为 姚 幻 的 关 键 字 的最 小 大值 令 了一 一 万
 、 。

求 了工 作 在 主 程 序 的初 始 化 中进 行 取
，
一。 ，
人一 。
·

夕 二 一二 九 一 一 一 、了 、矛
、、
了

介
了
了

一。 无一 。 ，
·
夕 犷 一二 一仍 一
介
设
刀
。 荃 吕 。

… 」
， ， ，
刀七

， ， ，

下面是建立子 序列 的 子 树的算 法
。 刀，
， ，
卫 交
，

工 切
五。 。
， ， ，

、 〔 。
， ， ， ·

一 功 一
。
〔 〕
， ， ， 二 ·

又
上

〔司 《 感《
。
二
最 后 给 出针 对 全 序 列 的建 立 树 的算 法 即主 程 序 结 束 时根 的
。
下 标 存放 在 七中

、
〔 〕牡
、 、 ， 、 、
初始化 求 的 关 键 字 的平 均 值 最 小 位 最 大 值 分 别 存 于 中 恤一
， ， ，
戈

， 。

为 以 下 讨 论 作 准 备 现 给 出一 概 念
设 一 个 升 序 序列
…
二 ，
二 ， ，
二

树 不 难 发 觉 有 且 只 有 两 元素 二 〔
， ，
以 它 的各 元 素 为结 点 构 成 叮 有 资格 作 为 该 树 的
， 。 ， ， ，

根 结点 称 它 们 为 该 树 的 资 格 点 事 实 上 对 一 般 的升 序 序 列 叮 司 喊 落簇 设 一
，一 ， ， ，
二」 ，， ，一 、
， ，

叹 令 一 一 刀 一 由 式 知 资格 点 的
《 」 称 叮
。 。 ， 。 ，

下 标 是 且 仅是满 足 武 的整 数 令 为 中值点 显然
‘ ‘
“ 一
。 ， 。 ， 一 ，
中 值 点 是 一 个 资格 点 当 一武 愈 大 资格 点 愈 多 由 定理 一 卜 时
， ， ， ， 、

资格 点 最 多 相 反 当 一 一 时 一 一 资格 点 仅 一 个 即 为 中 值 点
，
。 ，
一

现 在讨论 本节算 法的 时间 代 价 首先 我 们 来 考 察 找 整 树 的 根 的 代 价 即过 程 地
， ， 吧、

万 叽 找 到 根 结点 所 开 销 的 时 间 这 里 只 考 虑 比 较 次 数 因 为 这 个 参 数 最 有 代 表性 其
资格 点愈 多 愈 易 找 到 ① ③ 的循 环 次 数
。 ， ，

实 该 过 程所 要 找 的 是 整 个 树 的 一 资格点
， ， 。 ， ，
一
就 愈少 而 当 愈接近 牙 资格 点愈 少 循 环 次数 可 能 愈 多 另 一 方 面 统 计 原 理 表 明
，
。 ， ，
·

当 较大 时 司 以均 值 为 对 称 轴 依 正 态 分 布 对 称 地 散 布 在其 左 右 严 格 地 说 对
· ，

称 轴是 城 剑 的 分 布 函 数 的 数 学期 望 但 强 大 数 定律 保 证 了 当 较大时 可作其 近
。 。 。 ·

似 若 给 定充 分 小 的 概 率极 限 定理 保证 了 当 充 分 大 时 中值点 叮一川
① ③ 步 仍有 差 距 通过④ 的调 整
， ，
的概率 一 即使 由 差 距 将 明显减
 较大 时 可 期 望 经 少 数 次 ① ③ 循 环 而 找 到 中值 点 第一 次 执行 ① ③ 所 作 比较
。 ， 。
少
，，
‘ 、 ‘ 、 ‘ 、 ，
。
‘ ， ， ， ， 、 ‘ ， ， 、 ， 、 ‘ ， ， ，

一 二
。 。 。

二 中值 点 ， ·

次数 成 荟 以后 各次成倍 递减 故总 比 较 次数 越 了大 一 州‘ 的
“
”
、 、 、 。 ‘ 、 、 。 、 ， ‘ ，’ 、 “ ”
’
’ 产 ’ ’ ’ ’
一 以 护 一 碑
丫 曰 只
一 一 一
， ， 。 ， 。

概 率 越 大 可 能 的循 环 次数愈 少 即 愈小 实验 表 明 一般 时 喊 若 笋
， ， 。 。
一 资 格点 不 止 一 个 那 就 更 省 时 了 往 往 一 两 次 即可 找 到 一 个 令 表示 建 汉
《 、
， 一 一 ， ·

树 的 比 较 次数 一 卜 一 卜 犷 幻 推得 玄
」 故 本 算 法的时 间量 级 一 般 为
。 。 ， 。

呛 愈 大 其 优越 性愈 突 出
， ， 。
严 格地 说 在 个 别 情 形 如 较小且 牙 一 时 间开 销 可 能 超 出 级
， 。

但极 限 定理保证 了 当 较 大 时 这 种 情 形 极 少 出现
。
说明 初 始 化 的 时 间 代 价是
、 ，
，
·

式 保 证 了 求 每级 子 树 时 新的 值 为 对 应 子 序 列 的结 点 的 关键 字 的
。

均 值的近 似
， 。 ，

至 于 正 排 树 的建 立 基 本 上 与 上 面 算 法 相 同 只 由 于 它 每 次找 的根 只 能 是 中 值 点 所 以
中 的“ 式为真” 改为 ， 卜。 一 乐 簇 卜， 一 争 ’ 即可
‘ 一 一 。
只需将 且 一 时 间 代价大
， 。
于 上 算 法 量级 相 同

五 最 佳 性 的 破 坏 与修 正

最 佳 性讨 论
， ，

当对 一 树 的结 点 进 行 删 擂 时 可能 导致 式不 再 成 立 此 时 该 树 的最 佳 性 被破
， ， ， ， 。
坏 这 叫全 局 破 坏 或者 即使 式 仍 成 立 该 树 的某 个 子 树 的最 佳性 被 破 坏 这 叫局 部 破 坏
， 。
一 旦 最 佳 性 被破 坏 该 树 已 不 再 是 树了
。 ’

什 么样 的 树 的最 佳性较 稳定 呢 如 果 假 定 各 位 置 的 删 插 是 等概 率 的 那 么 正排
。 。 。

树 比较 稳 定 如图 中 的两 个 个结点的 树 其中 是正排树 当从 的根 的 左
， ， 。

子 树 哪 怕 删 除 一 个 结 点 或 向根 的 右 子 树 哪 怕 只 插 入 一 个 结 点 就 导 致 全 局 破 坏 而在
、 ， 。 ，
的 根 的左 右 子 树 删 去 或 插 入 两 个结 点 都 不 会 导 致 全 局 破坏 当 然 仍 可 能 导 致 局 部破 坏 例
、 。

如 在左 子 树 中删 去 尹 夕两 点 从 下 面算法
，

可见 局 部破 坏 的 修 正 工 作 比 全 局 破 坏 省
。 ，

时 所 以 在动 态 情 形 下 正排树 比一般 的
。 ，

树更好 因 此在初 建树时 最好就建

。 ，

正排材
成正排树 然而 这 样 会 增 加 时 间 代 价 其
。 ，

实这 是 没 什 么 必 要的 因为 即使 是 正
图 ， ，

排 树 在多 次 删 插 后 最 佳 性 也 会 被破 坏
， ，

幻 在 下 面 算 法 中 当一 个 一 般 的 树被 破 坏 或 某 子 树 被破 坏 修 正 后 的新 树 或 新 子 树 就
， 。
是 正排树 而 且 时 间代 价 很 低
， 插 入 时 的修 正
算 法 中用 到 的 类 型 和 变 量 如 下
一

训 钾
 ， ， ，
工
匕

么 二 刀

一 〕
拌
， ， ， ，
， 亡

、 、 ， 。
其中 表 示 结 点 的左 右 子 树结 点 的 数 目 材 为一 个 比 适 当 大 的整 数 是 用 来 存放
。

某 子 树 在 中 序遍 历 时 各结 点 的下 标 值
， 。
首先 作 叮 夕 尹 表 示 欲 插 入 的点
， ，
尹 是 依 中序 遍 历 以 抓 为根 的 树 同 时 将 各 点下 标 存入
〔
， ， ，
数组 叮 一中 遍 历 时 判断 与 各 点关 键 字 的大 小 以 便 找 出 适 当 的 感 作
〔 〕〕 … 是 升 序 的
，
二 ，
二 ， 。 ，，
感 而使 七 的 比 较 次数不 超 过 表
。
示 该 子 树 的结 点 数
。 动 将 叮 〔。 〕 〕 至 〔 司 重 新 建 成 树 它 建 成 的是 正 排 树 根 为 叮
， ，
二 ， ， 。
七

， ，

址 司
工 么
《。 ，。
〕
〕 。
〕 、 」
、 ·
·
工 一 飞 一
。
丫 」一 。
， ， 二
·

二
。
」 。
〔 〕
， ， ·

， ， ， 。
沙 是 将 夕 插入 以 姚习 为 根 的 子 树 若 需 修正 则 修 正 它

工 工 〔 」
‘
·

刀 五

以 式
， ，
。 ， ，

·
，
二
，

最 后 给 出将 结 点 尹 插 入 以 二 【
，

幻为根 的 树 的修 正 算 法 结束 时根 的 下 标 存
在 ‘ 中
。

，
二 七
， 。

该 算 法 比 较 次数 不 超 过 无 记 录 移动
删 除算 法
下 过程是 从 以二【
， 。
设 欲 删 除关 键 字 为 肠 的 结点 分 被 删者 是 否 为 根 结 点 为根的
，
。 。
树 中删 除 的 算 法 其 中 是 被 删 结点 的 下 标
，

七 日 七
 。 ，
，

若 则 删根
， ， ， ，
，
若 在 根 的 左 子 树 找 中 序 遍 历 时根 的前 趋 点 设其 为
。 ，
· · · ·
一 一 一

。 ，
， ， ， ，

否则 在根 的 右子 树 找 中 序 遍 历时 根 的 后 继 点 设其 为
。 ，
二。
· · · ·
丫 一 一 一
， ，
否则 工 被 删 点不 是 根

鱿 一 式真
， ，

工 一 式真
， ，

式 假 修 正 全 子 树劝
〔 〕 为 根 的 树 同 时将 关 键 字为
， ，
依 中序 遍 历 的 第一 个 结 点去 掉 并将 其 下 标 赋 给
。
将 遍 历 时 各 点 下 标 存于 【 〔 …中
， ， ，

。 ， 一
卜
，

【
。

最 后 给 出从 为根的 树 中 删去 关 键 字 为 的 结 点 的修 正 算 法 结束 时根
， 。

下 标 仍 存于 七中 是 被 删 点 的下 标
， ，
七
。
整 个 附 除算 法 的 时 间 代价 与 插 入 算 法 相 同
， 、 ， ，

综 上 插 入 删 除 时 的 修 正 算 法 的 比 较 次数均 为 口 量 级 且无 记 录 移动 另 外 开 销 了
。 ， ，

少 量 的辅 助 空 间 以 存放 整 型 数 组 和 递 归 参 数栈 我们 知道 记 录 移 动是 最 费 时 的 这样
。
一 来 我 们 的 算 法 的 时 间代 价 就 很 低 了

参 考 文 献
、 ， ， ，
，曰
一 一 ，
，，
习 许 卓 群 张乃 孝等 数 据 结 构 高等 教 育 出版 社
， ，
程 极 泰 集合 论 国 防工业 出 版 社
， ， ，
仲 萃 豪等 程 序 设 计 方 法学 北 京科 技 出版 社
， ， ， ，
复旦 大学 概 率 论 第 一 册 人 民 教育 出版 社

附 文
定理 的证明
。
显然
‘一 。 ‘
， ，

匆 因 由定 理 中 的 引理 知 引 理 个 结点 的最 佳 树 的深 度 为 叹 司
。 ， 。 ， 。

表 示 深 度 由定 理 最 佳 树 的前 公一 层 都是 满 的 在 第 层有 个 位置 可 安 置 结 点 而在
， ，

此层有 十 一牙 个结 点 设 中结 点构 成的 所 有最 佳 树 的 集 合 是 由所 有
仄灭了表 示
 。 一 ，
一 一
。
牙 维由 个 和 牙 个 构 成 的数 组 的 集 合 作 以下 映射 关 石 尤 曰 凡
。
… ， 。 刁任 ⑧ 关 。 ， 层 从左 边 数 起
第 ‘ 位置 有
， ，

设 任 琢灭不 一 一 当且 仅 当 的第
， ‘ ， 。
结 点时 一 否则 我们要证 明
件 召

设 ’
一 ， ‘一 ， 。

首先 定 义 一 种 牙 维数 组 连 接 成 牙 维 数 组 的运 算 砂 均是 维 构 成 的数 组
。
’ ’ ，
’
， ， 一
一 己 己
是用 中各 分 量 依 原 顺 序 作 的前 一 个分 量 的分 量 依 原 序 作 的后 牙

么。
。 ‘， ，， ， ‘ ， ，， 。
个分 量 显然 一 忘 名当 且 仅 当 一 石
， 。

下 面证 明 助式 用 归纳 法
当， 。
， ， ， 。 、
二
时 结论 显 然 成 立 设 假 定结 论 对 结 点 数 小 于 的最 佳树 都 成立 设 口
。 。
刀 是 结 点为 的两 最 佳 树
， ， ， 。 、

冲 己知 由定 义 设 与 与
，
《
、 ， ， ， ， ，

的 结 点数分 别 为 令 一 一 馆 司 由定义 由归 纳 假 定
卜
有
，
一 工 几 一关 丑

① 当 ‘ 一
， ，
一 时 与 深 度相 同 它 们 两 者 的第 层 合 起来 正 是 的第 介卜
。
层 显然
，

关 一

同理
，
一 苏
、 、 。
由 式及 面对数组连续的定义知 关 一关

② 当’ ‘
， ， ， ， ， 一
砖 不 妨设 此时 一 一 即 的第 层前 以 个位置 全 空 后 个位
。
吕
置 正是 的第 层 故
，
口 一 一
性华 夕 一
兮 个
同理
一
牙 个
，
一 一
关刀 喊 六飞 苏 二 刀
、 、 。

由 式 同样 得 一关
。 ，一 ‘ ，
二 一
牛已 知 关 当关 的前 个分 量 和 后 个分 量 均 不 全 为 时 的
‘一
、 ，

左 右子 树 的 深 度 均 为 即
一， ， 一，
关
一 ， ， 一
同理 关 咬
， ，
一 关一 ， ‘
， 一 一 ， 一 ， 、

因 一 故 因
， ， ， ， 。
万 均小于 由 归 纳 假设 石 由定 义
，一 一 ，
当介 的前 个分 量 全 为 或者后 个分 量 全 为 它们不 可 能 同时 全 为 否
， ‘ 。 ， 。

则 的深 度 约时 不 妨 设 前 个分 量 全 为 此时 因 关 五 故关 亦然 从
一 一， 。 。 ，

此 同样 推 得 关 口 二 关 由 归 纳 假设 另外 又因 关 前
‘一，
一 生 ， 。 ，
公一 一
个分 量 全 为 可见 石 的深 度 由于 是 最 佳 树 由定 义 它 的深 度
。 ， ，

且 必是满二 叉 树 同理 亦然 不 难 证 得 同 深 度 的满 二 叉 树 等 形 故
 。 ， 。 。
‘

于 是 由定 义 刀 至此
式 得证
、 、
〔 月关 一。
， ， ，
现 定义 映 射 瓦灭乃 刀
曰 任取 月任 瓜了 当且 仅 当 有 月
，一 ”
二。 ， 。
， ， ，
由 式知 是一 一 映射 故召 等于 中数 组 的 个 数 而 易知 中有 姚 户 个
，
一 一 ，， 。
数组 故习 才
呈
。 一
。 ，

设 是某些 到 间 的 整 数 组 成 的集 合 是 中 那 些 左 子 树结
〔
。
点数 为 的 二 叉 树之 集 又设 了 是 由 了 中 任 意 无 个结 点组 成 的 二 叉 树 之 集
月〔 口 有 唯一 的 〔 口 〔
。 ， 。 、 一 一。
无 可 以证 明 刀 唯一 的 众 按
〔 尽设 〔
。 ， ， ， ，

以下 方式 与之 对应 任取 一 则 且 一 一
卜
〔 口 〔 ，，
〔 口 了
。 ， 。 。 。 · ， 。
了 了 设 所 在 的形 为 所 在 的形 为 占 则
， 一 一。 ， 、 。 ， 、 ，
占任众 了 下证 的 唯一 性 设 叭 占 为 另一 个二 叉 树 任月 由 上 方 式 得
〔
， ， ， 、 ， ， 、
到 则 任竹 因 同属 于 月 故 由定 义 又

〔 下 由文 献 【 ，
， ， ， ， 。 ， 。 一

由 得 定理 知 一 同理 占 各 证这
种 对应 是 一 的 事 实上 设 凡 〔 口 了
。 ， ， ， ， ，

由 上 方 式 对 应 同一 个 下 即 存在 任月 使
〔 〔
， ， ， ， ，
任 于是 因 石 得 同理 由定
， ， ， 。
义 知 从而 因 任月 得 任月 由文 献 定理 得凡 月 于 是 月与 序
， 。

偶 钾 孙是 一 对 应 的
设。 。
， ， 。 ， 。 一 一。 、 、 。
了 万 中形 的 数 目分 别 为 公 一
，
一 则有
、 。 一 一
公 艺仔
〔

。 ，
作 为 此 式 的直 接 推 论 对正则形 有
·
一 一
动 艺
【 〔

由 于 正 则 形 正 则 树 的特 点 当 。 为 奇 数 时 要一 ，
一 卫 ‘ 。 一
， ， ， ， ， ，

妥三 为 偶 数时 故
，
一
切
‘
一
” ，、 ，

品 一 ，
，
一 一 、
” 了
门
，、
一 一
一

” 协
“ ‘
一

，， ，
‘
’ ‘ ‘ ’ ’ ’ 一‘ ’ 不 ’ 票
要」 卜卫于王」 其 中 。 一 。 卜
、 ‘ 、
。 。 ， 。
一

易得 一 由 数 学 归 纳 法 进 一 步不
一 ” 一 一 一、 一、 ’
“ ‘ “ ’ 、 。 ‘ 一，币 ‘
’
一 ’
产 一
一 一
一 一一 一 一一 一

难证 得
。 一。 ‘眨 ，，
·
万 其宫 一
其中 ‘
， ， 。
馆 证毕
附注 正 文 中 的 形 的数 目 哟 的公 式
。 ， 一。
·
一 口
艺仔 卜
，
也是 式 的直接推论
第四 节 的算 法表 达 类 语言
，
，， ，
二
，

卿 七
咖
仁 一 。 方 叭 。 。 呜

么 二夕
下转 第 页
 参 考 文 献
】 ， 几。 。
刀 ， 一 ” 一 切 ，
么 功 切 功 卜
， 刀 ， ，
印 韶

—
习〕 ， ，
一 一 ， ，
主 卫 功功 冷 助
，
习臼日

’ ，
， ‘ ，， ，
功 卫 瓦
， “ 。 一 二， ，，，

一
功功 刀 功 ， 刀 。 ，

， ，
卫
人
，“ 二 七 。 二 ，，， ‘

《
小型 微 型 计 算机系统 》
、 、 ， ‘ 一 ，，， ，
朱 海滨 祁 润 平 陈 火 旺 匀。 虚 拟机在 上 的 实现
〔 〕
，“ ” ，《 ，

朱海滨 基于 语 言 的 面 向对 象 程 序设 计 微 小 型 计 算机 开 发与 应 用 气
《
计算 机 科 学》
、 ，“ ‘ ’ ，，， ，
朱海滨 陈 火 旺 从 亡 语 言 的 结构 看 软 插 件 的 形成
〔公
，《
面 向对象方法 学 的研 究” 计 算机 科 学》
、 ，“ ，
朱 海滨 胡 运 发
，《
用 断言 的 方法 描述 面 向对象 程 序” 计 算机 工 程 与 科 学》
、 ，“ ，

妇 侍晖 陈 火 旺
〕 软件学报》
，“ 一 ” ，东 ，
江 明德等 面 向对 象程 序 设 计体 裁 嵌入 系统
计 算 机 工 程与设 计》 住
，《
面 向对象系统 研 究 中的 几 个问题”
，“ ， 。
幻 朱海 滨

、 产 、 广叼、 口、 户口 、 叼 、 了、 、 户 、 、 、 甘、 乃 、 、 、 、 、 户 以 、 户以、 尹曰 叼 、 产、 子、 矛、 厂、 、 户 、 厂以 、 八 了、 八 了 、 户以、 广 口 、 户 、 厂叼、 了叼 、 户口 、 户 以 、 产 了 、 产以 、 沪以 、 户了 、 户了 、 乃了 、 户

口 ，、 ， ，

止接 第 页
坛〕 《
· 一
二 感卜
喀
·

叮习 方 一 夕一
落簇 了
，
交 换 叮 幻 叮刃 之 内容 仁 一 公卜 夕 一 夕一

么一 夕一

尔 么一 式真
一感 一、

。 弓
’ 式真
二
〔 与 二
〔 至 。
〔 〕 具有 最 小 关 键 字 的 结 点 互 换
六 ’ 式真
二
」
与 二
「
饥 至 二
【 具有 最 大 关 键 字 的 结 点 互 换
「 饥。
， 一 一
、、
、户
、

了 曰
扑 一 一仍 犷‘ 一
， ﹄
协
一 一 附
叮 伙一万一 ﹄
︸

飞 一

卜‘ 、、
一 七、

了
一
乙 卜
卜一 小 毛
汽
一
‘

〕
二
壮 表 示对