汉密尔顿回路逻辑程序的两个结果(英文)

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明。本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果。

关于汉密尔顿最短路径的算法

提出了一个对业已存在的赋权汉密尔顿回路进行优化的算法。该算法以经典算法的解为起点,寻找其局部极值点,极大改进了经典启发式算法的性能。该算法属半多项式算法。

WSN中一种轻量级和高安全性的密钥管理方案

提出了一种基于ECC和ElGamal的轻量级高安全性密钥管理方案。该方案采用汉密尔顿算法构造密钥池,采用分区域管理模型,每一区域设有一个服务器和控制中心,协议结合ElGamal进行通信双方的会话密钥协商。性能分析和仿真结果表明,该方案与传统的密钥管理方案相比,方案中节点的计算开销和通信开销得到了大大的降低,具有良好的网络连通性,比较适合于无线传感器网络。

关于二部图K_(m,m)的若干性质

本文讨论了二部图Km ,m 的性质 ,其中一个性质说明 ,Ore(奥尔 )在 196 0年提出的图G是Hamilton图的充分条件 ,当图G是二部图时其充分条件可减弱 .

基于旅游互动平台的线路规划

为帮助旅行者更好的规划旅游线路,以旅行者对这次旅游所能投入的金钱和时间为约束条件,通过对含有位置信息的图片聚类得出当前季节热度最高的景点,然后利用汉密尔顿最短回路算法得出满足条件的路径。

波段排序的高光谱影像3维混合树编码方法

目的高光谱影像压缩的关键技术是对空间维和光谱维的去相关性。根据高光谱影像数据结构的特点,如何有效去除其空间相关性与谱间相关性是高光谱影像压缩中至关重要的问题。对高光谱影像进行编码时,3维小波变换是极为有效的去除冗余的方法。因此提出了一种通过波段排序并结合3维混合树型结构对高光谱影像3维小波变换系数进行编码的算法。方法首先,将高光谱影像按照自然波段顺序进行波段分组,并对每组影像进行相邻影像的谱间相关性统计;其次,对相关性较弱的波段组,建立以影像波段序号为顶点、影像相关性系数为边的完全图,对这个完全图求其最大汉密尔顿回路。按照求得的最大汉密尔顿回路顺序对该波段组进行重新排序,从而提高波段组的谱间相关性;在此基础上,对重新排序后的波段组进行3维小波变换,并通过3维混合树结构对3维小波变换系数进行零树编码。结果通过对大量AVIRIS型高光谱影像数据的仿真实验,验证了本文方法的有效性。对相关性较低的波段组,加入排序算法后,其解码影像与未排序时比,峰值信噪比有了一定的提高。通过实验统计,算法平均用时2.7579 s。结论由于采用了对弱相关性波段组的重新排序机制,使得基于混合树结构的3维零树编码出现了更多有效的零树,在一定程度上提高了编码效率。通过实验统计算法用时,表明该方法以较小的时间代价获得了解码效果的提升。