加载中…
2012-05-26
An n log n Alogrithm for Deterministic Kripke Structure Minimization
Karl MeinkeMuddassar A. Sindhu
文献摘要
We introduce an algorithm for the minimization of deterministic Kripke structures with O(kn log2 n) time complexity. We prove the correctness and complexity properties of this algorithm.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本