锚定 marker 后交换可局部化
lesson predicate verification local insertion witness normalization
先固定唯一 marker 的插入锚点,再把一次相邻交换拆成 marker 左侧或右侧的纯串局部问题。
lesson predicate verification local insertion witness normalization
先固定唯一 marker 的插入锚点,再把一次相邻交换拆成 marker 左侧或右侧的纯串局部问题。