User:Inthar/MV3: Difference between revisions
| Line 48: | Line 48: | ||
If the occurrence of any class has an X inserted in the middle, then we can scoot it left or right until we have one of T1(possibly with inserted X's)+X, T2(possibly with inserted X's)+X, or T3 (possibly with inserted X's)+X. Scoot the string with the least X's to the left and you lose the X on the right, and gain another non-X letter on the left so you get a fourth variant of this interval class that contains T1 + X, a contradiction. (Check this again...) | If the occurrence of any class has an X inserted in the middle, then we can scoot it left or right until we have one of T1(possibly with inserted X's)+X, T2(possibly with inserted X's)+X, or T3 (possibly with inserted X's)+X. Scoot the string with the least X's to the left and you lose the X on the right, and gain another non-X letter on the left so you get a fourth variant of this interval class that contains T1 + X, a contradiction. (Check this again...) | ||
=== Lemma 2: Sizes of chunks of any fixed letter form a MOS === | === Lemma 2: Sizes of chunks of any fixed letter form a MOS (except XXYZY) === | ||
WOLOG consider chunks of X. Use Q for both Y and Z. | WOLOG consider chunks of X. Use Q for both Y and Z. | ||