From 9aac315692f8b4843ba3c12ac19e743f344c4be7 Mon Sep 17 00:00:00 2001
From: Shubham Roy <122456380+sr2005roy@users.noreply.github.com>
Date: Mon, 14 Apr 2025 12:52:36 +0530
Subject: [PATCH] Corrected the image not visible issue in 2SAT.md
the image access was done wrongly
---
src/graph/2SAT.md | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/src/graph/2SAT.md b/src/graph/2SAT.md
index b66316bbe..c9dd6f4a5 100644
--- a/src/graph/2SAT.md
+++ b/src/graph/2SAT.md
@@ -39,7 +39,10 @@ b \Rightarrow a & \lnot b \Rightarrow \lnot a & b \Rightarrow \lnot a & c \Right
You can see the implication graph in the following image:
-
+
+ 
+
+
It is worth paying attention to the property of the implication graph:
if there is an edge $a \Rightarrow b$, then there also is an edge $\lnot b \Rightarrow \lnot a$.
@@ -59,7 +62,9 @@ The following image shows all strongly connected components for the example.
As we can check easily, neither of the four components contain a vertex $x$ and its negation $\lnot x$, therefore the example has a solution.
We will learn in the next paragraphs how to compute a valid assignment, but just for demonstration purposes the solution $a = \text{false}$, $b = \text{false}$, $c = \text{false}$ is given.
-
+
+ 
+
Now we construct the algorithm for finding the solution of the 2-SAT problem on the assumption that the solution exists.