Abstract
We present a quantum algorithm for finite domain constraint solving, where the constraints have arity 2. It is complete and runs in \( O\left( {\left( {\left[ {d/2} \right]} \right)^{n/2} } \right) \) time, where d is size of the domain of the variables and n the number of variables. For the case of d = 3 we provide a method to obtain an upper time bound of O(8n/8) ≈ O(1.2968n). Also for d = 5 the upper bound has been improved. Using this method in a slightly different way we can decide 3-colourability in O(1.2185n) time.
The research is supported in part by CUGS — National Graduate School in Computer Science, Sweden.
The research is supported by CUGS — National Graduate School in Computer Science, Sweden.
Partially supported by the Swedish Research Council (VR) under grant 221-2000-361.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. Achlioptas, L. M. Kirousis, E. Kranakis, D. Krizanc, M. Molloy, and Y. Stamatiou. Random constraint satisfaction: A more accurate picture. Constraints, 6(4):329–344, 2001.
B. Aspvall, M. F. Plass, and R. E. Tarjan. A linear time algorithm for testing the truth of certain quantified Boolean formulas. Inf. Process. Lett., 8:121–123, 1979.
R. Beigel and D. Eppstein. 3-coloring in time O(1.3289n). ACM Computing Research Repository, June 2000.
M. Boyer, G. Brassard, P. Høyer, and A. Tapp. Tight bounds on quantum searching. In Proc. 4th Workshop on Physics and Computation, pages 36–43, 1996.
N. J. Cerf, L. K. Grover, and C. P. Williams. Nested quantum search and NP-hard problems. Applicable Algebra in Engineering, Communication and Computing, 10(4/5):311–338, 2000.
D. Eppstein. Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction. In Proc. 12th Annual Symposium on Discrete Algorithms (SODA), pages 329–337, 2001.
T. Feder and R. Motwani. Worst-case time bounds for coloring and satisfiability problems. Unpublished manuscript.
I. P. Gent and T. Walsh. The satisfiability constraint gap. Artificial Intelligence, 81(1–2):59–80, 1996.
L. K. Grover. A fast quantum mechanical algorithm for database search. In Proc. 28th Annual ACM Symposium on the Theory of Computing (STOC), pages 212–219, 1996.
S. Micali and V. V. Vazirani. An O(⇏|v| · |e|) algorithm for finding maximum matching in general graphs. In 21st Annual Symposium on Foundations of Computer Science (FOCS), pages 10–16, IEEE Computer Society, 1980.
M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing, 26(5):1484–1509, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Angelsmark, O., Dahllöf, V., Jonsson, P. (2002). Finite Domain Constraint Satisfaction Using Quantum Computation. In: Diks, K., Rytter, W. (eds) Mathematical Foundations of Computer Science 2002. MFCS 2002. Lecture Notes in Computer Science, vol 2420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45687-2_7
Download citation
DOI: https://doi.org/10.1007/3-540-45687-2_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44040-6
Online ISBN: 978-3-540-45687-2
eBook Packages: Springer Book Archive