Запитання з тегом «separation»

Зоологія складності Грега Куперберга стверджує, що існує мова така, що B P P X X ⊈ Δ 2 P X - іншими словами, B P P X ⊈ P N P X - але не дає посилання на цей результат. Чому це дотримується? Або де можна знайти доказ?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

У цьому питанні було зазначено, що існують описові варіанти складності теореми Райса. Я знайшов доказ наступної теореми: Враховуючи клас складності C , нетривіальні властивості мов на C не можуть бути обчислені в C Раніше я розміщував знайдене нами доказ, але оскільки воно було так тривалим і тому, що в коментарях …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Покажіть функцію яка може бути сконструйована простором, але не змінна за часом.f( n )f(n)f(n) Чи пов’язана ця проблема з можливим поділом між класами складності DTIME (f (n)) та SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation