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

Existe um resultado conhecido na classe de complexidade 1-em-3-SAT com número restrito de ocorrências variáveis? Eu propus a seguinte redução parcimoniosa com Peter Nightingale, mas quero citar algo, se isso for conhecido. Aqui está o truque que criamos. Isso mostra que 1-em-3-SAT limitado a 3 ocorrências por variável é NP …

11 reference-request  sat  reductions 

Existem teoria algorítmica dos grafos / teoria dos números / combinatória / teoria da informação / teoria dos jogos. Existe análise matemática algorítmica? Segundo o wiki, a análise matemática inclui as teorias de diferenciação, integração, medida, limites, séries infinitas e funções analíticas. Não há problema em focar na análise real …

11 cc.complexity-theory  reference-request  soft-question  computability 

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 gostaria de perguntar …

11 reference-request  soft-question 

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 …

11 reference-request  randomized-algorithms  property-testing 

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, aparentemente, o modelo …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

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 , …

11 cc.complexity-theory  reference-request  fl.formal-languages 

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 introdução. Eles …

11 reference-request  gt.game-theory  implementation  board-games  combinatorial-game-theory 

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 nenhum caminho mais curto.G′G′G'GGGGGGMG=MG′MG=MG′M_G = M_{G'}GGGG′G′G' Em …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

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 dinaturais, como no polimorfismo funcional de …

11 reference-request  ct.category-theory  parametricity 

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 ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

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 …

11 reference-request  parameterized-complexity 

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 …

11 ds.algorithms  reference-request  survey  books 

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 publicada.P=BPPP=BPP\mathsf …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

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 composição etc. Eu gostaria de aprender mais algumas …

11 cc.complexity-theory  reference-request  graph-isomorphism 

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 aplicações?

11 reference-request  graph-algorithms  survey