[논문 리뷰] Constraint Solvers for User Interface Layout

Noreen Jamil|arXiv (Cornell University)|2014. 01. 06.

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 레이아웃 사양을 대상으로 내점점법, 활성집합법, 심플렉스법을 경험적으로 평가한다.
• 제약 만족에서의 제곱 편차를 최소화하기 위해 이차 목표 함수를 사용하여 제약 위반의 균일한 분포를 가능하게 한다.
• 선형 등식 및 부등식 제약 조건을 만족하는 볼록 이차계획문제를 해결하기 위해 내점점법을 적용한다.
• 비교를 위한 벤치마크로 활성집합법을 사용하며, 이를 QOCA-솔버 프레임워크에 통합한다.
• 기존의 기준으로서 심플렉스법을 사용하여 새로운 내점점법과 비교한다.
• 다양한 문제 인스턴스를 통해 회귀 모델과 런타임 측정을 이용하여 수렴 행동과 성능을 분석한다.

실험 결과

연구 질문

• RQ1 제약 기반 GUI 레이아웃 문제에서 내점점법은 활성집합법과 심플렉스법에 비해 성능과 수렴 속도 면에서 어떻게 비교되는가?
• RQ2 UI 레이아웃 시스템에서 선형 목표 함수에 비해 이차 목표 함수가 더 균일한 제약 위반 분포를 이끌 수 있는가?
• RQ3 왜 내점점법은 활성집합법과 심플렉스법에 비해 희박하고 대규모의 레이아웃 문제에서 뛰어난 성능을 보이는가?
• RQ4 반복적 솔버의 수렴 속도에 영향을 미치는 요소들은 무엇이며, 특히 문제의 희박성과 크기와의 관계는 어떠한가?
• RQ5 반복적 방법인 내점점법이 실시간 GUI 레이아웃 계산에서 직접 방법을 얼마나 대체할 수 있는가?

주요 결과

• 내점점법은 희박하고 대규모의 UI 레이아웃 문제에서 활성집합법과 심플렉스법에 비해 수렴 속도와 계산 효율성 면에서 뛰어나다.
• 내점점법은 활성집합법보다 수렴 속도가 빠르며, 활성집합 업데이트 시 조합적 복잡성이 발생하는 데서 기인한다.
• 심플렉스법은 직접 방법(Gauss-Jordan 소거법)을 반복마다 사용하기 때문에 가장 느리며, 희박한 시스템에서 필르인 효과로 인해 성능 저하가 발생한다.
• 회귀 분 析 결과 내점점법의 런타임에 대해 강한 음의 계수를 보이며 더 빠른 성능을 의미하며, p-값은 0.001 이하임을 확인하였다.
• 활성집합법은 라그랑주 승수 추정 및 제약 조건 재정렬과 같은 복잡한 연산으로 인해 계산 오버헤드가 증가하여 수렴 속도가 느리다.
• 결과적으로 내점점법은 희박 문제에서의 확장성과 강건성 덕분에 실시간 반응형 GUI 레이아웃 시스템에 더 적합하다고 제안된다.