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

A Recursive Proof in Some Situations on the Tu-Deng Conjecture Based on Some Verified Results

作　　者：黄昆[1] 李超[1,2] 屈龙江[1,2] 

机构地区：[1]国防科技大学数学与系统科学系 [2]中国科学院研究生院信息安全国家重点实验室

出　　处：《武汉大学学报（理学版）》2012年第6期493-496,共4页Journal of Wuhan University:Natural Science Edition

基　　金：国家自然科学基金(61070215;61103192);信息安全国家重点实验室开放基金(01-02-5)资助项目

摘　　要：对于涂(自然)-邓(映蒲)提出的一个二元组合猜想,已验证了k≤39时的情形,本文在此基础上利用递推归纳的方法,给出了对任意的k,t≤219情形下涂-邓猜想的正确性证明.Tu-Deng have verified the conjecture under k ≤ 29 by applying the transfer-matrix algorithm on a PC and afterwards France Ph D Jean-Pierre Flori verified it underk ≤ 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重量 递推 

分 类 号：TN918[电子电信—通信与信息系统]