The article introduces an algorithm for enumerating MSO-queries on compressed trees using forest straight-line programs (FSLPs). It discusses the paradigm of algorithmics on compressed data and the advantages of working directly on compressed data objects. The core idea is to represent trees using directed acyclic graphs (DAGs) and apply forest algebra for compression. The algorithm aims to enumerate query results efficiently with linear preprocessing and output-linear delay.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Markus Lohre... lúc arxiv.org 03-06-2024
https://arxiv.org/pdf/2403.03067.pdfYêu cầu sâu hơn