Recentemente, encontrei a seguinte variante de coloração de borda. Dado um gráfico não direcionado conectado, encontre uma coloração das arestas que use o número máximo de cores, além de satisfazer a restrição de que, para cada vértice , as arestas incidentes em usem no máximo duas...
Suponha que eu considere a seguinte variante do BPP, que vamos chamar de BPP E (xact): Um idioma está no EBPP se houver um TG aleatório polinomial no tempo que aceite todas as palavras da linguagem com exatamente 3/4 de probabilidade e todas as palavras que não estejam em o idioma com exatamente...
Seguindo a sugestão de Josh Grochow, estou convertendo meu comentário de uma pergunta anterior em uma nova. Que evidência temos de ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Aqui é a classe de idiomas reconhecíveis pelas máquinas de Turing não determinísticas de tempo polinomial que possuem...
No "último parágrafo" da "primeira página" do seguinte artigo: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP possui circuitos de tamanho polinomial, então MA = AM", Ciência da Computação Teórica, 1995. Eu encontrei uma afirmação um tanto contra-intuitiva:...
Teoremas da hierarquia são ferramentas fundamentais. Um bom número deles foi coletado em uma pergunta anterior (consulte Quais hierarquias e / ou teoremas de hierarquia você conhece? ). Algumas separações de classes de complexidade seguem diretamente dos teoremas da hierarquia. Exemplos de tais...
LogCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto. Da mesma forma, LogDCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto determinístico. Consulte este artigo da Wikipedia para alguns problemas naturais...
Eu preciso de uma lista de idiomas completos. Existem dois desses problemas listados no Complexity Zoo , a saber:Σp2Σ2p\Sigma_2^p DNF equivalente mínimo. Dada uma fórmula DNF F e um número inteiro k, existe uma fórmula DNF equivalente a F com k ou menos ocorrências de literais? Menor implicante....
Provocado por uma pergunta que Greg Kuperberg me perguntou, estou me perguntando se existem documentos que definam e estudem classes de complexidade de idiomas que admitem vários tipos de provas de conhecimento . Classes como SZK e NISZK são extremamente naturais do ponto de vista da complexidade,...
Estou interessado em saber se existem bons artigos ou pesquisas expositivos aos quais posso me referir quando escrevo sobre operadores de classes de complexidade : operadores que transformam classes de complexidade fazendo coisas como adicionar quantificadores a eles. Exemplos de operadores O...
Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de...
Dizemos que NFA é constantemente ambíguo se existir k ∈ N, de modo que qualquer palavra w ∈ Σ ∗ seja aceita por 0 ou (exatamente) k caminhos.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se o autômato é constantemente ambíguo para k = 1 , então M é chamado FA não ambígua (UFA).MMMk =...
Quais são alguns exemplos de pares de classes de complexidade e queAAABBB não sabemos se eA=BA=BA=B também não conhecemos relativizações contraditórias (isto é, não conhecemos oráculos e tal forma que A P = B P e A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Para formular a...
NP está em ?DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log
Diz-se que um problema P está no APX se existir alguma constante c> 0, de modo que exista um algoritmo de aproximação em tempo polinomial para P com fator de aproximação 1 + c. O APX contém PTAS (visto simplesmente escolhendo qualquer constante c> 0) e P. O APX está no NP? Em particular, a...
Quais são alguns problemas não triviais em que sabemos que o algoritmo atual que temos é o ideal assintoticamente ideal? (Para máquinas de turing) E como isso é
A classe de complexidade BQP corresponde a sub-rotinas quânticas de tempo polinomial, recebendo entradas clássicas e emitindo uma saída clássica probabilística. O aconselhamento quântico modifica isso para incluir cópias de alguns estados pré-determinados de aconselhamento quântico, mas com...
O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo...
Há um trabalho fantástico realizado no Permanente nas últimas duas décadas. Eu tenho pensado há algum tempo sobre a possibilidade de um algoritmo Smooth P para as Matrizes Permanentes de Não-Negativas. Obviamente, existe o famoso algoritmo JSV, mas este é um exemplo. Pensando em outro trabalho...
Em nosso trabalho recente, resolvemos um problema computacional que surgiu no contexto combinatório, pressupondo que , onde ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} é aversão E X P de ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . O único artigo sobre ⊕⊕P⊕P\mathsf{\oplus{}P} que...
Costumamos considerar classes de complexidade em que estamos limitados na quantidade de espaço que nossa máquina de Turing pode usar, por exemplo: ou NSPACE ( f ( n ) ) . Parece que no início da teoria da complexidade houve muito sucesso com essas classes, como o teorema da hierarquia espacial e a...