Perguntas com a marcação «cc.complexity-theory»

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 um caminho de aceitação …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

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 bipartidos de grau máximo 3, …

17 cc.complexity-theory  graph-theory 

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 …

17 cc.complexity-theory  graph-isomorphism 

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 …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

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 ] …

17 cc.complexity-theory  np-hardness 

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 cores.vvvvvv Meu primeiro palpite …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

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 de Fourier, …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

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 computação, …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

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 provar sua correção e eficiência na ou ).S …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

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 …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

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 …

17 cc.complexity-theory  sat  counting-complexity 

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 mais tarde …

17 cc.complexity-theory  reference-request  ho.history-overview 

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 polinomialmente solucionáveis ​​em …

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

O método adversário negativo ( ) é um SDP que caracteriza a complexidade da consulta quântica. É uma generalização do método adversário amplamente utilizado ( ) e supera as duas barreiras que impediram o método adversário:A D V±UMADV±ADV^\pmA D VUMADVADV A barreira do teste de propriedades: se todas as instâncias …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

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 instâncias do problema para o …

17 cc.complexity-theory  np-hardness  reductions