跳到主要内容

東北大学 工学研究科 電気・情報系 2018年8月実施 基礎科目 問題4 情報基礎2

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

日本語原文

長さ mm の文字列 XX から、長さ nn の文字列 YY への変換を考える(m,n0m,n\ge0)。変換には、以下に示す挿入/削除操作を用いる。

  • Insertion: XX のどこかに任意の一文字を挿入(一回の挿入の操作コストを CIC_I と表記)
  • Deletion: XX 中の一文字を削除(一回の削除の操作コストを CDC_D と表記)

XXYY に変換する操作手順は無数に考えられるが、コストの合計が最小となる操作手順のみを考える。XXYY に変換する操作手順の最小コストを、XX から YY への編集距離と呼ぶ。以下の問に答えよ。

(1) CI=CD=1C_I=C_D=1X=acbaX=acba および Y=abaccY=abacc の場合の編集距離を考える。編集距離を求める問題は、Fig. 4(a) に示すような (m+1)×(n+1)(m+1)\times(n+1) の格子状グラフを考えることで、辺重み付グラフ上の最短経路問題に帰着できる。Fig. 4(a) 中の右向きの辺は Insertion、下向きの辺は Deletion に対応する。また、右下向きの破線の辺は文字が一致するので Insertion および Deletion が不要であることを表す。

(a) XiX_iYjY_j を、それぞれ、XX の先頭から ii 番目の文字までの部分文字列と、YY の先頭から jj 番目の文字までの部分文字列とする。全ての (i,j)(i,j) ペアに対して、XiX_i から YjY_j への編集距離を求め、その結果を Fig. 4(b) にある表の空欄を埋める形式で示せ。

(b) Fig. 4(a) のグラフ中の各頂点を対応する (i,j)(i,j) で表記する。(0,0)(0,0) から (m,n)(m,n) への最短経路を頂点 (i,j)(i,j) の系列で一つ示せ。

系列の表記の例:(0,0),(0,1),(0,2),(1,3),(2,4),(3,4),(3,5),(4,5)(0,0),(0,1),(0,2),(1,3),(2,4),(3,4),(3,5),(4,5)

(2) 新たな操作として以下が追加されたとする。

  • Substitution: XX 中の一文字を別の一文字に置換(一回の置換の操作コストを CSC_S と表記)

CI=CD=1C_I=C_D=1CS=1.5C_S=1.5X=ccbacX=ccbac および Y=acdbY=acdb の場合の編集距離を考える。

(a) Fig. 4(a) と同じ形式で、XX から YY への編集距離を求める問題に対応する最短経路問題のグラフを示せ。Substitution は二重矢印を用いて表せ。

二重矢印の表記の例:\Rightarrow

(b) 問 (1)(b) で示した表記の例に従って、(0,0)(0,0) から (m,n)(m,n) への全ての最短経路をそれぞれ頂点 (i,j)(i,j) の系列で示せ。

题目描述

将长度 mm 的字符串 XX 变为长度 nn 的字符串 YY。插入、删除一个字符的代价分别为 CI,CDC_I,C_D;总费用的最小值称编辑距离。

以顶点 (i,j)(i,j) 表示 XX 的前 ii 个字符到 YY 的前 jj 个字符。向右边表示插入,向下边表示删除;当 Xi=YjX_i=Y_j 时,从 (i1,j1)(i-1,j-1)(i,j)(i,j) 有权 00 的匹配边。

(1) CI=CD=1, X=acba, Y=abaccC_I=C_D=1,\ X=acba,\ Y=abacc

  • (a) 求所有前缀对的编辑距离,填成 5×65\times6 表格。
  • (b) 写出从 (0,0)(0,0)(4,5)(4,5) 的一条最短路径的顶点序列。

(2) 增加字符替换操作,费用 CSC_S。令 CI=CD=1, CS=1.5, X=ccbac, Y=acdbC_I=C_D=1,\ C_S=1.5,\ X=ccbac,\ Y=acdb

  • (a) 画出相应的加权格点图,用双箭头表示替换边。
  • (b) 写出每一条最短路径的顶点序列。

Kai

(1)

di,jd_{i,j} 为前缀距离,di,0=i,d0,j=jd_{i,0}=i,d_{0,j}=j,递推为

di,j=min{di1,j+1, di,j1+1, di1,j1 (仅当 Xi=Yj}.d_{i,j}=\min\left\{d_{i-1,j}+1,\ d_{i,j-1}+1,\ d_{i-1,j-1}\ \text{(仅当 }X_i=Y_j\text{)}\right\}.

(a)

i\ji\backslash j012345
0012345
1101234
2212323
3321234
4432123

(b) 最短距离为 33,路径为

(0,0),(1,1),(2,1),(3,2),(4,3),(4,4),(4,5).(0,0),(1,1),(2,1),(3,2),(4,3),(4,4),(4,5).

即删除原串中的 cc,末尾插入两个 cc

(2)

(a) 横边、竖边权均为 11,匹配虚线边权为 00,双线替换边权为 1.51.5

编辑距离加权格点图

(b) 在递推中增加替换候选值 di1,j1+1.5d_{i-1,j-1}+1.5。所得距离表为

i\ji\backslash j01234
001234
111.5123
222.51.52.53.5
333.52.532.5
4433.543.5
554344.5

最短距离为 4.5\boxed{4.5},全部最短路径为

(0,0),(1,1),(2,2),(2,3),(3,4),(4,4),(5,4),(0,0),(0,1),(1,2),(2,3),(3,4),(4,4),(5,4).\begin{aligned} &(0,0),(1,1),(2,2),(2,3),(3,4),(4,4),(5,4),\\ &(0,0),(0,1),(1,2),(2,3),(3,4),(4,4),(5,4). \end{aligned}

第一条:将首个 cc 替换为 aa,在 bb 前插入 dd,删除末尾 a,ca,c

第二条:在开头插入 aa,将第二个 cc 替换为 dd,删除末尾 a,ca,c