Ciência da Computação

Parece uma pergunta que deve ter uma resposta fácil, mas não tenho uma definitiva: Se eu tiver dois números de bits , qual é a complexidade de calcular ?nnna,pa,pa, pamodpamodpa\bmod p Simplesmente dividir aaa por ppp levaria tempo O(M(n))O(M(n))O(M(n)) onde M(n)M(n)M(n) é a complexidade da multiplicação. Mas o \ bmod …

23 algorithms  number-theory 

Por recomendação, estou reeditando isso no Stack Overflow . Recentemente, estive pensando sobre a questão seguinte. Considere o código para um "Olá, mundo!" programa: main() { printf("Hello World"); } Agora, quase qualquer alteração nesse código o tornará completamente inútil; na verdade, quase todas as alterações impedirão a compilação do código. …

23 programming-languages  computation-models 

Então, eu estava pensando em como os coletores de lixo funcionam e pensei em uma questão interessante. Presumivelmente, os coletores de lixo precisam atravessar todas as estruturas da mesma maneira. Eles não sabem o tempo que estão percorrendo uma lista vinculada, uma árvore equilibrada ou o que quer. Eles também …

23 programming-languages  memory-management  garbage-collection 

Qual é a diferença entre uma rede neural, um sistema de aprendizado profundo e uma rede de crenças profundas? Pelo que me lembro, sua rede neural básica é um tipo de coisa de três camadas, e eu tive os Deep Belief Systems descritos como redes neurais empilhadas umas sobre as …

23 machine-learning  neural-networks  boltzmann-machine 

Gostaria de fazer algumas perguntas sobre a linguagem Assembly. Meu entendimento é que é muito próximo da linguagem de máquina, tornando-a mais rápida e eficiente. Como temos arquiteturas de computador diferentes, isso significa que tenho que escrever um código diferente no Assembly para arquiteturas diferentes? Em caso afirmativo, por que …

23 programming-languages  computer-architecture 

Sou estudante de Ciência da Computação e atualmente estou matriculado no curso de Simulação e Modelagem de Sistemas. Envolve lidar com os sistemas cotidianos ao nosso redor e simulá-los em diferentes cenários, gerando números aleatórios em diferentes curvas distributivas, como IID, Gaussian etc., por exemplo. Eu estive trabalhando no projeto …

23 randomness  modelling 

Estou aprendendo C ++ e notei que o tempo de execução da função push_back para vetores é "amortizado" constante. A documentação observa ainda que "se uma realocação acontecer, a realocação é linear em todo o tamanho". Isso não significa que a função push_back é , onde é o comprimento do …

23 algorithms  time-complexity  amortized-analysis 

Um autômato é um modelo abstrato de um computador digital. Computadores digitais são completamente determinísticos; seu estado a qualquer momento é previsível exclusivamente a partir da entrada e do estado inicial. Quando estamos tentando modelar sistemas reais, por que incluir o não determinismo na teoria de Autômatos?

23 automata  nondeterminism  applied-theory 

Esta pergunta foi migrada do Software Engineering Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou tentando implementar a tabela de hash distribuído de pastelaria, mas algumas coisas estão escapando do meu entendimento. Eu esperava que alguém pudesse esclarecer. Disclaimer : Eu …

23 algorithms  data-structures  distributed-systems  hash-tables 

Estou procurando um cálculo simples que suporte o raciocínio sobre reflexão , a saber, a introspecção e manipulação de programas em execução. Existe uma extensão de cálcio não tipada que permita converter termos λ em um formato que possa ser sintaticamente manipulado e depois avaliado posteriormente?λλ\lambdaλλ\lambda Imagino que o cálculo …

23 logic  lambda-calculus  semantics  reflection 

O Eagles é um supergrupo de rock dos anos 70 e 80, responsável por clássicos como o Hotel California . Eles têm dois sons bastante distintos, um onde o guitarrista Joe Walsh está presente (por exemplo, em Life in the Fast Lane ) e outro em que ele está ausente. …

23 machine-learning  modelling 

Há nnn pessoas em uma mesa. O ª pessoa tem que pagar dólares.EuEuipEupEup_i Algumas pessoas não têm as contas certas para pagar exatamente , portanto, apresentam o seguinte algoritmo.pEupEup_i Primeiro, todo mundo coloca um pouco de seu dinheiro na mesa. Então, cada indivíduo recebe de volta o dinheiro pago em …

23 algorithms  optimization 

Em resumo: como os sistemas de tipos são categorizados em contextos acadêmicos; particularmente, onde posso encontrar fontes respeitáveis ​​que tornem claras as distinções entre diferentes tipos de sistemas de tipos? Em certo sentido, a dificuldade com esta pergunta não é que não consigo encontrar uma resposta, mas sim que posso …

23 reference-request  programming-languages  type-theory 

Alguém que eu conheço está planejando implementar um editor de texto em um futuro próximo, o que me levou a pensar em que tipo de estruturas de dados são rápidas para um editor de texto. As estruturas mais utilizadas são aparentemente cordas ou tampões de abertura . As árvores Van …

23 data-structures 

Recentemente, eu estava lendo sobre algoritmos para verificar a bisimilaridade e li que o problema é P-completo . Além disso, uma consequência disso é que é improvável que esse problema, ou qualquer problema com P-complete, possua algoritmos paralelos eficientes. Qual é a intuição por trás dessa última afirmação?

23 complexity-theory  parallel-computing