简介：本文首先把边着色问题转化成可满足性问题,然后利用Lipton解决SAT思想来解决边着色问题,最后应用一个实例来说明算法。
简介：档案鉴定工作作为档案事业发展的助推力,直接影响着档案价值的实现与档案工作的效率。对此,无论是我国还是美国都十分注重档案鉴定工作。但由于中美之间政治、文化的差异,以及实践历程发展的不同,两者之间的鉴定工作也呈现出不同的景象。本文主要通过分析二者对档案鉴定工作的思想、原则、方法等方面的理解与实践,从而对中美档案鉴定工作进行比较研究,以便给我国档案工作一定的借鉴意义。
排课表问题的DNA计算
中美档案鉴定工作比较研究
