Rank-3 scale theorems: Difference between revisions
| Line 63: | Line 63: | ||
# ''S is PMOS, or S is of the form x'y'z'y'x' or its repetitions.'' | # ''S is PMOS, or S is of the form x'y'z'y'x' or its repetitions.'' | ||
# ''S is AG, or S is of the form x'y'z'y'x' or its repetitions, or x'y'x'z'x'y'x' or its repetitions.'' | # ''S is AG, or S is of the form x'y'z'y'x' or its repetitions, or x'y'x'z'x'y'x' or its repetitions.'' | ||
====== MV3 implies LQ (WIP) ====== | ====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ||
====== An MV3 is pairwise MOS (PMOS) except in the case "xyzyx" (WIP) ====== | ====== An MV3 is pairwise MOS (PMOS) except in the case "xyzyx" (WIP) ====== | ||