解答：

第一次出现“失配”（s[i] ≠ t[j]）时，i = j = 5，隐藏含义是主串和模式串下标都从0开始，这个条件非常重要。

方法一：计算 next 数组后模拟

第一步：计算出模式串的next数组。

本人自编口诀优化前的next数组：第一格负一，第二格零，前缀等于后缀取最长。

这里由于主串和模式串下标都从0开始，没必要用优化后的next数组求解。优化后的next数组增加的1和下标都从0开始相比下标都从1开始减少的1正好相抵。

第二步：遍历主串对模式串进行匹配。

第一次匹配在模式串下标为5的位置出现失配，找到之前匹配的子串为abaab，最长相同前缀与后缀为ab，将前缀的ab移动到后缀ab的位置。

或者查表next数组失配字符c，其下标为5，其next值为next[5] = 2，已匹配字符数为5，移动位数 = 已匹配字符数 - 失配位置对应的匹配值 = 5 - 2 = 3。模式串向后移动3格，从失配位置开始重新进行匹配，此时 i = 5, j = 2。

或者查表next数组失配字符c，其下标为5，其next值为next[5] = 2，j指针直接跳转到模式串下标为2的位置，从失配位置开始重新进行匹配，此时 i = 5, j = 2。

本题选C。

方法三：贪心

贪心找到最多匹配的情况，同样画出上图。虽然这个方法不严谨，好在本题足够简单，从失配位置开始重新进行匹配，很容易看到i = 5, j = 2。

本题选C。

补充本人对本题完整KMP匹配过程的模拟。