尚未全部阅读
parallel disk model（对于BFS没啥大用）
模型
BD(j-1)定位红色框（trackj前有j-1个track（红框），每个track有BD个records）；
B(k-1)在红框中定位蓝框（红框中，diskk前有k-1个block（蓝框），每个block有B个records）；
i在蓝框中定位record
IO
compute
BFS
一个性质
level(t-1)邻居的并集得到初始level(t)，此level(t)中要去除的已经visited（入队）的顶点，只可能在level(t-1)∪level(t-2)中
证明（by me）：如果初始level(t)中有level(t-3)中的顶点，则说明level(t-1)中有顶点有邻居在level(t-3)（因为level(t)是level(t-1)邻居的并集），而如果level(t-1)中有顶点有邻居在level(t-3)，则该顶点应该在处理level(t-3)的时候被入队到下一个level，即应该属于level(t-2)，这与该顶点属于level(t-1)矛盾
证明（by [2002 ESA] External-memory breadth-first search with sublinear I/O）：
算法
