Fast M\"obius and Zeta Transforms
Abstract
M\"obius inversion of functions on partially ordered sets (posets) is a classical tool in combinatorics. For finite posets it consists of two, mutually inverse, linear transformations called zeta and M\"obius transform, respectively. In this paper we provide novel fast algorithms for both that require time and space, where and is the width (length of longest antichain) of , compared to for a direct computation. Our approach assumes that is given as directed acyclic graph (DAG) . The algorithms are then constructed using a chain decomposition for a one time cost of , where is the number of edges in the DAG's transitive reduction. We show benchmarks with implementations of all algorithms including parallelized versions. The results show that our algorithms enable M\"obius inversion on posets with millions of nodes in seconds if the defining DAGs are sufficiently sparse.
Keywords
Cite
@article{arxiv.2211.13706,
title = {Fast M\"obius and Zeta Transforms},
author = {Tommaso Pegolotti and Bastian Seifert and Markus Püschel},
journal= {arXiv preprint arXiv:2211.13706},
year = {2022}
}
Comments
16 pages, 7 figures, submitted for review