シーケンスペア
シーケンスペアは、n個の矩形の相対位置関係を、矩形名の順列 Γ + {\displaystyle \Gamma _{+}} と Γ − {\displaystyle \Gamma _{-}} の対 ( Γ + ; Γ − ) {\displaystyle (\Gamma _{+};\Gamma _{-})} で表す。
矩形同士の相対位置関係は次に述べる「上下左右制約」として表される。いま矩形aと矩形bがあり、 Γ + {\displaystyle \Gamma _{+}} と Γ − {\displaystyle \Gamma _{-}} で共にaがbの前にあるとき、すなわち(a b;a b)は、矩形aが矩形bの左にあることを表す。また、 Γ + {\displaystyle \Gamma _{+}} でaがbの前にあり、 Γ − {\displaystyle \Gamma _{-}} でaがbの後ろにあるとき、すなわち(a b;b a)は、矩形aが矩形bの上にあることを表す。
Wongらは、非平衡スライス木を逆ポーランド記法で表現し、これを標準化ポーランド記法(normalized polish expression)と呼んだ。これはすなわち、モジュール配置を文字列にエンコードしたことになる。なお、標準化ポーランド記法では*もしくは+記号が連続することはない。このことは非平衡スライス木を見れば明らかである。例えば、図2のスライス構造を表す標準化ポーランド記法は、21+745*6*+3+*となる。
スライス木は全二分木であることから、モジュール数(すなわち葉の数)がnのとき、葉以外の節点の数はn-1なので、モジュールn個の配置を2n-1個の文字にて表現することができる。この文字列から元の配置をデコードするには各文字を1回ずつなめれば良いので、 O ( n ) {\displaystyle O(n)} 時間でデコード可能である。
Wongらはさらに、標準化ポーランド記法の文字列において、文字と文字を入れ替え一定のルールを作り、元の文字列が表すモジュール配置とは異なる配置の生成を可能にした。これを元の解の隣接解とし、デコード後のモジュール配置を囲む最小の長方形の面積を評価関数とすれば、焼きなまし法を用いることで、モジュールを出来るだけ小さい矩形領域内に配置するフロアプラン問題の準最適な解を求めることが可能になる。