基于双射函数f：N^4→N的可计算性研究.pdfVIP

第 9 期 计 算 机 技术 与发 展 Vo1．19 No．1 2009年 L月 COMPUTERTECHNOLOGYANDDEVEI0PMENT J 1． 2009 基于双射函数 ：N4一N 的可计算性研究 许精明 (安徽工业大学计算机学院，安徽 马鞍山243002) 摘 要：对四重笛卡尔积双射函数 ，’：N 一N计算过程进行了研究，分析了其内在启发式构造规律，导出了，：4『一N的 显式计算式。运用的启发规则是，将N 集合中前三个元素和相等的四元组划归为同一类，并按顺序将各类连续排列，再用 交替枚举访问的方式对N 中的各四元组进行访问，逐级构造出，：N 一N 的显式计算式。并将该式整理为只含有加法和 乘法的运算形式。进一步分析得： 重函数f：Nn—N的时间复杂度是指数增长的，即O()，C∈N。对函数f：N，一N 的计算属NP难问题。 关键词：计算理论；双射函数；高重笛卡尔积；可数无穷集合；NP难 中图分类号：TP301 文献标识码：A 文章编号：1673—629X(2009)Ol—O10o一03 ResearchonComputabilityBasedonBijectionFunctionfN_ N xuJing-ming (InstituteofComputer，AnhuiUniversityofTechnology，Maanshan243002，China) Abstract：Theprocessofcomputationforofur—foldCartesianproductbljectionfunction，：N _呻．N isresearchedinthispapernadthe heuristicrulesofthefunctiontLreanalyzed．Aformulaofthefunctionf： N isddeucde．TheheuristicrulesarethatiftheSLffUofpre — threeelementsof4一aryrelationofN isequa1．theyareputinoneclassregularly，andallclassesareformde successively，thenvisit allelementsofNalternately．Thefomrulaoffunctionf：N Nissimplifide assimplyas,possibleonlycontainingadditionnadmultiplica- tionoperations．Furtheranalysisappearsthatthetimecomplexityoffunctoinf： 一 N iso(c)，c∈N ，thecomputingtof：N 一 N isna NPhardproblem． Keywords：computationtheory；bijeetionfunction；high—foldCartesina product；ocuntablyinfiniteset；NPhard 0 引 言 f(i，)= [(i+ )+3i+J] 可计算性和计算复杂度是计算理论研究的主要内 文献 [7]中构造了函数f：N。一 N 的计算式： 容之一。计算理论中的一些基本问题 ，例如，NP难问 题的时间界限、SAT可满足性等问题11-3]，一直在人 f(i，，k)=去[(i+J+是)’+3(i++)+ 们的不断研究和探索之中。函数的可计算性也是可计 3(+J)+11i+5j+2k] 算性研究的分支之一。