pith. sign in

arxiv: 2603.21374 · v2 · submitted 2026-03-22 · 💻 cs.CE · math.OC

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

classification 💻 cs.CE math.OC
keywords electric vehicle chargingpartition coloringbranch-and-pricequantum annealingQUBOschedulingconflict graphhybrid optimization
0
0 comments X

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.

The paper models intra-day electric vehicle charging scheduling as a partition coloring problem whose vertices are candidate charging intervals for each vehicle and whose edges encode temporal and charger-capacity conflicts. It builds a branch-and-price algorithm whose restricted master problem is solved with Gurobi and whose pricing subproblem is reformulated as a QUBO and solved with quantum-annealing-inspired algorithms (ballistic simulated branching and simulated coherent Ising machines). On families of synthetic instances the hybrid versions match the pure Gurobi baseline on small and medium problems but close optimality gaps and prove optimality on large, hard instances within the same time limit. The result matters because fleet operators need fast, provably feasible schedules under tight charger limits, and the hybrid scheme suggests a practical route to scaling such combinatorial scheduling problems.

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

Figures reproduced from arXiv: 2603.21374 by Liang Zhong, Li Wang, Peng Sun, Qing-Guo Zeng.

Figure 1
Figure 1. Figure 1: Schematic illustration of the EV charging system. The station contains two chargers, and four EVs are shown, [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of candidate charging intervals. The horizontal axis represents time, and the vertical axis lists [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Construction of the conflict graph for candidate charging intervals. Subfigure (a) illustrates intra-vehicle [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Overview of the proposed solution framework for the EV charging scheduling problem. [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Scalability comparison of branch-and-price variants. Subfigure (a) MIP gap versus instance size, where [PITH_FULL_IMAGE:figures/full_fig_p011_5.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the modeling assumption that the conflict graph captures all relevant constraints and on the empirical behavior of the chosen QAIA solvers on the generated test set.

axioms (1)
  • domain assumption The conflict graph constructed from temporal and resource constraints accurately encodes feasible charging schedules.
    Invoked when the EV problem is mapped to the partition coloring formulation.

pith-pipeline@v0.9.0 · 5565 in / 1240 out tokens · 48637 ms · 2026-05-15T01:01:15.037659+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

35 extracted references · 35 canonical work pages

  1. [1]

    Scheduling electric vehicle regular charging tasks: A review of deterministic models.European Journal of Operational Research, 325(2):221–232, 2025

    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

  2. [2]

    Joint modelling of electric vehicle charging and daily activity scheduling.Available at SSRN 5143388, 2024

    Senlei Wang, Janody Pougala, and Tim Hillel. Joint modelling of electric vehicle charging and daily activity scheduling.Available at SSRN 5143388, 2024

  3. [3]

    Coordinating day-ahead and intraday scheduling for bidirectional charging of fleet evs.Automation, 6(4):64, 2025

    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

  4. [4]

    Optimizing trading of electric vehicle charging flexibility in the continuous intraday market under user and market uncertainties.Applied Energy, 381:125103, 2025

    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

  5. [5]

    Impact and optimization of vehicle charging scheduling on regional clean energy power supply network management.Energy Informatics, 8(1):13, 2025

    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

  6. [6]

    Distributed and multi-agent reinforcement learning framework for optimal electric vehicle charging scheduling.Energies (19961073), (15), 2024

    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

  7. [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

  8. [8]

    Electric vehicle fleets: Scalable route and recharge scheduling through column generation.Transportation Science, 57(3):631–646, 2023

    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

  9. [9]

    A column generation tailored to electric vehicle routing problem with nonlinear battery depreciation.Computers & Operations Research, 137:105527, 2022

    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

  10. [10]

    Software suite for benchmarking of quantum algorithms applied to two typical smart-charging optimization problems

    Rodolphe Griset and Joseph Mikael. Software suite for benchmarking of quantum algorithms applied to two typical smart-charging optimization problems. 2024

  11. [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

  12. [12]

    Partition independent set and reduction-based approach for partition coloring problem.IEEE Transactions on Cybernetics, 52(6):4960–4969, 2020

    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

  13. [13]

    Digital annealer for quadratic unconstrained binary optimiza- tion: a comparative performance analysis.Applied Soft Computing, 127:109367, 2022

    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

  14. [14]

    Reinforcement learning for electric vehicle charging scheduling: A systematic review.Transportation Research Part E: Logistics and Transportation Review, 190:103698, 2024

    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

  15. [15]

    Study of electric vehicle charging scheduling with renewable energy: Offline and stochastic online optimization.European Journal of Operational Research, 2026

    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

  16. [16]

    Multi-objective electric vehicle charging scheduling under stochastic duration uncertainty.Omega, page 103506, 2025

    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

  17. [17]

    Health-aware proportional-fair scheduling of fast electric vehicle charging stations under distribution-level power envelopes.Electric Power Systems Research, 257:112944, 2026

    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

  18. [18]

    Game-based scheduling of mobile charging robots for electric vehicle charging: A relay-like scheme.Applied Energy, 402:126956, 2026

    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

  19. [19]

    A digital twin framework for intelligent electric vehicle charging optimization in smart manufacturing systems.Applied Energy, 406:127281, 2026

    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

  20. [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

  21. [21]

    A decomposition approach to solve the selective graph coloring problem in some perfect graph families.Networks, 73(2):145–169, 2019

    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

  22. [22]

    Caner Ta¸ skın

    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

  23. [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

  24. [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

  25. [25]

    Constructing operating theatre schedules using partitioned graph colouring techniques.Health Systems, 10(4):286–297, 2021

    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

  26. [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

  27. [27]

    A fully programmable 100-spin coherent ising machine with all-to-all connections.Science, 354(6312):614–617, 2016

    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

  28. [28]

    Physics-inspired optimization for quadratic unconstrained problems using a digital annealer.Frontiers in Physics, 7:48, 2019

    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

  29. [29]

    Power-efficient combinatorial optimization using intrinsic noise in memristor hopfield neural networks.Nature Electronics, 3(7):409–418, 2020

    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

  30. [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

  31. [31]

    Performance of quantum annealing inspired algorithms for combinatorial optimization problems.Communications Physics, 7(1):249, 2024

    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

  32. [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

  33. [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

  34. [34]

    Number 79

    Aleksandr Aleksandrovich Zykov.On some properties of linear complexes. Number 79. American Mathematical Society, 1952

  35. [35]

    Mindspore quantum: A user-friendly, high-performance, and ai-compatible quantum computing framework, 2024

    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