Ciência da Computação

Eu ouvi a palavra "hash" sendo usada em diferentes contextos (todos no mundo da computação) com significados diferentes. Por exemplo, no livro Aprenda Python da maneira mais difícil, no capítulo sobre dicionários , diz-se "Python os chama de" dictos ". Outras línguas os chamam de" hashes "." Então, são dicionários …

38 terminology  hashing 

Suponha que um computador tenha um relógio preciso que não seja inicializado. Ou seja, a hora no relógio do computador é em tempo real mais um deslocamento constante. O computador tem uma conexão de rede e nós queremos usar essa conexão para determinar o deslocamento constante BBB . O método …

38 clocks  distributed-systems  computer-networks 

A complexidade do algoritmo é projetada para ser independente dos detalhes de nível inferior, mas é baseada em um modelo imperativo, por exemplo, o acesso à matriz e a modificação de um nó em uma árvore levam o tempo O (1). Este não é o caso em linguagens funcionais puras. …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Suponha que um programa tenha sido escrito em duas línguas distintas, sejam elas a linguagem X e a linguagem Y, se seus compiladores gerarem o mesmo código de bytes, por que eu deveria usar a linguagem X em vez da linguagem Y? O que define que um idioma é mais …

38 programming-languages  compilers 

Eu sei como codificar fatoriais usando iterativo e recursivo (por exemplo, n * factorial(n-1)por exemplo). Li em um livro didático (sem maiores explicações) que há uma maneira ainda mais eficiente de codificar fatoriais, dividindo-os ao meio recursivamente. Eu entendo por que esse pode ser o caso. No entanto, eu queria …

38 algorithms  efficiency  arithmetic 

Resumo: De acordo com o teorema de Rice, tudo é impossível. E, no entanto, faço essas coisas supostamente impossíveis o tempo todo! Obviamente, o teorema de Rice não diz simplesmente "tudo é impossível". Diz algo bastante mais específico: "Todas as propriedades de um programa de computador não são computáveis". (Se …

37 terminology  computability  undecidability  rice-theorem 

Atualmente, estou lendo um livro (e muita wikipedia) sobre física quântica e ainda não entendi como um computador quântico pode ser mais rápido do que os computadores que temos hoje. Como um computador quântico pode resolver um problema no tempo subexponencial que um computador clássico só pode resolver no tempo …

37 quantum-computing 

Vamos chamar uma linguagem livre de contexto determinística se, e somente se, puder ser aceita por um autômato push-down determinístico, e não determinística caso contrário. Vamos chamar uma linguagem sem contexto inerentemente ambígua, se e somente se todas as gramáticas sem contexto que geram a linguagem forem ambíguas e, caso …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Li em muitos lugares que alguns problemas são difíceis de abordar (é difícil para os aproximar ). Mas a aproximação não é um problema de decisão: a resposta é um número real e não Sim ou Não. Também para cada fator de aproximação desejado, existem muitas respostas corretas e erradas, …

36 complexity-theory  time-complexity  np-hard  approximation 

Pode haver um pedido de desculpas por fazer outra pergunta sobre pré-requisitos, mas fiquei confuso sobre os pontos de partida. Encontrei vários termos como "Lógica Modal", "Lógica Temporal", "Lógica de Primeira Ordem", "Lógica de Segunda Ordem" e "Lógica de Ordem Superior". O que exatamente "Lógica" significa neste contexto? Como definimos …

36 logic  mathematical-foundations 

Qual seria a melhor introdução às idéias de Per Martin-Löfs sobre teoria de tipos? Eu assisti a algumas palestras da escola de verão em Oregon PL, mas ainda estou um pouco intrigado com a seguinte pergunta: O que é um tipo? Eu sei o que é um conjunto, já que …

36 logic  type-theory 

Eu estive olhando para a matemática por trás da conversão de qualquer base para qualquer base. Trata-se mais de confirmar meus resultados do que qualquer coisa. Encontrei o que parece ser minha resposta no mathforum.org, mas ainda não tenho certeza se estou certo. Eu tenho a conversão de uma base …

36 algorithms  arithmetic  number-formats 

Entendo que a "estrutura" dos dados é totalmente dependente da Álgebra Booleana, mas: Por que os dados são considerados uma entidade matemática discreta, e não contínua? Relacionado a isso: Quais são os inconvenientes ou invariantes que são violados na estruturação de dados como uma entidade contínua em dimensões ?rrr Eu …

35 data-structures  mathematical-foundations 

Suponha que eu tenha uma lista de funções, por exemplo nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Como os classifico assintoticamente, ou seja, após a relação definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , assumindo que eles são realmente comparáveis ​​aos pares (veja também …

35 asymptotics  landau-notation  reference-question 

Eu sou novo em entender algoritmos de ciência da computação. Entendo o processo da pesquisa binária, mas estou tendo um pequeno mal-entendido com sua eficiência. Em um tamanho de elementos, seriam necessários, em média, etapas para encontrar um elemento específico. Tomando o logaritmo da base 2 de ambos os lados, …

35 algorithms  runtime-analysis  binary-search