读《大话数据结构》
链表
- 初看链表程序,就是把指针包装成结构体,前后链接起来。觉得道理浅显易懂,但是自己写又很难写好,只能去copy。明显自己没有学到精髓。
后来,也许是看的多了。不自觉意识到写链表需要提炼的核心要点。帮助写好链表:
①,注意插入的位置。上图“将S插入P之后”,所以在四条语句中都只应用了S和P节点,P节点作为唯一绝对位置,其他节点也只是应用P->next索引。对于“删除节点P”也是一样,删除P节点,P节点作为唯一绝对位置,两条操作语句都只用了P结点,其他节点用P->next和P->prior索引。
②,注意节点操作顺序。不要出现数据被覆盖丢失情况,应该先将空数据节点赋值,再操作以前的数据节点。
串-KMP算法
next函数的解释
在字符串的KMP模式匹配算法中,需先求解模式串的next函数值。
n
e
x
t
[
j
]
=
{
0
j
=
1
m
a
x
{
k
∣
1
<
k
<
j
,
′
p
1
p
2
.
.
.
p
k
−
1
′
=
′
p
j
−
k
+
1
p
j
−
k
+
2
.
.
.
p
j
−
1
′
}
1
其
他
情
况
next[j] = \left\{ \begin{array}{rcl} 0 & & j=1 \\ {max\{k|1<k<j,'p_1p_2...p_{k-1}' = 'p_{j-k+1}p_{j-k+2}...p_{j-1}'\}} & & \\ 1 & & 其他情况 \end{array} \right.
next[j]=⎩⎨⎧0max{k∣1<k<j,′p1p2...pk−1′=′pj−k+1pj−k+2...pj−1′}1j=1其他情况
关键是什么? 是上面那个公式。
首先 这个下标是从1 开始
p : a b a a c
j : 1 2 3 4 5
next[j] :
当j=1时,题意已知 next[j]=0;
p : a b a a c
j : 1 2 3 4 5
next[j] : 0
当j=2时,next[j]取值有两种情况
1.next[j]=max{k|1<k<j;'p1p2……pk-1'='pj-k+1pj-k+2……pj-1'
这个公式的意思是(以next[2]为例)next[2]=max{k|1<k<j,……} k取符合1<k<j;'p1p2……pk-1'='pj-k+1pj-k+2……pj-1'的最大正整数,j=2时,1<k<2,不存在最大正整数,于是 符合下一种情况 next[j]=1;
2.next[j]=1
p : a b a a c
j : 1 2 3 4 5
next[j] : 0 1
当j=3时,next[j]取值有两种情况,
1.next[j]=max{k|1<k<j;'p1p2……pk-1'='pj-k+1pj-k+2……pj-1' next[3]=max{k|1<k<j,……}
1<k<3 k可取 2 p1=p2? p1=a p2=b p1!=p2 因此不存在这样k于是符合第二种情况 next[3]=1;
2.next[j]=1
p : a b a a c
j : 1 2 3 4 5
next[j] : 0 1 1
当j=4时,next[j]取值有两种情况,
1.next[j]=max{k|1<k<j;'p1p2……pk-1'='pj-k+1pj-k+2……pj-1' next[3]=max{k|1<k<j,……}
1<k<4 k可取 2,3
当k=2,p1=p3? p1=a p2=b p3=a p4=a p1=p2 k可以取2
当k=3,p1p2=p2p3,p1p2!=p2p3
so k=2
2.next[j]=1
p : a b a a c
j : 1 2 3 4 5
next[j] : 0 1 1 2
当j=5时,next[j]取值有两种情况,
1.next[j]=max{k|1<k<j;'p1p2……pk-1'='pj-k+1pj-k+2……pj-1' next[3]=max{k|1<k<j,……}
1<k<5 k可取 2,3,4
当k=2,p1=p4? p1=a p2=b p3=a p4=a p1=p2 k可以取2
当k=3,p1p2=p3p4,p1p2!=p2p3
当k=4,p1p2p3=p2p3p4 p1p2p3!=p2p3p4
so k=2
2.next[j]=1
p : a b a a c
j : 1 2 3 4 5
next[j] : 0 1 1 2 2
这个公式,其实主要目的就是对“S串与T串重复,而有T串自身有重复”的解决方法。
是通过总结归纳通过数学表达式对这个操作的描述,达到目的。
红框部分对应着下图,j指针跳转(到T串重复部分的后一个字符位置)。这样 就不用比较前面重复(已经确保比对成功的字符“ab”)了。