w 1979 r. Hopcroft / Ullman napisał, że L ⊆ P ⊆ NP ⊆ PSpace jest znany, ale L ⊊ PSpace jest jedynym właściwym (i trywialnym) zabezpieczeniem znanym, chociaż wszystkie są przypuszczane, że są odpowiednimi zabezpieczeniami i „tam, gdzie rzeczy nadal istnieją” ~ 4 dekady później .
od tego czasu istnieje jakieś znane połączenie między L ⊊ P, P ⊊ PSpace a P ⊊ NP? czy wszyscy są nadal uważani za niezależnych, czy też są jakieś oznaki pewnej współzależności?
Uzasadnienie: to pytanie jest częściowo inspirowany przez ostatnich wyników Backurs-indyk wiążących Seth O (n- 2 ) edycji odległość. SETH to czas wykładniczy, a odległość edycji to PTime. (a także nieco pytanie potwierdzające dolne granice przez udowodnienie górnych granic )