设施服务分区问题的求解算法框架设计

An Algorithm Framework for Facility Service Districting Problem

  • 摘要: 设施服务分区问题(facility service districting problem,FSDP)是指在一个地理区域内,根据服务设施位置和服务能力为其划分服务区,满足供需平衡、形状紧凑和空间连续等要求。空间连续约束使FSDP能更好地满足学区划分、医疗区划分等问题的政策需求,但同时增加了它的求解难度。构造了一个FSDP混合整型线性规划模型,并设计了一个算法框架。框架包括问题定义、初始解、搜索算子和策略等基本模块,支持精确算法、元启发算法和混合算法设计。基于算法框架,实现了数学模型、模拟退火算法、迭代局部搜索算法和数学启发混合算法,并使用4个中大规模案例进行算法测试。实验结果表明,算法框架能够很好地处理空间连续约束的FSDP,支持多种算法快速实现,且求解质量接近案例目标值下界。

     

    Abstract:
      Objectives  Facility service districting problem(FSDP) refers to the design of facility service areas according to the facility locations and service capacities in a geographical region. The design criteria for service areas include the balance of service demand and supply, the highest service accessibility, and the spatial contiguity. The spatial contiguity is a necessity for satisfying some policies on public services, such as school districting and medical districting. However, solving the FSDP with contiguity constraints is challenging. We present a hybrid algorithm framework for solving the FSDP.
      Methods  The algorithm is proposed based on the general local search algorithm and furtherly enhanced by multi-start, ruin-recreate, set-partitioning and other optimization strategies. The basic modules such as initial solution generation method, local search operators, solution perturbation, model building and solving, and search strategies, are provided in the framework. Using these building blocks, some exact, metaheuristic and hybrid algorithms could be implemented effectively. Five algorithms are implemented for the FSDP: Exact method by solving a mixed integer linear programming model, simulated annealing (SA) algorithm, iterative local search (ILS) algorithm, SA with set-partitioning, and ILS with set-partitioning. In addition, four instances are designed to test the algorithms. The instance size, supply-demand ratio, and geographic environment are considered in the instance design.
      Results  There are several findings from computing experimentation: Optimal or near-optimal solutions of the instances could be obtained by CPLEX optimizer; high-quality solutions could be found by SA and ILS algorithms much more efficiently; the set-partitioning procedure is capable of improving the solution quality.
      Conclusions  Based on the proposed algorithm framework, it is easy and flexible to design local-search based matheuristics and hybrid algorithms for the FSDP. High quality solutions could be obtained by coupling the local search with ruin-recreate perturbation and set-partitioning.

     

/

返回文章
返回