A PHP Error was encountered

Severity: Warning

Message: fopen(/var/lib/php/sessions/ci_session7nvgl9se7job05bh90svpa7gdro2tm40): Failed to open stream: No space left on device

Filename: drivers/Session_files_driver.php

Line Number: 177

Backtrace:

File: /var/www/html/index.php
Line: 316
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: session_start(): Failed to read session data: user (path: /var/lib/php/sessions)

Filename: Session/Session.php

Line Number: 137

Backtrace:

File: /var/www/html/index.php
Line: 316
Function: require_once

Quantum Algorithm for Variant Maximum Satisfiability. | LitMetric

Quantum Algorithm for Variant Maximum Satisfiability.

Entropy (Basel)

Department of Electrical & Computer Engineering, Portland State University, Portland, OR 97207, USA.

Published: November 2022

In this paper, we proposed a novel quantum algorithm for the maximum satisfiability problem. Satisfiability (SAT) is to find the set of assignment values of input variables for the given Boolean function that evaluates this function as TRUE or prove that such satisfying values do not exist. For a POS SAT problem, we proposed a novel quantum algorithm for the maximum satisfiability (MAX-SAT), which returns the maximum number of OR terms that are satisfied for the SAT-unsatisfiable function, providing us with information on how far the given Boolean function is from the SAT satisfaction. We used Grover's algorithm with a new block called quantum counter in the oracle circuit. The proposed circuit can be adapted for various forms of satisfiability expressions and several satisfiability-like problems. Using the quantum counter and mirrors for SAT terms reduces the need for ancilla qubits and realizes a large Toffoli gate that is then not needed. Our circuit reduces the number of ancilla qubits for the terms of the Boolean function from of ancilla qubits to ≈⌈log⁡T⌉+1. We analyzed and compared the quantum cost of the traditional oracle design with our design which gives a low quantum cost.

Download full-text PDF

Source
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9689672PMC
http://dx.doi.org/10.3390/e24111615DOI Listing

Publication Analysis

Top Keywords

quantum algorithm
12
maximum satisfiability
12
boolean function
12
ancilla qubits
12
proposed novel
8
novel quantum
8
algorithm maximum
8
quantum counter
8
quantum cost
8
quantum
7

Similar Publications

With the advent and development of quantum computers, various quantum algorithms that can solve linear equations and eigenvalues faster than classical computers have been developed. In particular, a hybrid solver provided by D-Wave's Leap quantum cloud service can utilize up to two million variables. Using this technology, quadratic unconstrained binary optimization (QUBO) models have been proposed for linear systems, eigenvalue problems, RSA cryptosystems, and computed tomography (CT) image reconstructions.

View Article and Find Full Text PDF

Waveguide crossings are key components for increasing integration density and routing flexibility. We propose a novel, to the best of our knowledge, compact, tilted silicon waveguide crossing designed using inverse design methods, specifically optimized to minimize both insertion loss and crosstalk. Through adjoint optimization algorithms and finite-difference time-domain simulations, we achieve a significant reduction in crosstalk from -46 dB at 90° to -54 dB at 86°, with a remarkably low insertion loss of -0.

View Article and Find Full Text PDF

We investigate the performance of coupled-trajectory methods for nonadiabatic molecular dynamics in simulating the photodynamics of 4-(dimethylamino)benzonitrile (DMABN) and fulvene, with electronic structure provided by linear vibrational coupling models. We focus on the coupled-trajectory mixed quantum-classical (CTMQC) algorithm and on the (combined) coupled-trajectory Tully surface hopping [(C)CTTSH] in comparison to independent-trajectory approaches, such as multi-trajectory Ehrenfest and Tully surface hopping. Our analysis includes not only electronic populations but also additional electronic and nuclear properties in position and momentum space.

View Article and Find Full Text PDF

The increasing reliance on global navigation satellite systems for diverse applications necessitates the development of efficient satellite selection methods to optimize positioning accuracy and system performance. In particular, low-cost global navigation satellite systems receivers face challenges in managing data from multiple visible satellites, often resulting in suboptimal performance due to high geometric dilution of precision values. Effective satellite selection is crucial for improving the accuracy and reliability of positioning solutions in these systems.

View Article and Find Full Text PDF

We introduce a method for calculating the atomic forces of a molecular or extended system in an excited state described through the GW-BSE approach within the Tamm-Dancoff approximation. The derivative of the so-called excitonic Hamiltonian is obtained by finite differences and its application to the excited state is made possible through the use of suitable projectors. The scheme is implemented with the batch representation of the electron-hole amplitudes, allowing for avoiding sums over empty one-particle orbitals.

View Article and Find Full Text PDF

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!