Rank-3 scale theorems: Difference between revisions
| Line 59: | Line 59: | ||
# ''S is MV3 for all possible choices of step ratio x:y:z.'' | # ''S is MV3 for all possible choices of step ratio x:y:z.'' | ||
# ''(a) S is PMOS, or (b) S is of the form x'y'z'y'x', or (c) S has signature nx ny nz, n ≥ 2.'' | # ''(a) S is PMOS, or (b) S is of the form x'y'z'y'x', or (c) S has signature nx ny nz, n ≥ 2.'' | ||
# ''(a) S is AG and is of the form ax by bz, or (b) S is of the form x'y'x'z'x'y'x', or (c) S is one of the exceptions to PMOS in statement 2.'' | # ''(a) S is AG *and* is of the form ax by bz, or (b) S is of the form x'y'x'z'x'y'x', or (c) S is one of the exceptions to PMOS in statement 2.'' | ||
====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ||