Home > Research > Publications & Outputs > Reducing Binary Quadratic Forms for More Scalab...

Electronic data

  • 1801.08652

    Accepted author manuscript, 321 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

View graph of relations

Reducing Binary Quadratic Forms for More Scalable Quantum Annealing

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Close
Publication date2017
Host publicationRebooting Computing (ICRC), 2017 IEEE International Conference on
PublisherIEEE
Pages138-145
Number of pages8
ISBN (electronic)9781538615539
ISBN (print)9781538615546
<mark>Original language</mark>English
EventIEEE International Conference on Rebooting Computing (ICRC) - Washington
Duration: 8/11/20179/11/2017

Conference

ConferenceIEEE International Conference on Rebooting Computing (ICRC)
CityWashington
Period8/11/179/11/17

Conference

ConferenceIEEE International Conference on Rebooting Computing (ICRC)
CityWashington
Period8/11/179/11/17

Abstract

Recent advances in the development of commercial quantum annealers such as the D-Wave 2X allow solving NP-hard optimization problems that can be expressed as quadratic unconstrained binary programs. However, the relatively small number of available qubits (around 1000 for the D-Wave 2X quantum annealer) poses a severe limitation to the range of problems that can be solved. This paper explores the suitability of preprocessing methods for reducing the sizes of the input programs and thereby the number of qubits required for their solution on quantum computers. Such methods allow us to determine the value of certain variables that hold in either any optimal solution (called strong persistencies) or in at least one optimal solution (weak persistencies). We investigate preprocessing methods for two important NP-hard graph problems, the computation of a maximum clique and a maximum cut in a graph. We show that the identification of strong and weak persistencies for those two optimization problems is very instance-specific, but can lead to substantial reductions in the number of variables.