Deciding the isomorphism problem in classes of unary automatic structures

被引：9

作者：

Liu, Jiamou ^{[1
]}

Minnes, Mia ^{[2
]}

机构：

[1] Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand

[2] MIT, Dept Math, Cambridge, MA 02139 USA

来源：

THEORETICAL COMPUTER SCIENCE | 2011年 / 412卷 / 18期

基金：

美国国家科学基金会;

关键词：

Unary automatic structures; The isomorphism problem; Graphs;

D O I：

10.1016/j.tcs.2010.12.045

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We solve the isomorphism problem for certain classes of unary automatic structures: unary automatic equivalence relations, unary automatic linear orders, and unary automatic trees. That is, we provide algorithms which decide whether two given elements of these classes are isomorphic. In doing so, we define new finite representations for these structures which give normal forms.(1) (C) 2010 Elsevier B.V. All rights reserved.

引用

页码：1705 / 1717

页数：13

共 50 条

[31] ISOMORPHISM PROBLEM FOR A CLASS OF POINT-SYMMETRIC STRUCTURES
BABAI, L
ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1977, 29 (3-4): : 329 - 336
[32] Generating methods of some classes of fuzzy implications obtained by unary functions and algebraic structures
Aguilo, Isabel
Gupta, Vikash Kumar
Jayaram, Balasubramaniam
Massanet, Sebastia
Riera, Juan Vicente
Vemuri, Nageswara Rao
FUZZY SETS AND SYSTEMS, 2024, 484
[33] The complexity of isomorphism for complete theories of linear orders with unary predicates
Richard Rast
Archive for Mathematical Logic, 2017, 56 : 289 - 307
[34] The complexity of isomorphism for complete theories of linear orders with unary predicates
Rast, Richard
ARCHIVE FOR MATHEMATICAL LOGIC, 2017, 56 (3-4) : 289 - 307
[35] DECIDING HORN CLASSES BY HYPERRESOLUTION
LEITSCH, A
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 225 - 241
[36] On isomorphism classes of gauge groups
Tsukuda, S
TOPOLOGY AND ITS APPLICATIONS, 1998, 87 (03) : 173 - 187
[37] Isomorphism classes of uniform groups
Nahler, M
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, 2002, 32 (04) : 1543 - 1558
[38] On the number of isomorphism classes of transversals
VIPUL KAKKAR
R P SHUKLA
Proceedings - Mathematical Sciences, 2013, 123 : 345 - 359
[39] ISOMORPHISM TESTING IN HOOKUP CLASSES
KLAWE, MM
CORNEIL, DG
PROSKUROWSKI, A
SIAM JOURNAL ON ALGEBRAIC AND DISCRETE METHODS, 1982, 3 (02): : 260 - 274
[40] On the number of isomorphism classes of transversals
Kakkar, Vipul
Shukla, R. P.
PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES, 2013, 123 (03): : 345 - 359

← 1 2 3 4 5 →