VP(x,y) <- DP(x,y) == DP(x,y-1)+1
VN(x,y) <- DP(x,y) == DP(x,y-1)-1
HP(x,y) <- DP(x,y) == DP(x-1,y)+1
HN(x,y) <- DP(x,y) == DP(x-1,y)-1
VP は下に行く時に1増える時に true
VN は下に行く時に1減る時に true
HP は右に行く時に1増える時に true
HN は右に行く時に1減る時に true
となるような4つの bit vector を考えてやれば DP を表現できる