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

Existe um exemplo de uma classe de gráficos para a qual o problema de coloração de vértice está em P, mas o conjunto independente de problema é NP completo?

19 cc.complexity-theory  graph-theory  complexity-classes 

Considere o seguinte modelo: uma sequência de n bits r = r 1 ... r n é escolhida uniformemente aleatoriamente. Em seguida, cada índice i∈ {1, ..., n} é colocado em um conjunto A com probabilidade independente 1/2. Finalmente, um adversário é permitido, para cada i∈A separadamente, para r aleta …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

Estou interessado na complexidade de resolver equações lineares módulo k , para k arbitrário (e com um interesse especial em potências primárias), especificamente: Problema. Para um dado sistema de mmm equações lineares em nnn módulo desconhecido kkk , existem soluções? No resumo de seu artigo Estrutura e importância das classes …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Atualmente, estou interessado em obter (ou construir) e estudar fórmulas de 3-CNF insatisfatórias e de tamanho mínimo. Ou seja, eles devem consistir no menor número possível de cláusulas (m = 8) e no menor número possível de variáveis ​​distintas (n = 4 ou mais), de modo que a remoção de …

19 cc.complexity-theory  sat 

Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado de máquina e …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Existem referências que fornecem detalhes sobre os limites inferiores do circuito para problemas difíceis específicos que surgem na criptografia, como fatoração inteira, problema de logaritmo discreto prime / composto e sua variante sobre o grupo de pontos de curvas elípticas (e suas variedades abelianas de maior dimensão) e os aspectos …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

EDIT em 08/02/2011: Depois de encontrar e ler algumas referências, decidi separar a pergunta original em duas. Aqui está a parte referente a UP vs NP. Para a parte das classes sintáticas e semânticas, consulte Benefícios para as classes sintáticas e semânticas . U PUP\mathsf{UP} (o tempo polinomial inequívoco, consultewikieo …

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

Seja f(n)f(n)f(n) o pior caso de tempo de execução de um problema na entrada de tamanho nnn . Vamos tornar o problema um pouco estranho, fixando f(n)=n2f(n)=n2f(n) = n^2 para n=2kn=2kn=2k mas f(n)=nf(n)=nf(n) = n para n=2k+1n=2k+1n=2k+1 . Então, qual é o limite inferior do problema? A maneira como eu …

19 cc.complexity-theory  time-complexity 

Paridade e são como gêmeos inseparáveis. Ou assim parece nos últimos 30 anos. À luz do resultado de Ryan, haverá um interesse renovado nas turmas pequenas.A C0 0AC0AC^0 Furst Saxe Sipser de Yao a Hastad são todas paridade e restrições aleatórias. Razborov / Smolensky é um polinômio aproximado com paridade …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

Parece sabido que, para encontrar uma resposta para uma consulta em um banco de dados relacional , é preciso tempo e não é possível se livrar do expoente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como pode ser muito grande, nos perguntamos por que os bancos de dados funcionam na prática.DDD É apenas uma questão de as …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Como você projetaria uma imagem para ilustrar a conjectura exclusiva dos jogos? Isto é para uma apresentação dos "Eventos Atuais" sobre jogos exclusivos na próxima Reunião Conjunta da AMS e para o livreto que será produzido. Exemplos do tipo de ilustrações produzidas no passado estão em http://www.ams.org/meetings/lectures/current-events-bulletin e se você …

19 cc.complexity-theory  unique-games-conjecture 

Meu teorema favorito na teoria da complexidade é o teorema da hierarquia de tempo. No entanto, isso foi feito em 1965. Eu queria saber se havia algo semelhante para a computação quântica. Além disso, se não, quais são as pessoas / grupos trabalhando nessa direção!

19 cc.complexity-theory  quantum-computing 

Existe algum projeto em andamento para verificar formalmente os teoremas e as provas da teoria da complexidade usando um assistente de prova como Coq? Existem limites para fazer isso?

18 cc.complexity-theory  complexity  proof-assistants 

Há algum problema NP completo com nenhum subconjunto infinito de instâncias tal que a adesão em Φ pode ser decidida em tempo polinomial, e para todo x ∈ Φ , x pode ser resolvido em tempo polinomial? (Assumindo P ≠ N P )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Estou interessado no seguinte problema: Dado um matriz, existe um grafo não direcionado em n vértices cuja adjacência matriz ao quadrado é essa matriz?n × nn×nn\times nnnn A complexidade computacional desse problema é conhecida? Observações: Obviamente, isso também pode ser formulado como um problema de pesquisa, onde você recebe a …

18 cc.complexity-theory  graph-theory