User:Inthar/MV3: Difference between revisions
→MV3 Theorem 1: PWF is too restrictive, LLSLLM is a counterexample to "MV3 implies PMOS except in abcba" |
|||
| Line 40: | Line 40: | ||
=== Lemma 1: S is pairwise MOS (PMOS) except in the case "xyzyx" === | === Lemma 1: S is pairwise MOS (PMOS) except in the case "xyzyx" === | ||
A word with three step sizes x, y, z is pairwise MOS "PMOS" if the result of equating any two of the step sizes is a MOS. | |||
TODO: account for case xyzyx. | TODO: account for case xyzyx. | ||