Rank-3 scale theorems: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 100: | Line 100: | ||
X...XZZZ...Z (suffix = at most c+1 Z's) | X...XZZZ...Z (suffix = at most c+1 Z's) | ||
[get two intervals in w_Y two numbers of Z's, then get two numbers of Y's in w by the fact that w_X is a mos] | [get two intervals in w_Y with two numbers of Z's, then get two numbers of Y's in w by the fact that w_X is a mos] | ||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||