WikiDer > Логическая иерархия

В логическая иерархия это иерархия из логический комбинации (пересечение, союз и дополнение) из НП наборы. Эквивалентно, логическая иерархия может быть описана как класс логические схемы над НП предикаты. Коллапс логической иерархии означал бы коллапс полиномиальная иерархия.^[1]

Формальное определение

BH определяется следующим образом:^[2]

• BH₁ является НП.
• BH_2k это класс языков, которые являются пересечение языка в BH_2k-1 и язык в coNP.
• BH_2k+1 это класс языков, которые являются союз языка в BH_2k и язык в НП.
• BH - это объединение BH_я

Производные классы

• DP (разностное полиномиальное время) - это BH₂.^[3]

Эквивалентные определения

Определение конъюнкции и дизъюнкции классов следующим образом позволяет дать более компактные определения. Соединение двух классов содержит языки, являющиеся пересечением языка первого класса и языка второго класса. Дизъюнкция определяется аналогичным образом с объединением вместо пересечения.

• C ∧ D = {A ∩ B | A ∈ C B ∈ D}
• C ∨ D = {A ∪ B | A ∈ C B ∈ D}

Согласно этому определению DP = NP ∧ coNP. Остальные классы булевой иерархии можно определить следующим образом.

${ Displaystyle { mathsf {BH}} _ {2k} = { mathsf {coNP}} wedge { mathsf {BH}} _ {2k-1}}$

${ displaystyle { mathsf {BH}} _ {2k + 1} = { mathsf {NP}} vee { mathsf {BH}} _ {2k}}$

Следующие равенства могут использоваться в качестве альтернативных определений классов булевой иерархии:^[4]

${ Displaystyle { mathsf {BH}} _ {2k} = bigvee _ {я = 1} ^ {k} { mathsf {DP}}}$

${ displaystyle { mathsf {BH}} _ {2k + 1} = { mathsf {NP}} vee bigvee _ {i = 1} ^ {k} { mathsf {DP}}}$

В качестве альтернативы,^[5] для каждого k ≥ 3:

${ displaystyle { mathsf {BH}} _ {k} = { mathsf {DP}} vee { mathsf {BH}} _ {k-2}}$

Твердость

Трудность для классов булевой иерархии может быть доказана, если показать сокращение из числа экземпляров произвольной НП-полный задача A. В частности, для данной последовательности {Икс₁, ... Икс_м} экземпляров A таких, что Икс_я ∈ A следует Икс_я-1 ∈ A, требуется редукция, дающая экземпляр у такой, что у ∈ B тогда и только тогда, когда количество Икс_я ∈ A нечетно или четно:^[4]

• BH_2k-твердость доказана, если ${ displaystyle m = 2k}$ и количество Икс_я ∈ A нечетное
• BH_2k+1-твердость доказана, если ${ displaystyle m = 2k + 1}$ и количество Икс_я ∈ A четно

Такие сокращения работают для каждого фиксированного k. Если такие редукции существуют для произвольных k, задача сложна для P^{NP [О(журнал п)]}.

использованная литература

Эта Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. v т е