锚定后交换只改一侧
lesson predicate verification local insertion witness normalization
固定唯一 marker 位置后,若 witness 只含一次交换,则交换只能落在 marker 一侧的纯字母串内,另一侧保持不变。
lesson predicate verification local insertion witness normalization
固定唯一 marker 位置后,若 witness 只含一次交换,则交换只能落在 marker 一侧的纯字母串内,另一侧保持不变。