References & Citations
Computer Science > Data Structures and Algorithms
Title: Efficient and Modular Coalgebraic Partition Refinement
(Submitted on 14 Jun 2018 (v1), last revised 30 Jan 2020 (this version, v5))
Abstract: We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical relational systems but also, e.g. various forms of weighted systems and furthermore to flexibly combine existing system types. Under assumptions on the type functor that allow representing its finite coalgebras in terms of nodes and edges, our algorithm runs in time $\mathcal{O}(m\cdot \log n)$ where $n$ and $m$ are the numbers of nodes and edges, respectively. The generic complexity result and the possibility of combining system types yields a toolbox for efficient partition refinement algorithms. Instances of our generic algorithm match the run-time of the best known algorithms for unlabelled transition systems, Markov chains, deterministic automata (with fixed alphabets), Segala systems, and for color refinement.
Submission history
From: Christoph Rauch [view email] [via LOGICAL proxy][v1] Thu, 14 Jun 2018 17:22:10 GMT (73kb)
[v2] Fri, 15 Jun 2018 17:55:31 GMT (76kb,D)
[v3] Mon, 24 Jun 2019 18:00:12 GMT (99kb,D)
[v4] Fri, 24 Jan 2020 08:22:43 GMT (111kb,D)
[v5] Thu, 30 Jan 2020 13:27:49 GMT (112kb,D)
Link back to: arXiv, form interface, contact.