基于剪枝法的Costas阵列通用搜索算法.pdfVIP

第盟卷第4期 湘潭大学自然科学学报 V01．224 No 2000年12月 NaturalScienceJournalofⅪandaIl Dec University 2000 基于剪枝法的Costas阵列通用搜索算法’ 唐胜 周经野 (湘潭大学信息工程学院，湘潭，411105) 【擅要]给出了一种基于剪枝法的Cost,as阵列通用搜索算法．由于采用了剪枝法．在遍历过程中剪去丁不满足 Grtas辟列条件的分枝．这样既避免了大量不必要的同溯，叉在遍上盯的同时生成rCostas阵列，而不衙另外判断 是不是Co,sins阵列，因而比遍历加判断的回溯算法效率更高用汇编语言程序实现了该算法，并穷尽地求出了一 定阶数(1≤n≤20阶)的所有c吣Ias阵列，实验结果表明扬义先等关于Ccetas阵列的第4猜想不成立 关键词：co岫阵列；剪技法；搜索算法 003104 中田分类号：TP273 文献标识码：A 文章编号2000)04 Cost,as阵列…是由J．P．Cost,as于1966年提出，由于它是具有非循环相关特性的最佳离散 信号，所以很受国际学术界的重视．在雷达和声纳系统中，用Cost,as阵列作为信号模式，能够最 准确地确定出目标的距离和背向速度，具有重要的理论和实用价值． 很多问题用回溯和试探法求解时，描述求解过程的状态树一般不是一棵满的多叉树．剪枝 法是指当试探过程中出现的状态和问题所求解产生矛盾时，不再继续试探下去，即在遍历的过 程中剪去不满足条件的分枝．因此，选择一个好的剪枝判断条件，就能避免大量不必要的回溯 和试探，提高求解问题的速度． 1个状态 当用回溯和试探法搜索n阶Costas阵列时，由于该问题对应的满多叉树共有12 叶结点对于n16，若不用剪枝法，计算量相当大，至今还未见报道有人穷尽搜索过．若采用 剪枝法，将不满足Costas阵列条件的分枝剪去，则能避免大量不必要的回溯，降低计算量． 为求效率最高，本算法采用非递归过程和汇编语言实现为简便起见，本文中将Costas阵 列表示为置换序列 1理论依据 定理1设置换序列{嘶i，，∈Io，1，…，n一1}，是1至n的一个排列，差值D：，=aj—q… ，一(n o≤j—i≤n一1，则置换序列{q}为C0stas阵列，当且仅当对于Vi，J，k，其中i∈}1，2 —1)／2J}，j≠k，0j—i≤n一1，o≤五一i≤n一1，都有D。，≠D。^． 证明利用差分向量”3的概念，显然Costas阵列的定义(见文”1中定义5．4．1)可以等价地 描述为：n×n阶置换矩阵A是一个Costas阵列，当且仅当置换矩阵A的所有差分向量互不相 同．将置换序列看作是一种特殊的置换矩阵，可知：置换序列{q}为Costas阵列，当且仅当对于 Vi，，，知，其中i∈{1，…，n—l}，j≠丘，O≤j—i≤n—l，O≤k—i≤n—l，都有D．，≠D；^．冉由 文121中定理5．4．2可知，置换序列{。．}为CGstas阵列，当且仅当对于Vi，j，^，其中i∈{l，2， …，i(n一1)／2J}，j≠＆，0≤j—i≤rt一1，0≤k—i≤n一1，郡有D．，≠D。^． ’餐释l粼197秘2鬻瓣僦殳黜掣作者简介：唐胜( 】，男．湖南怀化人，碗士生 万方数据 湘潭大学自然科学学报 2000妊 定理2设序列。。。。 。。不是Costs阵列，则以该序列为子序列的序列n。“。，·n。…n。。 (o≤m≤n一1)一定不是n阶Cos伯,s阵列． 证明用反证法证明 假设置换