Cooper, Colin, Frieze, Alan and Sorkin, Gregory B. 
ORCID: 0000-0003-4935-7820
(2002)
A note on random 2-SAT with prescribed literal degrees.
In: Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2002-01-06 - 2002-01-08, CA, United States, USA.
Abstract
Two classic\phase transitions" in discrete mathematics are the emergence of a giant component in a random graph as the density of edges increases, and the transition of a random 2-SAT formula from satisfiable to unsatisfiable as the density of clauses increases. The random-graph result has been extended to the case of prescribed degree sequences, where the almost-sure nonexistence or existence of a giant component is related to a simple property of the degree sequence. We similarly extend the satisfiability result, by relating the almost-sure satisfiability or unsatisfiability of a random 2-SAT formula to an analogous property of a prescribed literal sequence.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Official URL: | http://www.siam.org/meetings/da02/ |
| Additional Information: | © The Authors |
| Divisions: | Management |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Date Deposited: | 13 May 2011 12:48 |
| Last Modified: | 12 Dec 2024 04:39 |
| URI: | http://eprints.lse.ac.uk/id/eprint/35820 |
Actions (login required)
 |
View Item |
