计量逻辑学中的旋转对称逻辑公式.pdf

第 ??卷 第 ?? 模 糊 系 统 与 数 学? ???．??．??．?? ??????印 ???】? ??????????????????? ??????????? ? ??．，????? 文 章 编 号 ：????—????????????—????—??? 计 量 逻 辑 学 中的旋 转对 称 逻 辑公 式? 李 骏 ，何 金 龙? ?兰 州理 工 大 学 理 学 院 ，甘 肃 兰 州? ???????? 摘? 要 ：密 码 学 中的 旋 转 对 称 布 尔 函数 是 一 类 具 有 多输 入 单 输 出性 质 的 函数 ，本 文 以 此 类 函 数 为 基 础 提? 出 了旋 转 对 称 逻 辑 公 式 的概 念 。初 步 研 究 了此 类 公 式 的 性 质 ，并 给 出 了此 类 公 式 真 度 的 轨 道 刻 画 。接 着? 给 出了 全 体 旋 转 对 称 公 式 等 价 类 的 个 数 统 计 。最 后 证 明 了旋 转 对 称 逻 辑 公 式 经过 反 射 变换 后 得 到 的公? 式 依 然 是 旋 转 对 称 逻 辑 公 式 。? 关键 词 ：旋 转 对 称 逻 辑 公 式 ；旋 转 对 称 布 尔函 数 ；真 度 ；轨 道 ；反 射 变换? 中 图 分 类 号 ：????? 文 献 标 识 码 ：?? ?? 引言? 由于数 理逻 辑 的高度符 号化 和形 式化 ，计 量逻辑 学从 对基 本概 念 的程度 化人 手 ，将 数值 计算 的思 想? 引入 到数 理逻 辑 中 ，提 出 了公式 的真 度 的概 念 ，又 以真度 为基 础 提 出 了公 式 间 的相 似度 和 伪距 离 ，建 立? 了逻辑 度量 空 间 ，进而 提 出 了一套 完 整 的近似 推理机 制并 引发 了大量 的研究 成果 口? ?。布尔 函数 是数 理? 逻辑 中的 重要概 念 ，它在密 码学 的研 究 中也发 挥着 重要 作用 ，利用 布尔 函数 实现 密码 学与逻 辑学 的交 叉? 研 究是 一个 有 吸引力 的研 究课题 ，如 文献 ????在 引入密 码学 中对称 ?? 尔 函数 的概 念后 ，提 出 了对 称逻 辑? 公 式 和准 对称 逻辑 公 式 的概念 ，最后 在 拓扑 学 的观 点下 证 明 了全 体 对称 公式 之 集 在经 典 逻辑 度量 空 间? 中无 处稠 密 ，文献 ????将密 码 学 中线性 布 尔 函数 的概念 引 入到 了经 典逻 辑 中提 出了线 性 逻辑 公式 的概? 念 ，并研 究 了反 射变 换下线 性逻 辑公 式 的性质 ，文献 ???— ???将 密码学 中满 足严 格雪 崩准则 的布尔 函数? 的概念 引入 到计 量逻 辑学 中提 出 了雪崩 逻辑 公式 的概 念 ，给 出 了雪崩逻 辑公 式 的构造 ，并研 究 了反射 变? 换 下雪 崩逻 辑公 式 的相关 性质 ，这些 研究 成果 初步 建立 了密码 学 与逻辑 学 之间 的联 系 ，也使 得借 助逻 辑? 学来研 究 密码学 成 为可能 。? 旋转 对 称 布尔 函数 最初 是 在研 究 ????算 法 的快 速 实 现 时提 出 的 ，它 是 一类 具 有 良好 性 质 的多 输? 入单输 出布尔 函数 ，并且 在 密码 学 的研究 中扮 演 重要 角