Ciência da Computação

Todo mundo sabe que a velocidade da computação aumentou drasticamente desde sua invenção e parece que deve continuar. Mas uma coisa está me intrigando: se você passasse uma corrente elétrica através de um material hoje, ela viajaria na mesma velocidade como se você fizesse isso com o mesmo material há …

48 computer-architecture 

Existem muitos métodos para provar que um idioma não é regular , mas o que preciso fazer para provar que um idioma é regular? Por exemplo, se me é dado que é regular, como posso provar que o a seguir também é regular?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Estou lendo um livro chamado Principles of Computer Science (2008), de Carl Reynolds e Paul Tymann (publicado pela Schaum's Outlines). O segundo capítulo apresenta algoritmos com um exemplo de pesquisa sequencial que simplesmente itera através de uma lista de nomes e retorna VERDADEIRO se um determinado nome for encontrado na …

47 algorithms  algorithm-analysis  landau-notation  notation 

Pelo que descobri, uma quantidade muito grande de protocolos que viajam pela Internet são "baseados em texto" e não binários. Os protocolos em questão incluem, mas não estão limitados a HTTP, SMTP, FTP (acho que este é todo baseado em texto?), WHOIS, IRC. De fato, alguns desses protocolos passam por …

47 computer-networks  communication-protocols  protocols 

Pedimos desculpas antecipadamente pela ingenuidade desta questão. Eu sou um artista de 50 anos tentando entender corretamente os computadores pela primeira vez. Então aqui vai. Eu tenho tentado entender como os tipos e variáveis ​​de dados são manipulados por um compilador (em um sentido muito geral, eu sei que há …

47 programming-languages  memory-allocation 

Parece que em todo lugar que olho, as estruturas de dados estão sendo implementadas usando árvores vermelho-pretas ( std::setem C ++, SortedDictionaryem C # etc.) Tendo acabado de cobrir (a, b), vermelho-preto e árvores AVL na minha classe de algoritmos, aqui está o que eu descobri (também perguntando por professores, …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

Qual é a diferença entre o algoritmo mínimo de spanning tree e um algoritmo de caminho mais curto? Na minha classe de estruturas de dados, cobrimos dois algoritmos de spanning tree mínimo (Prim e Kruskal) e um algoritmo de caminho mais curto (Dijkstra). Árvore de abrangência mínima é uma árvore …

45 algorithms  shortest-path  spanning-trees 

Ao considerar como nosso programa deve ser compatível com vários segmentos, minha equipe ficou intrigada com a possibilidade de algo que absolutamente não pode ser feito em uma CPU de núcleo único. Eu afirmei que o processamento gráfico requer processamento paralelo em massa, mas eles argumentam que coisas como DOOM …

45 computation-models  cpu  multi-tasking 

Ao discutir alguns tópicos de introdução hoje, incluindo o uso de algoritmos genéticos; Disseram-me que a pesquisa realmente diminuiu nesse campo. O motivo foi que a maioria das pessoas está focada no aprendizado de máquina e na mineração de dados. Atualização: isso é preciso? E se sim, quais vantagens o …

45 machine-learning  data-mining  evolutionary-computing  history 

Para encontrar a mediana de uma matriz não classificada, podemos fazer um min-heap em para n elementos e, em seguida, podemos extrair um por um n / 2 elementos para obter a mediana. Mas essa abordagem levaria tempo O ( n log n ) .O(nlogn)O(nlog⁡n)O(n\log n)nnnn/2n/2n/2O(nlogn)O(nlog⁡n)O(n \log n) Podemos fazer …

45 algorithms  time-complexity 

A correspondência de padrões de alta ordem é um problema indecidível. Isso significa que não há algoritmo que, dada uma equação a => b, onde ae bsão termos abertos no cálculo lambda simplesmente digitado, encontre uma substituição Stal que aS => bS, onde =>significa "tenha a mesma forma normal de …

45 computability 

Na página da Wikipedia para Combinadores de ponto fixo, está escrito o texto bastante misterioso O combinador Y é um exemplo do que torna o cálculo Lambda inconsistente. Portanto, deve ser encarado com desconfiança. No entanto, é seguro considerar o combinador Y quando definido apenas na lógica matemática. Eu entrei …

44 lambda-calculus  combinatory-logic 

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Existe esse algoritmo padrão para encontrar o caminho mais longo em árvores não direcionadas usando duas pesquisas profundas: Inicie o DFS a partir de um vértice aleatório e encontre o vértice mais distante dele; diga que é .v ′vvvv′v′v' Agora inicie um DFS a partir de para encontrar o vértice …

44 algorithms  graphs  trees 

Veja o final deste post para obter alguns esclarecimentos sobre as definições de autômatos de min-heap. Pode-se imaginar o uso de uma variedade de estruturas de dados para armazenar informações para uso por máquinas de estado. Por exemplo, autômatos push-down armazenam informações em uma pilha e as máquinas de Turing …

44 formal-languages  automata