Recentemente, li uma prova que pretendia mostrar que um problema era fortemente NP-difícil, simplesmente reduzindo-o (em tempo polinomial) de um problema fortemente NP-difícil. Isso não fazia sentido para mim. Eu pensaria que você teria que mostrar que todos os números usados na redução e as...
Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para...
Gráficos planares têm gênero zero. Os gráficos incorporados em um toro têm gênero no máximo 1. Minha pergunta é simples: Existem problemas que são polinomialmente solucionáveis em gráficos planares, mas que são rígidos em NP em gráficos do gênero um? De um modo mais geral, existem problemas...
Hoje ensinei limites inferiores a e um dos alunos perguntou sobre o motivo do nome . A explicação oficial é que o "A" significa "Alternação".AC0AC0AC^0ACACAC Lembro-me vagamente de ter sido informado há muitos anos que Nick Pippenger Steve Cook nomeou homenagem a Nick Pippenger (classe de Nick), e...
Versão curta. A prova original de que # 2-SAT é # P- completo mostra, de fato, que as instâncias de # 2-SAT são monótonas (sem envolver negações de quaisquer variáveis) e bipartidas (o gráfico formado pelas cláusulas sobre o variáveis é um gráfico bipartido) são #P -hard. Assim, os dois casos...
A complexidade do circuito de profundidade limitada é uma das principais áreas de pesquisa na teoria da complexidade do circuito. Este tópico tem origens em resultados como "a função de paridade não está em " e "a função mod não é calculada por ", onde é a classe de idiomas decidíveis por...
Estou procurando exemplos naturais de algoritmos eficientes (isto é, em tempo polinomial) st sua correção e eficiência podem ser comprovadas construtivamente (por exemplo, na ou na ), masPR APRUMAPRAHUMAHUMAHA nenhuma prova usando apenas conceitos eficientes é conhecida (ou seja, não sabemos como...
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...
Uma coisa que os computadores quânticos podem fazer (possivelmente apenas com apenas os circuitos quânticos BPP + com profundidade de log) é obter uma amostra aproximada da transformada de Fourier de uma função booleana em P.± 1±1 1\pm 1 Aqui e abaixo, quando falo sobre amostragem da transformada...
Considere o seguinte problemaQQQ : Estamos dado um número inteiro , e intervalos com . Também recebemos números inteiros . A tarefa é selecionar um número mínimo de intervalos para que para cada , pelo menos intervalos contendo o número inteiro sejam selecionados.k [ l i , r i ] 1 ≤ l i ≤ r i ≤ 2 n...
Ao tentar convencer economistas da relevância da teoria da complexidade impressa, existe uma referência padrão a ser citada? Estou familiarizado com o post de Noam Nisan , a pesquisa de Tim Roughgarden e o capítulo 11 do ensaio de Scott Aaronson . Essas postagens são acessíveis aos cientistas da...
Estou fazendo uma revisão de literatura sobre o problema de isomorfismo do gráfico. A maioria dos trabalhos que estou lendo são escritos por EM Luks e Laszlo Babai. Estes trabalhos utilizam o conhecimento de alto nível da teoria de grupos e da complexidade. Como sou novo neste campo, muitas das...
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...
Ao pesquisar o Sistema de informações sobre classes de gráfico e suas inclusões , encontrei várias classes de gráfico para as quais o problema do ciclo hamiltoniano é NP-completo, enquanto a complexidade dos problemas do caminho hamiltoniano NÃO é conhecida. Algumas dessas classes são gráficos...
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...
O artigo "Algoritmos subquadráticos para 3SUM", de Ilya Baran, Erik D. Demaine, Mihai Patrascu, apresenta a seguinte complexidade para a Problema 3SUM: dada uma lista LLL de nnn números inteiros se houver x,y,z∈Lx,y,z∈Lx,y,z \in L tal que
Sabe-se que o tamanho mínimo dos circuitos calculam a função de paridade é exatamente igual a 3 ( n - 1 )você2você2U_23 ( n - 1 )3(n-1 1)3(n-1) . A prova do limite inferior é baseada no método de eliminação do portão. Recentemente, notei que o método de eliminação portão funciona bem também para...
Dado o grupo de simetria e dois subgrupos e , mantém?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Tanto quanto eu sei, o problema é conhecido como o problema de interseção de coset. Eu estou querendo saber qual é a complexidade? Em particular, esse problema é...
Considere este problema: Dada uma lista de conjuntos finitos, localize os pedidos que minimizam .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Existem algoritmos conhecidos para isso? Qual é a...
É sabido que muitos problemas NP-completos exibem transição de fase. Estou interessado aqui na transição de fase com relação à contenção na linguagem, em vez da dureza da entrada, relativa a um algoritmo. Para tornar o conceito inequívoco, vamos defini-lo formalmente da seguinte forma. Uma língua...