Enumeration of Monadic Second-Order Queries on Trees

被引：17
|
作者：
Kazana, Wojciech [1 ,2 ]
Segoufin, Luc [1 ,2 ]
机构：
[1] INRIA, Paris, France
[2] ENS Cachan, Cachan, France
来源：
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2013年 / 14卷 / 04期
基金：
欧洲研究理事会;
关键词：
Algorithms; Monadic second-order; bounded tree-width; enumeration; logic;
D O I：
10.1145/2528928
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider the enumeration problem of Monadic Second-Order (MSO) queries with first-order free variables over trees. In Bagan [2006] it was shown that this problem is in CONSTANT-DELAY(lin). An enumeration problem belongs to CONSTANT-DELAY(lin) if for an input structure of size n it can be solved by: -an O(n) precomputation phase building an index structure, -followed by a phase enumerating the answers with no repetition and a constant delay between two consecutive outputs. In this article we give a different proof of this result based on the deterministic factorization forest decomposition theorem of Colcombet [2007].
引用
收藏
页数：12
相关论文
共 50 条
  • [41] Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
    Enqvist, Sebastian
    Seifan, Fatemeh
    Venema, Yde
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 353 - 365
  • [42] A Monadic Second-Order Temporal Logic framework for hypergraphs
    Bhuyan, Bikram Pratim
    Singh, T.P.
    Tomar, Ravi
    Meraihi, Yassine
    Ramdane-Cherif, Amar
    Neural Computing and Applications, 2024, 36 (35) : 22081 - 22118
  • [43] Monadic Second-Order Fuzzy Logic Expert System
    Qi, Yong
    Li, Weihua
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 519 - 523
  • [44] On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
    Berthe, Valerie
    Karimov, Toghrul
    Nieuwveld, Joris
    Ouaknine, Joel
    Vahanwala, Mihir
    Worrell, James
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [45] Hardware verification using monadic second-order logic
    Basin, DA
    Klarlund, N
    COMPUTER AIDED VERIFICATION, 1995, 939 : 31 - 41
  • [46] Automata for Monadic Second-Order Model-Checking
    Courcelle, Bruno
    REACHABILITY PROBLEMS, 2011, 6945 : 26 - 27
  • [47] Monadic second-order logic and bisimulation invariance for coalgebras
    ILLC, Universiteit Van Amsterdam, Netherlands
    不详
    Proc Symp Logic Comput Sci, (353-365):
  • [48] Axiomatizations and Computability of Weighted Monadic Second-Order Logic
    Achilleos, Antonis
    Pedersen, Mathias Ruggaard
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [49] On the completeness and the decidability of strictly monadic second-order logic
    Takagi, Kento
    Kashima, Ryo
    MATHEMATICAL LOGIC QUARTERLY, 2020, 66 (04) : 438 - 447
  • [50] A monadic second-order definition of the structure of convex hypergraphs
    Courcelle, B
    INFORMATION AND COMPUTATION, 2002, 178 (02) : 391 - 411
12345