基于可满足性的铁路网络路径规划方法及装置

本发明公开了一种基于可满足性的铁路网络路径规划方法及装置，涉及路径规划领域，包括：获取铁路网络图和每辆列车的起始位置和目标位置，对铁路网络图进行地图建模，得到双顶点图，将每辆列车建模成智能体；确定单个智能体的路径的时间成本阈值μ；采用μSMT‑CBS算法求解每个智能体的路径规划的解决方案，并判断是否能找到有效的智能体的路径规划的解决方案；若找到有效的智能体的路径规划的解决方案，则返回解决方案，若未找到有效的智能体的路径规划的解决方案，则将μ加1，并重复上一步骤，直至找到解决方案或者无法找到任何一个智能体的路径的时间成本小于或等于μ的解决方案为止，克服路径规划中的冲突难以解决的问题。