что у parser внутри #5 | string tree rebalance

Александр Петросян (PAF) 25.02.2006 12:09

уже немного рассказывал о строках:
http://www.parser.ru/forum/?id=47403

что строки в parser хранятся в виде деревьев — в таком виде самая частая операция «добавить кусочек к строке» выполняется молниеносно и время ее выполнения не зависит от длин исходного и добавляемого.

многим очевидно, время от времени деревья надо ребалансировать, чтобы они не заваливались на левый бок.

т.е. чтобы с ними было удобно работать, и не нужно было всё время далеко соскальзывать в левую сторону.

сегодня забрел в кусок кода, реализующий это.
кусок взят из библиотеки libgc(часть cords).
любопытна вспомогательная функция CORD_init_min_len()

подготавливающая массивчик ограничений на длины кусочков:

(gdb) p min_len $1 = {1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, 28657, 46368, 75025, 121393, 196418, 317811, 514229, 832040, 1346269, 2178309, 3524578, 5702887, 9227465, 14930352, 24157817, 39088169, 63245986, 102334155, 165580141, 267914296, 433494437, 701408733, 1134903170, 1836311903, 2971215073, 2971215073, 2971215073}

что погрело душу, так это что не глядя на исходник функции эти числа показались знакомыми.
встречал их в детстве, в книжке «Занимательная Математика» Перельмана... это известные «числа Фибоначчи».

---