構(gòu)形可約性證明的DNA算法.pdf

1、DNA計(jì)算是一門新興的研究領(lǐng)域。1994年，Adleman在著名雜志Science上發(fā)表第一篇關(guān)于DNA計(jì)算的文章，他用DNA在試管中解決了著名的哈密爾頓路徑問題。DNA計(jì)算具有大規(guī)模并行計(jì)算的能力，而且與傳統(tǒng)的電子計(jì)算機(jī)相比能存儲(chǔ)更多的數(shù)據(jù)。目前DNA計(jì)算的研究已涉及許多領(lǐng)域，包括生物學(xué)、數(shù)學(xué)、物理、化學(xué)、計(jì)算機(jī)科學(xué)和自動(dòng)化工程等多領(lǐng)域，包括生物學(xué)、數(shù)學(xué)、物理、化學(xué)、計(jì)算機(jī)科學(xué)和自動(dòng)化工程等具體應(yīng)用，是計(jì)算概念上的一次革命。

2、四色問題在1852年首次提出。是一個(gè)可與費(fèi)馬猜想相媲美的難題，直到1976年才由哈肯和阿佩爾給出了第一個(gè)證明，隨后Robertson等人對(duì)他們的方法進(jìn)行了改進(jìn)。首先，他們給出了一個(gè)不可避免集，證明每個(gè)三剖分都至少包含不可避免集中的一個(gè)構(gòu)形。第二步，他們證明每個(gè)構(gòu)形都是可約的，這一部分的證明需要借助于計(jì)算機(jī)實(shí)現(xiàn)，完成第二步的證明大概需要1200個(gè)小時(shí)!本文探討用DNA計(jì)算的方法來解決構(gòu)形的可約性證明，因?yàn)镈NA計(jì)算具有大規(guī)模并行計(jì)算的能力