Skip to content

Instantly share code, notes, and snippets.

@jakobkogler
Last active August 29, 2015 14:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jakobkogler/0db7d1948dce9635dbab to your computer and use it in GitHub Desktop.
Save jakobkogler/0db7d1948dce9635dbab to your computer and use it in GitHub Desktop.
STD for n = 2: 6.368013505010808
[(999, 1), (998, 1), (998, 4), (998, 5), (997, 6), (997, 7), (997, 11), (996, 11), (995, 12), (995, 12), (993, 13), (993, 13), (992, 14), (991, 16), (988, 17), (988, 18), (988, 18), (988, 20), (987, 23), (986, 23), (986, 23), (985, 25), (985, 26), (984, 27), (984, 27), (983, 28), (983, 28), (983, 28), (982, 30), (980, 32), (978, 32), (976, 32), (976, 37), (976, 39), (975, 40), (972, 41), (972, 42), (970, 43), (966, 45), (966, 47), (965, 48), (965, 48), (964, 48), (964, 48), (963, 48), (963, 49), (961, 50), (960, 50), (960, 50), (960, 51), (960, 53), (958, 55), (958, 56), (956, 57), (955, 58), (954, 63), (953, 63), (952, 64), (951, 65), (950, 65), (949, 65), (949, 66), (949, 67), (949, 68), (947, 69), (946, 71), (944, 73), (941, 73), (941, 74), (940, 74), (939, 75), (938, 76), (937, 77), (937, 77), (934, 77), (933, 80), (932, 81), (932, 83), (932, 84), (931, 85), (930, 85), (929, 85), (929, 85), (928, 88), (927, 88), (927, 88), (926, 89), (926, 93), (925, 93), (925, 94), (925, 96), (924, 96), (922, 96), (922, 98), (921, 99), (921, 99), (918, 99), (918, 101), (917, 101), (916, 101), (912, 102), (911, 103), (909, 105), (909, 107), (908, 108), (907, 108), (907, 109), (907, 109), (906, 110), (906, 110), (903, 111), (902, 112), (902, 112), (900, 112), (898, 114), (898, 115), (898, 115), (896, 115), (895, 117), (894, 118), (894, 118), (893, 120), (893, 122), (892, 123), (890, 124), (888, 124), (885, 125), (885, 125), (884, 126), (882, 126), (882, 130), (881, 130), (879, 130), (879, 131), (878, 131), (877, 132), (877, 133), (876, 134), (875, 135), (875, 136), (874, 136), (874, 138), (873, 139), (873, 139), (873, 140), (873, 141), (872, 143), (872, 144), (872, 144), (870, 145), (869, 149), (869, 149), (868, 150), (867, 151), (867, 151), (866, 151), (864, 153), (864, 153), (863, 154), (862, 156), (861, 156), (855, 156), (855, 156), (855, 160), (854, 160), (850, 161), (848, 162), (847, 162), (845, 163), (845, 167), (844, 168), (840, 171), (837, 171), (837, 172), (836, 174), (835, 175), (833, 176), (831, 178), (830, 179), (830, 179), (830, 179), (829, 179), (829, 181), (829, 182), (828, 183), (825, 184), (824, 185), (820, 185), (819, 185), (819, 185), (819, 186), (819, 189), (817, 189), (817, 189), (815, 189), (813, 189), (810, 189), (810, 189), (809, 190), (808, 190), (806, 191), (806, 193), (805, 193), (805, 195), (804, 196), (803, 196), (803, 199), (802, 199), (801, 199), (800, 199), (800, 199), (800, 199), (799, 204), (799, 205), (798, 205), (797, 205), (796, 206), (794, 207), (794, 208), (793, 209), (793, 209), (793, 210), (793, 212), (793, 213), (790, 214), (788, 214), (788, 219), (788, 219), (787, 220), (784, 221), (780, 222), (779, 224), (777, 225), (775, 226), (774, 226), (773, 227), (772, 228), (771, 231), (768, 233), (765, 234), (763, 236), (761, 236), (760, 236), (758, 238), (757, 238), (756, 240), (754, 242), (754, 244), (754, 247), (753, 249), (752, 250), (751, 252), (750, 252), (749, 254), (749, 256), (747, 256), (746, 259), (746, 260), (745, 260), (745, 261), (744, 267), (742, 267), (742, 268), (742, 268), (741, 268), (739, 271), (739, 274), (736, 274), (736, 279), (735, 280), (735, 282), (733, 284), (732, 284), (732, 287), (728, 289), (727, 289), (727, 289), (727, 290), (726, 290), (725, 291), (725, 291), (725, 292), (723, 293), (721, 293), (718, 294), (715, 294), (714, 295), (713, 296), (713, 296), (713, 297), (711, 297), (711, 298), (710, 298), (710, 299), (708, 299), (708, 300), (706, 301), (704, 302), (704, 302), (702, 308), (701, 309), (701, 310), (700, 310), (700, 311), (700, 313), (699, 315), (697, 317), (694, 317), (694, 318), (692, 318), (692, 319), (692, 319), (690, 320), (689, 321), (689, 321), (688, 322), (686, 322), (685, 322), (685, 323), (684, 325), (682, 325), (682, 326), (680, 326), (677, 326), (675, 326), (674, 330), (672, 331), (671, 331), (670, 332), (670, 333), (667, 333), (667, 334), (666, 334), (666, 336), (666, 336), (664, 336), (663, 337), (663, 337), (663, 337), (661, 337), (661, 337), (658, 338), (657, 339), (656, 339), (655, 342), (654, 343), (654, 343), (653, 343), (653, 344), (653, 347), (651, 347), (651, 348), (650, 349), (650, 349), (649, 350), (648, 350), (648, 350), (647, 351), (647, 354), (647, 354), (647, 354), (647, 356), (646, 356), (645, 358), (644, 361), (643, 363), (643, 363), (642, 363), (640, 364), (639, 368), (638, 369), (638, 369), (636, 370), (636, 373), (635, 374), (634, 374), (634, 375), (632, 376), (631, 377), (630, 377), (629, 378), (629, 380), (627, 381), (627, 383), (626, 384), (625, 385), (625, 388), (623, 393), (622, 395), (622, 396), (619, 397), (618, 398), (618, 398), (617, 398), (616, 398), (616, 399), (611, 401), (609, 401), (609, 402), (608, 403), (607, 406), (601, 406), (598, 406), (598, 407), (596, 407), (594, 408), (593, 409), (592, 409), (587, 409), (586, 411), (585, 413), (585, 413), (583, 413), (583, 415), (582, 417), (582, 418), (581, 418), (580, 419), (578, 419), (578, 419), (578, 421), (577, 422), (576, 422), (574, 424), (574, 424), (574, 425), (573, 426), (572, 428), (571, 431), (571, 431), (568, 432), (568, 433), (568, 434), (567, 439), (566, 440), (566, 440), (566, 440), (566, 441), (566, 441), (565, 442), (565, 442), (564, 442), (562, 443), (561, 445), (561, 445), (560, 446), (560, 447), (559, 448), (557, 452), (556, 453), (556, 453), (555, 453), (555, 453), (554, 454), (550, 455), (550, 456), (549, 456), (546, 457), (546, 458), (545, 458), (544, 460), (544, 462), (544, 462), (542, 465), (540, 468), (539, 468), (539, 471), (539, 471), (539, 475), (538, 476), (536, 479), (536, 480), (536, 481), (536, 484), (536, 484), (536, 484), (534, 484), (532, 484), (530, 486), (530, 486), (530, 486), (528, 486), (527, 486), (526, 488), (526, 489), (526, 489), (525, 490), (524, 491), (523, 493), (523, 495), (522, 495), (521, 496), (521, 500), (517, 501), (516, 502), (516, 504), (516, 505), (514, 505), (513, 505), (506, 506)]
STD for n = 3: 0.7016791404346079
[[862, 647, 0], [854, 657, 0], [855, 654, 1], [864, 644, 1], [988, 516, 6], [988, 517, 5], [995, 496, 18], [993, 493, 23], [844, 655, 11], [820, 682, 7], [878, 585, 48], [879, 582, 50], [996, 502, 12], [845, 653, 12], [988, 489, 32], [999, 495, 16], [868, 568, 73], [882, 581, 48], [911, 585, 13], [873, 586, 50], [909, 578, 23], [921, 572, 17], [835, 658, 18], [819, 661, 30], [995, 501, 14], [997, 486, 27], [870, 583, 57], [803, 666, 41], [809, 674, 28], [976, 505, 28], [907, 578, 25], [877, 577, 56], [898, 580, 32], [726, 758, 26], [941, 530, 40], [808, 654, 48], [950, 528, 32], [946, 521, 43], [896, 573, 42], [725, 757, 28], [793, 664, 53], [793, 666, 50], [926, 536, 48], [970, 536, 4], [925, 536, 49], [966, 524, 20], [949, 523, 39], [940, 522, 48], [984, 513, 13], [983, 516, 11], [949, 514, 47], [893, 566, 51], [885, 582, 45], [793, 663, 55], [794, 651, 65], [793, 651, 65], [796, 656, 58], [798, 650, 63], [824, 598, 88], [825, 619, 66], [998, 486, 27], [997, 476, 37], [790, 648, 71], [797, 649, 64], [815, 629, 67], [810, 631, 69], [947, 495, 68], [727, 760, 23], [784, 653, 73], [788, 647, 74], [793, 653, 65], [787, 648, 74], [788, 647, 75], [867, 566, 76], [978, 454, 77], [992, 441, 77], [799, 634, 77], [799, 630, 81], [882, 549, 80], [813, 609, 88], [819, 571, 122], [819, 607, 84], [953, 471, 85], [993, 453, 63], [982, 443, 85], [986, 440, 83], [984, 440, 85], [988, 433, 88], [983, 431, 96], [985, 431, 93], [983, 432, 94], [980, 428, 102], [794, 627, 89], [788, 623, 98], [761, 647, 101], [771, 639, 99], [772, 640, 96], [802, 609, 99], [951, 458, 101], [960, 453, 96], [958, 453, 99], [975, 442, 93], [965, 445, 101], [960, 447, 103], [964, 441, 105], [963, 440, 107], [976, 424, 108], [991, 411, 108], [998, 403, 109], [986, 407, 117], [987, 413, 110], [998, 401, 111], [997, 398, 115], [773, 625, 112], [754, 643, 112], [833, 564, 112], [803, 587, 120], [829, 565, 115], [829, 566, 115], [895, 506, 109], [932, 468, 110], [885, 505, 118], [963, 462, 85], [907, 489, 114], [902, 488, 118], [902, 486, 123], [960, 426, 124], [960, 425, 124], [965, 419, 125], [966, 419, 125], [976, 406, 126], [985, 398, 126], [972, 407, 130], [964, 415, 131], [972, 409, 130], [954, 417, 139], [756, 622, 131], [805, 566, 138], [800, 578, 132], [800, 576, 134], [801, 568, 141], [830, 544, 136], [804, 566, 140], [840, 536, 133], [810, 559, 139], [916, 465, 130], [918, 456, 136], [927, 448, 135], [921, 446, 143], [903, 462, 144], [932, 434, 144], [941, 424, 145], [939, 421, 149], [931, 419, 160], [938, 422, 150], [937, 422, 151], [952, 406, 151], [956, 402, 151], [710, 646, 153], [708, 650, 153], [710, 645, 154], [711, 643, 156], [718, 635, 156], [727, 626, 156], [736, 618, 156], [728, 632, 149], [780, 568, 162], [805, 544, 161], [806, 544, 160], [806, 542, 162], [890, 457, 163], [898, 445, 167], [924, 418, 168], [926, 413, 171], [929, 409, 171], [933, 398, 179], [937, 397, 176], [934, 401, 175], [925, 406, 179], [685, 647, 178], [700, 638, 172], [701, 634, 174], [706, 625, 179], [694, 636, 179], [689, 636, 185], [699, 629, 182], [721, 608, 181], [732, 594, 184], [741, 571, 199], [735, 592, 183], [727, 596, 185], [779, 539, 190], [869, 455, 186], [879, 442, 189], [861, 460, 189], [928, 393, 189], [922, 398, 189], [912, 409, 189], [922, 399, 189], [700, 622, 189], [701, 616, 193], [704, 616, 190], [692, 627, 191], [713, 598, 199], [714, 601, 195], [736, 574, 199], [777, 540, 193], [847, 468, 196], [855, 458, 196], [930, 395, 185], [929, 396, 185], [898, 413, 199], [955, 356, 199], [667, 642, 199], [667, 638, 205], [713, 593, 204], [686, 617, 207], [932, 373, 205], [958, 343, 209], [694, 611, 205], [746, 556, 208], [765, 539, 206], [774, 526, 209], [775, 525, 210], [876, 408, 226], [944, 351, 213], [949, 347, 214], [918, 378, 214], [747, 545, 219], [742, 550, 219], [732, 556, 222], [909, 380, 221], [754, 536, 220], [692, 562, 256], [711, 561, 238], [735, 550, 226], [768, 530, 212], [733, 546, 231], [906, 376, 228], [927, 356, 227], [713, 555, 242], [723, 554, 233], [689, 555, 267], [690, 538, 282], [742, 534, 236], [961, 311, 238], [908, 377, 225], [949, 321, 240], [907, 369, 234], [893, 374, 244], [894, 369, 247], [892, 370, 249], [906, 354, 250], [697, 560, 252], [685, 557, 268], [739, 516, 254], [877, 377, 256], [925, 361, 224], [900, 350, 259], [888, 354, 268], [682, 567, 260], [684, 565, 261], [753, 490, 267], [744, 530, 236], [715, 526, 268], [894, 364, 252], [917, 333, 260], [881, 358, 271], [675, 560, 274], [751, 523, 236], [763, 471, 274], [817, 368, 326], [819, 374, 317], [800, 418, 292], [817, 363, 330], [873, 350, 287], [873, 349, 289], [869, 347, 294], [680, 539, 291], [618, 574, 318], [688, 532, 290], [828, 363, 320], [829, 388, 293], [830, 354, 326], [836, 384, 290], [831, 385, 293], [837, 348, 326], [872, 349, 289], [830, 383, 295], [864, 350, 296], [872, 342, 296], [873, 339, 298], [875, 338, 297], [874, 337, 299], [875, 337, 298], [850, 363, 297], [874, 337, 299], [666, 526, 318], [884, 337, 289], [872, 336, 302], [867, 343, 300], [539, 663, 308], [663, 536, 310], [677, 521, 313], [745, 456, 310], [546, 583, 381], [750, 452, 309], [742, 453, 315], [739, 480, 291], [754, 439, 317], [745, 481, 284], [725, 484, 302], [561, 574, 375], [866, 344, 301], [848, 337, 325], [863, 326, 321], [855, 336, 319], [704, 484, 322], [702, 486, 322], [661, 527, 322], [708, 479, 323], [700, 486, 325], [746, 484, 280], [749, 442, 319], [752, 475, 284], [725, 491, 294], [749, 484, 279], [845, 334, 331], [837, 343, 331], [670, 500, 339], [671, 506, 332], [670, 504, 336], [672, 505, 333], [692, 484, 334]]
STD for n = 23: 0.48691557467337626
[[991, 934, 918, 847, 831, 742, 741, 651, 643, 573, 550, 505, 448, 413, 350, 334, 267, 236, 178, 149, 81, 80, 0], [976, 958, 895, 873, 796, 793, 694, 690, 619, 594, 536, 501, 453, 406, 363, 321, 287, 222, 174, 151, 83, 77, 0], [997, 931, 922, 840, 830, 746, 732, 656, 647, 568, 559, 486, 471, 396, 369, 318, 284, 224, 172, 151, 85, 77, 0], [982, 950, 882, 879, 819, 756, 723, 666, 638, 582, 539, 525, 432, 424, 342, 333, 267, 236, 179, 145, 85, 77, 0], [988, 937, 917, 850, 820, 750, 735, 654, 648, 566, 564, 484, 462, 406, 370, 317, 289, 220, 175, 150, 84, 76, 0], [993, 932, 926, 845, 828, 744, 735, 654, 647, 567, 560, 486, 468, 398, 369, 318, 282, 226, 171, 153, 85, 75, 0], [976, 958, 894, 873, 800, 784, 704, 670, 635, 586, 536, 526, 431, 428, 337, 337, 252, 252, 160, 160, 88, 74, 0], [998, 927, 924, 837, 830, 747, 732, 657, 647, 574, 556, 491, 456, 421, 343, 336, 260, 242, 176, 149, 85, 74, 0], [965, 966, 907, 864, 804, 773, 710, 680, 629, 577, 546, 516, 442, 407, 361, 322, 284, 225, 171, 151, 88, 73, 0], [988, 937, 918, 848, 824, 749, 727, 661, 646, 576, 554, 495, 454, 413, 350, 333, 268, 236, 179, 144, 88, 73, 0], [984, 952, 892, 874, 799, 788, 701, 672, 634, 587, 536, 526, 431, 424, 339, 337, 259, 244, 167, 154, 93, 69, 0], [965, 960, 916, 854, 810, 758, 727, 663, 642, 574, 556, 505, 447, 419, 347, 330, 274, 231, 179, 144, 89, 71, 0], [964, 963, 898, 872, 805, 779, 706, 688, 622, 581, 542, 516, 442, 409, 354, 331, 268, 238, 168, 153, 93, 68, 1], [975, 956, 885, 877, 817, 754, 725, 664, 639, 582, 540, 528, 440, 401, 374, 315, 279, 227, 179, 143, 94, 67, 1], [976, 953, 898, 872, 794, 793, 699, 674, 631, 592, 536, 506, 445, 426, 338, 337, 256, 249, 162, 156, 96, 66, 6], [986, 941, 902, 868, 803, 775, 708, 686, 623, 583, 539, 524, 433, 422, 343, 336, 254, 250, 161, 156, 98, 65, 5], [983, 949, 882, 881, 819, 754, 718, 685, 625, 578, 544, 521, 441, 398, 380, 302, 300, 206, 190, 141, 96, 65, 4], [998, 926, 925, 837, 830, 746, 736, 653, 649, 566, 560, 486, 468, 397, 374, 313, 289, 219, 181, 140, 96, 65, 7], [966, 960, 907, 864, 801, 771, 711, 675, 630, 608, 530, 484, 471, 395, 375, 310, 295, 205, 191, 136, 101, 64, 11], [995, 932, 906, 866, 794, 793, 700, 667, 636, 598, 534, 500, 453, 402, 363, 321, 289, 221, 162, 156, 99, 63, 11], [983, 949, 885, 876, 819, 752, 726, 663, 640, 571, 549, 506, 445, 425, 339, 337, 256, 247, 163, 156, 99, 63, 12], [980, 951, 890, 875, 805, 772, 711, 677, 629, 593, 536, 505, 446, 422, 343, 334, 261, 238, 185, 139, 99, 58, 12], [987, 940, 903, 867, 803, 774, 710, 682, 627, 578, 545, 516, 442, 407, 358, 322, 297, 199, 196, 136, 102, 57, 13], [970, 960, 893, 874, 799, 788, 701, 670, 634, 601, 530, 504, 452, 398, 381, 302, 299, 207, 190, 138, 101, 56, 13], [988, 939, 906, 867, 793, 793, 697, 689, 618, 596, 536, 496, 453, 419, 347, 326, 290, 219, 182, 135, 103, 55, 14], [983, 949, 884, 877, 817, 754, 725, 666, 636, 585, 538, 523, 434, 419, 344, 336, 260, 240, 185, 126, 111, 53, 16], [985, 944, 898, 870, 802, 777, 708, 682, 627, 578, 544, 517, 441, 413, 354, 323, 296, 205, 193, 125, 112, 51, 17], [985, 946, 893, 873, 800, 787, 702, 667, 638, 585, 539, 521, 440, 399, 376, 311, 294, 208, 189, 139, 101, 50, 18], [964, 963, 900, 869, 806, 768, 713, 685, 625, 580, 544, 513, 443, 409, 354, 331, 271, 233, 183, 134, 105, 50, 18], [993, 932, 922, 844, 829, 742, 739, 651, 647, 566, 561, 484, 480, 384, 383, 301, 299, 205, 193, 125, 112, 50, 20], [972, 955, 888, 875, 810, 761, 714, 694, 616, 609, 527, 488, 460, 408, 356, 325, 293, 210, 189, 131, 108, 49, 23], [972, 954, 894, 873, 800, 780, 704, 689, 622, 583, 539, 523, 439, 401, 373, 317, 274, 228, 185, 133, 107, 48, 23], [992, 933, 921, 845, 825, 749, 721, 666, 644, 572, 555, 493, 456, 411, 351, 332, 268, 234, 185, 126, 112, 48, 23], [999, 921, 925, 835, 833, 745, 733, 655, 648, 566, 562, 484, 476, 388, 377, 309, 297, 199, 199, 122, 115, 48, 25], [986, 941, 902, 869, 798, 788, 700, 684, 626, 568, 555, 495, 455, 409, 356, 322, 298, 199, 199, 120, 117, 48, 26], [978, 947, 896, 872, 797, 790, 700, 671, 632, 607, 530, 486, 465, 398, 377, 310, 296, 204, 195, 118, 118, 48, 27], [997, 929, 911, 855, 819, 753, 725, 663, 645, 571, 550, 489, 458, 417, 349, 326, 291, 214, 186, 132, 108, 47, 27], [988, 938, 908, 862, 808, 763, 713, 692, 617, 609, 522, 486, 462, 406, 363, 320, 293, 209, 189, 131, 109, 45, 28], [995, 928, 909, 861, 809, 760, 715, 692, 618, 598, 532, 502, 453, 403, 368, 319, 280, 226, 184, 130, 109, 43, 28], [998, 927, 925, 836, 829, 745, 736, 653, 650, 565, 561, 484, 475, 393, 364, 319, 294, 209, 189, 130, 110, 42, 28], [997, 929, 912, 855, 815, 751, 728, 658, 650, 566, 565, 481, 479, 385, 378, 308, 298, 199, 196, 130, 110, 41, 30], [961, 960, 907, 863, 806, 765, 713, 692, 616, 611, 526, 489, 457, 418, 348, 326, 290, 214, 189, 124, 114, 40, 32], [984, 949, 878, 879, 813, 757, 727, 661, 647, 568, 557, 490, 458, 418, 349, 325, 292, 212, 189, 123, 115, 39, 32], [996, 930, 909, 855, 829, 742, 739, 653, 643, 574, 546, 514, 440, 415, 350, 326, 291, 213, 189, 124, 115, 37, 32]]
6.368013505010808 + 0.7016791404346079 + 0.48691557467337626 = 7.556608220118792
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment