Skip to main content
Erschienen in: Journal of Combinatorial Optimization 2/2016

01.02.2016

Bounding the scaling window of random constraint satisfaction problems

verfasst von: Jing Shen, Yaofeng Ren

Erschienen in: Journal of Combinatorial Optimization | Ausgabe 2/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The model \(k\)-CSP is a random CSP model with moderately growing arity \(k\) of constraints. By incorporating certain linear structure, \(k\)-CSP is revised to a random linear CSP, named \(k\)-hyper-\({\mathbb F}\)-linear CSP. It had been shown theoretically that the two models exhibit exact satisfiability phase transitions when the constraint density \(r\) is varied accordingly. In this paper, we use finite-size scaling analysis to characterize the threshold behaviors of the two models with finite problem size \(n\). A series of experimental studies are carried out to illustrate the scaling window of the model \(k\)-CSP.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Achlioptas D, Kirousis L, Kranakis E, Krizanc D, Molloy M, Stamatiou Y (1997) Random constraint satisfaction: a more accurate picture. In: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, LNCS, vol. 1330, pp. 107–120. Springer, Berlin Achlioptas D, Kirousis L, Kranakis E, Krizanc D, Molloy M, Stamatiou Y (1997) Random constraint satisfaction: a more accurate picture. In: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, LNCS, vol. 1330, pp. 107–120. Springer, Berlin
Zurück zum Zitat Achlioptas D, Naor A, Peres Y (2005) \(R\)-matrices and the magic square. Rigorous location of phase transitions in hard optimization problems. Nature 435(7043):759–764CrossRef Achlioptas D, Naor A, Peres Y (2005) \(R\)-matrices and the magic square. Rigorous location of phase transitions in hard optimization problems. Nature 435(7043):759–764CrossRef
Zurück zum Zitat Chvátal V, Reed B (1992) Miks gets some (the odds are on his side). In: Proceedings of the 33rd IEEE Symposium on Foundations of Computer Science, pp. 620–627. IEEE Computer Society Press, Washington Chvátal V, Reed B (1992) Miks gets some (the odds are on his side). In: Proceedings of the 33rd IEEE Symposium on Foundations of Computer Science, pp. 620–627. IEEE Computer Society Press, Washington
Zurück zum Zitat Crawford J.M, Auton LD (1993) Experimental results on the crossover point in satisfiability problems. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 21–27 Crawford J.M, Auton LD (1993) Experimental results on the crossover point in satisfiability problems. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 21–27
Zurück zum Zitat Fan Y, Shen J, Xu K (2012) A general model and thresholds for random constraint satisfaction problems. Artif Intell 193:1–17MathSciNetCrossRefMATH Fan Y, Shen J, Xu K (2012) A general model and thresholds for random constraint satisfaction problems. Artif Intell 193:1–17MathSciNetCrossRefMATH
Zurück zum Zitat Frieze A, Wormald N (2002) Random k-sat: A tight threshold for moderately growing k. In: Proceedings of the Fifth International Symposium on Theory and Applications of Satisfiability Testing, pp. 1–6. Springer, Berlin Frieze A, Wormald N (2002) Random k-sat: A tight threshold for moderately growing k. In: Proceedings of the Fifth International Symposium on Theory and Applications of Satisfiability Testing, pp. 1–6. Springer, Berlin
Zurück zum Zitat Mitzenmacher M, Upfal E (2005) Probability and computing: randomized algorithm and probabilistic analysis. Cambridge University Press, CambridgeCrossRef Mitzenmacher M, Upfal E (2005) Probability and computing: randomized algorithm and probabilistic analysis. Cambridge University Press, CambridgeCrossRef
Zurück zum Zitat Molloy M (2001) Models and thresholds for random constraint satisfaction problems. In: Proceedings of the 34th ACM Symposium on Theory of Computing, pp. 209–217. ACM Press, New York Molloy M (2001) Models and thresholds for random constraint satisfaction problems. In: Proceedings of the 34th ACM Symposium on Theory of Computing, pp. 209–217. ACM Press, New York
Zurück zum Zitat Monasson R, Zecchina R, Kirkpatrick S, Selman B, Troyansky L (1999) 2+p sat: Relation of typical-case complexity to the nature of the phase transition. Random Struct Algorithms 15(3–4):414–435 Monasson R, Zecchina R, Kirkpatrick S, Selman B, Troyansky L (1999) 2+p sat: Relation of typical-case complexity to the nature of the phase transition. Random Struct Algorithms 15(3–4):414–435
Zurück zum Zitat Smith B, Dyer M (1996) Locating the phase transition in binary constraint satisfaction problems. Artif Intell 81(12):155–181MathSciNetCrossRef Smith B, Dyer M (1996) Locating the phase transition in binary constraint satisfaction problems. Artif Intell 81(12):155–181MathSciNetCrossRef
Zurück zum Zitat Xu K, Boussemart F, Hemery F, Lecoutre C (2007) Random constraint satisfaction: easy generation of hard (satisfiable) instances. Artif Intell 171(89):514–534MathSciNetCrossRefMATH Xu K, Boussemart F, Hemery F, Lecoutre C (2007) Random constraint satisfaction: easy generation of hard (satisfiable) instances. Artif Intell 171(89):514–534MathSciNetCrossRefMATH
Zurück zum Zitat Xu K, Li W (2000) Exact phase transitions in random constraint satisfaction problems. J Artif Intell Res 12:93–103MATH Xu K, Li W (2000) Exact phase transitions in random constraint satisfaction problems. J Artif Intell Res 12:93–103MATH
Zurück zum Zitat Xu K, Li W (2006) Many hard examples in exact phase transitions. Theor Comput Sci 355:291–302CrossRefMATH Xu K, Li W (2006) Many hard examples in exact phase transitions. Theor Comput Sci 355:291–302CrossRefMATH
Metadaten
Titel
Bounding the scaling window of random constraint satisfaction problems
verfasst von
Jing Shen
Yaofeng Ren
Publikationsdatum
01.02.2016
Verlag
Springer US
Erschienen in
Journal of Combinatorial Optimization / Ausgabe 2/2016
Print ISSN: 1382-6905
Elektronische ISSN: 1573-2886
DOI
https://doi.org/10.1007/s10878-014-9789-y

Weitere Artikel der Ausgabe 2/2016

Journal of Combinatorial Optimization 2/2016 Zur Ausgabe

Premium Partner