"
Team:MoWestern Davidson/project
From 2009.igem.org
(→Overview) |
|||
| Line 5: | Line 5: | ||
The Satisfiability (Sat) Problem: | The Satisfiability (Sat) Problem: | ||
A member of the NP Complete family (the most challenging of the non-deterministic polynomial time problems), The Sat problem can be compared to an analogy of locks and keys. | A member of the NP Complete family (the most challenging of the non-deterministic polynomial time problems), The Sat problem can be compared to an analogy of locks and keys. | ||
| + | Imagine a door with two locks(see figure1). each lock can accept two different keys, but the door will only open when there is a key to open both locks. A janitor with two sets of keys [[Image:Keys.png|Keys|200x200px]] | ||
| + | wants to find the combination of keys that will open the door | ||
| + | |||
<center> | <center> | ||
Revision as of 16:33, 27 July 2009
Overview
The Satisfiability (Sat) Problem:
A member of the NP Complete family (the most challenging of the non-deterministic polynomial time problems), The Sat problem can be compared to an analogy of locks and keys.
Imagine a door with two locks(see figure1). each lock can accept two different keys, but the door will only open when there is a key to open both locks. A janitor with two sets of keys 
wants to find the combination of keys that will open the door
heading
ome years ago, when computers supported max 256 different colors, a list of 216 "Web Safe Colors" was suggested as a Web standard, reserving 40 fixed system colors.
The 216 cross-browser color palette was created to ensure that all computers would display the colors correctly when running a 256 color palette.ome years ago, when computers supported max 256 different colors, a list of 216 "Web Safe Colors" was suggested as a Web standard, reserving 40 fixed system colors.
The 216 cross-browser color palette was created to ensure that all computers would display the colors correctly when running a 256 color palette.ome years ago, when computers supported max 256 different colors, a list of 216 "Web Safe Colors" was suggested as a Web standard, reserving 40 fixed system colors.
The 216 cross-browser color palette was created to ensure that all computers would display the colors correctly when running a 256 color palette.
heading
ome years ago, when computers supported max 256 different colors, a list of 216 "Web Safe Colors" was suggested as a Web standard, reserving 40 fixed system colors.
The 216 cross-browser color palette was created to ensure that all computers would display the colors correctly when running a 256 color palette.ome years ago, when computers supported max 256 different colors, a list of 216 "Web Safe Colors" was suggested as a Web standard, reserving 40 fixed system colors.
The 216 cross-browser color palette was created to ensure that all computers would display the colors correctly when running a 256 color palette.ome years ago, when computers supported max 256 different colors, a list of 216 "Web Safe Colors" was suggested as a Web standard, reserving 40 fixed system colors.
The 216 cross-browser color palette was created to ensure that all computers would display the colors correctly when running a 256 color palette.
