Team:MoWestern Davidson/project mathmodel

From 2009.igem.org

(Difference between revisions)
(Rough and Fine distribution)
(Rough and Fine distribution)
Line 10: Line 10:
-
[[Image:Table.png|thumb|none|800px|]]
+
[[Image:Table.png|thumb|none|700px|]]

Revision as of 16:19, 27 July 2009

Lego Models

B2 Bomber

Rough and Fine distribution

To classify SAT problems, we began looking at the Rough distribution of each problem, meaning how many inputs satisfied a certain number of clauses in a problem. The table below gives the number of clauses satisfied for a few select 2-SAT problems for each input.


Table.png


Fine distributions look deeper at how each clause was satisfied, either singly or doubly. If an input satisfies one or two literals in a clause, that clause is satisfied singly or doubly respectively. Here is a example of fine distribution using the problem from the table above.