From 9169bad2b297bd29b888e1a6de4c06b4c80fca7e Mon Sep 17 00:00:00 2001
From: phawaderamchandra <prb@iitdh.ac.in>
Date: Thu, 9 Nov 2023 17:24:15 +0530
Subject: [PATCH] class summary for 33,34,35 done

---
 class_33_07112023/summary.txt | 16 ++++++++++++++++
 class_34_07112023/summary.txt |  4 ++++
 class_35_09112023/summary.txt |  2 ++
 3 files changed, 22 insertions(+)
 create mode 100644 class_33_07112023/summary.txt
 create mode 100644 class_34_07112023/summary.txt
 create mode 100644 class_35_09112023/summary.txt

diff --git a/class_33_07112023/summary.txt b/class_33_07112023/summary.txt
new file mode 100644
index 0000000..232ce51
--- /dev/null
+++ b/class_33_07112023/summary.txt
@@ -0,0 +1,16 @@
+Undecidability of validity problem in FOL  
+
+PCP - examples 
+PCP to validity reduction
+
+Let x and y be the strings over {0,1}. 
+Let K be an instance of PCP.
+That is ((x_1,y_1),(x_2,y_2).....(x_k,y_k))
+where for all  i \in {1,..,k} x_i, y_i are strings over {0,1}. 
+Then the set of indices i_1,i_2,..i_n \in {1,..,k} is a solution if 
+x_{i_1}x_{i_2}...x_{i_n}= y_{i_1}y_{i_2}...y_{i_n}. 
+
+
+From instance  k construct \phi_k.
+
+
diff --git a/class_34_07112023/summary.txt b/class_34_07112023/summary.txt
new file mode 100644
index 0000000..35449c4
--- /dev/null
+++ b/class_34_07112023/summary.txt
@@ -0,0 +1,4 @@
+Correctness of PCP to validity problem reduction
+
+K has a solution iff \phi_k is valid. 
+
diff --git a/class_35_09112023/summary.txt b/class_35_09112023/summary.txt
new file mode 100644
index 0000000..21bba31
--- /dev/null
+++ b/class_35_09112023/summary.txt
@@ -0,0 +1,2 @@
+midsem answersheets
+