算法非原創(chuàng),只是整理,并嘗試說的更完整和易理解。
字符串編輯距離是什么
將一個(gè)字符串轉(zhuǎn)換成另一個(gè)字符串時(shí)需要付出的代價(jià)。轉(zhuǎn)換可以采用插入、刪除、替換三種編輯方式。比如說把字符串“post”轉(zhuǎn)換成“get”,直觀看來(lái)它們的編輯距離頗大,并有許多種轉(zhuǎn)換方式。第一種[替換p為g,替換o為e,刪除
s]這樣它們的轉(zhuǎn)換代價(jià)為3。第二種[刪除p,刪除o,刪除s,刪除g,刪除e]這樣它們的轉(zhuǎn)換代價(jià)為5。不同的轉(zhuǎn)換方式需要的編輯次數(shù)不一樣,最少的那個(gè)編輯方式所需的次數(shù)就是這量字符串的編輯距離。
簡(jiǎn)單的遞歸算法
咋一看這個(gè)問題似乎挺難,因?yàn)閷?duì)同一個(gè)字符串需要選擇在不同位置上采用不同的動(dòng)作才能完成任務(wù),可能會(huì)有一種無(wú)法下手的感覺。但是用計(jì)算機(jī)的思維方式來(lái)看,我們可以把一個(gè)復(fù)雜的大問題轉(zhuǎn)換成一系列簡(jiǎn)單的小問題,有多
簡(jiǎn)單呢?比如要把“post”轉(zhuǎn)換成“get”,我們可以先考慮如何用最小的代價(jià)把“post”轉(zhuǎn)換成“et”,或者是把“ost”轉(zhuǎn)換成“get”z或者是把“ost”轉(zhuǎn)換成“et”,總之是嘗試用三種辦法(插入、刪除、替換)使問題的復(fù)雜度降級(jí),也就是用> 一種遞歸的方式去處理.因?yàn)閷?duì)每一步轉(zhuǎn)換可選擇三種不同的方式(插入、刪除、替換),所以需要對(duì)比每一部的最優(yōu)方式。為了調(diào)試簡(jiǎn)單所以就用js做示例。
function editDis(str1,str2){
if(str1.length==0||str2.length==0){
return Math.abs(str1.length-str2.length)
}
if(str1.charAt(0)===str2.charAt(0)){
return editDis(str1.substr(1,str1.length),str2.substr(1,str2.length))
}
var edInsert = editDis(str1,str2.substr(1,str2.length))+1;
var edDelete = editDis(str1.substr(1,str1.substr.length),str2)+1;
var edReplace = editDis(str1.substr(1,str1.substr.length),str2.substr(1,str2.length))+1;
return Math.min(edInsert,edDelete,edReplace);
}
運(yùn)行結(jié)果如下
editDis("post","get")
3
優(yōu)化的遞歸算法
可以看到上邊的簡(jiǎn)單算法就可以得出正確的結(jié)果了,雖然簡(jiǎn)單卻造成了大量的計(jì)算浪費(fèi),時(shí)間復(fù)雜度太高,在很多子串上做了重復(fù)計(jì)算。優(yōu)化?最先想到的是什么?做緩存啊,把計(jì)算過的結(jié)果存在表里下次計(jì)算首先查表就可以了。
照我的習(xí)慣就直接弄一個(gè)map做緩存了,但本文的主題不還有動(dòng)態(tài)規(guī)劃么,所以考慮用動(dòng)態(tài)規(guī)劃的思想去解決。動(dòng)態(tài)規(guī)劃算法通常基于一個(gè)遞推公式及一個(gè)或多個(gè)初始狀態(tài),當(dāng)前問題的解由上一子問題的解推出。對(duì)我們的問題來(lái)說> ,遞歸仍然是最容易的辦法,只不過可以把每一步子問題的解也就是狀態(tài)存表供可能存在的其它子問題使用,其實(shí)對(duì)這個(gè)問題來(lái)說還是緩存啦。。
var editStatusArr = Array(Array())
function editDisWithStatus(str1,str2,x,y){
if(x==0&&y==0){
for(i=0;i<=str1.length;i++)
editStatusArr[i]=Array();
}
if(editStatusArr[x]!=undefined&&editStatusArr[x][y]!=undefined){
console.log(x+"_"+y);
return editStatusArr[x][y];
} else {
var dis = 0;
if((str1.length)==0){
dis = str2.length;
} else if((str2.length)==0){
dis = str1.length;
} else {
if(str1.charAt(0)===str2.charAt(0)){
dis = editDisWithStatus(str1.substr(1,str1.length),str2.substr(1,str2.length),x+1,y+1);
} else {
var edInsert = editDisWithStatus(str1,str2.substr(1,str2.length),x,y+1)+1;
var edDelete = editDisWithStatus(str1.substr(1,str1.substr.length),str2,x+1,y)+1;
var edReplace = editDisWithStatus(str1.substr(1,str1.substr.length),str2.substr(1,str2.length),x+1,y+1)+1;
dis = Math.min(edInsert,edDelete,edReplace);
}
}
editStatusArr[x][y]= dis;
console.log("x:"+x+" y:"+y+" dis:"+dis);
return dis;
}
}
運(yùn)行結(jié)果如下
editDisWithStatus("post","get",0,0)
3
遞推算法
有了上面遞歸的實(shí)現(xiàn),我們基本上可以確定遞推關(guān)系了.吶,就是下面這個(gè)樣子,首先把其中一個(gè)字串的字符拆開排好,然后在下面標(biāo)上1234,1前面畫0,然后在縱向上在1下面畫123,左側(cè)表上另一個(gè)字串的字符.這樣
遞推關(guān)系的初始態(tài)就有了,接下來(lái)就是填其它的數(shù)字了,要確定一個(gè)空位的數(shù)字首先看該空位對(duì)應(yīng)的兩個(gè)字符是否一樣,如果一樣的話就取該空位左,左上,上,三個(gè)方向上的最小值,如果不一樣就取三個(gè)方向上的最小值加1.嗯
?你不要騙我!這和遞歸的實(shí)現(xiàn)根本不相似.遞歸是從最復(fù)雜的一步開始思考,由繁至簡(jiǎn).而遞推是從初始態(tài)開始的,由簡(jiǎn)至繁.其實(shí)是差不多的.
p | o | s | t | ||
---|---|---|---|---|---|
0 | 1 | 2 | 3 | 4 | |
g | 1 | 1 | 2 | 3 | 4 |
e | 2 | 2 | 2 | 3 | 4 |
t | 3 | 3 | 3 | 3 | 3 |
function editDis(str1,str2){
var editStatusArr = Array(Array())
var i=0,j=0;
for(i=0;i<=str1.length;i++){
editStatusArr[i]=Array();
}
for(j=0;j<=str2.length;j++){
editStatusArr[0][j]=j;
}
for(i=0;i<=str1.length;i++){
editStatusArr[i][0]=i;
}
for(i=1;i<=str1.length;i++){
for(j=1;j<=str2.length;j++){
if(str1.charAt(i-1)===str2.charAt(j-1)){
editStatusArr[i][j]=editStatusArr[i-1][j-1];
} else {
editStatusArr[i][j]=Math.min(editStatusArr[i][j-1],editStatusArr[i-1][j],editStatusArr[i-1][j-1])+1;
}
}
}
return editStatusArr[i-1][j-1];
}