Re: Significance of "Relativizations of the P =? NP Question"

tchow@xxxxxxxxxxxxx wrote:
> Let D be the set of all polynomially clocked DTM's that reject themselves
> as input.

That reject their DTM encodings and accept everything else?

And D is the language here? The decision problem is to recognize D? Or
if I am misunderstanding you, could you please clarify the problem a
bit
for me?

Best,

--
Eray

PS: I am not on a good reading day

.