[論文レビュー] Constraint Solvers for User Interface Layout

Noreen Jamil|arXiv (Cornell University)|Jan 6, 2014

Optimization and Packing Problems参考文献 13被引用数 4

ひとこと要約

この論文は、制約ベースのGUIレイアウトにおける二次計画問題を解くために、内点法、アクティブセット法、シンプレックス法を評価している。内点法がスパースで大規模なUIレイアウト問題において、収束速度と効率性の面で、アクティブセット法およびシンプレックス法を著しく上回ることを示しており、QOCA やシンプレックスベースのアプローチといった既存のソルバーよりも高速な代替手段を提供している。

ABSTRACT

Constraints have played an important role in the construction of GUIs, where they are mainly used to define the layout of the widgets. Resizing behavior is very important in GUIs because areas have domain specific parameters such as form the resizing of windows. If linear objective function is used and window is resized then error is not distributed equally. To distribute the error equally, a quadratic objective function is introduced. Different algorithms are widely used for solving linear constraints and quadratic problems in a variety of different scientific areas. The linear relxation, Kaczmarz, direct and linear programming methods are common methods for solving linear constraints for GUI layout. The interior point and active set methods are most commonly used techniques to solve quadratic programming problems. Current constraint solvers designed for GUI layout do not use interior point methods for solving a quadratic objective function subject to linear equality and inequality constraints. In this paper, performance aspects and the convergence speed of interior point and active set methods are compared along with one most commonly used linear programming method when they are implemented for graphical user interface layout. The performance and convergence of the proposed algorithms are evaluated empirically using randomly generated UI layout specifications of various sizes. The results show that the interior point algorithms perform significantly better than the Simplex method and QOCA-solver, which uses the active set method implementation for solving quadratic optimization.

研究の動機と目的

• 制約ベースのGUIレイアウトにおける二次計画問題を解くために、内点法、アクティブセット法、シンプレックス法の性能を評価・比較すること。
• ウィンドウのリサイズ時に制約違反を非一様に分散させる線形目的関数の制限を解消すること。
• シンプレックス法やアクティブセット法といった遅いソルバーよりも効率的な代替手段に置き換えることで、GUIレイアウトの応答性を向上させること。
• さまざまなUIレイアウトのサイズと複雑さにおいて、収束速度と計算効率を実験的に評価すること。
• 反復的手法、特に内点法を制約ベースのGUIレイアウトソルバに活用する基盤を確立すること。

提案手法

• ランダムに生成された、サイズが異なるUIレイアウト仕様に対して、内点法、アクティブセット法、シンプレックス法の3つのアルゴリズムを実験的に評価する。
• 制約の満たされ具合の二乗偏差を最小化する二次目的関数を用い、制約違反の均一な分布を可能にする。
• 線形等式および不等式制約を満たす凸二次計画問題を、内点法で解く。
• 比較のベンチマークとして、アクティブセット法をQOCAソルバフレームワークで使用する。
• ベースラインとしてシンプレックス法を用い、新しい内点法アプローチと比較する。
• 複数の問題インスタンスにおいて、回帰モデルと実行時間測定を用いて収束行動とパフォーマンスを分析する。

実験結果

リサーチクエスチョン

• RQ1 制約ベースのGUIレイアウト問題において、内点法はアクティブセット法およびシンプレックス法と比べて、性能と収束速度でどのように異なるか？
• RQ2 UIレイアウトシステムにおいて、線形目的関数と比較して、二次目的関数は制約違反の分布をより均一にできるか？
• RQ3 なぜ内点法は、アクティブセット法およびシンプレックス法と比較して、スパースで大規模なレイアウト問題において優れたパフォーマンスを示すのか？
• RQ4 反復的ソルバの収束速度に影響を与える要因は何か。特に、問題のスパarsityとサイズとの関係においては？
• RQ5 反復的手法、特に内点法は、リアルタイムのGUIレイアウト計算において、直接法をどれほど置き換えることができるか？

主な発見

• スパースで大規模なUIレイアウト問題において、内点法は収束速度と計算効率の面で、アクティブセット法およびシンプレックス法を上回っている。
• 内点法は、アクティブセットの更新に伴う組み合わせ的複雑性に苦しむアクティブセット法よりも著しく高速な収束を達成している。
• シンプレックス法は3つの手法の中で最も遅く、各反復で直接法（ガウス・ジョルダン消去法）が使用されるが、スパース系ではフィルイン効果により性能が著しく低下する。
• 回帰分析により、内点法の実行時間に対する係数が強く負であり、高速なパフォーマンスを示すことが確認され、p値 < 0.001 であった。
• アクティブセット法は、ラグランジュ乗数推定や制約の再順序付けといった複雑な操作が計算オーバーヘッドを増加させ、収束が遅くなる。
• 結果から、内点法はスパース問題に対してスケーラブルで頑健であるため、リアルタイムで応答性の高いGUIレイアウトシステムに適していると示唆される。