Bisimulation by Partitioning Is Ω((m+n)log n).

Jan Friso Groote Jan Martens Erik P. de Vink

Published in: CONCUR (2021)

Keyphrases

worst case
lower bound
upper bound
algorithm for attribute reduction
multi class
graph partitioning
databases
neural network
decision making
website
optimal solution
evolutionary algorithm
heuristic search
parallel algorithm
decision table