Ciência da Computação

A história curta Um famoso cientista da computação, Tarjan , escreveu um livro anos atrás. Ele contém um pseudocódigo absolutamente bizarro. Alguém poderia explicar isso? A longa história Tarjan é conhecido por muitas realizações, incluindo o fato de que ele era o co-mentor das árvores espalhadas . Ele publicou um …

40 programming-languages 

Na teoria da computabilidade e da complexidade (e talvez em outros campos), as reduções são onipresentes. Existem muitos tipos, mas o princípio permanece o mesmo: mostre que um problema é pelo menos tão difícil quanto outro problema mapeando instâncias de para instâncias a solução em . Essencialmente, mostramos que qualquer …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

Eu estava tentando explicar a alguém que C é Turing completo e percebi que na verdade não sei se é tecnicamente Turing completo. (C como na semântica abstrata, não como em uma implementação real.) A resposta "óbvia" (grosso modo: ela pode endereçar uma quantidade arbitrária de memória, para emular uma …

40 computability  turing-completeness  c 

Vou me envolver com uma espécie de 'dia aberto' na minha universidade em algumas semanas. Como parte desse período, eu (junto com um colega de trabalho) recebi um monte de estudantes do ensino médio por duas horas, além de um laboratório de informática grande o suficiente para conter todos eles, …

40 education 

Em algoritmos e complexidade, focamos na complexidade assintótica de algoritmos, ou seja, a quantidade de recursos que um algoritmo usa à medida que o tamanho da entrada chega ao infinito. Na prática, o que é necessário é um algoritmo que funcione rapidamente em um número finito (embora possivelmente muito grande) …

40 algorithms  complexity-theory  education 

Sou nerd de computador há muitos e muitos anos. Eu posso programar em várias línguas e até construí-las. Outro dia, sentei-me com um amigo e perguntei como um computador realmente leva eletricidade e faz alguma coisa com ele, e simplesmente não conseguimos descobrir, e o Google também não ajudou muito. …

40 computer-architecture  education  reference-question 

Existem máquinas teóricas que excedem a capacidade das máquinas de Turing em pelo menos algumas áreas?

39 computability  turing-machines  hypercomputation 

Estou cursando um Bacharelado em Ciência da Computação, mas estou no início e tenho certeza de que ficarei feliz com minha escolha, pois parece uma educação acadêmica e profissional flexível. Dito isto, parece haver uma variedade de definições sobre o que a Ciência da Computação realmente é em relação à …

39 terminology  history 

Eu usei a técnica de programação dinâmica várias vezes, mas hoje um amigo me perguntou como eu definia meus subproblemas, e percebi que não tinha como fornecer uma resposta formal objetiva. Como você define formalmente um subproblema para um problema que você resolveria usando a programação dinâmica?

39 algorithms  dynamic-programming 

Sou engenheiro de software e, após uma discussão com alguns colegas, percebi que não tenho uma boa compreensão da serialização de conceitos. Pelo que entendi, serialização é o processo de converter alguma entidade, como um objeto no OOP, em uma sequência de bytes, para que a referida entidade possa ser …

38 storage 

Há muito tempo, li um artigo de jornal em que algum tipo de professor disse que, no futuro, poderemos comprimir dados em apenas dois bits (ou algo assim). É claro que isso não está correto (e pode ser que minha memória do que ele exatamente tenha declarado não esteja correta). …

38 data-compression 

Um coletor de lixo geracional típico mantém os dados alocados recentemente em uma região de memória separada. Em programas típicos, muitos dados são de curta duração; portanto, coletar lixo jovem (um ciclo menor do GC) com frequência e coletar lixo antigo com pouca frequência é um bom compromisso entre a …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection 

Por que uma empresa como o Twitter estaria interessada em conceitos algébricos como grupos, monóides e anéis? Veja seu repositório no github: twitter / algebird . Tudo o que pude encontrar é: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom , HyperLogLog e CountMinSketch . Isso permite …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

O Mersenne Twister é amplamente considerado bom. Heck, a fonte do CPython diz que "é um dos geradores mais amplamente testados que existe". Mas o que isso significa? Quando solicitado a listar as propriedades desse gerador, a maior parte do que posso oferecer é ruim: É massivo e inflexível (por …

38 algorithms  randomness  sampling  pseudo-random-generators 

Esta ideia me ocorreu quando criança aprendendo a programar e encontrando PRNG pela primeira vez. Ainda não sei o quão realista é, mas agora há troca de pilhas. Aqui está o esquema de uma criança de 14 anos para um incrível algoritmo de compactação: Pegue um PRNG e faça o …

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy