[math-fun] Sizing permutation graphs