Ciência da Computação

Ao fazer cálculo mental, pode-se fazer: Dado um número inteiro k, some todos os dígitos (na base 10) e, se o resultado for múltiplo de 3, k será múltiplo de 3. Você conhece algum algoritmo funcionando de maneira semelhante, mas operando com dígitos de números binários (bits)? No começo, eu …

13 algorithms 

Este é o meu primeiro post depois de ser um usuário passivo há algum tempo. Desejo fazer algumas perguntas, se puder. Eu não sou um matemático, mas minha pergunta se refere ao campo da matemática / ciência da computação. Em particular, o problema P vs NP. Estou ciente de que …

13 complexity-theory  p-vs-np 

Bruinier e Ono descobriram uma fórmula algébrica para a função de partição , que foi amplamente divulgada como um avanço. Não consigo entender o documento, mas isso tem consequências algorítmicas para o cálculo rápido da função de partição?

13 algorithms  complexity-theory  number-theory 

Existem muitos idiomas populares. Porém, os cientistas da computação nos dizem que, para entender o comportamento dos programas nessas línguas de maneira definitiva e inequívoca, argumentar sobre o comportamento do programa (por exemplo, provar sua identidade), precisamos traduzi-los para outra linguagem bem compreendida. Eles chamam essa linguagem de "semântica". Os …

13 formal-languages  semantics 

Eu estou procurando o algoritmo O (V + E) para encontrar a redução transitiva dado um DAG. Isso remove o maior número possível de arestas, para que, se você puder alcançar v de u, para v e u arbitrários, ainda possa alcançá-lo após a remoção das arestas. Se este for …

13 algorithms  graphs  dag 

Eu queria saber se alguém sabia a origem do modelo de servidor do cliente. De onde vem o termo (papel, aplicativo de software, livro)?

13 terminology  reference-request  distributed-systems  history 

Se considerarmos uma árvore como um conjunto ordenado parcial, ela se torna um caso especial de junção-semilático. Para uma junção semilática, queremos poder calcular o limite superior mínimo (único) de dois elementos (mais ou menos) com eficiência. No caso de uma árvore, uma estrutura de dados que permitiria isso seria …

13 data-structures  lattices 

Por favor, considere o seguinte loop aninhado triplo: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement A instrução aqui é executada exatamente vezes. Alguém poderia explicar como essa fórmula …

13 algorithms  time-complexity  algorithm-analysis 

Eu implementei uma classificação topológica com base no artigo da Wikipedia que estou usando para resolução de dependências, mas ele retorna uma lista linear. Que tipo de algoritmo posso usar para encontrar os caminhos independentes?

13 algorithms  graphs  parallel-computing  scheduling 

Eu li sobre números de castores ocupados e como eles crescem assintoticamente maiores do que qualquer função computável. Porque isto é assim? É por causa da não computabilidade da função de castor ocupado? Em caso afirmativo, todas as funções não computáveis ​​crescem assintoticamente maiores que as computáveis? Editar: Ótimas respostas …

13 computability  asymptotics 

Um preditor do Naive Bayes faz suas previsões usando esta fórmula: P( Y= y| X= x ) = α P( Y= y) ∏EuP( XEu= xEu| Y= y)P(Y=y|X=x)=αP(Y=y)∏EuP(XEu=xEu|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) onde é um fator de normalização. Isso requer a estimativa dos parâmetros partir dos dados. Se fizermos isso com …

13 machine-learning  probability-theory  statistics 

Fiz uma pergunta semelhante no cstheory.SE . De acordo com esta resposta no Stackoverflow, existe um algoritmo que em uma linguagem de programação funcional pura e não preguiçosa possui uma complexidade , enquanto o mesmo algoritmo na programação imperativa é . Adicionar preguiça à linguagem FP tornaria o algoritmo .Ω(nlogn)Ω(nlog⁡n)\Omega(n …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Considere a seguinte versão do problema Clique, em que a entrada é do tamanho e solicitamos que você encontre um clique do tamanho . A restrição é que o procedimento de decisão não pode alterar o gráfico de entrada em nenhuma outra representação e não pode usar nenhuma outra representação …

13 complexity-theory  time-complexity 

é uma linguagem regular sobre o alfabeto Σ = { a , b } . O quociente esquerdo de L em relação a w ∈ Σ ∗ é o idioma w - 1 L : = { v ∣ w v ∈ L }eueuLΣ = { a , b }Σ={uma,b}\Sigma …

13 formal-languages  regular-languages  closure-properties 

Suponha que eu receba números inteiros de largura fixa (ou seja, eles se encaixam em um registro de largura w ), a 1 , a 2 , … a n de modo que sua soma a 1 + a 2 + ⋯ + a n = S também se encaixe …

13 algorithms  arrays  integers  numerical-analysis