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

Como todos vocês sabem, há uma queda contínua da crise financeira de 2008. Eu estava pensando sobre como a teoria da complexidade se encaixava nisso tudo, quando percebi que não conhecia as classes básicas de complexidade relacionadas à economia financeira. Então, minha pergunta é qual é a classificação de complexidade …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

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 

Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada ΓΓ\Gamma : Teorema ( Paturi ): …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Defina o modelo computacional MPostBQP para ser idêntico ao PostBQP, exceto que permitimos polinomialmente muitas medições de qubit antes da pós-seleção e medição final. Podemos dar alguma evidência indicando que o MPostBQP é mais poderoso que o PostBQP? Defina MPostBQP [k] para permitir várias rodadas de medição e pós-seleção antes …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Seja um conjunto de formas retangulares em D- dimensional. Para d ∈ { 1 , . . . , D } e v ∈ V , w d ( v ) ∈ Q + descreve o comprimento de v na dimensão d . A mesma notação é usada para o …

9 cc.complexity-theory  reference-request  np-hardness  packing 

O seguinte problema de decisão é NP-completo: Seja um gráfico não direcionado e dois inteiros. É possível selecionar para cada vértice de exatamente vizinhos diferentes, de modo que nenhum nó seja escolhido mais que vezes.GGGb≤cb≤cb \le cb cGGGbbbccc O caso pode ser resolvido para qualquer em tempo polinomial usando a …

9 cc.complexity-theory  np-hardness  graph-algorithms 

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 

A multiplicação de matrizes usando a técnica regular (produto interno da coluna de linha) utiliza multiplicações e O ( n 3 ) adições. No entanto, assumindo entradas de tamanho igual (número de bits em cada entrada de ambas as matrizes sendo multiplicadas) de tamanho m bits, a operação de adição …

9 cc.complexity-theory  algebraic-complexity 

IP (2pfa) e AM (2pfa) são as classes de idiomas reconhecidas com erro limitado por versões de moedas públicas e privadas, respectivamente, de sistemas de provas interativas com verificadores que são autômatos finitos probabilísticos com um cabeçote de entrada bidirecional. Existem propriedades de fechamento dessas classes conhecidas?

9 cc.complexity-theory  interactive-proofs 

Existem resultados conhecidos mostrando que a existência (ou não) de gráficos finitos com propriedades computáveis ​​específicas implica certos resultados de complexidade (como P = NP)? Aqui está um resultado completamente hipotético : Se existe um gráfico finito com arestas distintas, A, B, C e D, de modo que todas as …

9 cc.complexity-theory 

Fiquei me perguntando se a tarefa de procurar por três cores planares é de complexidade ou inferior? Parece que seria uma consequência intuitiva baseada nos resultados do separador planar; no entanto, na wikipedia , ele menciona apenas conjuntos independentes, árvores Steiner, ciclos hamiltonianos e TSP. Abaixo, incluo algum raciocínio que …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

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 

Este resultado de Tavenas, Koiran e outros mostra que qualquer polinômio calculado por um circuito de tamanho sss é calculado por um circuito homogêneo de profundidade 4 do tamanho sd√sds^{\sqrt{d}} . Existem resultados semelhantes para circuitos booleanos ou sabemos por que isso não é possível?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Problema clássico: Seja dado um número . O problema da classe é o seguinte.kkkkkk Dado um gráfico , existe um subconjunto de vértices para que quaisquer dois vértices de sejam adjacentes?GGGSSSkkkSSS Problema do hipergrafo: Seja dado os números e . O problema -hiperclique é o seguinte.ccckkk(c,k)(c,k)(c,k) Dado um hipergrafo uniforme …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable