Perguntas com a marcação «reference-request»

O algoritmo de Deutsch é uma computação quântica bem conhecida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} com apenas uma avaliação de fff . Se substituirmos +++ por ⋅⋅\cdot o problema parecerá bastante diferente. Minha pergunta é: existe um algoritmo quântico calculando o valor de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (ou AND, se você preferir) usando apenas …

10 reference-request  quantum-computing 

Existe um algoritmo de tempo polinomial para encontrar - se houver - uma aranha de abrangência de um determinado gráfico ? Uma aranha é uma árvore com no máximo um nó com grau maior que 2: eu sei que várias condições de grau em G (essencialmente, graus de nó suficientemente …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Estou procurando notas de aula disponíveis on-line ou outros recursos que ofereçam uma boa introdução à programação paralela, assim como o analógico paralelo de classes básicas em ciência da computação. Meu foco é o seguinte: enquanto sou capaz de falar sobre dividir e conquistar, algoritmos gananciosos, programação dinâmica e similares, …

10 reference-request  soft-question  dc.parallel-comp  survey 

Estou procurando o texto completo do resultado da camarilha de Moon and Moser de 1965, On Cliques in Graphs (existem gráficos com um número máximo de cliques exponenciais em ). O paywall da minha universidade não tem acesso ao diário específico. (De fato, a visualização fornece as primeiras frases da …

10 reference-request  graph-theory  co.combinatorics  clique 

Suponha que seja uma linguagem booleana, de seqüências finitas acima de { 0 , 1 } . Seja L n o número de strings em L com comprimento n . Para uma função d ( n ) dos números inteiros positivos aos números reais positivos, L tem densidade superior d …

10 cc.complexity-theory  reference-request  p-hardness 

Dado um gráfico misto G=(V,E,A)G=(V,E,A)G=(V,E,A) com as arestas EEE e arcos AAA , encontre uma correspondência em EEE que minimize o número de arcos em G/MG/MG/M , onde G/MG/MG/M é obtido de GGG contratando vértices correspondentes e removendo arcos paralelos. (A versão de decisão) deste problema está incompleta? Foi estudado …

10 cc.complexity-theory  reference-request  graph-theory 

Minha pergunta é sobre a equivalência da segurança de várias funções unidirecionais candidatas que podem ser construídas com base na dureza da fatoração. Assumindo o problema de FACTORING: [Dado para números primos aleatórios P , Q < 2 n , encontre P , Q. ]N= PQN=PQN = PQP, Q < …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Aqui está uma pergunta da "faixa B", se é que alguma vez houve. Resumo: a primeira coisa que penso quando tento dar uma semântica a programas não determinísticos resulta em uma semântica em que não posso provar coisas sobre loops que terminam apenas de forma não determinística. Certamente alguém descobriu …

10 reference-request  denotational-semantics 

Estou curioso para saber se alguém poderia recomendar algum material suplementar para obter uma compreensão mais profunda do artigo: " Alguns Resultados e Problemas em Desigualdades Quânticas do Tipo Sino - Tsirelson ". Especificamente, algo que pode elaborar um pouco mais sobre a interpretação geométrica das desigualdades do tipo Bell. …

10 reference-request  quantum-computing  quantum-information 

Houve uma quantidade considerável de trabalho em problemas computacionais para pedidos parciais (por exemplo, reconhecimento, número de salto, reconhecimento de gráfico de comparabilidade, etc ...). Estou curioso sobre o trabalho específico para as treliças. Eu procurei e não encontrei muito trabalho semelhante para treliças. Em particular, estou interessado em saber …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções parciais tiverem estruturas especiais …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron / logregistronlog⁡n/log⁡log⁡n\log n/ \log \log n A medida de complexidade …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Esta questão segue o mesmo discurso inspirador dos alunos do último ano do ensino médio . Meu Ph.D. orientador me pediu para dar uma palestra inspiradora para o novo M.Sc. alunos. O assunto são fundamentos da criptografia , que é melhor ilustrada pelo livro de Goldreich . A conversa vai …

10 reference-request  soft-question  cr.crypto-security  teaching 

Primeiro de tudo, ainda não tenho certeza se a história está bem adaptada para essa pergunta, por isso não ficarei ofendida se a multidão achar que não é o caso ... No marketing de mecanismos de pesquisa, vários problemas são interessantes. O desenho de mecanismos de leilão justos (e lucrativos) …

10 reference-request  lg.learning  gt.game-theory 

Estou interessado em exemplos de construções na teoria da complexidade que são melhores do que construções aleatórias. O único exemplo dessa construção que eu sei é no campo dos códigos de correção de erros. Os códigos de geometria algébrica são melhores em alguns parâmetros do que os códigos aleatórios. Pode-se …

10 reference-request  big-list  derandomization  pr.probability