Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
aa:lab:rice [2016/10/22 11:30] pdmatei |
aa:lab:rice [2016/10/22 14:33] (current) pdmatei |
||
---|---|---|---|
Line 3: | Line 3: | ||
==== Establish the hardness of the following ==== | ==== Establish the hardness of the following ==== | ||
+ | {{## | ||
* $math[f(M_1,M_2) = \left\{\begin{array}{ll} 1 & M_1 \text{ takes as much time as } M_2 \text{ on every input } \\ 0 & \text{otherwise} \end{array}\right.] | * $math[f(M_1,M_2) = \left\{\begin{array}{ll} 1 & M_1 \text{ takes as much time as } M_2 \text{ on every input } \\ 0 & \text{otherwise} \end{array}\right.] | ||
+ | ##}} | ||
* $math[f(M) = \left\{\begin{array}{ll} 1 & M \text{ does not terminate for every input } \\ 0 & \text{otherwise} \end{array}\right.] | * $math[f(M) = \left\{\begin{array}{ll} 1 & M \text{ does not terminate for every input } \\ 0 & \text{otherwise} \end{array}\right.] | ||