Masters Theses

Date of Award


Degree Type


Degree Name

Master of Science



Major Professor

James Conant

Committee Members

David Anderson, Conrad Plaut


It is the purpose of this thesis to introduce an idea for studying questions of computer science via topology. We begin by describing the homology of a certain space constructed from a given subset of the power set of any finite set. We then discuss how this relates to the k-SAT problem in computer science.

We shall use computers as a tool to calculate the homology groups as well as the Euler characteristic of some of these spaces. Due to the sheer number of calcu- lations needed, doing the necessary computations by hand is both impractical and impossible.

In addition, with inspiration from these results, we will provide several rigorous mathematical proofs detailing certain properties of the spaces produced by some input sets.

Files over 3MB may be slow to open. For best results, right-click and select "save as..."

Included in

Mathematics Commons