Isomorph-free exhaustive generation

被引:309
作者
McKay, BD [1 ]
机构
[1] Australian Natl Univ, Dept Comp Sci, Canberra, ACT 0200, Australia
关键词
D O I
10.1006/jagm.1997.0898
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We describe a very general technique for generating families of combinatorial objects without isomorphs. It applies to almost any class of objects for which an inductive construction process exists. In one form of our technique, no explicit isomorphism testing is required. In the other form, isomorph testing is restricted to within small subsets of the entire set of objects. A variety of different examples are presented, including the generation of graphs with some hereditary property, the generation of Latin rectangles and the generation of balanced incomplete block designs. The technique can also be used to perform unbiased statistical analysis, including approximate counting, of sets of objects too large to generate exhaustively. (C) 1998 Academic Press.
引用
收藏
页码:306 / 324
页数:19
相关论文
共 42 条
[1]  
Algorithms E., 1992, ANN DISCRETE MATH, V53, P221, DOI DOI 10.1016/S0167-5060(08)70325-X
[2]  
[Anonymous], [No title captured]
[3]   Reverse search for enumeration [J].
Avis, D ;
Fukuda, K .
DISCRETE APPLIED MATHEMATICS, 1996, 65 (1-3) :21-46
[4]   Generating rooted triangulations without repetitions [J].
Avis, D .
ALGORITHMICA, 1996, 16 (06) :618-632
[5]  
Batagelj V., 1981, C MATH SOC J BOLYAI, V37, P89
[6]  
BRANDT S, UNPUB GENERATION MAX
[7]  
Brinkmann G, 1996, J GRAPH THEOR, V23, P139, DOI 10.1002/(SICI)1097-0118(199610)23:2<139::AID-JGT5>3.3.CO
[8]  
2-1
[9]   A constructive enumeration of fullerenes [J].
Brinkmann, G ;
Dress, AWM .
JOURNAL OF ALGORITHMS, 1997, 23 (02) :345-358
[10]  
BRINKMANN G, UNPUB COMBINATORIAL