Ciência da Computação Teórica

Os gráficos de Paley P q são aqueles cujo conjunto de vértices é dado pelo campo finito GF (q), para potências primárias q≡1 (mod 4), e onde dois vértices são adjacentes se e somente se diferem por 2 para alguns a ∈ GF (q). No caso em que q é …

13 ds.algorithms  graph-theory 

Eu tenho um conjunto de dados que é um número de objetos organizados em uma grade 2-D. Sei que tenho uma ordem estrita, aumentando à medida que você vai da esquerda para a direita em cada linha e aumentando de cima para baixo em cada coluna. Por exemplo, 1 2 …

13 ds.algorithms  total-ordering  sorting 

Quais são alguns problemas do mundo real que foram resolvidos usando um algoritmo genético? Qual é o problema? Qual é o teste de aptidão utilizado para resolver este problema?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

Existem livros recentes sobre algoritmos on-line? Conheço apenas dois livros sobre o assunto. Computação on-line e análise competitiva de Allan Borodin e Ran El-Yaniv: este é um livro clássico, mas antigo, e não contém muitos avanços recentes no campo. O projeto de algoritmos on-line competitivos por meio de uma abordagem …

13 reference-request  big-list  online-algorithms 

A hierarquia é uma hierarquia de classes de complexidade em complexidade parametrizada, consulte o Zoológico da Complexidade para obter definições. Uma definição alternativa define usando a definibilidade ponderada de Fagin para as lógica de primeira ordem; consulte o livro de Flum e Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Para as classes mais baixas e …

13 cc.complexity-theory  parameterized-complexity 

Existem várias provas para o limite inferior loglinear do problema de singularidade / distinção de elementos (baseado em árvores de computação algébrica ou argumentos contraditórios), mas estou procurando uma que seja simples o suficiente para usar em um primeiro curso de análise e design de algoritmos. O mesmo "nível de …

13 cc.complexity-theory  lower-bounds  proofs 

Isso está relacionado à questão geral de " Como faço para arbitrar um artigo? ". Estou revendo um artigo para uma conferência, e este artigo deve ser rejeitado, porque não é significativo o suficiente para publicação e apresenta falhas em alguns de seus detalhes técnicos. O artigo não está errado, …

13 soft-question  paper-review 

Isenção de responsabilidade : enquanto me preocupo com a teoria dos tipos, não me considero um especialista em teoria dos tipos. No cálculo lambda de digitação simples, o tipo zero não possui construtores e um eliminador exclusivo: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} De um ponto …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Digamos que queríamos uma linguagem de programação funcional, pura e funcional, como Haskell ou Idris, voltada à programação de sistemas sem coleta de lixo e sem tempo de execução (ou pelo menos não mais do que os "durações" de C e Rust). Algo que pode funcionar, mais ou menos, em …

13 pl.programming-languages  language-design 

Em seu livro Computational Complexity , Papadimitriou define FNP da seguinte forma: Suponha que seja uma linguagem no NP . Pela Proposição 9.1, há um decidível em tempo polinomial, relação polinomialmente equilibrada tal que para todas as cadeias : Há uma seqüência com se e somente se . O problema …

13 complexity 

Complexidade classe PPAD foi inventado por Christos Papadimitriou em seu seminal 1994 papel . A classe é projetada para capturar a complexidade dos problemas de pesquisa, onde a existência de uma solução é garantida pelo "argumento Paridade em gráficos direcionados": se houver um vértice desequilibrado em um gráfico direcionado, deverá …

13 cc.complexity-theory  reductions  search-problem  ppad 

Para ser sincero, não sei muito sobre como o número aleatório é gerado (comentários são bem-vindos!), Mas vamos assumir o seguinte modelo teórico: Podemos obter números inteiros uniformemente aleatórios a partir de [1,2n][1,2n][1,2^n] e nosso objetivo é gerar um inteiro aleatoriamente uniforme de [1,3]. 2n2n2^n2n−12n−12^n-1[1,2n][1,2n][1,2^n]333mod3mod3\bmod 3 Mas e se quisermos …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Agora podemos ver que a Igreja estava associada ao Cálculo Lambda de Digitação Simples . De fato, parece que ele explicou o Cálculo Lambda de Digitação Simples para reduzir o mal-entendido sobre o Cálculo Lambda. Agora, quando John McCarthy criou o Lisp, ele o baseou no cálculo Lambda . Isso …

13 lambda-calculus  term-rewriting-systems  lisp 

A largura da árvore e a largura do caminho são parâmetros populares, medindo a proximidade de um gráfico a uma árvore ou um caminho, respectivamente. De fato, parece que a largura da árvore é tão popular que é apresentada em muitos artigos, livros e notas de aula que dão (mesmo …

13 reference-request  graph-algorithms  parameterized-complexity 

Está bem estabelecido que, para cada matróide MMM e qualquer função de ponderação www , não sai um algoritmo GreedyBasis(M,w)GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) que devolve uma base de peso máximo de MMM . Então, a direção inversa também é verdadeira? Ou seja, se existe algum algoritmo ganancioso, também deve haver alguma estrutura matróide.

13 ds.algorithms  greedy-algorithms