Skip to content
Asinnah
All research

Mahmoud Naderi, Mohammad Jaafar, Haydar Sarhan, Marko Pezer, Muhammad Naveed Zafar, and Manuel Mazzara

Published AINA 2026

  • Maximum independent set
  • QUBO
  • Hybrid quantum–classical optimisation
  • Combinatorial optimisation

Abstract

The Maximum Independent Set (MIS) problem is a fundamental NP-hard problem with widely known applications in network science, scheduling, bioinformatics, and combinatorial optimization. Recent advances in hybrid quantum–classical computing have introduced new opportunities for solving large-scale discrete optimization problems through Quadratic Unconstrained Binary Optimization (QUBO) formulations. In this work, we investigate the performance of the QDeep QonQuester Cloud platform, a secure hybrid quantum–classical optimization system, for solving MIS instances of varying scales and graph densities. We encode MIS as a QUBO problem and evaluate QDeep’s black-box solver selection mechanism, which automatically chooses between quantum, heuristic, and classical backends based on input structure. Our work highlights the strengths and limitations of hybrid QUBO-based solvers for combinatorial graph problems and provides insights for applying quantum-ready optimization tools to MIS and related NP-hard problems. The results indicate that hybrid approaches – such as QDeep – offer a practical pathway toward using quantum computing concepts for real-world optimization tasks before full-scale quantum hardware becomes widely available.

In brief

  • Finding the largest set of nodes in a graph with no two connected (the maximum independent set) is NP-hard, and it sits behind scheduling, network and bioinformatics problems.
  • The paper rewrites the problem as a QUBO, the form hybrid quantum–classical solvers accept, and runs it on QDeep’s QonQuester Cloud across graphs of different sizes and densities.
  • QDeep picks a quantum, heuristic or classical backend on its own from the structure of the input; the benchmarks show where that works well and where it does not.
  • Hybrid solvers are a usable route to quantum-style optimisation on real graphs today, before large fault-tolerant quantum hardware exists.

Cite this paper

@inproceedings{naderi2026mis,
  author    = {Naderi, Mahmoud and Jaafar, Mohammad and Sarhan, Haydar and Pezer, Marko and Naveed Zafar, Muhammad and Mazzara, Manuel},
  editor    = {Barolli, Leonard and Seah, Winston K. G. and Woungang, Isaac},
  title     = {Formulation of the Maximum Independent Set Problem on {QDeep} Hybrid Solver: Benchmarking Quantum Solutions on Real-World Graphs},
  booktitle = {Advanced Information Networking and Applications (AINA 2026)},
  series    = {Lecture Notes on Data Engineering and Communications Technologies},
  volume    = {295},
  pages     = {123--136},
  publisher = {Springer},
  address   = {Cham},
  year      = {2026},
  doi       = {10.1007/978-3-032-23271-7_11}
}

More research