[논문 리뷰] ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

Siddharth Chitnis, Madhu Yennamani외 1명|ArXiv.org|2007. 01. 17.

Spreadsheets and End-User Computing참고 문헌 7인용 수 4

한 줄 요약

ExSched는 유한 도메인 제약 조건을 셀에 부착할 수 있도록 해주어 스케줄링, 시간표 편성, 구성 문제를 상호작용적이고 사용자 友好的하게 해결할 수 있도록 스프레드시트 패러다임을 확장하는 마이크로소프트 엑셀 플러그인입니다. 이는 CLP(FD)에 대한 고수준 인터페이스를 제공하여 초보자 사용자가 로직 프로그래밍의 저수준 복잡성을 숨기고 사용할 수 있도록 합니다.

ABSTRACT

We report on the development of a general tool called ExSched, implemented as a plug-in for Microsoft Excel, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them. The ExSched interface generalizes the spreadsheet paradigm to allow finite domain constraints to be attached to the individual cells that are then solved to get a solution. This extension provides a user-friendly interface for solving constraint satisfaction problems that can be modeled as 2D tables, such as scheduling problems, timetabling problems, product configuration, etc. ExSched can be regarded as a spreadsheet interface to CLP(FD) that hides the syntactic and semantic complexity of CLP(FD) and enables novice users to solve many scheduling and timetabling problems interactively.

연구 동기 및 목표

• 논리 프로그래밍에 대한 숙련도 없이도 제약 만족 문제(CSPs)를 해결할 수 있는 사용자 友好的 인터페이스를 개발하는 것.
• 산술 식에 기반한 전통적인 스프레드시트 모델을 셀에 유한 도메인 제약 조건을 통합하여 일반화하는 것.
• 시간표 편성 및 스케줄링과 같은 2차원 테이블 기반 문제를 익숙한 엑셀 환경을 통해 상호작용적이고 시각적으로 해결할 수 있도록 하는 것.
• 고수준 문제 모델링과 저수준 CLP(FD) 실행 사이의 격차를 해소하기 위해 문법적 및 의미적 복잡성을 추상화하는 것.

제안 방법

• 시스템은 사용자가 셀에 유한 도메인 제약 조건을 첨부할 수 있도록 엑셀을 확장합니다. 이는 산술 수식을 입력하는 방식과 유사합니다.
• 제약 조건은 스프레드시트 셀 내부에 통합된 고수준 제약 논리 프로그래밍(CLP) 문법을 사용하여 표현됩니다.
• 기반 솔버는 제약 조건 전파 및 일致한 해를 찾기 위한 검색을 수행하기 위해 CLP(FD) 기술을 활용합니다.
• 인터페이스는 점진적 해결 및 상호작용 피드백을 지원하여 사용자가 제약 조건을 수정하고 실시간으로 해의 업데이트를 관찰할 수 있도록 합니다.
• 도구는 엑셀의 셀 기반 구조와 통합되어 있어 익숙한 탐색 방식과 데이터 레이아웃을 유지하면서도 제약 기반 계산을 가능하게 합니다.
• 해결된 결과는 스프레드시트에 직접 계산되어 표시되며, 제약 조건 만족 여부는 셀 색상 또는 상태 표시를 통해 검증하고 시각화합니다.

실험 결과

연구 질문

• RQ1 코드를 작성하지 않더라도 스프레드시트 유사 인터페이스가 제약 만족 문제를 효과적으로 모델링하고 해결할 수 있는가?
• RQ2 CLP(FD)의 표현력을 어떻게 비시각적, 셀 기반 인터페이스를 통해 추상화하고 노출시킬 수 있는가?
• RQ3 일반 목적의 도구인 ExSched가 실세계의 스케줄링 및 시간표 편성 문제를 상호작용적이고 직관적인 방식으로 얼마나 잘 지원할 수 있는가?
• RQ4 엑셀과 같은 널리 사용되는 애플리케이션과 제약 논리 프로그래밍을 통합함으로써 비전문가 사용자에게 접근성이 향상되는가?

주요 결과

• ExSched는 사용자가 익숙한 스프레드시트 환경을 통해 CSP를 모델링하고 해결할 수 있도록 하여 제약 프로그래밍에 대한 진입 장벽을 크게 낮추는 데 성공했습니다.
• 시스템은 사용자가 셀에 직접 제약 조건을 정의할 수 있으며, 일致성 및 해 상태에 대한 실시간 피드백을 제공합니다.
• 도구는 CLP(FD) 기능을 표현력 손실 없이도 비시각적이고 상호작용적인 인터페이스로 효과적으로 추상화할 수 있음을 입증했습니다.
• CLP(FD)를 엑셀에 통합함으로써 비프로그래머 사용자도 복잡한 스케줄링 및 구성 문제를 상호작용적으로 해결할 수 있도록 했습니다.
• 제약 조건이 셀에 자연스럽게 국소화되는 2차원 테이블 기반 문제, 예를 들어 시간표 편성 및 자원 할당에 대해 이 접근 방식이 효과적임을 입증했습니다.
• 평가 결과, 인터페이스는 직관적인 문제 정의 및 해 탐색을 지원하여 초보자 사용자에게 제약 조건 해결을 가능하게 했습니다.