Esta é uma postagem cruzada de math.stackexchange. Deixe FACT denotar o problema de fatoração de número inteiro: dado encontre os números primos e os números inteiros modo quep i ∈ N , e i ∈ N , n = Π k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},pEu∈ N ,pi∈N,p_i \in \mathbb{N},eEu∈ N ,ei∈N,e_i...
O fatoramento não é conhecido por ser NP-completo. Esta pergunta pediu consequências do fato de o Factoring ser NP-completo. Curiosamente, ninguém pediu consequências do fato de o Factoring estar em P (talvez porque essa pergunta seja trivial). Então, minhas perguntas são: Qual seria o teórico...
A postagem no blog de Scott Aaronson hoje deu uma lista de problemas / tarefas abertos interessantes em complexidade. Um em particular chamou minha atenção: Crie uma biblioteca pública de instâncias 3SAT, com o menor número possível de variáveis e cláusulas, que teria consequências notáveis...
(Desculpe, se isso é bem conhecido.) Gostaria de dar algum item a um dos agentes , para que o agente obtenha o item com probabilidade . Existe uma ferramenta criptográfica (ou outra) para que todo agente (e até todo observador) possa se convencer de que o desenho aleatório foi realmente justo?kkkp...
Li em vários artigos que se acredita amplamente na existência de funções de mão única . Alguém pode esclarecer por que esse é o caso? Que argumentos temos para apoiar a existência de funções
Suponha que e um algoritmo rápido de tempo linear para SAT apareça amanhã. De repente, a RSA fica insegura, grande parte do nosso sistema de comunicação moderno está quebrado e precisamos reconsiderar como manter segredos um do outro.P= NPP=NPP = NP Pergunta: Existe uma boa referência única (ou...
A Wikipedia define um segundo ataque de pré-imagem como: dada uma mensagem fixa m1, encontre uma mensagem diferente m2, tal que hash (m2) = hash (m1). A Wikipedia define um ataque de colisão como: encontre duas mensagens diferentes arbitrárias m1 e m2, de modo que hash (m1) = hash (m2). A...
Atualmente, o bitcoin possui um sistema de prova de trabalho (PoW) usando SHA256. Outras funções de hash usam gráficos de uso do sistema de prova de trabalho, inversão parcial da função de hash. É possível usar um problema de Decisão na Teoria do Nó, como o reconhecimento do Nó, e transformá-lo em...
Esta questão foi migrada da Cross Validated porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Tenho um problema bastante único para resolver e espero que alguém aqui possa me dar algumas dicas sobre a melhor forma de
Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 3 anos . No artigo científico de 2016 " Realização de um algoritmo Shor escalável " [ 1 ], os autores fatoram 15 com apenas 5...
Atualmente, ensino um pequeno curso (Quatro palestras de duas horas no nível de mestrado) sobre Métodos Lógicos em Segurança , embora o título Métodos Formais em Segurança possa ser mais adequado. Ele cobre brevemente os seguintes tópicos (com métodos lógicos associados): Gerenciamento de...
Depois de ler esta resposta há algum tempo, me interessei pela criptografia totalmente homomórfica. Depois de ler a introdução da tese de Gentry, comecei a me perguntar se o esquema de criptografia dele poderia ser usado para a execução de código inconsciente, conforme definido no terceiro...
Que diferenças interessantes existem entre teoria e prática de segurança e criptografia? O mais interessante será, obviamente, exemplos que sugerem novos caminhos para a pesquisa teórica com base na experiência prática :). As respostas podem incluir (mas não estão limitadas a): Exemplos em que...
A aparentemente sem sentido da mineração de criptomoedas levantou a questão de alternativas úteis, veja estas perguntas em Bitcoin , CST , MO . Gostaria de saber se existe um algoritmo que possa converter praticamente qualquer desafio computacional (cuja solução pode ser verificada com eficiência)...
É sabido que a exponenciação modular (a parte principal de uma operação RSA) é computacionalmente cara e, até onde eu entendi, a técnica da exponenciação modular de Montgomery é o método preferido. A exponenciação modular também é destaque no algoritmo de fatoração quântica, e também é cara...
Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994,...
Houve pesquisas para implementar construções de extratores aleatórios? Parece que as provas do extrator fazem uso do Big-Oh, deixando a possibilidade de grandes constantes ocultas, tornando as implementações programáticas potencialmente irrealistas. Algum contexto: estou interessado em usar...
Essa questão está relacionada principalmente a um problema prático de engenharia de software, mas eu ficaria curioso para saber se os teóricos poderiam fornecer mais insights sobre isso. Simplificando, eu tenho uma simulação de Monte Carlo que usa um gerador de números pseudo-aleatórios e...
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...
A computação reversível é um modelo computacional que permite apenas operações termodinamicamente reversíveis. De acordo com o princípio de Landauer, que afirma que apagar um pouco de informação libera joules de calor, isso exclui as funções de transição que não são individuais (por exemplo, os...