Estou interessado na questão de saber se NP é igual a coNP ou não. Eu aprecio muito alguns conselhos sobre boas publicações para ler sobre o assunto. Para o registro, eu sei que esta questão está intimamente ligada à questão de se P é igual a NP ou não (de modo que, se NP! = CoNP, então P! =...
Alguns antecedentes: Estou interessado em encontrar limites inferiores "menos conhecidos" (ou resultados de dureza) para o problema de Aprendizagem com erros (LWE) e generalizações dos mesmos, como Aprender com erros por anéis. Para definições específicas, etc., aqui está uma boa pesquisa da...
Um problema em aberto muito interessante no estudo de medidas de complexidade da função booleana é a chamada conjectura de sensibilidade versus sensibilidade de bloco. Para obter informações detalhadas sobre sensibilidade versus sensibilidade de bloco, consulte o seguinte post do blog de S....
Este jogo de informações perfeitas, jogado em gráficos, é conhecido / estudado? Dado um gráfico G=(V,E)G=(V,E)G= (V,E) , dois jogadores alternam escolhendo uma aresta ou um nó isolado. Se o jogador escolher uma aresta e=(u,v)e=(u,v)e = (u,v) os dois nós uuu e vvv serão excluídos juntamente com as...
Estou tentando entender o protocolo bitcoin no contexto da segurança criptográfica computacional. A questão é uma solicitação de referência para fundações de artigos de criptografia em bitcoin. Minha primeira pergunta é qual protocolo criptográfico abstrato o bitcoin está tentando implementar?...
Parte da dificuldade de descobrir mais sobre esse problema é que o problema de correspondência de gráfico é diferente de seu primo muito mais famoso, o problema de correspondência, mas difícil de ser distinguido quando se usa os mecanismos de pesquisa. Dados dois gráficos e tais que, a tarefa é...
Atualmente, existem muitos resultados em separadores em gráficos, desde separador planar, separador de árvores, gráficos de largura de árvores delimitadas, gráficos de gênero delimitados, etc, etc, etc. Existe alguma pesquisa atualizada sobre isso e suas
Estou interessado em estudar problemas completos do isomorfismo em grafos (IG). No artigo "Problemas polinomialmente equivalentes ao isomorfismo dos grafos", de Kellogg S. Booth, (1979), provou que muitos problemas básicos estão completos no GI usando técnicas de substituição de borda, técnicas de...
Estou lendo o famoso artigo Impagliazzo e Wigderson em 1997. Como sou novo nesse campo e o artigo é uma versão concisa da conferência, tenho dificuldade em seguir suas provas. Em particular, alguns de seus novos teoremas carecem de provas. Que eu saiba, não houve uma versão do diário...
Estou procurando recursos (de preferência um manual) sobre tópicos avançados em algoritmos (tópicos além do que é abordado em manuais de algoritmos como CLRS e DPV). O tipo de material que pode ser usado para o ensino de tópicos em um curso de algoritmos, como o Erik Demaine e o curso de...
Você conhece problemas difíceis de W [1] mesmo para gráficos de graus delimitados? A dimensão métrica é difícil em gráficos com grau no máximo 3, mas é W [2] -hard. O Non-blocker Vermelho-Azul costumava ser W [1] -hard nos gráficos de graus limitados, mas houve um erro na prova (livro de Downey...
A reivindicação a seguir é conhecida? Reivindicação : Para qualquer gráfico com n vértices existe uma coloração de G tal que todo conjunto independente é colorido com no máximo O ( √GGGnnnGGGcores.O (
Em Teoremas de graça! , Wadler diz que a caracterização da parametricidade pode ser re-expressa em termos de transformações naturais frouxas e isso será objeto de outro artigo. A que papel ele está se referindo? A abordagem categórica da parametericidade que conheço utiliza transformações...
Denota por o grau mínimo de saída em G e por δ - ( G ) o mínimo de grau.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Em uma pergunta relacionada , mencionei a extensão Ghouila-Houri do teorema de Dirac nos ciclos hamiltonianos , o que sugere que se então G é
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Eu digo que um subgrafo de (com o mesmo conjunto de vértices) é sp-equivalente a se . Em outras palavras, remover arestas para ir de para não altera o comprimento dos caminhos mais curtos; as arestas removidas não são necessárias para...
Há uma construção muito agradável por Conway de números surreais. São "números" que contêm números reais e ordinais, são totalmente ordenados e têm todas as propriedades de um campo (exceto que eles não formam um conjunto, mas uma classe). Veja, por exemplo, este pdf ou Wikipedia para uma...
Considere o seguinte problema: Dadas duas cadeias x, y, decida se existe um homomorfismo da cadeia f tal que f (x) = y. É fácil mostrar que este problema está em . Há outras coisas que podemos dizer sobre esse problema? É por exemplo em C O N P , ou mesmo P ?NPNPNPcoNPcoNPcoNPPPP Esse...
Como sabemos, a definição de complexidade computacional do algoritmo é quase sem controvérsia, mas a definição de complexidade computacional de reais ou os modelos de computação sobre reais não é nesse caso. Conhecemos o modelo e o modelo de Blum e Smales no livro Análise Computável. E,...
Eu gostaria de saber (relacionado a essa outra pergunta ) se os limites inferiores eram conhecidos para o seguinte problema de teste: um deles recebe acesso de consulta a uma sequência de números não negativos e , com a promessa de que ou . ε ∈ ( 0 , 1 ) Σ n k = 1 uma k = 1 Σ n k = 1 uma k ≤ 1 -...
Eu sou um estudante de graduação em ciência da computação teórica e, em particular, algoritmos de aproximação. Percebo agora que estou mais interessado em matemática pura (posso dizer isso porque pareço ter gostado mais de cursos de matemática do que os cursos de ciências da computação). Eu...