[논문 리뷰] Ranked Enumeration for MSO on Trees via Knowledge Compilation

Antoine Amarilli, Pierre Bourhis외 2명|arXiv (Cornell University)|2023. 10. 01.

Machine Learning and Algorithms인용 수 4

한 줄 요약

이 논문은 트리에서 단항 이阶논리(MSO) 쿼리에 대한 새로운 순위 기반 열거 알고리즘을 제안하며, 지식 컴파일을 활용해 결과 수에 대해 선형 전처리 시간과 로그 시간 지연을 달성한다. MSO 쿼리를 스무스 다중값 d-DNNF 회로로 컴파일함으로써, 부분집합 단조성 순위 함수에 따라 효율적인 상위-k 및 순서 기반 열거가 가능해지며, 이는 이전의 단어 기반 데이터에 대한 연구에서 확보된 최고 수준의 지연 범위를 유지하면서 트리 구조로 확장한다.

ABSTRACT

We study the problem of enumerating the satisfying assignments for circuit classes from knowledge compilation, where assignments are ranked in a specific order. In particular, we show how this problem can be used to efficiently perform ranked enumeration of the answers to MSO queries over trees, with the order being given by a ranking function satisfying a subset-monotonicity property. Assuming that the number of variables is constant, we show that we can enumerate the satisfying assignments in ranked order for so-called multivalued circuits that are smooth, decomposable, and in negation normal form (smooth multivalued DNNF). There is no preprocessing and the enumeration delay is linear in the size of the circuit times the number of values, plus a logarithmic term in the number of assignments produced so far. If we further assume that the circuit is deterministic (smooth multivalued d-DNNF), we can achieve linear-time preprocessing in the circuit, and the delay only features the logarithmic term.

연구 동기 및 목표

• 기존 트리에서의 MSO 쿼리 열거 알고리즘에서 결과 순서에 대한 통제 부족 문제를 해결하기 위해.
• 사용자 정의 순서(예: 관련성 또는 사전순 우선순위)에 따라 MSO 쿼리 결과를 순위 기반으로 열거할 수 있도록 하기 위해.
• 부분집합 단조성 순위 함수에 의해 순서가 지정된 경우에도 낮은 지연으로 효율적인 성능을 달성하기 위해.
• 지식 컴파일 기법을 사용해 기존의 단어 기반 데이터에 대한 결과를 트리 기반 데이터로 확장하기 위해.
• 데이터베이스 및 지식 표현 시스템에서 상위-k 및 순서 기반 열거를 위한 실용적이고 효율적인 프레임워크 제공하기 위해.

제안 방법

• 주어진 MSO 쿼리를 첫 번째 순서 변수의 모든 유효 할당을 나타내는 스무스 다중값 d-DNNF 회로로 컴파일하기.
• 순위 함수의 부분집합 단조성 성질을 활용해 회로 상에서 우선순위 기반 열거 전략을 안내하기.
• 매 단계에서 가장 높은 점수를 가진 부분 할당을 유지하고 검색하기 위해 최소 힙 데이터 구조를 사용하기.
• 순위 함수를 고려한 방식으로 회로를 순회함으로써 점수의 비감소 순서를 보장하는 방식으로 열거 수행하기.
• 트리 오ート마타에서 DNNF 회로로의 기존 선형 시간 컴파일 기법을 활용해 전처리 시간이 트리 크기와 선형 관계를 유지하도록 하기.
• 각 출력의 지연을 O(log(K + 1))로 제한하기 위해 회로의 구조를 활용하기, 여기서 K는 이미 생성된 결과 수이다.

실험 결과

연구 질문

• RQ1 사용자 정의 순위 함수에 의해 순서가 지정된 경우에도 낮은 지연과 효율적인 전처리를 통해 트리에서의 MSO 쿼리에 대한 순위 기반 열거가 가능할 수 있는가?
• RQ2 지식 컴파일을 활용해 기존의 단어 기반 데이터에 대한 순위 기반 열거 결과를 트리로 확장할 수 있는가?
• RQ3 순위 함수의 부분집합 단조성 성질이 트리에서의 MSO 쿼리 결과에 대해 효율적이고 정확한 열거를 어떻게 가능하게 하는가?
• RQ4 복잡한 순위 함수 조건 하에서도 순위 기반 열거의 지연을 결과 수에 대해 로그 수준으로 제한할 수 있는가?
• RQ5 스무스 다중값 d-DNNF 회로의 사용이 MSO 쿼리 결과의 효율적이고 순서 기반 열거에 미치는 영향은 무엇인가?

주요 결과

• 논문은 트리 T에 대해 고정된 MSO 쿼리에 대해 O(|T|)의 전처리 시간을 달성하며, 이는 입력 트리 크기와 선형 관계를 가진다.
• 연속적인 결과 간 지연 시간은 O(log(K + 1)) 이내로 제한되며, 여기서 K는 이미 열거된 결과 수이므로 상위-k 쿼리에 대해 초기 응답이 매우 신속하다.
• 결정성 MSO 쿼리의 경우 전처리 시간이 선형으로 유지되며, 결과 수에 대해 지연 시간은 여전히 로그 수준이다.
• 이 방법은 순서, 합계 또는 변수 할당의 사전순 비교 기반의 모든 부분집합 단조성 순위 함수를 지원한다.
• 기존의 단어 기반 데이터에 대한 연구에서 확보된 최고 수준의 지연 범위를 유지하지만, 더 일반적인 트리 구조 데이터로 확장된다.
• 구성은 MSO 쿼리를 스무스 다중값 d-DNNF 회로로 컴파일하는 데 기반하며, 기존의 오ート마타 이론 기반 기법을 사용해 선형 시간 내에 수행할 수 있다.