|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 9 gevonden artikelen
| Titel: |
GD-SAT model and crossover line |
| Auteur: |
Janicic, Predrag |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 13 (2001) nr. 3 pagina's 181-198 |
| Jaar: |
2001-07-01 |
| Inhoud: |
In the last decade a lot of effort has been invested into both theoretical and experimental analysis of SAT phase transition. However, a deep theoretical understanding of this phenomenon is still lacking. It is still a very challenging problem to determine a relationship between crossover points for different SAT problems. This paper introduces one new class of randomly generated SAT problems, GD-SAT, and we experimentally show there is a phase transition for the problems in this class. On the basis of both analytical and experimental arguments we conjecture that there is a surprisingly simple, linear relationship between crossover points for problems in this class. This relationship is of both theoretical and practical importance. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 9 gevonden artikelen
| << vorige | volgende >> |