3 resultados para Z0 2 -equivalence
em Bulgarian Digital Mathematics Library at IMI-BAS
Resumo:
Partially supported by the Technical University of Gabrovo under Grant C-801/2008
Resumo:
Mathematics Subject Classification: 26A33
Resumo:
Methods for representing equivalence problems of various combinatorial objects as graphs or binary matrices are considered. Such representations can be used for isomorphism testing in classification or generation algorithms. Often it is easier to consider a graph or a binary matrix isomorphism problem than to implement heavy algorithms depending especially on particular combinatorial objects. Moreover, there already exist well tested algorithms for the graph isomorphism problem (nauty) and the binary matrix isomorphism problem as well (Q-Extension). ACM Computing Classification System (1998): F.2.1, G.4.