后向可达集相关论文