Paper: Section 5 —— Read Centric Verifying Algorithm

[hengxin]

TODO List:

1. data structure for GAW
2. Analysis: time complexity of topological sorting in reschedule; dynamic insertion of edges
3. Lemma: Order of reschedule???
4. about references of Data Structure
5. Proc. reference