"
Team:MoWestern Davidson/project mathmodel
From 2009.igem.org
(→Rough and Fine distribution) |
(→Rough and Fine distribution) |
||
| Line 5: | Line 5: | ||
==[[Team:MoWestern_Davidson/Rough and Fine distribution|Rough and Fine distribution]]== | ==[[Team:MoWestern_Davidson/Rough and Fine distribution|Rough and Fine distribution]]== | ||
| + | |||
| + | __NOTOC__ | ||
| + | <html> | ||
| + | <head> | ||
| + | <style> | ||
| + | |||
| + | .firstHeading { | ||
| + | color:white; | ||
| + | } | ||
| + | |||
| + | #bodyContent { | ||
| + | background-color: #c4dbea; | ||
| + | } | ||
| + | |||
| + | #content { | ||
| + | background-color: #c4dbea; | ||
| + | } | ||
| + | |||
| + | #footer-box { | ||
| + | background-color: #c4dbea; | ||
| + | } | ||
| + | p { | ||
| + | color:#333333; | ||
| + | } | ||
| + | body { | ||
| + | background-color:#c4dbea; | ||
| + | } | ||
| + | .firstHeading { | ||
| + | display:none; | ||
| + | } | ||
| + | </style> | ||
| + | </head> | ||
| + | </html> | ||
Revision as of 20:13, 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.Look the table below, the rough distribution for the red problem is 0143. That distribution means 0 inputs satisfied 0 clauses, 1 input satisfied 1 clause, 4 inputs satisfied 2 clauses and 3 inputs satisfied all 3 clauses.
Fine distributions look more deeply at how each clause was satisfied. If an input satisfies one or two literals in a clause, that clause is satisfied singly or doubly respectively. The fine distribution for the red problem from the table above is 0011212100. This distribution means that 0 inputs satisfied 0 clauses, 0 inputs satisfied 1 clause singly, 1 input satisfied 1 clause doubly, 1 input satisfied 2 clauses with 2 singles, 2 inputs satisfied 2 clauses with 1 single and 1 double, 1 input satisfied 2 clauses with 2 doubles, 2 inputs satisfied 3 clauses with 3 singles, 1 input satisfied 3 clauses with 2 singles and 1 double, 0 inputs satisfied 3 clauses with 1 single and 2 doubles, and 0 inputs satisfied 3 clauses with 3 doubles.
