MAKE A MEME
View Large Image
| View Original: | Implication graph.svg (612x504) | |||
| Download: | Original | Medium | Small | Thumb |
| Courtesy of: | commons.wikimedia.org | More Like This | ||
| Keywords: Implication graph.svg An implication graph Own 2008-05-02 David Eppstein This graph is formed from the 2-satisfiability instance <math>\scriptstyle x_0\lor x_2 \land x_0\lor\lnot x_3 \land x_1\lor\lnot x_3 \land x_1\lor\lnot x_4 \land x_2\lor\lnot x_4 \land \atop\scriptstyle\quad x_0\lor \lnot x_5 \land x_1\lor\lnot x_5 \land x_2\lor\lnot x_5 \land x_3\lor x_6 \land x_4\lor x_6 \land x_5\lor x_6 </math> by replacing each disjunction by the two implications to which it is equivalent e g <math>\scriptstyle x_0\lor\lnot x_3 \equiv \lnot x_0\Rightarrow\lnot x_3 \equiv x_3\Rightarrow x_0 </math> and then representing the implications graphically as directed edges in a graph The solution set for the same example instance is depicted in Image 2SAT median graph svg Files by User David Eppstein from en wikipedia Graphs with 14 vertices Directed graphs Boolean satisfiability problem | ||||
