强连通有向图同步网络-synBFS算法

在运行中的任一时刻，总有一个进程是被标记的。最初的时候是i0。进程i0在第一轮时向所有出向邻接节点发出一个搜索消息。在每一轮中，如果一个未标记的进程接收到一个搜索消息，就标记它自己，并且从传来搜索消息的进程里选择一个作为父节点。在一个进程被标记之后的第一轮，它向所有的出向邻接节点发送搜索消息。建立了一个BFS树，进行广度优先搜索。