User:Inthar/MV3: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 45: | Line 45: | ||
So it's pretty obvious that you havve to have MV2 within a contiguous string, but what about the whole string minus the X's? | So it's pretty obvious that you havve to have MV2 within a contiguous string, but what about the whole string minus the X's? | ||
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. | 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 === | ||