PP-2008-41: Does SAT exhibit fractal behavior?

PP-2008-41: Joosten, Joost J. and Passmore, Grant Olney (2008) Does SAT exhibit fractal behavior? [Report]

[img]
Preview
Text (Full Text)
PP-2008-41.text.pdf

Download (150kB) | Preview
[img] 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 View Item