Concluding that, for the last two cases, we need just one additional 1 symbol to reach the desired configuration. □ Lemma 7 The orbits of configurations (00ωr1) and (0ω0r2) are dense in X, with r1∈{b,p} and r2∈{d,q}. Proof We just need to prove that any finite config...
In addition, it should be pointed out that the structure information of basic blocks in a combined block with the symbol of “NEB” can be different, and no spare space can be vacated by any of them. To accurately determine different blocks as well as efficiently reduce the consumption of ...