Невже знайти скорочення простору журналу важче, ніж зменшити P?

Мотивована відповіддю Шора, що стосується різних уявлень про повноту NP, я шукаю проблему, яка є NP-повною при зменшенні P, але невідомо, що вона є NP-повною при скороченні Logspace (бажано, протягом тривалого часу). Крім того, чи важче знайти скорочення простору журналу між проблемами, заповненими NP, ніж знайти P-скорочення?

cc.complexity-theory np-hardness

— Мохаммед Аль-Туркстані
джерело

Скорочення P означає поліноміальну функцію, яку можна обчислити за один раз, або AKA як скорочення Карпа.

— Мохаммед Аль-Туркстані

Я думаю, що це відкрита проблема ... і !!! неавторитетна !!! Вікіпедія :-) :-) погоджується: "... Питання відкрите, якщо проблеми, пов'язані з NP, відрізняються щодо скорочення простору журналу та поліноміального часу ...". Дивіться також програми « Галька» та «Розгалуження» для оцінки дерева для недавньої спроби розділити L та P.

— Marzio De Biasi

Я думаю, що всі відомі проблеми, пов'язані з NP, насправді закінчуються за рахунок багатьох-одного скорочення AC0.

— Kaveh

Набагато складніше знайти скорочення простору журналу, ніж скорочення у полімережі, оскільки простір журналів більш обмежений. Сказавши це, велика кількість скорочень поліметів, які ви бачите, використовує лише логарифмічний простір.

— Девід Річербі

Що є доказом того, що скорочення журнального простору важче, ніж зменшення P? Як ви можете це зробити, не відокремлюючи

від

L

$L$

P

$P$

— Мохаммед Аль-Туркстані

$\mathrm{AC}^0$ $\mathrm{AC}^0$

$(\phi,b)$ $\phi$ $z$ $b=1$ $z$ $\phi$ $z$ $b$ , що за своєю суттю є полі-часом. Однак, трохи працюючи, такі схеми, як правило, можуть бути показані як повні при скороченні простору журналу через деяке не наївне скорочення. (Я не опрацював цей конкретний приклад ...)

— Ерік Аллендер
джерело

Дякую за вашу гарну відповідь, і я люблю її прийняти, але я буду чекати відповіді, яка безпосередньо стосується мого питання із природною проблемою.

— Мохаммед Аль-Туркстані

Природна проблема в найпоширенішому тлумаченні слова природний в теорії складності.

— Мохаммед Аль-Туркстані