User:Inthar/MV3: Difference between revisions

Inthar (talk | contribs)
Tags: Mobile edit Mobile web edit
Inthar (talk | contribs)
No edit summary
Tags: Mobile edit Mobile web edit
Line 44: Line 44:


So it's pretty obvious that you have to have MV2 within a contiguous string, but what about the whole string minus the X's?
So it's pretty obvious that you have to have MV2 within a contiguous string, but what about the whole string minus the X's?
By MV3 we immediately have that chunks of X's separated by Q's can differ in size by at most 2. e.g. can't have XQ and XXXXQ.


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...)