文献阅读相关-MODELING AND SOLVING THE TRAIN TIMETABLING PROBLEM-OR-2002-Caprara

记录阅读文献的疑惑与体会，由衷欢迎各位赐教：ligong15 AT foxmail.com

1、文中将列车时刻表问题（Train Timetabling Problem）转化为最大独立集问题（Max-Independent Set Problem），所举例子并未能理解。

文中说MISP可以在多项式时间内转化为TTP，并举了一个例子。例子过程跟随步骤能够看懂，但是首先，转化出来的时刻表是冲突的，其次，并未能理解MISP在该例子中的作用。对于MISP目前我只有简单的理解，即在图中寻找最大的的相互独立的顶点的集合。并未理解文中例子的图中，“独立”体现在何处。

2、文中将首先构造的图论模型进行转化时，将有关弧的变量转化为有关于时刻的变量，减少了变量个数。

感觉跟孟令云老师-2014-TRB-《Simultaneous train rerouting and rescheduling on an N -track network: A model reformulation with network-based cumulative flow variables》中思路类似。Caprara这篇文章是将列车互相之间的间隔时间约束转化为冲突时刻的占用约束，孟老师是体现在约束列车对闭塞区间这一固定设施的占用总量。

3、文中首先构建的图论模型

与周文梁老师-2016-TRB-《Simultaneous passenger train routing and timetabling using an efficient train-based Lagrangian relaxation decomposition》中思路类似。周老师完全没有使用孟老师的累积0-1变量构模技术，我认为是将Caprara构建的图论模型中Clique Constraints（我不知道怎么翻译）进行了简化，根据实际情况减少了约束个数，并沿用了冲突弧集这个概念进行算法的设计。之前阅读周老师文章时，感觉到重构模型中冲突弧集约束不够简洁，感觉是先有成型的算法，随后根据算法中的定义来写出所需约束的数学描述。

4、构建图论模型之后，说到线性松弛可通过割平面法有效求解。不理解割平面法在线性规划中的应用，只理解在整数规划中的应用。

5、文中：the separation of Clique Constraints (5) is equivalent to the determination of a maximum-weight stable set in a comparability graph, 存疑，可根据文中提示查阅应用文献。