Abstract
Hypertree width is a similar notion to treewidth, also with many equivalent characterizations and many applications. If the hypertree widths of constraint graphs of instances of Constraint Satisfaction Problems (CSPs) are bounded by a constant, the relevant constraint satisfaction problems are tractable. In this paper, we show that with high probability, hypertree width is large on sparse random k-uniform hypergraphs. Our results provide further theoretical evidence on hardness of some random constraint satisfaction problems, called Model RB and Model RD, around the satisfiability phase transition points.
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
Adler, I., Gottlob, G., Grohe, M.: Hypertree width and related hypergraph invariants. European Journal of Combinatorics 28, 2167–2181 (2007)
Cheeseman, P., Kanefsky, R., Taylor, W.: Where the really hard problems are. IJCAI 1991, 163–169 (1991)
Chekuri, C., Rajaraman, A.: Conjunctive query containment revisited. Theoretical Computer Science 239(2), 211–229 (2000)
Cook, S.A., Mitchell, D.G.: Finding hard instances of the satisfiability problem: a survey. DIMACS Series, vol. 35, pp. 1–17 (1997)
Dechter, R.: Constraint networks. In: Encyclopedia of Artificial Intelligence, 2nd edn., vol. 1, pp. 276–285. Wiley and Sons, Chichester (1992)
Dechter, R., Pearl, J.: Tree clustering for constraint networks. Artificial Intelligence 38(3), 353–366 (1989)
Fan, Y., Shen, J.: On the phase transitions of random k-constraint satisfaction problems. Artificial Intelligence 175, 914–927 (2011)
Fan, Y., Shen, J., Xu, K.: A general model and thresholds for random constraint satisfaction problems. Artificial Intelligence 193, 1–17 (2012)
Gao, Y., Culberson, J.: Consistency and random constraint satisfaction problems. J. Artif. Intell. Res. (JAIR) 28, 517–557 (2007)
Gao, Y.: Phase transition of tractability in constraint satisfaction and Bayesian network inference. Proc. UAI, 265–271 (2003)
Gao, Y.: On the threshold of having a linear treewidth in random graphs. In: Chen, D.Z., Lee, D.T. (eds.) COCOON 2006. LNCS, vol. 4112, pp. 226–234. Springer, Heidelberg (2006)
Gao, Y.: Treewidth of Erdös-Rényi random graphs, random intersection graphs, and scale-free random graphs. CoRR abs/0907.5481 (2009)
Gottlob, G., Leone, N., Scarcello, F.: Hypertree Decompositions: A Survey. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, p. 37. Springer, Heidelberg (2001)
Gottlob, G., Leone, N., Scarcello, F.: A comparison of structural CSP decomposition methods. Artificial Intelligence 124, 243–282 (2000)
Gottlob, G., Leone, N., Scarcello, F.: The complexity of acyclic conjunctive queries. Journal of ACM 48(3), 431–498
Gottlob, G., Leone, N., Scarcello, F.: Hypertree decomposition and tractable queries. Journal of Computer and System Sciences 64(3), 579–627 (2002)
Gyssens, M., Jeavons, P.G., Cohen, D.A.: Decomposition constraint satisfaction problems using database techniques. Artificial Intelligence 66(1), 57–89 (1994)
Gyssens, M., Paredaens, J.: A decomposition methodology for cyclic databases. In: Gallaire, H., Nicolas, J.-M., Minker, J. (eds.) Advances in Data Base Theory, vol. 2, pp. 85–122. Plemum Press, New York (1984)
Jiang, W., Liu, T., Ren, T., Xu, K.: Two hardness results on feedback vertex sets. In: Atallah, M., Li, X.-Y., Zhu, B. (eds.) FAW-AAIM 2011. LNCS, vol. 6681, pp. 233–243. Springer, Heidelberg (2011)
Kloks, T.: Treewidth: Computations and Approximations, page 18, 55. Springer (1994)
Lee, C., Lee, J., Oum, S.: Rank-width of random graphs. CoRR abs/1001.0461 (2010)
Liu, T., Lin, X., Wang, C., Su, K., Xu, K.: Large Hinge Width on Sparse Random Hypergraphs. IJCAI 2011, 611–616 (2011)
Mitchell, D.G., Selman, B., Levesque, H.J.: Hard and easy distributions of sat problems. In: Proc. AAAI, pp. 459–465 (1992)
Dechter, R.: Tractable Structures for Constraint Satisfaction Problems. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, pp. 209–244. Elsevier, Amsterdam (2006)
Selman, B., Mitchell, D.G., Levesque, H.J.: Generating hard satisfiability problems. Artif. Intell. 81, 17–29 (1996)
Wang, C., Liu, T., Cui, P., Xu, K.: A Note on Treewidth in Random Graphs. In: Wang, W., Zhu, X., Du, D.-Z. (eds.) COCOA 2011. LNCS, vol. 6831, pp. 491–499. Springer, Heidelberg (2011)
Xu, K., Li, W.: Exact phase transitions in random constraint satisfaction problems. J. Artif. Intell. Res. 12, 93–103 (2000)
Xu, K., Li, W.: Many hard examples in exact phase transitions. Theor. Comput. Sci. 355, 291–302 (2006)
Xu, K., Boussemart, F., Hemery, F., Lecoutre, C.: Random Constraint Satisfaction: Easy Generation of Hard (Satisfiable) Instances. Artif. Intell. 171, 514–534 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, C., Liu, T., Xu, K. (2013). Large Hypertree Width for Sparse Random Hypergraphs. In: Fellows, M., Tan, X., Zhu, B. (eds) Frontiers in Algorithmics and Algorithmic Aspects in Information and Management. Lecture Notes in Computer Science, vol 7924. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38756-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-38756-2_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38755-5
Online ISBN: 978-3-642-38756-2
eBook Packages: Computer ScienceComputer Science (R0)