이 논문은 일괄 처리 알고리즘에서 온라인 알고리즘으로 자동 변환하는 새로운 기술을 제안한다.
주요 내용은 다음과 같다:
관계 함수 서명(RFS) 개념을 도입하여 온라인 알고리즘과 일괄 처리 알고리즘 간의 관계를 정의한다. RFS는 온라인 알고리즘의 추가 인자들을 일괄 처리 알고리즘의 하위 표현식들과 매핑한다.
RFS 기반 합성 방법론을 제안한다. 이 방법론은 RFS의 귀납성을 활용하여 온라인 알고리즘을 자동으로 생성한다.
제안한 방법론을 구현한 Opera 도구를 개발하였다. Opera는 통계 계산과 온라인 경매 도메인의 50개 이상의 벤치마크에서 98%의 과제를 자동으로 해결할 수 있었다.
Opera는 기존 접근법에 비해 2.6배 더 많은 과제를 해결할 수 있었다. 이는 RFS 기반 분해와 기호 추론 및 검색을 결합한 표현식 합성 기술이 효과적임을 보여준다.
To Another Language
from source content
arxiv.org
Głębsze pytania