A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
SIAM Journal on Computing
A framework for fast quantum mechanical algorithms
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Quantum computation and quantum information
Quantum computation and quantum information
A deterministic (2 - 2/(k+ 1))n algorithm for k-SAT based on local search
Theoretical Computer Science
Finite Domain Constraint Satisfaction Using Quantum Computation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
An Improved Exponential-Time Algorithm for k-SAT
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Improved upper bounds for 3-SAT
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
ACM SIGACT News
A Stochastic Limit Approach to the SAT Problem
Open Systems & Information Dynamics
Guest Column: NP-complete problems and physical reality
ACM SIGACT News
An algorithm for the satisfiability problem of formulas in conjunctive normal form
Journal of Algorithms
Derandomization of schuler’s algorithm for SAT
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Derandomization of PPSZ for unique-k-SAT
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
An improved upper bound for SAT
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.00 |
In data processing, we input the results xi of measuring easy-to-measure quantities xi and use these results to find estimates y = f (x1, . . ., xn) for difficult-to-measure quantities y which are related to xi by a known relation y = f(x1, . . ., xn). Due to measurement inaccuracy, the measured values xi are, in general, different from the (unknown) actual values xi of the measured quantities, hence the result y of data processing is different from the actual value of the quantity y.In many practical situations, we only know the bounds Δi on the measurement errors Δxi [EQUATION] xi - xi. In such situations, we only know that the actual value xi belongs to the interval [xi - Δi, xi + Δi], and we want to know the range of possible values of y. The corresponding problems of interval computations are NP-hard, so solving these problems may take an unrealistically long time. One way to speed up computations is to use quantum computing, and quantum versions of interval computations algorithms have indeed been developed.In many practical situations, we also know some constraints on the possible values of the directly measured quantities x1, . . ., xn. In such situations, we must combine interval techniques with constraint satisfaction techniques. It is therefore desirable to extend quantum interval algorithms to such combinations. As a first step towards this combination, in this paper, we consider quantum algorithms for discrete constraint satisfaction problems.