本课题是对图论中等解决难题的计算机算法研究。在研究中,我们注重计算机科学与数学结合,着重于用数学方法保证算法的正确性,并节省算法所需时间。我们取题于美国《图论》,荷兰《离散数学》所讨论难题,在此基础上,用数学证明与计算机构造性证明相结合的方法,设计出图的同构算法,正则图的构造算法,平面图的构造算法,图的交叉数学法等,成功地解决了一些图伦待解决难题。已完成论文7篇,共中5篇已投往美国《图能》与荷兰《离散数学》等杂志。由于图论中待解决难题多属NP--困难问题,需指数时间直接计算。本课题所用方 法为解决一般人P--困难问题提供一条可供参考的好方法
{{i.achievement_title}}
数据更新时间:2023-05-31
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
固态下钢和铝合金中析氢过程的化学传感法研究
钢铁`铜`铝熔体中溶解态稀土,钙活度的传感法研究
增氢析氢法钢中夹杂物深度去除基理研究
质子导体氢泵和氢传感器在铝液无污染脱氢和传感测氢中的应用研究