DeepAI AI Chat
Log In Sign Up

CoPaR: An Efficient Generic Partition Refiner

by   Hans-Peter Deifel, et al.

Partition refinement is a method for minimizing automata and transition systems of various types. We present a tool implementing a recently developed partition refinement algorithm that is generic in the transition type of the given system and typically runs in time either O(m· n) or O(m· n· m) for systems with m edges and n states. This matches the runtime of the best known algorithms for several fixed types of systems, e.g. deterministic automata as well as ordinary, weighted, and probabilistic (labelled) transition systems, and in the case of weighted systems over non-cancellative monoids, such as (the additive monoid of) the tropical semiring, even improves the asymptotic runtime. Genericity is achieved by modelling transition types as endofunctors on sets and state-based systems as coalgebras. In addition to thus obtaining an efficient partion refiner for the mentioned types of systems, we demonstrate how the user can quickly obtain a partition refiner for new types of systems by composing pre-implemented basic functors, and how the tool can easily be extended with new basic functors by implementing a refinement interface.


page 1

page 2

page 3

page 4


From Generic Partition Refinement to Weighted Tree Automata Minimization

Partition refinement is a method for minimizing automata and transition ...

Efficient and Modular Coalgebraic Partition Refinement

We present a generic partition refinement algorithm that quotients coalg...

Lowerbounds for Bisimulation by Partition Refinement

We provide time lower bounds for sequential and parallel algorithms deci...

Distributed Coalgebraic Partition Refinement

Partition refinement is a method for minimizing automata and transition ...

Coalgebra Encoding for Efficient Minimization

Recently, we have developed an efficient generic partition refinement al...

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

We provide a generic algorithm for constructing formulae that distinguis...

Morphisms and minimisation of weighted automata

This paper studies the algorithms for the minimisation of weighted autom...