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.
翻譯成其他語言
從原文內容
arxiv.org
深入探究