ただし、この修正では明らかに不要な部分（k N）まで計算してしまい、無駄だと思います。
作業領域は M + N + 1 のままで、不要な部分を計算しないように修正したコードを http://vivi.dyndns.org/d/10697 に示しておきましたので、ご確認いただけると幸いでござりまする。

私が書いたコメント３の記述

> ズムでは配列を非情に上手く使っています。基本的に編集距離kのときの
> 対角成分は編集距離k-1のものから計算できるので、それらを記憶できる
> 領域が２面あれば計算できます。O(ND)のアルゴリズムでは

は、記号（kとD）が本文と違い、分かりにくいので下記のように修正します。

> ズムでは配列を非常に上手く使っています。基本的に編集距離Dのときの
> 対角成分は編集距離D-1のものから計算できるので、それらを記憶できる
> 領域が２面あれば計算できます。O(ND)のアルゴリズムでは

また、
> http://hp.vector.co.jp/authors/VA007799/viviProg/doc5.htm
の方にも間違いを指摘しておきます（ここの議論をみてくださいと言うだけですが）。

最後に、この比較のアルゴリズムは非常に分かりにくいので、こういう分かりやすい解説のページがあるととても助かります。ありがとうございました。

> ２2面あれば計算できます。

間違えました。

　　２面あれば計算できます。

です。すみませんでした。

たぶん配列の大きさ M + N + 3 でも無理と思います。O(ND)のアルゴリズムでは配列を非情に上手く使っています。基本的に編集距離kのときの対角成分は編集距離k-1のものから計算できるので、それらを記憶できる領域が２2面あれば計算できます。O(ND)のアルゴリズムではV[2(M+N)+1]の配列の奇数要素と偶数要素を毎回切り替えてこれを表現しているわけです。

私もここしばらく diff のアルゴリズムを実装しようとして、配列の大きさに関するバグがなかなかとれずに悩んでいましたので、上記のコメントをしておきます。

第一希望が海外製のソニッケアキッズ。
替えブラシが高いのと防水ではないのが変わってなくて残念。

で、ちょっと調べてみたんですが、perlのforeachのワーク変数って参照（っつーか実体！？）が入ってくるんすね・・・orz
記事のコードだと、実体を置換してるからそりゃマッチしないっすね。

勉強になりました。

$i が 0 のときの処理が終わると @ar の内容が (’0′,’0-2′) になって
その次の
$i が 1 のときは /\$c/ にマッチしなくなって @ar の内容は変化せず
print の結果が (’0′,’0-2′) になる。

foreach と for は昔からその動作だったかと。