A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences

<div>Correlation of rank comparison between <svg height="13.9769pt" id="M380" style="vertical-align:-5.341001pt" version="1.1" viewbox="-0.0498162 -8.6359 20.8908 13.9769" width="20.8908pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M743 650H503L496 622L527 618C563 613 564 603 532 573C449 495 371 431 323 392C301 374 272 355 246 346L280 522C297 609 300 614 379 622L385 650H135L129 622C209 614 215 609 198 522L124 133C106 39 99 35 23 28L17 0H271L277 28C193 35 192 39 208 133L239 316C264 328 280 325 303 288C368 183 435 90 502 0H652L659 28C602 34 584 43 543 94C495 154 403 283 347 369L574 554C634 603 659 612 735 624L743 650Z" id="g113-76"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.23,3.132)"><path d="M781 91L765 118C733 86 702 70 693 70C686 70 685 77 692 106L738 297C772 439 736 451 712 451S675 445 647 431C605 410 526 356 452 257H450L459 294C491 426 459 451 429 451C403 451 386 445 361 431C312 404 239 343 170 253H168L188 333C208 411 205 451 175 451C148 451 85 417 24 346L39 318C57 338 100 374 112 374C120 374 122 372 115 339C91 226 62 112 28 -6L37 -12C59 -4 87 3 114 6C125 68 142 127 154 168C184 227 316 383 372 383C397 383 396 366 381 289C362 192 338 92 312 -6L317 -12C339 -5 367 3 396 6L434 170C468 234 598 383 650 383C668 383 676 369 664 319L609 90C593 23 600 -12 629 -12C654 -12 722 23 781 91Z" id="g50-110"></path></g><g transform="matrix(.0065,0,0,-0.0065,16.51,5.233)"><path d="M443 227C443 310 376 399 246 399C216 399 175 385 139 374L163 546H394L422 615L414 623H124L84 318C106 325 144 336 186 336C298 336 353 275 353 189C353 120 311 45 229 45C168 45 125 77 103 97C92 105 84 102 73 94C61 84 52 69 51 61C48 47 52 40 66 25C84 9 127 -12 175 -12C229 -11 296 15 350 59C413 107 443 167 443 227Z" id="g176-54"></path></g></svg> and <span class="nowrap"><svg height="13.3154pt" id="M381" style="vertical-align:-4.679501pt" version="1.1" viewbox="-0.0498162 -8.6359 27.9113 13.3154" width="27.9113pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M743 650H503L496 622L527 618C563 613 564 603 532 573C449 495 371 431 323 392C301 374 272 355 246 346L280 522C297 609 300 614 379 622L385 650H135L129 622C209 614 215 609 198 522L124 133C106 39 99 35 23 28L17 0H271L277 28C193 35 192 39 208 133L239 316C264 328 280 325 303 288C368 183 435 90 502 0H652L659 28C602 34 584 43 543 94C495 154 403 283 347 369L574 554C634 603 659 612 735 624L743 650Z" id="g113-76"></path></g><g transform="matrix(.0091,0,0,-0.0091,9.23,3.132)"><path d="M786 370C786 572 637 650 431 650H137L130 618C217 606 220 603 204 519L129 127C115 48 107 39 26 30L18 0H270C410 0 516 20 609 75C722 140 786 240 786 370ZM683 373C683 178 547 40 323 40C298 40 264 40 241 45C213 51 207 64 220 127L295 545C304 582 309 595 320 601C335 610 367 613 406 613C570 613 683 538 683 373Z" id="g50-69"></path></g><g transform="matrix(.0091,0,0,-0.0091,16.264,3.132)"><path d="M309 -142C211 -61 151 99 151 271S210 601 309 683L288 710C141 611 75 451 75 272V271C75 90 141 -72 288 -169L309 -142Z" id="g50-41"></path></g><g transform="matrix(.0091,0,0,-0.0091,19.522,3.132)"><path d="M158 548H390L417 615L410 623H122L83 318C105 326 143 337 185 337C296 337 350 275 350 188C350 116 308 42 225 42C164 42 122 74 100 93C90 101 82 99 72 92C60 82 51 68 50 59C48 46 52 38 66 24C82 9 125 -12 172 -12C225 -11 292 15 346 59C408 108 437 166 437 226C437 309 371 397 242 397C214 397 170 382 133 369L158 548Z" id="g50-54"></path></g><g transform="matrix(.0091,0,0,-0.0091,23.954,3.132)"><path d="M283 271C283 451 220 610 70 710L48 683C146 603 207 443 207 271S149 -59 48 -142L70 -169C220 -67 283 90 283 271Z" id="g50-42"></path></g></svg>.</span></div>

Complexity

fig1

Figure 1

Figure 1: A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences 