Perguntas com a marcação «big-picture»

Este é um post separado de Consequências da UP igual a NP , e também uma pergunta de acompanhamento para as Classes de complexidade semântica versus sintática . No post acima, aprendemos sobre as classes semântica e sintática . Resumidamente, quando uma classe pode ser caracterizada como uma classe de …

9 cc.complexity-theory  complexity-classes  big-picture 

A teoria da complexidade computacional classifica os problemas de acordo com a dificuldade inerente. A teoria de sistemas complexos trata de sistemas que exibem comportamentos que obviamente não surgem das propriedades das partes individuais do sistema. Exemplos incluem sistemas caóticos, sistemas adaptativos complexos ou sistemas não lineares. Existe alguma ponte …

9 cc.complexity-theory  soft-question  big-picture 

É sabido que o problema NP-Complete chamado Subset Sum possui um FPTAS. Gostaria de saber se existe um problema PSPACE Complete que também possui um FPTAS? Desde já, obrigado.

9 ds.algorithms  space-bounded  big-picture 

Recentemente, pensei em "importar" algumas questões relacionadas à física para o CS quântico: A noção do fenômeno da lei de área nos sistemas hamiltonianos geralmente representa um hamiltoniano local em alguma rede, cujo estado fundamental exibe uma propriedade na qual o emaranhamento de qualquer região fechada é proporcional à superfície …

9 quantum-computing  big-picture 

Contexto : Existem vários artigos que estudam as implicações das curvas timelike fechadas (CTCs) na complexidade quântica. Em 2008, Aaronson e Watrous publicaram seu famoso artigo sobre esse tópico, que mostra que certas formas de viagem no tempo podem tornar equivalentes a computação quântica e clássica, ou seja, computadores quânticos …

9 cc.complexity-theory  quantum-computing  big-picture 

Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios obstáculos. Quais são alguns dos obstáculos em que o programa pode …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Recentemente, houve novos resultados em estudos experimentais baseados em computador do Problema da Discrepância de Erdos (EDP) (via solucionadores SAT, citados abaixo). Esse problema foi citado e estudado por vários pesquisadores (T) de CS. No entanto, os links (possivelmente profundos?) Para (T) CS não são tão óbvios. Quais são os …

8 reference-request  co.combinatorics  soft-question  big-picture 

Esta pergunta surge de uma resposta que Joe Fitzsimons deu a uma pergunta diferente . A maioria das classes de complexidade natural possui uma "descrição intuitiva" de uma linha que ajuda a caracterizar os principais problemas dessa classe. NP é "verificação eficiente", #P é "enumerar soluções", PSPACE é "jogo" e …

8 cc.complexity-theory  quantum-computing  big-picture  qma