Ciência da Computação

Números irracionais como ππ\pi , eee e 2–√2\sqrt{2} têm uma sequência única e não repetida após o ponto decimal. Se extrairmos onnnésimo dígito desses números (em quennné o número de vezes que o método é chamado) e fizermos um número com os dígitos atuais, não devemos obter um gerador de …

21 randomized-algorithms  randomness  random-number-generator 

Quando o código da máquina está realmente sendo executado pelo hardware e pela CPU, como ele é? Seria binário, como nas instruções representadas por uns e zeros, ou seria algo composto por dígitos hexadecimais em que opcodes são bytes apresentados como números hexadecimais que podem ser divididos em números binários, …

21 computer-architecture  cpu 

Como expressar um portão AND usando apenas portões XOR?

21 logic  boolean-algebra 

Em matemática, existem muitas provas de existência que não são construtivas; portanto, sabemos que um determinado objeto existe, embora não saibamos como encontrá-lo. Estou à procura de resultados semelhantes em ciência da computação. Em particular: existe um problema que podemos provar que é decidível sem mostrar um algoritmo para isso? …

21 algorithms  proof-techniques 

Recentemente, ouvi uma analogia interessante que afirma que a prova de Turing da indecidibilidade do problema da parada é muito semelhante ao paradoxo do barbeiro de Russell. Então, fiquei pensando: os matemáticos conseguiram tornar a teoria dos conjuntos consistente ao passar da ingênua formulação de campo de Cantor para um …

21 computability  turing-machines  computation-models  halting-problem 

Uma matriz ou vetor é apenas uma sequência de valores. Eles certamente podem ser implementados com uma lista vinculada. Este é apenas um monte de nós com ponteiros para o próximo nó. Pilhas e filas são dois tipos de dados abstratos comumente ensinados nos cursos Intro CS. Em algum lugar …

21 algorithms  data-structures  abstract-data-types 

O título indica a pergunta. Temos como entradas uma lista de elementos que podemos comparar (determinar qual é o melhor ). Nenhum elemento pode ser igual. Pontos chave: A comparação não é transitiva (pense em uma tesoura de papel de pedra): isso pode ser verdade: A> B, B> C, C> …

21 algorithms  time-complexity  sets  transitivity 

Quero saber qual algoritmo é mais rápido para a multiplicação de dois números de n dígitos? A complexidade do espaço pode ser relaxada aqui!

21 algorithms  mathematical-programming 

Depois de aprender Haskell e outras linguagens FP não puras, decidi ler sobre a teoria das categorias. Depois de obter um bom entendimento da teoria das categorias, comecei a pensar em como os conceitos da teoria das categorias podem ser usados ​​para pensar em criar programas, mas não importa o …

21 functional-programming  category-theory 

Acabei de encontrar o seguinte: Coloquei várias cópias idênticas de uma imagem png em uma pasta e tentei compactar essa pasta com os seguintes métodos: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (este funciona bem para imagens idênticas, no entanto, para imagens semelhantes, …

21 data-compression 

Suponha que você receba uma moeda justa e gostaria de simular a distribuição de probabilidade de lançar repetidamente um dado justo (de seis lados). Minha idéia inicial é que precisamos escolher números inteiros adequados , de modo que . Então, depois de lançar a moeda vezes, mapeamos o número codificado …

21 probability-theory  randomness  sampling 

O problema da soma de subconjuntos é um problema NP-completo clássico: Dada uma lista de números e um destino , existe um subconjunto de números de que soma ?k L keuLLkkkeuLLkkk Um aluno me perguntou se essa variante do problema chamada de "produto de subconjunto" está NP-completa: Dada uma lista …

21 complexity-theory  np-complete  reductions 

Em alguns lugares do mundo, as pessoas geralmente não têm acesso (e, portanto, pouco conhecimento) a computadores e, mesmo que tenham, hardware e software estão desatualizados e o uso é afetado por quedas de energia e outras coisas. O acesso a (bons) livros também costuma faltar. Como posso ensinar ciência …

21 education 

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado no ano passado . Direto ao ponto: eu realmente gostaria de aprender IA. …

21 artificial-intelligence 

Estou procurando uma explicação sobre como alguém poderia provar que dois modelos de computação são equivalentes. Eu tenho lido livros sobre o assunto, exceto que as provas de equivalência são omitidas. Eu tenho uma idéia básica sobre o que significa dois modelos de computação serem equivalentes (a visão de autômatos: …

21 proof-techniques  computation-models  simulation