Questions tagged [3sat-problem]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
37 views

Why should we need measurement while finding oracle is already give us solution in SAT problem with Grover's Search Algorithm? [duplicate]

Based on reference I read in this site learn.qiskit.org here is simple problem example about 3-SAT problem in dimacs format: ...
Muhammad Ikhwan Perwira's user avatar
2 votes
1 answer
180 views

Grover 3-SAT: Interpretation of Quantum Circuit

I'm referring to the Grover implementation for the 3-SAT problem: https://qiskit.org/textbook/ch-applications/satisfiability-grover.html For the given problem the generated quantum circuit is as ...
Kurt Stockinger's user avatar
0 votes
1 answer
221 views

Grover's algorithm for 3SAT problem gives unexpected results

Based on SAT problem and Grover's algorithm, I've done some experiments. For the below example, I've received unexpected results: Input: boolean function: ...
SmileDay's user avatar