基于先验结果对涂-邓猜想一些情形下的递推证明

黄昆; 李超; 屈龙江

doi:10.14188/j.1671-8836.2012.06.002

您当前的位置：

首页 >

文章列表页 >

基于先验结果对涂-邓猜想一些情形下的递推证明

研究论文_密码学 | 更新时间：2021-04-02

- 基于先验结果对涂-邓猜想一些情形下的递推证明
- A Recursive Proof in Some Situations on the Tu-Deng Conjecture Based on Some Verified Results
- 武汉大学学报（理学版） 2012年58卷第6期页码：493-496
- 作者机构：
  
  1. 国防科技大学数学与系统科学系
  2. 中国科学院研究生院信息安全国家重点实验室
- 作者简介：
- 基金信息：
  
  国家自然科学基金（61070215,61103192）;信息安全国家重点实验室开放基金（01-02-5）资助项目
- DOI：10.14188/j.1671-8836.2012.06.002
  中图分类号： TN918.1
- 纸质出版日期：2012-06-01，
- 稿件说明：
移动端阅览
[1]黄昆,李超,屈龙江.基于先验结果对涂-邓猜想一些情形下的递推证明[J].武汉大学学报(理学版),2012,58(06):493-496.

HUANG KUN1, LI CHAO1, QU LONGJIANG1. A Recursive Proof in Some Situations on the Tu-Deng Conjecture Based on Some Verified Results. [J]. 2012, 58(6): 493-496.
[1]黄昆,李超,屈龙江.基于先验结果对涂-邓猜想一些情形下的递推证明[J].武汉大学学报(理学版),2012,58(06):493-496. DOI： 10.14188/j.1671-8836.2012.06.002.

HUANG KUN1, LI CHAO1, QU LONGJIANG1. A Recursive Proof in Some Situations on the Tu-Deng Conjecture Based on Some Verified Results. [J]. 2012, 58(6): 493-496. DOI： 10.14188/j.1671-8836.2012.06.002.

摘要

对于涂（自然）-邓（映蒲）提出的一个二元组合猜想

已验证了k≤39时的情形

本文在此基础上利用递推归纳的方法

给出了对任意的k

t≤219情形下涂-邓猜想的正确性证明.

Abstract

Tu-Deng have verified the conjecture under k≤29by applying the transfer-matrix algorithm on a PC and afterwards France Ph D Jean-Pierre Flori verified it under k≤39.In this paper

based on the verified result under k≤39

the conjecture in the case of t≤219

for all k

is proved.

关键词

Tu-Deng猜想密码函数Hamming重量递推

Keywords

Tu-Deng conjecturecipher functionHamming weightrecursion

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据