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

O problema clássico de rainhas pergunta, dado um número inteiro positivo , se existe uma matriz de números inteiros que satisfazem as seguintes condições:n Q [ 1 .. n ]nnnnnnQ [ 1 .. n ]Q[1..n]Q[1..n] i1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1\le Q[i] \le n para todos osEuii i …

27 cc.complexity-theory  board-games 

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . Parece que muitas pessoas acreditam que P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP , em parte porque acreditam que o fatoramento não é passível de solvência. (Shiva Kintali …

27 cc.complexity-theory  np  conditional-results 

Na complexidade computacional, existe uma distinção importante entre cálculos monótonos e gerais e um famoso teorema de Razborov afirma que 3-SAT e até MATCHING não são polinomiais no modelo monótono de circuitos booleanos. Minha pergunta é simples: existe um análogo quântico para circuitos monótonos (ou mais de um)? Existe um …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Ao ler o artigo "É hora de declarar vitória na contagem da complexidade?" no blog "Godel's Lost Letter and P = NP" , eles mencionaram a dicotomia para CSP's. Depois de algum link a seguir, pesquisando e pesquisando, encontrei o Teorema de Ladner : Teorema de Ladner: Se , então …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Qual é a complexidade de decidir se um circuito com bits de entrada e bits de saída calcula uma permutação de ? em outras palavras, se cada bit em é uma saída do circuito para alguma entrada? Parece um problema que foi estudado, mas não consigo encontrar nenhuma referência.N C0 …

27 cc.complexity-theory  circuit-complexity  permutations 

Eu sou um cientista da computação fazendo um curso de Topologia (uma pitada de topologia de conjunto de pontos fortemente aromatizada pela teoria do continuum). Interessei-me por problemas de decisão testando uma descrição de um espaço (por simplicidades) para propriedades topológicas; aqueles preservados até o homeomorfismo. Sabe-se, por exemplo, que …

27 cc.complexity-theory  big-list  topology 

Dado um por matriz binária (as entradas são ou ), o problema é determinar se existem dois vetores binários tais que (todas as operações executadas em ). Este problema é NP-difícil?mmmnnnMMM000111 M v 1 = M v 2 Zv1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Está claramente em NP, pois você pode …

27 cc.complexity-theory  np-hardness  linear-algebra 

Eu gostaria de perguntar sobre um caso especial da pergunta “ Decidir se um determinado circuito NC 0 calcula uma permutação ” por QiCheng que foi deixada sem resposta. Um circuito booleano é chamado de circuito NC 0 k se cada porta de saída depende sintaticamente da maioria das k …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Peter Shor mostrou que dois dos mais importantes problemas intermediários de NP, fatoração e o problema de log discreto, estão no BQP. Por outro lado, o algoritmo quântico mais conhecido para SAT (busca de Grover) produz apenas uma melhoria quadrática em relação ao algoritmo clássico, sugerindo que problemas de NP-completos …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Quero saber se a não uniformidade ajuda na prática as funções de computação. É fácil mostrar que existem funções em P / p o l y - P , assuma qualquer função incontestável f e considere a linguagem { 0 f ( n ) : n ∈ ω }, que …

27 cc.complexity-theory  uniformity 

Paridade-L é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação) e que é ainda mais restrito …

27 cc.complexity-theory  complexity-classes  conditional-results 

No modelo de caixa preta, o problema de determinar a saída de uma máquina BPP na entrada é o problema de contagem aproximado de determinar com erro aditivo 1/3 (digamos).M( x , r )M(x,r)M(x,r)xxxErM( x , r )ErM(x,r)E_r M(x,r) Existe um problema semelhante para o BQP? Este comentário de Ken …

27 cc.complexity-theory  quantum-computing  black-box 

O que são "regiões fáceis" para garantir a satisfação? Em outras palavras, condições suficientes para que algum solucionador SAT seja capaz de encontrar uma tarefa satisfatória, assumindo que ela exista. Um exemplo é quando cada cláusula compartilha variáveis ​​com poucas outras cláusulas, devido à prova construtiva da LLL, outros resultados …

27 cc.complexity-theory  sat 

Essa pode ser uma pergunta básica, mas eu tenho lido e tentado entender artigos sobre assuntos como computação de equilíbrio de Nash e teste de degeneração linear e não tenho certeza de como os números reais são especificados como entrada. Por exemplo, quando se afirma que o LDT possui certos …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Seja uma matriz inteira quadrada e seja um número inteiro positivo. Estou interessado na complexidade do seguinte problema de decisão:MMMnnn A entrada no canto superior direito de MnMnM^n positiva? Observe que a abordagem óbvia do quadrado iterado (ou qualquer outro cálculo explícito) exige que lidemos potencialmente com números inteiros de …

26 cc.complexity-theory  linear-algebra  matrices