Ciência da Computação

Normalmente, em algoritmos, não nos preocupamos com comparação, adição ou subtração de números - assumimos que eles correm no tempo . Por exemplo, assumimos isso quando dizemos que a classificação baseada em comparação é O ( n log n ) , mas quando os números são grandes demais para caber …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Eu sei que as operações bit a bit são tão rápidas nos processadores modernos, porque elas podem operar em 32 ou 64 bits em paralelo; portanto, as operações bit a bit levam apenas um ciclo de clock. No entanto, a adição é uma operação complexa que consiste em pelo menos …

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Pergunta, questão: "Certas propriedades de uma linguagem de programação podem exigir que a única maneira de obter o código escrito seja executada por interpretação. Em outras palavras, a compilação de um código de máquina nativo de uma CPU tradicional não é possível. Quais são essas propriedades?" Compiladores: Princípios e Prática …

72 programming-languages  compilers  interpreters 

Costuma-se dizer que a pesquisa de tabela de hash opera em tempo constante: você calcula o valor do hash, que fornece um índice para uma pesquisa de matriz. No entanto, isso ignora colisões; na pior das hipóteses, todos os itens chegam ao mesmo balde e o tempo de pesquisa se …

71 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

Como os computadores conseguem dizer a hora e a data corretas todas as vezes? Sempre que fecho o computador (desligá-lo), todas as conexões e processos internos são interrompidos. Como é que, quando abro o computador novamente, indica a hora exata exata? O computador não desliga completamente quando eu o desligo? …

69 computer-architecture  clocks 

Alguns anos atrás, o MapReduce foi aclamado como uma revolução da programação distribuída. Também houve críticas, mas em geral houve um entusiasmo entusiasmado. Até foi patenteado! [1] O nome é uma reminiscência de mape reducena programação funcional, mas quando li (Wikipedia) Etapa do mapa: O nó principal pega a entrada, …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

Eu sou um graduado em CS. Entendo como Turing criou sua máquina abstrata (modelar uma pessoa fazendo um cálculo), mas me parece uma abstração desajeitada e deselegante. Por que consideramos uma "fita" e um cabeçote de máquina escrevendo símbolos, mudando de estado, mudando a fita para frente e para trás? …

68 turing-machines  computation-models 

Já ouvi falar em indução (estrutural). Ele permite que você construa estruturas finitas a partir de estruturas menores e fornece princípios de prova para raciocinar sobre essas estruturas. A ideia é clara o suficiente. Mas e a coindução? Como funciona? Como alguém pode dizer algo conclusivo sobre uma estrutura infinita? …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

As pessoas costumam dizer que os analisadores LR (k) são mais poderosos que os analisadores LL (k) . Essas declarações são vagas na maioria das vezes; em particular, devemos comparar as classes para um fixo ou a união sobre todos os k ? Então, como está realmente a situação? Em …

67 formal-languages  formal-grammars  parsers  reference-question 

Como engenheiro de software, escrevo muitos códigos para produtos industriais. Coisas relativamente complicadas com classes, threads, alguns esforços de design, mas também alguns compromissos de desempenho. Eu faço muitos testes e estou cansado de testar, então fiquei interessado em ferramentas formais de prova, como Coq, Isabelle ... Posso usar uma …

66 programming-languages  program-correctness  software-verification 

Gostaria de saber se houve algum trabalho relacionado ao código legal da complexidade. Em particular, suponha que tenhamos o problema de decisão "Dado este livro de leis e esse conjunto específico de circunstâncias, o réu é culpado?" A que classe de complexidade pertence? Há resultados que provaram que o jogo …

64 complexity-theory  np-complete  decision-problem 

Atualmente, estou terminando meu mestrado em ciência da computação. Estou interessado em linguagens de programação, especialmente em sistemas de tipos. Interessei-me por pesquisas nesse campo e no próximo semestre vou iniciar um doutorado sobre o assunto. Agora, aqui está a verdadeira questão: como posso explicar o que (quero) fazer com …

64 programming-languages  education  typing  research 

Gostaria de saber se é possível construir compiladores para linguagens dinâmicas como Ruby para ter desempenho semelhante e comparável ao C / C ++? Pelo que entendi sobre compiladores, como o Ruby, por exemplo, compilar código Ruby nunca pode ser eficiente, porque a maneira como o Ruby lida com reflexão, …

64 programming-languages  compilers 

Em idiomas como C, o programador deve inserir chamadas gratuitamente. Por que o compilador não faz isso automaticamente? Os seres humanos fazem isso em um período de tempo razoável (ignorando bugs), por isso não é impossível. EDIT: Para referência futura, aqui está outra discussão que tem um exemplo interessante.

63 compilers  memory-management  garbage-collection 

Você recebe uma matriz de 2n2n2n elementos a1,a2,…,an,b1,b2,…bna1,a2,…,an,b1,b2,…bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n A tarefa é intercalar a matriz, usando um algoritmo no local para que a matriz resultante pareça b1,a1,b2,a2,…,bn,anb1,a1,b2,a2,…,bn,anb_1, a_1, b_2, a_2, \dots , b_n, a_n Se o requisito in-loco não existisse, poderíamos facilmente criar uma …

62 algorithms  arrays  permutations  in-place