给定(n,k(nequiv k(mod~2)))，要求构造一个01串，满足 ((1))：(s(|s|<k))，要么不出现，要么至少出现(2)次以上 ((2))：至少存在一个(s(|s|=k))，出现恰好一次
令(L=frac{n-k}{2}) 按(L)个(1),(1)个(0)，一直循环下去 会发现串(s_{L+1,n-L})长度为(k)，且恰好出现一次 若(s(|s|<k))，左端点出现在第一个串内，向右移，边界情况为(l+1+k-1+l+1=n)