Showing 1–2 of 2 results for author: Bowles, J

A novel framework for systematic propositional formula simplification based on existential graphs

Authors: Jordina Francès de Mas, Juliana Bowles

Abstract: This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be applied to propositional logic formulae in nested form, are equivalence-preserving, guarantee a monotonically decreasing number of variables, clauses and literals, and maximise the preservation of structural problem inform… ▽ More This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be applied to propositional logic formulae in nested form, are equivalence-preserving, guarantee a monotonically decreasing number of variables, clauses and literals, and maximise the preservation of structural problem information. Our techniques can also be seen as higher-level SAT preprocessing, and we show how one of our rules (TWSR) generalises and streamlines most of the known equivalence-preserving SAT preprocessing methods. In addition, we propose a simplification procedure based on the systematic application of two of our rules (EPR and TWSR) which is solver-agnostic and can be used to simplify large Boolean satisfiability problems and propositional formulae in arbitrary form, and we provide a formal analysis of its algorithmic complexity in terms of space and time. Finally, we show how our rules can be further extended with a novel n-ary implication graph to capture all known equivalence-preserving preprocessing procedures. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: 19 pages, 12 figures. Under consideration in Theory and Practice of Logic Programming (TPLP)

MSC Class: 03B35; 03B70; 68N17; 68T27 ACM Class: F.4.1; I.2.2; I.2.3; I.2.4

Quadratic Unconstrained Binary Optimisation via Quantum-Inspired Annealing

Authors: Joseph Bowles, Alexandre Dauphin, Patrick Huembeli, José Martinez, Antonio Acín

Abstract: We present a classical algorithm to find approximate solutions to instances of quadratic unconstrained binary optimisation. The algorithm can be seen as an analogue of quantum annealing under the restriction of a product state space, where the dynamical evolution in quantum annealing is replaced with a gradient-descent based method. This formulation is able to quickly find high-quality solutions t… ▽ More We present a classical algorithm to find approximate solutions to instances of quadratic unconstrained binary optimisation. The algorithm can be seen as an analogue of quantum annealing under the restriction of a product state space, where the dynamical evolution in quantum annealing is replaced with a gradient-descent based method. This formulation is able to quickly find high-quality solutions to large-scale problem instances, and can naturally be accelerated by dedicated hardware such as graphics processing units. We benchmark our approach for large scale problem instances with tuneable hardness and planted solutions. We find that our algorithm offers a similar performance to current state of the art approaches within a comparably simple gradient-based and non-stochastic setting. △ Less

Submitted 25 October, 2021; v1 submitted 18 August, 2021; originally announced August 2021.

Journal ref: Phys. Rev. Applied 18, 034016 (2022)