Estou curioso para saber como compactar de maneira muito compacta o domínio de um nome de host arbitrário de IDN (conforme definido pela RFC5890 ) e suspeito que isso possa se tornar um desafio interessante. Um host ou nome de domínio Unicode (rótulo U) consiste em uma sequência de caracteres...
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...
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...
Ensino computação a jovens de 18 anos. Depois de ter explicado a notação polonesa reversa, perguntamos por que é significativo o suficiente para participar de um exame público. Expliquei o significado histórico das calculadoras dos anos 70, mas isso não conseguiu realmente resolver o problema....
Aqui está o problema. Dado , em que cada . Existe um subconjunto com tamanho máximo de tal que para todos os ? Estou tentando reduzir esse problema para o SAT. Minha idéia de uma solução seria ter uma variável para cada um de 1 a . Para cada , crie uma cláusula se . Então e todas essas cláusulas...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Sou estudante universitário e atualmente estamos estudando o Lambda Calculus. No entanto, ainda tenho dificuldade em...
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...
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...
Uma motivação possível para o estudo de classes de complexidade computacional é entender o poder de diferentes tipos de recursos computacionais (aleatoriedade, não determinismo, efeitos quânticos etc.). Se olharmos para essa perspectiva, parece que podemos obter um axioma plausível para qualquer...
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
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...
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...
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 é...
Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente...
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...
Como expressar um portão AND usando apenas portões
Pelo que vi sobre o uso de um par de chaves públicas e privadas, a chave pública é usada para criptografar uma mensagem e a chave privada é usada para descriptografar a mensagem criptografada. Se uma mensagem é criptografada pela chave privada, ela pode ser descriptografada pela chave pública...
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...
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 da turma,...
Para enquadrar a questão, na ciência da computação, muitas vezes queremos calcular o produto de várias probabilidades: P(A,B,C) = P(A) * P(B) * P(C) A abordagem mais simples é simplesmente multiplicar esses números, e era isso que eu ia fazer. No entanto, meu chefe disse que é melhor adicionar o...