块状链表（分块）2016.10.3

参考：http://dongxicheng.org/structure/blocklink/

苏煜《对块状链表的一点研究》

一、概述

我们常用的两种线性数据结构是数组和链表，它们各有优缺点

数组特点是元素在内存中紧挨着存储，因而优点是定位快 O(1)，缺点是插入删除慢 O(n)

而链表则不同，它通过指针将不同位置的元素链接起来，因而优缺点与数组正好相反：定位慢 O(n)，插入删除快 O(1)

块状链表：将数组和链表的优点结合来，各种操作的时间复杂度均为 O(sqrt(n))

二、块状链表

从整体上看，块状链表是一个链表， 而在链表的每个节点上，以数组的形式存储一组元素

所谓的“块状”链表如图所示

三、基本操作

1、定位

先定位元素所在的链表节点，然后再定位该元素在数组中的位置

从链表头开始往后扫，每个节点记录本节点合法数据的长度，最终会定位为某一个块及块内偏移

2、分裂

将某个节点分裂成两个节点

3、插入

首先定位要插入的位置，然后将所在节点分裂成两个节点，并将数据放到第一个节点的末尾

如果要插入的是一大块数据，首先要将数据切成多个block（每个block对应一个块状链表的一个节点）并将这些block链起来，然后将它们插入那两个节点之间

4、删除

首先定位删除元素的位置，然后按照数组删除元素的方法删除该数据

如果删除一大块数据，首先要定位数据块首元素和末元素所在的位置，然后分别将它们所在的节点分裂成两个节点，最后删除首元素和末元素之间的节点即可

5、及时合并小分块

四、关键点和复杂度分析

该算法的核心是确定链表长度和每个节点的数组长度，以及怎么保证这个数组长度值？

设块状链表中元素总个数为 x，链表长度为 n，每个节点中数据长度为 m，则当 m=n=sqrt(x) 时，可保证 m 和 n 同时最小，此时各种操作的时间复杂度最低

在实际应用时，需维持块状链表的每个节点大小在 [sqrt(n)/2， 2*sqrt(n)]，否则，块状链表会退化

维护方法是，适当的时候，对节点进行合并与分裂（维护本身不会使复杂度增加）

五、例题

1、BZOJ 1507 [NOI2003] Editor

参考：