zlacker
[parent]
[thread]
2 comments
1. porphy+(OP)
[view]
[source]
2025-05-21 21:48:43
There's not even a proof that P != EXPTIME haha
EDIT: I am a dumbass and misremembered.
replies(2):
>>doc_ma+T1
>>LPisGo+R8
◧
2. doc_ma+T1
[view]
[source]
2025-05-21 22:05:39
>>porphy+(OP)
I think there is right? It's been a long time but I seem to remember it following from the time hierarchy theorem
◧
3. LPisGo+R8
[view]
[source]
2025-05-21 23:09:25
>>porphy+(OP)
I thought there was some simple proof of this, but all I can think of is time hierarchy theorem.
[go to top]