PP-2008-41: Joosten, Joost J. and Passmore, Grant Olney (2008) Does SAT exhibit fractal behavior? [Report]
Preview |
Text (Full Text)
PP-2008-41.text.pdf Download (150kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2008-41.abstract.txt Download (575B) |
Abstract
In this paper we study the structure of the set SAT of
all satisfiable propositional logical formulas. In particular
we raise the question whether the distribution
of SAT within the set A of all propositional formulas
exhibits fractal behavior. This answer is of course
relative to a metric on A. We show that for one such
metric there is strong evidence that the distribution
does indeed behave wildly. Next we look at an alternative
metric.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2008-41 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2008 |
| Uncontrolled Keywords: | SAT, Fractal, Theory of Computation |
| Depositing User: | Benedikt |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/315 |
Actions (login required)
 |
View Item |
