[Nauty-list] For help

Brendan McKay bdm at cs.anu.edu.au
Wed Jan 3 14:47:03 EST 2007


Actually 0.03 seconds is for the packed graph format.  Using the
new sparse format reduces the time to 0.0012 seconds.

Brendan.

* Brendan McKay <bdm at cs.anu.edu.au> [070103 14:30]:
> The group has order 2880 and is transitive on the vertices.
> Nauty takes 0.03 seconds on my computer.
> 
> Brendan.
> 
> * ??????(Xu Shang-Jin) <xusj at gxu.edu.cn> [070103 14:08]:
> > What is size of automorphism of the following graph with order 720?
> > 
> > 0:1 2 3;
> > 1:0 255 365;
> > 2:0 159 525;
> > 3:0 174 640;
> > 4:129 269 398;
> > 5:135 266 523;
> > 6:134 270 517;
> > 7:141 267 643;
> > 8:140 268 637;
> > 9:124 284 387;
> > 10:123 278 389;
> > 11:137 385 522;
> > 12:136 390 511;
> > 13:143 386 642;
> > 14:142 388 631;
> > 15:126 283 506;
> > 16:125 272 508;
> > 17:131 403 504;
> > 18:130 392 509;
> > 19:145 505 636;
> > 20:144 507 630;
> > 21:128 277 626;
> > 22:127 271 628;
> > 23:133 397 624;
> > 24:132 391 629;
> > 25:139 516 625;
> > 26:138 510 627;
> > 27:148 249 427;
> > 28:150 248 421;
> > 29:146 255 547;
> > 30:151 254 541;
> > 31:147 261 667;
> > 32:149 260 661;
> > 33:165 243 410;
> > 34:159 242 412;
> > 35:257 408 546;
> > 36:256 413 535;
> > 37:263 409 666;
> > 38:262 411 655;
> > 39:164 245 530;
> > 40:153 244 532;
> > 41:251 426 528;
> > 42:250 415 533;
> > 43:265 529 660;
> > 44:264 531 654;
> > 45:158 247 650;
> > 46:152 246 652;
> > 47:253 420 648;
> > 48:252 414 653;
> > 49:259 540 649;
> > 50:258 534 651;
> > 51:172 308 368;
> > 52:174 302 367;
> > 53:170 374 571;
> > 54:175 373 565;
> > 55:171 380 691;
> > 56:173 379 685;
> > 57:189 291 362;
> > 58:183 293 361;
> > 59:289 376 570;
> > 60:294 375 559;
> > 61:290 382 690;
> > 62:292 381 679;
> > 63:188 364 554;
> > 64:177 363 556;
> > 65:307 370 552;
> > 66:296 369 557;
> > 67:384 553 684;
> > 68:383 555 678;
> > 69:182 366 674;
> > 70:176 365 676;
> > 71:301 372 672;
> > 72:295 371 677;
> > 73:378 564 673;
> > 74:377 558 675;
> > 75:196 332 487;
> > 76:198 326 486;
> > 77:194 451 493;
> > 78:199 445 492;
> > 79:195 499 715;
> > 80:197 498 709;
> > 81:213 315 481;
> > 82:207 317 480;
> > 83:313 450 495;
> > 84:318 439 494;
> > 85:314 501 714;
> > 86:316 500 703;
> > 87:212 434 483;
> > 88:201 436 482;
> > 89:331 432 489;
> > 90:320 437 488;
> > 91:433 503 708;
> > 92:435 502 702;
> > 93:206 485 698;
> > 94:200 484 700;
> > 95:325 491 696;
> > 96:319 490 701;
> > 97:444 497 697;
> > 98:438 496 699;
> > 99:220 356 607;
> > 100:222 350 606;
> > 101:218 475 613;
> > 102:223 469 612;
> > 103:219 595 619;
> > 104:221 589 618;
> > 105:237 339 601;
> > 106:231 341 600;
> > 107:337 474 615;
> > 108:342 463 614;
> > 109:338 594 621;
> > 110:340 583 620;
> > 111:236 458 603;
> > 112:225 460 602;
> > 113:355 456 609;
> > 114:344 461 608;
> > 115:457 588 623;
> > 116:459 582 622;
> > 117:230 578 605;
> > 118:224 580 604;
> > 119:349 576 611;
> > 120:343 581 610;
> > 121:468 577 617;
> > 122:462 579 616;
> > 123:10 244 380;
> > 124:9 246 374;
> > 125:16 242 499;
> > 126:15 247 493;
> > 127:22 243 619;
> > 128:21 245 613;
> > 129:4 261 363;
> > 130:18 361 498;
> > 131:17 366 487;
> > 132:24 362 618;
> > 133:23 364 607;
> > 134:6 260 482;
> > 135:5 249 484;
> > 136:12 379 480;
> > 137:11 368 485;
> > 138:26 481 612;
> > 139:25 483 606;
> > 140:8 254 602;
> > 141:7 248 604;
> > 142:14 373 600;
> > 143:13 367 605;
> > 144:20 492 601;
> > 145:19 486 603;
> > 146:29 272 429;
> > 147:31 271 423;
> > 148:27 278 549;
> > 149:32 277 543;
> > 150:28 284 669;
> > 151:30 283 663;
> > 152:46 267 416;
> > 153:40 266 418;
> > 154:280 414 548;
> > 155:279 419 529;
> > 156:286 415 668;
> > 157:285 417 649;
> > 158:45 268 536;
> > 159:2 34 538;
> > 160:274 428 534;
> > 161:273 409 539;
> > 162:288 535 662;
> > 163:287 537 648;
> > 164:39 270 656;
> > 165:33 269 658;
> > 166:276 422 654;
> > 167:275 408 659;
> > 168:282 542 655;
> > 169:281 528 657;
> > 170:53 310 392;
> > 171:55 304 391;
> > 172:51 398 573;
> > 173:56 397 567;
> > 174:3 52 693;
> > 175:54 403 687;
> > 176:70 297 386;
> > 177:64 299 385;
> > 178:295 400 572;
> > 179:300 399 553;
> > 180:296 405 692;
> > 181:298 404 673;
> > 182:69 388 560;
> > 183:58 387 562;
> > 184:309 394 558;
> > 185:290 393 563;
> > 186:407 559 686;
> > 187:406 561 672;
> > 188:63 390 680;
> > 189:57 389 682;
> > 190:303 396 678;
> > 191:289 395 683;
> > 192:402 566 679;
> > 193:401 552 681;
> > 194:77 334 511;
> > 195:79 328 510;
> > 196:75 453 517;
> > 197:80 447 516;
> > 198:76 523 717;
> > 199:78 522 711;
> > 200:94 321 505;
> > 201:88 323 504;
> > 202:319 452 519;
> > 203:324 433 518;
> > 204:320 525 716;
> > 205:322 524 697;
> > 206:93 440 507;
> > 207:82 442 506;
> > 208:333 438 513;
> > 209:314 443 512;
> > 210:439 527 710;
> > 211:441 526 696;
> > 212:87 509 704;
> > 213:81 508 706;
> > 214:327 515 702;
> > 215:313 514 707;
> > 216:446 521 703;
> > 217:432 520 705;
> > 218:101 358 631;
> > 219:103 352 630;
> > 220:99 477 637;
> > 221:104 471 636;
> > 222:100 597 643;
> > 223:102 591 642;
> > 224:118 345 625;
> > 225:112 347 624;
> > 226:343 476 639;
> > 227:348 457 638;
> > 228:344 596 645;
> > 229:346 577 644;
> > 230:117 464 627;
> > 231:106 466 626;
> > 232:357 462 633;
> > 233:338 467 632;
> > 234:463 590 647;
> > 235:465 576 646;
> > 236:111 584 629;
> > 237:105 586 628;
> > 238:351 582 635;
> > 239:337 587 634;
> > 240:470 583 641;
> > 241:456 585 640;
> > 242:34 125 382;
> > 243:33 127 376;
> > 244:40 123 501;
> > 245:39 128 495;
> > 246:46 124 621;
> > 247:45 126 615;
> > 248:28 141 369;
> > 249:27 135 371;
> > 250:42 367 500;
> > 251:41 372 481;
> > 252:48 368 620;
> > 253:47 370 601;
> > 254:30 140 488;
> > 255:1 29 490;
> > 256:36 381 486;
> > 257:35 362 491;
> > 258:50 487 614;
> > 259:49 489 600;
> > 260:32 134 608;
> > 261:31 129 610;
> > 262:38 375 606;
> > 263:37 361 611;
> > 264:44 494 607;
> > 265:43 480 609;
> > 266:5 153 405;
> > 267:7 152 400;
> > 268:8 158 519;
> > 269:4 165 645;
> > 270:6 164 639;
> > 271:22 147 393;
> > 272:16 146 395;
> > 273:161 391 524;
> > 274:160 396 505;
> > 275:167 392 644;
> > 276:166 394 625;
> > 277:21 149 512;
> > 278:10 148 514;
> > 279:155 404 510;
> > 280:154 386 515;
> > 281:169 511 638;
> > 282:168 513 624;
> > 283:15 151 632;
> > 284:9 150 634;
> > 285:157 399 630;
> > 286:156 385 635;
> > 287:163 518 631;
> > 288:162 504 633;
> > 289:59 191 415;
> > 290:61 185 414;
> > 291:57 421 575;
> > 292:62 420 561;
> > 293:58 427 695;
> > 294:60 426 681;
> > 295:72 178 409;
> > 296:66 180 408;
> > 297:176 423 574;
> > 298:181 422 555;
> > 299:177 429 694;
> > 300:179 428 675;
> > 301:71 411 566;
> > 302:52 410 568;
> > 303:190 417 564;
> > 304:171 416 569;
> > 305:431 565 680;
> > 306:430 567 674;
> > 307:65 413 686;
> > 308:51 412 688;
> > 309:184 419 684;
> > 310:170 418 689;
> > 311:425 560 685;
> > 312:424 554 687;
> > 313:83 215 535;
> > 314:85 209 534;
> > 315:81 455 541;
> > 316:86 441 540;
> > 317:82 547 719;
> > 318:84 546 705;
> > 319:96 202 529;
> > 320:90 204 528;
> > 321:200 454 543;
> > 322:205 435 542;
> > 323:201 549 718;
> > 324:203 548 699;
> > 325:95 446 531;
> > 326:76 448 530;
> > 327:214 444 537;
> > 328:195 449 536;
> > 329:445 551 704;
> > 330:447 550 698;
> > 331:89 533 710;
> > 332:75 532 712;
> > 333:208 539 708;
> > 334:194 538 713;
> > 335:440 545 709;
> > 336:434 544 711;
> > 337:107 239 655;
> > 338:109 233 654;
> > 339:105 479 661;
> > 340:110 465 660;
> > 341:106 599 667;
> > 342:108 585 666;
> > 343:120 226 649;
> > 344:114 228 648;
> > 345:224 478 663;
> > 346:229 459 662;
> > 347:225 598 669;
> > 348:227 579 668;
> > 349:119 470 651;
> > 350:100 472 650;
> > 351:238 468 657;
> > 352:219 473 656;
> > 353:469 584 671;
> > 354:471 578 670;
> > 355:113 590 653;
> > 356:99 592 652;
> > 357:232 588 659;
> > 358:218 593 658;
> > 359:464 589 665;
> > 360:458 591 664;
> > 361:58 130 263;
> > 362:57 132 257;
> > 363:64 129 503;
> > 364:63 133 489;
> > 365:1 70 623;
> > 366:69 131 609;
> > 367:52 143 250;
> > 368:51 137 252;
> > 369:66 248 502;
> > 370:65 253 483;
> > 371:72 249 622;
> > 372:71 251 603;
> > 373:54 142 494;
> > 374:53 124 496;
> > 375:60 262 492;
> > 376:59 243 497;
> > 377:74 493 608;
> > 378:73 495 602;
> > 379:56 136 614;
> > 380:55 123 616;
> > 381:62 256 612;
> > 382:61 242 617;
> > 383:68 488 613;
> > 384:67 482 615;
> > 385:11 177 286;
> > 386:13 176 280;
> > 387:9 183 527;
> > 388:14 182 513;
> > 389:10 189 647;
> > 390:12 188 633;
> > 391:24 171 273;
> > 392:18 170 275;
> > 393:185 271 526;
> > 394:184 276 507;
> > 395:191 272 646;
> > 396:190 274 627;
> > 397:23 173 518;
> > 398:4 172 520;
> > 399:179 285 516;
> > 400:178 267 521;
> > 401:193 517 632;
> > 402:192 519 626;
> > 403:17 175 638;
> > 404:181 279 636;
> > 405:180 266 641;
> > 406:187 512 637;
> > 407:186 506 639;
> > 408:35 167 296;
> > 409:37 161 295;
> > 410:33 302 551;
> > 411:38 301 537;
> > 412:34 308 671;
> > 413:36 307 657;
> > 414:48 154 290;
> > 415:42 156 289;
> > 416:152 304 550;
> > 417:157 303 531;
> > 418:153 310 670;
> > 419:155 309 651;
> > 420:47 292 542;
> > 421:28 291 544;
> > 422:166 298 540;
> > 423:147 297 545;
> > 424:312 541 656;
> > 425:311 543 650;
> > 426:41 294 662;
> > 427:27 293 664;
> > 428:160 300 660;
> > 429:146 299 665;
> > 430:306 536 661;
> > 431:305 530 663;
> > 432:89 217 559;
> > 433:91 203 558;
> > 434:87 336 565;
> > 435:92 322 564;
> > 436:88 571 713;
> > 437:90 570 707;
> > 438:98 208 553;
> > 439:84 210 552;
> > 440:206 335 567;
> > 441:211 316 566;
> > 442:207 573 712;
> > 443:209 572 701;
> > 444:97 327 555;
> > 445:78 329 554;
> > 446:216 325 561;
> > 447:197 330 560;
> > 448:326 575 706;
> > 449:328 574 700;
> > 450:83 557 716;
> > 451:77 556 718;
> > 452:202 563 714;
> > 453:196 562 719;
> > 454:321 569 715;
> > 455:315 568 717;
> > 456:113 241 679;
> > 457:115 227 678;
> > 458:111 360 685;
> > 459:116 346 684;
> > 460:112 593 691;
> > 461:114 587 690;
> > 462:122 232 673;
> > 463:108 234 672;
> > 464:230 359 687;
> > 465:235 340 686;
> > 466:231 592 693;
> > 467:233 581 692;
> > 468:121 351 675;
> > 469:102 353 674;
> > 470:240 349 681;
> > 471:221 354 680;
> > 472:350 586 695;
> > 473:352 580 694;
> > 474:107 596 677;
> > 475:101 598 676;
> > 476:226 594 683;
> > 477:220 599 682;
> > 478:345 595 689;
> > 479:339 597 688;
> > 480:82 136 265;
> > 481:81 138 251;
> > 482:88 134 384;
> > 483:87 139 370;
> > 484:94 135 617;
> > 485:93 137 611;
> > 486:76 145 256;
> > 487:75 131 258;
> > 488:90 254 383;
> > 489:89 259 364;
> > 490:96 255 616;
> > 491:95 257 605;
> > 492:78 144 375;
> > 493:77 126 377;
> > 494:84 264 373;
> > 495:83 245 378;
> > 496:98 374 610;
> > 497:97 376 604;
> > 498:80 130 620;
> > 499:79 125 622;
> > 500:86 250 618;
> > 501:85 244 623;
> > 502:92 369 619;
> > 503:91 363 621;
> > 504:17 201 288;
> > 505:19 200 274;
> > 506:15 207 407;
> > 507:20 206 394;
> > 508:16 213 641;
> > 509:18 212 635;
> > 510:26 195 279;
> > 511:12 194 281;
> > 512:209 277 406;
> > 513:208 282 388;
> > 514:215 278 640;
> > 515:214 280 629;
> > 516:25 197 399;
> > 517:6 196 401;
> > 518:203 287 397;
> > 519:202 268 402;
> > 520:217 398 634;
> > 521:216 400 628;
> > 522:11 199 644;
> > 523:5 198 646;
> > 524:205 273 642;
> > 525:2 204 647;
> > 526:211 393 643;
> > 527:210 387 645;
> > 528:41 169 320;
> > 529:43 155 319;
> > 530:39 326 431;
> > 531:44 325 417;
> > 532:40 332 665;
> > 533:42 331 659;
> > 534:50 160 314;
> > 535:36 162 313;
> > 536:158 328 430;
> > 537:163 327 411;
> > 538:159 334 664;
> > 539:161 333 653;
> > 540:49 316 422;
> > 541:30 315 424;
> > 542:168 322 420;
> > 543:149 321 425;
> > 544:336 421 658;
> > 545:335 423 652;
> > 546:35 318 668;
> > 547:29 317 670;
> > 548:154 324 666;
> > 549:148 323 671;
> > 550:330 416 667;
> > 551:329 410 669;
> > 552:65 193 439;
> > 553:67 179 438;
> > 554:63 312 445;
> > 555:68 298 444;
> > 556:64 451 689;
> > 557:66 450 683;
> > 558:74 184 433;
> > 559:60 186 432;
> > 560:182 311 447;
> > 561:187 292 446;
> > 562:183 453 688;
> > 563:185 452 677;
> > 564:73 303 435;
> > 565:54 305 434;
> > 566:192 301 441;
> > 567:173 306 440;
> > 568:302 455 682;
> > 569:304 454 676;
> > 570:59 437 692;
> > 571:53 436 694;
> > 572:178 443 690;
> > 573:172 442 695;
> > 574:297 449 691;
> > 575:291 448 693;
> > 576:119 235 703;
> > 577:121 229 702;
> > 578:117 354 709;
> > 579:122 348 708;
> > 580:118 473 715;
> > 581:120 467 714;
> > 582:116 238 697;
> > 583:110 240 696;
> > 584:236 353 711;
> > 585:241 342 710;
> > 586:237 472 717;
> > 587:239 461 716;
> > 588:115 357 699;
> > 589:104 359 698;
> > 590:234 355 705;
> > 591:223 360 704;
> > 592:356 466 719;
> > 593:358 460 718;
> > 594:109 476 701;
> > 595:103 478 700;
> > 596:228 474 707;
> > 597:222 479 706;
> > 598:347 475 713;
> > 599:341 477 712;
> > 600:106 142 259;
> > 601:105 144 253;
> > 602:112 140 378;
> > 603:111 145 372;
> > 604:118 141 497;
> > 605:117 143 491;
> > 606:100 139 262;
> > 607:99 133 264;
> > 608:114 260 377;
> > 609:113 265 366;
> > 610:120 261 496;
> > 611:119 263 485;
> > 612:102 138 381;
> > 613:101 128 383;
> > 614:108 258 379;
> > 615:107 247 384;
> > 616:122 380 490;
> > 617:121 382 484;
> > 618:104 132 500;
> > 619:103 127 502;
> > 620:110 252 498;
> > 621:109 246 503;
> > 622:116 371 499;
> > 623:115 365 501;
> > 624:23 225 282;
> > 625:25 224 276;
> > 626:21 231 402;
> > 627:26 230 396;
> > 628:22 237 521;
> > 629:24 236 515;
> > 630:20 219 285;
> > 631:14 218 287;
> > 632:233 283 401;
> > 633:232 288 390;
> > 634:239 284 520;
> > 635:238 286 509;
> > 636:19 221 404;
> > 637:8 220 406;
> > 638:227 281 403;
> > 639:226 270 407;
> > 640:3 241 514;
> > 641:240 405 508;
> > 642:13 223 524;
> > 643:7 222 526;
> > 644:229 275 522;
> > 645:228 269 527;
> > 646:235 395 523;
> > 647:234 389 525;
> > 648:47 163 344;
> > 649:49 157 343;
> > 650:45 350 425;
> > 651:50 349 419;
> > 652:46 356 545;
> > 653:48 355 539;
> > 654:44 166 338;
> > 655:38 168 337;
> > 656:164 352 424;
> > 657:169 351 413;
> > 658:165 358 544;
> > 659:167 357 533;
> > 660:43 340 428;
> > 661:32 339 430;
> > 662:162 346 426;
> > 663:151 345 431;
> > 664:360 427 538;
> > 665:359 429 532;
> > 666:37 342 548;
> > 667:31 341 550;
> > 668:156 348 546;
> > 669:150 347 551;
> > 670:354 418 547;
> > 671:353 412 549;
> > 672:71 187 463;
> > 673:73 181 462;
> > 674:69 306 469;
> > 675:74 300 468;
> > 676:70 475 569;
> > 677:72 474 563;
> > 678:68 190 457;
> > 679:62 192 456;
> > 680:188 305 471;
> > 681:193 294 470;
> > 682:189 477 568;
> > 683:191 476 557;
> > 684:67 309 459;
> > 685:56 311 458;
> > 686:186 307 465;
> > 687:175 312 464;
> > 688:308 479 562;
> > 689:310 478 556;
> > 690:61 461 572;
> > 691:55 460 574;
> > 692:180 467 570;
> > 693:174 466 575;
> > 694:299 473 571;
> > 695:293 472 573;
> > 696:95 211 583;
> > 697:97 205 582;
> > 698:93 330 589;
> > 699:98 324 588;
> > 700:94 449 595;
> > 701:96 443 594;
> > 702:92 214 577;
> > 703:86 216 576;
> > 704:212 329 591;
> > 705:217 318 590;
> > 706:213 448 597;
> > 707:215 437 596;
> > 708:91 333 579;
> > 709:80 335 578;
> > 710:210 331 585;
> > 711:199 336 584;
> > 712:332 442 599;
> > 713:334 436 598;
> > 714:85 452 581;
> > 715:79 454 580;
> > 716:204 450 587;
> > 717:198 455 586;
> > 718:323 451 593;
> > 719:317 453 592.
> > 
> > Thank you!
> > 
> > Shangjin Xu
> > xusj at gxu.edu.cn
> > 2007-01-03
> > 
> > 
> > _______________________________________________
> > Nauty-list mailing list
> > Nauty-list at cs.anu.edu.au
> > http://dcsmail.anu.edu.au/cgi-bin/mailman/listinfo/nauty-list
> 
> _______________________________________________
> Nauty-list mailing list
> Nauty-list at cs.anu.edu.au
> http://dcsmail.anu.edu.au/cgi-bin/mailman/listinfo/nauty-list




More information about the Nauty mailing list