Quais hierarquias e / ou teoremas de hierarquia você conhece?

42

Atualmente, estou escrevendo uma pesquisa sobre teoremas de hierarquia no TCS. Pesquisando artigos relacionados, notei que a hierarquia é um conceito fundamental não apenas no TCS e na matemática, mas em várias ciências, da teologia e sociologia à biologia e química. Visto que a quantidade de informações é vasta, espero poder pedir alguma ajuda por esta comunidade. Obviamente, não quero que você faça uma pesquisa bibliográfica para mim, mas estou pedindo dois tipos de informações:

  1. Hierarquias e teoremas de hierarquia que são o resultado do seu trabalho ou do trabalho de seus colegas ou de outras pessoas com as quais você está familiarizado e acha que isso não é tão conhecido. Pode ser, por exemplo, um teorema da hierarquia para um modelo de computação obscuro no qual você esteja interessado ou uma hierarquia de classes específicas, por exemplo, relacionadas à teoria dos jogos.

  2. Hierarquias e teoremas de hierarquia que você considera absolutamente necessários para serem incluídos em uma pesquisa desse tipo. Isso provavelmente já me seria conhecido, mas seria útil ver quais hierarquias você considera mais importantes e por quê. Pode ser do tipo "considero PH muito importante porque, sem ela, não poderíamos fazer esse tipo de pesquisa" ou "Embora não seja tão conhecido, no TCS baseado em lógica, usamos constantemente essa hierarquia e eu" considerá-lo uma ferramenta importante ". . E sim, acredito que as pessoas da lógica têm muitas hierarquias para mencionar, mas lembre-se de que estamos falando de hierarquias de problemas.

Vou manter uma lista atualizada aqui:

  • DTIME Hierarquia
  • NTIME Hierarquia
  • SPACEHierarquia S P A C E
  • Hierarquia aritmética (também conhecida como Kleene)
  • Hierarquia Hiperaritmética
  • Hierarquia Analítica
  • Hierarquia de Chomsky
  • Hierarquia de Grzegorczyk e afins: hierarquia de Wainer (crescimento rápido), hierarquia de Hardy
    (crescimento lento) e hierarquia de Veblen
  • Hierarquia de Ritchie
  • Hierarquia do Axt (conforme definido no Axt63 )
  • A hierarquia de loop (definida em MR67 )

  • Hierarquia N CNC (AC ,ACC )

  • A hierarquia de profundidade, conforme definida em Sipser83
  • Hierarquia polinomial ( ) e a hierarquia Meyer-Stockmeyer menos refinado (sem dinstinction entre quantificadores)PH
  • Hierarquia exponencial ( )ELEMENTARY
  • - Hierarquia intermediária (teorema de Ladner) NP

  • A não tão resistente (Arthur-Merlin)AM

  • A (Fixed-Parâmetro não-determinístico) hierarquia e a hierarquia alternada W (relacionada Um W -hierarchy) e W * -hierarchy (W com Parâmetro-Dependente Profundidade)WAWW
  • Hierarquia de contagem
  • Hierarquia de Fourier
  • Hierarquia Booleana (acima de ), também igual à Hierarquia de Consulta (acima de N P )NPNP
  • Hierarquias para teste de propriedade, como visto em GoldreichKNR09
  • A hierarquia de profundidade de pontos dos idiomas regulares sem estrelas
  • : As classes solucionáveis ​​por programas de ramificação de tamanho polinomial, com a condição adicional de que cada bit da entrada é testado na maioria dos d vezes, formam uma hierarquia para diferentes valores de dBPd(P)d
  • A hierarquia de tempo para a complexidade do circuito
  • A hierarquia polinomial na complexidade da comunicação

Nota: Se você não quiser ser mencionado exclusivamente, diga-o. Como regra geral, mencionarei a comunidade e também a pessoa específica que traz novas informações à tona.

chazisop
fonte
2
Isso se parece muito com uma pergunta do Wiki da Comunidade. Devo convertê-lo?
121111 Dave Clarke
Teorema de Ladner pode ser generalizada para obter infinitas hierarquias entre outras classes (assumindo que eles são diferentes), como entre P e P ^ # P .
Tyson Williams
13
Você também pode mencionar teoremas de "anti-hierarquia", isto é, teoremas de dicotomia. Os teoremas da dicotomia provavelmente poderiam obter uma pesquisa completa, mas provavelmente deveriam ser mencionados pelo menos ao lado de algo como o Teorema de Ladner.
Joshua Grochow
1
Você está perguntando apenas sobre hierarquias de classes de problemas? Há também o conceito de "hierarquia de testes", consulte arxiv.org/abs/quant-ph/0308032 , por exemplo.
Alessandro Cosentino
1
Sim, apenas hierarquias de classes de complexidade são consideradas. Mesmo limitado a esses, há muitos para coletar informações.
chazisop 6/12

Respostas:

21

A Hierarquia de Fourier, conforme definido em " Yaoyun Shi, Quantum e trocas clássicas ".

