斜め右下に移動する時に変化が無いことを示す変数も必要
D0(x,y) <- DP(x,y) == DP(x-1,y-1)VP(x,y) <- DP(x,y) == DP(x,y-1)+1VN(x,y) <- DP(x,y) == DP(x,y-1)-1HP(x,y) <- DP(x,y) == DP(x-1,y)+1HN(x,y) <- DP(x,y) == DP(x-1,y)-1
ちなみに斜めに進む時は、1増えるか、変化しないか、のどちらか(減ることはありえない)