Hybrid Quantum-Classical Branch-and-Price for Intra-Day Electric Vehicle Charging Scheduling via Partition Coloring
Pith reviewed 2026-05-15 01:01 UTC · model grok-4.3
The pith
Hybrid quantum-classical branch-and-price solves large EV charging schedules to optimality where pure classical solvers time out.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Embedding QAIA solvers for the maximum-independent-set pricing subproblem inside classical branch-and-price produces an algorithm that matches Gurobi on small and medium EV instances and strictly outperforms it on large instances by closing gaps that the pure classical solver leaves open at the time limit.
What carries the argument
Branch-and-price decomposition on the partition-coloring conflict graph, with the pricing subproblem cast as a QUBO and solved by ballistic simulated branching or simulated coherent Ising machine while the master problem remains with Gurobi.
Load-bearing premise
The synthetic EV charging instances and the QUBO reformulation of their maximum-independent-set subproblems preserve the difficulty and solution quality of real-world intra-day scheduling.
What would settle it
Extract conflict graphs from actual operational logs of a public EV charging facility, run both the hybrid QAIA variants and the pure Gurobi branch-and-price on them under identical time limits, and observe whether the QAIA versions still close all gaps while the baseline does not.
Figures
read the original abstract
The rapid deployment of electric vehicles (EVs) in public parking facilities and fleet operations raises challenging intra-day charging scheduling problems under tight charger capacity and limited dwell times. We model this problem as a variant of the Partition Coloring Problem (PCP), where each vehicle defines a partition, its candidate charging intervals are vertices, and temporal and resource conflicts are represented as edges in a conflict graph. On this basis, we design a branch-and-price algorithm in which the restricted master problem selects feasible combinations of intervals, and the pricing subproblem is a maximum independent set problem. The latter is reformulated as a quadratic unconstrained binary optimization (QUBO) model and solved by quantum-annealing-inspired algorithms (QAIA) implemented in the MindQuantum framework, specifically the ballistic simulated branching (BSB) and simulated coherent Ising machine (SimCIM) methods, while the master problem is solved by Gurobi. Computational experiments on a family of synthetic EV charging instances show that the QAIA-enhanced algorithms match the pure Gurobi-based branch-and-price baseline on small and medium instances, and clearly outperform it on large and hard instances. In several cases where the baseline reaches the time limit with non-zero optimality gaps, the QAIA-based variants close the gap and prove optimality within the same time budget. These results indicate that integrating QAIA into classical decomposition schemes are a promising direction for large-scale EV charging scheduling and related PCP applications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper models intra-day EV charging scheduling as a Partition Coloring Problem on a conflict graph and develops a branch-and-price algorithm whose restricted master problem is solved by Gurobi while the pricing subproblem (maximum independent set) is converted to QUBO and solved by the heuristic QAIA methods BSB and SimCIM implemented in MindQuantum. On synthetic instances the QAIA-enhanced variants match the pure Gurobi branch-and-price baseline on small and medium cases and outperform it on large instances by closing optimality gaps and proving optimality within the same time limit.
Significance. If the reported optimality proofs are valid, the work demonstrates that quantum-annealing-inspired heuristics can be embedded inside classical exact decomposition schemes to solve larger instances of partition-coloring-type scheduling problems than pure MIP solvers can handle, providing a concrete route for scaling EV fleet optimization and related applications.
major comments (2)
- [Computational results] Computational results section: the claim that QAIA variants 'prove optimality' on large instances where the Gurobi baseline terminates with positive gaps assumes that BSB and SimCIM always return exact maximum independent sets in every pricing call. Because these are iterative heuristics without certificates, the manuscript must supply explicit verification (e.g., comparison against an exact MIP solver on the encountered subproblems or a proof that the heuristics are exact on the tested graph family) for the optimality statements to be credible.
- [Computational experiments] Instance generation and experimental setup: no description is given of how the synthetic EV instances and their conflict graphs are constructed, how QAIA hyperparameters are chosen, or what statistical tests (if any) support the performance differences. These omissions make it impossible to judge whether the observed outperformance is robust or an artifact of the particular test set.
minor comments (2)
- [Abstract] The abstract and introduction should clarify the precise sizes (number of vehicles, intervals, density of conflict graphs) of the 'small', 'medium', and 'large' instance classes.
- [Pricing subproblem] Notation for the QUBO reformulation of the maximum independent set pricing problem should be introduced with an explicit equation reference rather than left implicit.
Simulated Author's Rebuttal
We thank the referee for the constructive and detailed comments. We address each major point below and will revise the manuscript to improve clarity and rigor.
read point-by-point responses
-
Referee: [Computational results] Computational results section: the claim that QAIA variants 'prove optimality' on large instances where the Gurobi baseline terminates with positive gaps assumes that BSB and SimCIM always return exact maximum independent sets in every pricing call. Because these are iterative heuristics without certificates, the manuscript must supply explicit verification (e.g., comparison against an exact MIP solver on the encountered subproblems or a proof that the heuristics are exact on the tested graph family) for the optimality statements to be credible.
Authors: We agree that BSB and SimCIM are heuristics without built-in optimality certificates, so zero-gap termination of the branch-and-price procedure does not constitute a rigorous proof of optimality for the original problem. We will revise the computational results section to explicitly qualify all optimality claims, stating that the reported solutions and gaps are with respect to the columns generated by the QAIA solvers. In addition, we will add a verification subsection that solves a representative sample of the encountered pricing subproblems exactly with Gurobi and reports the frequency with which the QAIA heuristics recovered the optimal independent sets. This will allow readers to assess the practical reliability of the optimality statements. revision: yes
-
Referee: [Computational experiments] Instance generation and experimental setup: no description is given of how the synthetic EV instances and their conflict graphs are constructed, how QAIA hyperparameters are chosen, or what statistical tests (if any) support the performance differences. These omissions make it impossible to judge whether the observed outperformance is robust or an artifact of the particular test set.
Authors: We apologize for these omissions. We will insert a dedicated subsection on experimental setup that fully describes the synthetic instance generator (vehicle counts, time discretization, charger capacities, dwell-time distributions, and the precise rules used to build the conflict graph). We will also document the exact hyperparameter values employed for BSB and SimCIM, together with the tuning protocol. Finally, we will re-run the experiments with multiple random seeds, report means and standard deviations, and include paired statistical tests (Wilcoxon signed-rank) to quantify the significance of the observed performance differences. revision: yes
Circularity Check
No circularity: standard branch-and-price with external solver choice
full rationale
The paper describes a conventional branch-and-price decomposition for the partition coloring formulation of EV scheduling. The master problem is solved by Gurobi and the pricing subproblem (maximum independent set) is converted to QUBO and handed to QAIA heuristics (BSB, SimCIM) from the MindQuantum library. No equation or claim reduces to a fitted parameter, self-definition, or self-citation chain; the reported performance differences are empirical outcomes on synthetic instances rather than algebraic identities. The framework therefore contains no load-bearing step that is equivalent to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The conflict graph constructed from temporal and resource constraints accurately encodes feasible charging schedules.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
pricing subproblem is a maximum independent set problem. The latter is reformulated as a quadratic unconstrained binary optimization (QUBO) model and solved by quantum-annealing-inspired algorithms (QAIA) ... bSB and SimCIM
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We model this problem as a variant of the Partition Coloring Problem (PCP)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Alexandre Dolgui, Sergey Kovalev, and Mikhail Y Kovalyov. Scheduling electric vehicle regular charging tasks: A review of deterministic models.European Journal of Operational Research, 325(2):221–232, 2025
work page 2025
-
[2]
Senlei Wang, Janody Pougala, and Tim Hillel. Joint modelling of electric vehicle charging and daily activity scheduling.Available at SSRN 5143388, 2024
work page 2024
-
[3]
Shiwei Shen, Syed Irtaza Haider, Razan Habeeb, and Frank HP Fitzek. Coordinating day-ahead and intraday scheduling for bidirectional charging of fleet evs.Automation, 6(4):64, 2025
work page 2025
-
[4]
Raviteja Chemudupaty, Timothée Hornek, Ivan Pavi ´c, and Sergio Potenciano Menci. Optimizing trading of electric vehicle charging flexibility in the continuous intraday market under user and market uncertainties.Applied Energy, 381:125103, 2025
work page 2025
-
[5]
Penghui Xu, Xiaobo Wang, and Zhichao Li. Impact and optimization of vehicle charging scheduling on regional clean energy power supply network management.Energy Informatics, 8(1):13, 2025
work page 2025
-
[6]
Christos D Korkas, Christos D Tsaknakis, Athanasios Ch Kapoutsis, and Elias Kosmatopoulos. Distributed and multi-agent reinforcement learning framework for optimal electric vehicle charging scheduling.Energies (19961073), (15), 2024
work page 2024
-
[7]
Electric vehicle charging scheduling considering infrastructure constraints.Energy, 278:127806, 2023
Ji Wu, Hao Su, Jinhao Meng, and Mingqiang Lin. Electric vehicle charging scheduling considering infrastructure constraints.Energy, 278:127806, 2023
work page 2023
-
[8]
Axel Parmentier, Rafael Martinelli, and Thibaut Vidal. Electric vehicle fleets: Scalable route and recharge scheduling through column generation.Transportation Science, 57(3):631–646, 2023
work page 2023
-
[9]
Yongsen Zang, Meiqin Wang, and Mingyao Qi. A column generation tailored to electric vehicle routing problem with nonlinear battery depreciation.Computers & Operations Research, 137:105527, 2022
work page 2022
-
[10]
Rodolphe Griset and Joseph Mikael. Software suite for benchmarking of quantum algorithms applied to two typical smart-charging optimization problems. 2024
work page 2024
-
[11]
An exact algorithm for the partition coloring problem
Fabio Furini, Enrico Malaguti, and Alberto Santini. An exact algorithm for the partition coloring problem. Computers & Operations Research, 92:170–181, 2018
work page 2018
-
[12]
Enqiang Zhu, Fei Jiang, Chanjuan Liu, and Jin Xu. Partition independent set and reduction-based approach for partition coloring problem.IEEE Transactions on Cybernetics, 52(6):4960–4969, 2020
work page 2020
-
[13]
Oylum ¸ Seker, Neda Tanoumand, and Merve Bodur. Digital annealer for quadratic unconstrained binary optimiza- tion: a comparative performance analysis.Applied Soft Computing, 127:109367, 2022
work page 2022
-
[14]
Zhonghao Zhao, Carman KM Lee, Xiaoyuan Yan, and Haonan Wang. Reinforcement learning for electric vehicle charging scheduling: A systematic review.Transportation Research Part E: Logistics and Transportation Review, 190:103698, 2024
work page 2024
-
[15]
R Gauchotte, A Oulamara, M Ghogho, and M Oudani. Study of electric vehicle charging scheduling with renewable energy: Offline and stochastic online optimization.European Journal of Operational Research, 2026
work page 2026
-
[16]
Aimen Khiar, Mohamed el Amine Brahmia, Ammar Oulamara, and Lhassane Idoumghar. Multi-objective electric vehicle charging scheduling under stochastic duration uncertainty.Omega, page 103506, 2025
work page 2025
-
[17]
Min Huang and Haoyu Wang. Health-aware proportional-fair scheduling of fast electric vehicle charging stations under distribution-level power envelopes.Electric Power Systems Research, 257:112944, 2026
work page 2026
-
[18]
Qiuyang Fang, Chunyan Zhang, Chen Wang, Guangming Xie, and Jianlei Zhang. Game-based scheduling of mobile charging robots for electric vehicle charging: A relay-like scheme.Applied Energy, 402:126956, 2026
work page 2026
-
[19]
Chunting Liu, Ruyu Liu, and Xiufeng Liu. A digital twin framework for intelligent electric vehicle charging optimization in smart manufacturing systems.Applied Energy, 406:127281, 2026
work page 2026
-
[20]
The partition coloring problem and its application to wavelength routing and assignment
Guangzhi Li and Rahul Simha. The partition coloring problem and its application to wavelength routing and assignment. InProceedings of the First Workshop on Optical Networks, volume 1. Dallas, 2000
work page 2000
-
[21]
Oylum ¸ Seker, Tınaz Ekim, and Z Caner Ta¸ skın. A decomposition approach to solve the selective graph coloring problem in some perfect graph families.Networks, 73(2):145–169, 2019
work page 2019
-
[22]
Oylum ¸ Seker, Tınaz Ekim, and Z. Caner Ta¸ skın. An exact cutting plane algorithm to solve the selective graph coloring problem in perfect graphs.European Journal of Operational Research, 291(1):67–83, 2021
work page 2021
-
[23]
A set packing model for the partition coloring problem
Emanuel Florentin Olariu and Cristian Fr ˘asinaru. A set packing model for the partition coloring problem. Carpathian Journal of Mathematics, 41(2):465–477, 2025. 15 APREPRINT- APRIL10, 2026
work page 2025
-
[24]
An ant algorithm for the partition graph coloring problem
Stefka Fidanova and Petric˘a C Pop. An ant algorithm for the partition graph coloring problem. InInternational Conference on Numerical Methods and Applications, pages 78–84. Springer, 2014
work page 2014
-
[25]
Ahmed Kheiri, Rhyd Lewis, Jonathan Thompson, and Paul Harper. Constructing operating theatre schedules using partitioned graph colouring techniques.Health Systems, 10(4):286–297, 2021
work page 2021
-
[26]
Ising formulations of many np problems.Frontiers in physics, 2:5, 2014
Andrew Lucas. Ising formulations of many np problems.Frontiers in physics, 2:5, 2014
work page 2014
-
[27]
Peter L McMahon, Alireza Marandi, Yoshitaka Haribara, Ryan Hamerly, Carsten Langrock, Shuhei Tamate, Takahiro Inagaki, Hiroki Takesue, Shoko Utsunomiya, Kazuyuki Aihara, et al. A fully programmable 100-spin coherent ising machine with all-to-all connections.Science, 354(6312):614–617, 2016
work page 2016
-
[28]
Maliheh Aramon, Gili Rosenberg, Elisabetta Valiante, Toshiyuki Miyazawa, Hirotaka Tamura, and Helmut G Katzgraber. Physics-inspired optimization for quadratic unconstrained problems using a digital annealer.Frontiers in Physics, 7:48, 2019
work page 2019
-
[29]
Fuxi Cai, Suhas Kumar, Thomas Van Vaerenbergh, Xia Sheng, Rui Liu, Can Li, Zhan Liu, Martin Foltin, Shimeng Yu, Qiangfei Xia, et al. Power-efficient combinatorial optimization using intrinsic noise in memristor hopfield neural networks.Nature Electronics, 3(7):409–418, 2020
work page 2020
-
[30]
Integer factorization using stochastic magnetic tunnel junctions.Nature, 573(7774):390–393, 2019
William A Borders, Ahmed Z Pervaiz, Shunsuke Fukami, Kerem Y Camsari, Hideo Ohno, and Supriyo Datta. Integer factorization using stochastic magnetic tunnel junctions.Nature, 573(7774):390–393, 2019
work page 2019
-
[31]
Qing-Guo Zeng, Xiao-Peng Cui, Bowen Liu, Yao Wang, Pavel Mosharev, and Man-Hong Yung. Performance of quantum annealing inspired algorithms for combinatorial optimization problems.Communications Physics, 7(1):249, 2024
work page 2024
-
[32]
Simulated bifurcation for higher-order cost functions.Applied Physics Express, 16(1):014501, 2022
Taro Kanao and Hayato Goto. Simulated bifurcation for higher-order cost functions.Applied Physics Express, 16(1):014501, 2022
work page 2022
-
[33]
Annealing by simulating the coherent ising machine.Optics express, 27(7):10288–10295, 2019
Egor S Tiunov, Alexander E Ulanov, and AI Lvovsky. Annealing by simulating the coherent ising machine.Optics express, 27(7):10288–10295, 2019
work page 2019
- [34]
-
[35]
Xusheng Xu, Jiangyu Cui, Zidong Cui, Runhong He, Qingyu Li, Xiaowei Li, Yanling Lin, Jiale Liu, Wuxin Liu, Jiale Lu, et al. Mindspore quantum: A user-friendly, high-performance, and ai-compatible quantum computing framework, 2024. 16
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.