带有批处理弧的标记图的可达性问题| IEEE会议出版物| IEEE Xplore