Ciência da Computação

Esta pergunta foi inspirada por um comentário no StackOverflow . Além de conhecer os problemas NP-completos do livro Garey Johnson e muitos outros; existe uma regra de ouro para saber se um problema se parece com um NP-completo? Não estou procurando algo rigoroso, mas algo que funcione na maioria dos …

26 complexity-theory  np-complete  intuition 

Muitos de nós sabemos a correspondência entre lógica combinatória e cálculo lambda . Mas nunca vi (talvez não tenha examinado o suficiente) o equivalente a "combinadores digitados", correspondendo ao cálculo lambda simplesmente digitado. Existe algo assim? Onde alguém poderia encontrar informações sobre isso?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Existem muitas técnicas para provar que uma linguagem não é livre de contexto, mas como posso provar que uma linguagem é livre de contexto? Que técnicas existem para provar isso? Obviamente, uma maneira é exibir uma gramática sem contexto para o idioma. Existem técnicas sistemáticas para encontrar uma gramática livre …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Estou aprendendo o idioma Haskell, e estou tentando entender qual é a diferença entre a typee a kind. Pelo que entendi a kind is a type of type. Por exemplo, a ford is a type of care a car is a kind of vehicle. Essa é uma boa maneira de …

26 type-theory 

O seguinte contexto de linguagem é livre? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Conforme apontado por sdcvvc, uma palavra nesse idioma também pode ser descrita como a concatenação de duas palavras do mesmo comprimento …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Quando são algumas instâncias (relativamente) básicas (pense no primeiro ano do ensino médio) quando alguém usaria recursão em vez de apenas um loop?

26 algorithms  recursion 

Eu sei que o algoritmo de Euclides é o melhor para obter o GCD (ótimo divisor comum) de uma lista de números inteiros positivos. Mas, na prática, você pode codificar esse algoritmo de várias maneiras. (No meu caso, decidi usar Java, mas C / C ++ pode ser outra opção). …

26 algorithms  recursion  arithmetic 

Já ouvi várias vezes que, para valores suficientemente pequenos de n, O (n) pode ser pensado / tratado como se fosse O (1). Exemplo : A motivação para fazer isso é baseada na idéia incorreta de que O (1) é sempre melhor que O (lg n), é sempre melhor que …

26 asymptotics 

Esta pergunta foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Sabe-se que cada problema de otimização / pesquisa tem um problema de decisão equivalente. Por exemplo, o problema do caminho mais curto optimização / pesquisa versão: …

26 complexity-theory  optimization  search-problem  decision-problem 

Esta pergunta foi migrada do Mathematics Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Dominosa é um jogo relativamente novo. É reproduzido em uma grade (n+1)×(n+2)(n+1)×(n+2)(n+1)\times(n+2) . Antes do jogo começar, os ossos de dominó (0,0),(0,1),…,(n,n)(0,0),(0,1),…,(n,n)\left(0,0\right),\left(0,1\right),\ldots,\left(n,n\right) são colocados na grade (constituindo um …

26 complexity-theory  np-hard  board-games  tiling 

Considerando apenas o alfabeto , as cadeias que podem ser fornecidas como entrada para as máquinas de Turing são do conjunto . Mas faz sentido que a entrada seja uma sequência binária infinita? Por exemplo, se uma máquina de Turing aceita todas as cadeias que começam com 0, uma cadeia …

26 turing-machines 

Supondo que as solicitações de cache l1 e l2 resultem em uma falha, o processador trava até que a memória principal seja acessada? Ouvi falar da ideia de mudar para outro thread; se sim, o que é usado para ativar o thread parado?

26 computer-architecture  cpu-cache  cpu-pipelines 

Eu vi duas definições de árvores binárias balanceadas, que parecem diferentes para mim. Uma árvore binária é equilibrada se, para cada nó, considerar que o número de nós internos na subárvore esquerda e o número de nós internos na subárvore direita diferem no máximo em 1. Uma árvore binária é …

26 data-structures  binary-trees 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Criei uma expressão regular simples lexer e analisador para obter uma expressão regular e gerar sua árvore de análise. Criar um autômato de estado finito não determinístico a partir …

26 automata  finite-automata  regular-expressions 

Declaração informal do problema: Dada uma sequência, por exemplo, ACCABBABACCABBABACCABBAB , queremos colorir algumas letras em vermelho e outras em azul (e algumas nem sequer), de modo que a leitura apenas das letras vermelhas da esquerda para a direita produz o mesmo resultado que a leitura apenas as letras azuis. …

26 algorithms  complexity-theory  np-complete  strings  subsequences