제한된 차수 구조에서 1차 논리 질의의 상수 지연 열거
본 논문은 차수가 제한된 구조에서 1차 논리(FO) 질의를 열거하는 문제를 다룬다. Gaifman 지역성 정리를 이용해 선형 전처리 후 상수 지연으로 모든 해를 출력하는 알고리즘을 제시하고, 이때 전체 실행 시간은 입력 공식의 크기에 대해 삼중 지수 수준으로 제한된다.
저자: Wojciech Kazana (INRIA), Luc Segoufin (INRIA)
논문은 제한된 차수(d‑bounded) 구조에서 1차 논리(FO) 질의를 열거하는 문제를 다루며, 이를 Constant‑Delay\(_{lin}\) 클래스에 포함시킨다. 서론에서는 모델 검사와 질의 평가의 일반적인 복잡도 문제를 소개하고, 차수가 제한된 구조에서는 모델 검사가 선형 시간에 가능함을 언급한다. 특히, 기존 연구(
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기