The Average Complexity of Moore's State Minimization Algorithm Is O(n log log n)

被引：0

作者：

David, Julien ^{[1
]}

机构：

[1] Univ Paris Est, Inst Gaspard Monge, F-77454 Marne La Vallee 2, France

来源：

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010 | 2010年 / 6281卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We prove that the average complexity, for the uniform distribution on complete deterministic automata, of Moore's state minimization algorithm is O(n log log n), where n is the number of states in the input automata

引用

页码：318 / 329

页数：12

共 50 条

[41] Average Case Analysis of Moore’s State Minimization Algorithm
Frédérique Bassino
Julien David
Cyril Nicaud
Algorithmica, 2012, 63 : 509 - 531
[42] ASPACE(O(LOG LOG N)) IS REGULAR
IWAMA, K
SIAM JOURNAL ON COMPUTING, 1993, 22 (01) : 136 - 146
[43] An O(n(m plus n log n) log n) time algorithm to solve the minimum cost tension problem
Ghiyasvand, Mehdi
JOURNAL OF COMBINATORIAL OPTIMIZATION, 2019, 37 (03) : 957 - 969
[44] An O(n log log n) time algorithm for constructing a graph of maximum connectivity with prescribed degrees
Asano, T
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 51 (03) : 503 - 510
[45] A Novel In-Place Sorting Algorithm with O(n log z) Comparisons and O(n log z) Moves
Mahmoud, Hanan Ahmed-Hosni
Al-Ghreimil, Nadia
PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 16, 2006, 16 : 239 - 244
[46] RUSPACE(log n) ⊆ DSPACE(log2 n log log n)
Allender, E
Lange, KJ
THEORY OF COMPUTING SYSTEMS, 1998, 31 (05) : 539 - 550
[47] RUSPACE(log n) ⊆ DSPACE(log2 n/log log n)
Allender, E.
Lange, K.-J.
1998, Springer Science and Business Media, LLC (31)
[48] Denser packings obtained in O(n log log n) tTime
Pisinger, David
INFORMS JOURNAL ON COMPUTING, 2007, 19 (03) : 395 - 405
[49] StUSPACE(log n) ⊆ DSPACE(log2 n/log log n)
Allender, E
Lange, KJ
ALGORITHMS AND COMPUTATION, 1996, 1178 : 193 - 202
[50] O(N LOG N) ALGORITHM FOR SUBOPTIMAL RECTILINEAR STEINER TREES
HWANG, FK
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1979, 26 (01): : 75 - 77

← 1 2 3 4 5 →