Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
aa:lab:04 [2020/10/24 06:01] claudiu.dorobantu |
aa:lab:04 [2020/11/11 02:06] (current) claudiu.dorobantu |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| ==== 2. Properties of Turing reductions ==== | ==== 2. Properties of Turing reductions ==== | ||
| - | **2.1** Answer the following questions and justify your answers: | + | **2.1** Is $\leq_T$ an equivalence relation over $math[RE]? |
| - | * Is $\leq_T$ an equivalence relation over $math[RE]? | + | |
| * $\leq_T$ is reflexive? | * $\leq_T$ is reflexive? | ||
| * $\leq_T$ is transitive? | * $\leq_T$ is transitive? | ||
| Line 29: | Line 28: | ||
| **2.2** Suppose $math[f] $\leq_T$ $math[f_h.] What does that say about $math[f]? | **2.2** Suppose $math[f] $\leq_T$ $math[f_h.] What does that say about $math[f]? | ||
| - | **2.3** Show that $math[k]-$math[Vertex]-$math[Cover] $\leq_T$ $math[f_h]. | + | **2.3** Show that $math[k]-$math[Vertex]-$math[Cover] $\leq_T$ $math[f_h.] |
| ==== 3. Problems outside RE ==== | ==== 3. Problems outside RE ==== | ||