Do zoológico de complexidade :

FHk é a classe de problemas que podem ser resolvidos por uma família uniforme de circuitos quânticos de tamanho polinomial, comkníveis de portões de Hadamard e todas as outras portas de preservação a base computacional.

É um problema em aberto mostrar que a hierarquia de Fourier é infinita em relação a um oráculo (ou seja, FHk está estritamente contido em FHk+1 ).

Robin Kothari
fonte
18

- Na linha das "anti-hierarquias", vale a pena mencionar o teorema da diferença de Borodin .

Teorema. Para cada função computável total tal que f ( n ) = Ω ( n ) , existe um total computável g : NN tal que T I M E [ g ( n ) ] = T I M E [ f ( g ( n ) ) ] .f:NNf(n)=Ω(n)g:NNTIME[g(n)]=TIME[f(g(n))]

Isso contradiz o teorema da hierarquia de tempo, exceto que não é construtível no tempo (de fato, é por isso que devemos ter suposições de construtibilidade nas declarações da maioria das hierarquias de complexidade).g

- Há também reforços interessantes das hierarquias de tempo usuais, como:

TIME[nk]i.o.TIME[nk1]/(nlogn)

(existem problemas no tempo não podem ser resolvidos com sucesso a qualquer momento máquina do tempo usando bits de conselhos, mesmo em comprimentos de entrada infinitos). A prova é fácil: vamos listar as máquinas do tempo que recebem bits de conselhos como segunda entrada. Defina que divide em onde, executa e gera a resposta oposta. Então .n k - 1 n - log n { M i } n k - 1 n - log n M ( x ) x x = y z | z | = log | x | M z ( x , y ) L ( M ) i . o . - T I Mnknk1nlogn{Mi}nk1nlognM(x)xx=yz|z|=log|x|Mz(x,y)L(M)i.o.TIME[nk1]/(nlogn)

- A falta de hierarquias de tempo conhecidas em determinadas situações deve ser considerada (como problemas em aberto). Por exemplo, ?BPTIME[n]=BPP

Ryan Williams
fonte
2
É ? caso contrário, a afirmação não é interessante: basta escolher . TIME[g(n)]=TIME[f(g(n))]g(n)=n
Sasho Nikolov
@ Sasho, parece que sim. A afirmação do teorema da diferença de Borodin (via link) diz o mesmo.
Daniel Apon
16

O Zoológico de Complexidade fornece algumas hierarquias . Entre eles, a Hierarquia de Contagem e a Hierarquia Booleana já não foram citadas.

[EDIT] Para tornar minha resposta mais informativa, uma rápida definição da Hierarquia de Contagem.

  • C0P=P
  • C1P=PP
  • Ck+1P=PPCkP

Então, quanto à hierarquia polinomial, é definido como .CHkCkP

A hierarquia de contagem foi definida por Wagner [Wag86]. Links para a teoria dos circuitos limiares foram descobertos por Allender & Wagner [AW93]. Muito mais recentemente, Bürgisser [Bür09] também usou a hierarquia de contagem para relacionar o modelo de Valiant à conjectura de Shub e Smale. Em particular, ele provou que a conjectura implica um limite inferior superpolinomial para a permanente.ττ

[Wag86] KW Wagner. A complexidade de problemas combinatórios com representação sucinta de entradas . Acta Mathematica 23 (3), 325-356, 1986.
[AW93] E. Allender & KW Wagner. Hierarquias de contagem: tempo polinomial e circuitos de profundidade constante . Current Trends in Computer Science , 469-483, 1993.
[Bür09] P. Bürgisser. Na definição de números inteiros e na prova do circuito aritmético, limite inferior . Computacional Complexidade 18 (1), 81-103, 2009.

Bruno
fonte
16

Goldreich et. al. ter teoremas de hierarquia para teste de propriedade:

Também no ECCC .

Yonatan
fonte
aqui é mostrado que a maioria das propriedades requer consultas no modelo quântico. Isso pode ser conectado à prova do teorema da hierarquia da resposta para mostrar que ele também é válido para o teste de propriedades quânticas. (De fato, para qualquer modelo computacional natural com pelo menos uma propriedade que requer consultas para testar, e qualquer computável você possui propriedades testáveis ​​em consultas). Ω(n)Ω(g(n))f(n)O(g(n))Θ(f(n))
Artem Kaznatcheev
15

Sipser mostrou uma hierarquia de profundidade dentro de , ou seja, que os circuitos de profundidade de tamanho poli são mais poderosos do que os circuitos de profundidade de tamanho poli: d + 1 dAC0d+1d

Sipser, M. Borel define e complexidade do circuito . STOC 1983.

Joshua Grochow
fonte
11

Dieter van Melkebeek e co-autores têm hierarquias de tempo e espaço para modelos semânticos com conselhos, incluindo randomização.

Tyson Williams
fonte
10

Aqui estão mais hierarquias para classes semânticas com conselhos. Especificamente, para ZPTIME e RTIME.

