源自密码学的组合数猜想问题研究.pdfVIP

第34卷 第 12期 湖南科技学院学报 V0．1．34No．12 2013年 12月 JournalofHunanUniversityofScienceandEngineering Dec．2013 源于密码学的组合数猜想问题研究 张晓朋 邓宇龙 (湖南科技学院 数学与计算科学系／计算数学研究所，湖南 永州 425199) 摘 要：试图通过列出Tu-Deng组合数猜想中Hamming权等于4时的所有可能取值来进行相应的证明，但是在计算机 算法实现过程中，发现当Hamming权值每增加 1时，计算量和数据处理会变得非常复杂。据此指出通过列出所有可能取值 来进行猜想的证明是不可取的。 关键词：Boolean函数；代数免疫；Bent函数；非线性度；代教次数 中图分类号：TN918．1 文献标识码：A 文章编号：1673-2219(2013)12-0058—004 1引 言 Tu和Deng提出了如下的源于密码学的组合数猜想： 猜想 1 设 = {(a，b)la，6∈z：_la+b-tm(od2一1)，w(口)+ 6) 一1)，其中1 t 2一2，k 2，w(O是f ， 的(Han1ming)权。则集合 的基数，≠} 2 ． ， ． 根据他们的猜想，Tu和Deng获得了两类具有最优代数免疫的Boolena函数类。第一类仍然是Bent函数类，另一类是 具有最优代数次数和目前所知的最好的非线性度(这个结果比3【】给出的函数类的非线性度结果更好)的平衡Boolena 函数类。 但是，对于猜想1的证明，他们仅仅只是给出了transfer-matrix算法，然后利用计算机辅助，机械的验证了k 29的情况。 这与猜想1的结论还有很大的一段距离。 观察猜想1中集合 的构造，我们发现6由a唯一的确定，因此设想，猜想1的结论可以通过对整数 日的个数的计 ． 算来获得。源于这种想法，文献[2】把a划分成两类： 第一类 ：a=0，1,L ，f，b=t一 ； 第二类 ：a=t+V，b=2 一1一 ，1，=1，2，L ，2 一f一2． 根据这两类划分，文献[2]证明了在f的权w )较小的情况下 (w(t) 3)，猜想1的结论是成立的。并且文献[2】还指 出，a的个数的统计很大程度依赖于 ‘电工’‘=jj[}{l0 2一1，w(2+2f2+L+2‘+)= +w())， 其中o≤f1f2L k-1．显然，当r 时 ，如工，’‘=0且 ’‘如’‘=2扣，其他情况 ‘工’‘的获得将 收稿 日期：2013—09—09 基金项目：国家自然科学基金 ；湖南科技学院科研项 目 (13XKYTAO01，13XKYTB002)和湖南科技学院 重点学科建设项目资助。 作者简介：张晓朋 (1984--)，女，山东潍坊人，硕士，助教 ，主要研究方向为计算机科学、密码学。 58 比较困难。 本文在文献[2】中对 划分的基础上考察 ‘，，，‘的计算， 即根据文献[2】酌方法对猜想l中w )=4的情况进行证明， 我们还将给出 ‘’如，，‘个数统计时计算机实现的算法。 本文接下来的结构安排如下：第二部分将给出统计 ‘’如，b‘时遇到的困难；统计 ，‘’‘时的计算机算法实现在本 文第三部分；最后我们通过一个简短的总结结束全文。 2 计算的问题分析