| | |
Summary: Attacking Satisfiability with GAs
Peter G. Anderson,
Computer Science Department
Rochester Institute of Technology,
Rochester, New York
anderson@cs.rit.edu http://www.cs.rit.edu/
June 11, 2003
pg. 1
Abstract
Satisfiability (SAT) is the mother of all NP-complete problems.
Herein we demonstrate two GA approaches to SAT: bit strings and
ordered greed.
pg. 2
Satisfiability: "SAT"
SAT: Is a given boolean function, f(x1, x2, · · · , xn) satisfiable?
Variables xi are TRUE or FALSE.
f combines the variables with AND, OR, NOT, and parentheses.
SAT asks whether the truth table for f has any T's.
If so, where?
This is an NP-complete problem (a standard one).
|