Lance Fortnow, Rahul Santhanam, Luca Trevisan. Hierarquias para classes semânticas . Em STOC'05.

Marcos Villagra
fonte
10

Existe a hierarquia de Zheng-Weihrauch para números reais

X. Zheng e K. Weihrauch. A hierarquia aritmética dos números reais . Lógica Matemática Trimestral.Vol. 47 (2001), nº 1 51 - 65.

Alguém
fonte
9

Existe uma classe , definida em um artigo de 1975 por L. Adelman e K. Manders, que é um análogo diofantino da classe . Um idioma está contido em se houver um polinômio tal que Se é igual a é um problema em aberto. Essa igualdade mostraria conexões entre teoria dos números e ciência da computação.DNPLDP

xLy1,yn<poly(|x|): P(x,y1,,yn)=0.
DNP

Existe um análogo diofantino da hierarquia polinomial, chamado "hierarquia diofantina". As hierarquias polinomial e diofantina estão entrelaçadas:

i1, ΣiDΣiPΣi+1D
Alexander Knop
fonte
D é definido no segundo ("Complexidade Diofantina").
GMB 03/09
@ AndrásSalamon Links parecem não funcionar.
8

Outra hierarquia estrita: programas de ramificação que testam cada bit apenas um número limitado de vezes. Quanto mais testes forem permitidos, maior a classe de programas de ramificação. Geralmente, os programas de ramificação também são restritos ao tamanho polinomial. BP d (P) é a classe de programas de ramificação de tamanho polinomial que podem testar cada bit até vezes.d

L / poli é a união da BP d (P) sobre todos os d , enquanto a BP d-1 (P) BP d (P) para cada d .

András Salamon
fonte
8

Na teoria da complexidade parametrizada , existem várias hierarquias, embora apenas a hierarquia já mencionada apareça frequentemente nas publicações. Outros são:W

  • A mathsf
  • AW mathsf
  • EW -hierarchy
  • LOG mathsf
  • M -hierarchy
  • S math s
  • W -hierarchy
  • Wfunc -hierarchy

Eles são todos descritos na teoria da complexidade parametrizada, Flum e Grohe, Birkhäuser, 2006 .

Martin Lackner
fonte
7

Não tenho certeza se isso se encaixa nos seus critérios, mas existe a hierarquia de profundidade de pontos dos idiomas regulares sem estrelas.

mhum
fonte
5

A teoria das linguagens regulares das árvores infinitas deu origem a várias hierarquias, atualmente estudadas, com muitas questões ainda em aberto.

Ao usar autômatos em árvores infinitas, a condição de paridade (ou condição Mostowski) é de especial interesse, porque os autômatos de paridade não determinísticos podem expressar todos os idiomas regulares das árvores ininitas, e a estrutura da condição de aceitação é mais simples do que outras como Rabin ou Müller. .

[i,j]i{0,1}ijL[i,j]L[i,j]

  • hierarquia determinista de Mostowski (nem todas as línguas regulares)
  • hierarquia Mostowski não determinística
  • hierarquia Mostowski alternada

Σ2Π2L

  • hierarquia de índice fraca (nem todos os idiomas regulares)

L

dkuper
fonte
4

GiPHCPC

Sji

Kaveh
fonte
3

Elaborando um dos pontos de referência mencionados pelo OP (GoldreichKNR09): existem vários teoremas de hierarquia nos testes de propriedades e provas de proximidade, relacionados à complexidade da consulta, à adaptabilidade ou à testabilidade em relação ao número de rodadas (para provas de proximidade). Veja, por exemplo,

Clemente C.
fonte
Ponteiro para esta resposta , que se concentra na primeira (GoldreichKNR09).
Clement C.
3

A partir dessa pergunta no cs.stackexchange , tomei conhecimento da hierarquia de gênero das linguagens regulares . Essencialmente, você pode caracterizar idiomas regulares com base na superfície mínima do gênero na qual o gráfico do DFA pode ser incorporado. É mostrado em [1] que existem idiomas de gênero arbitrariamente grande e que essa hierarquia é adequada.

  1. Bonfante, Guillaume e Florian Deloup. " O gênero das linguagens regulares. " Estruturas Matemáticas em Ciência da Computação 28.1 (2018): 14-44.
mhum
fonte
2

Contando Hierarquia Polinomial, #PH, para abreviar. O primeiro nível é #P, depois #NP ... etc.

Tayfun Pay
fonte
1

cc

Denis Pankratov
fonte
Obrigado pela adição, editei seu comentário para deixar claro que o coNP se refere à complexidade da comunicação (eu sei que isso geralmente ocorre na comunidade de complexidade da comunicação para evitar a confusão de notações).
23416 chazisop
0

Mais sobre o lado obscuro: meu teorema da hierarquia de segunda ordem para lógicas de ponto fixo na teoria de modelos finitos. Veja ainda outro teorema da hierarquia .

Max Kubierschky
fonte