Ciência da Computação

Existem problemas conhecidos em (e não em ) que não são completos? Meu entendimento é que atualmente não há problemas conhecidos, mas não foi descartada como uma possibilidade. P N PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} Se houver um problema (e não ), mas não , isso seria resultado de nenhum isomorfismo existente entre as …

34 complexity-theory  np-complete  p-vs-np 

Dijkstra, em seu ensaio Sobre a crueldade de realmente ensinar ciência da computação , faz a seguinte proposta para um curso introdutório de programação: Por um lado, ensinamos o que parece ser o cálculo predicado, mas o fazemos de maneira muito diferente dos filósofos. Para treinar o programador iniciante na …

33 reference-request  programming-languages  education  didactics 

Existe uma diferença fundamental entre a programação dinâmica de cima para baixo e de baixo para cima? Em particular, existe um problema que pode ser resolvido de baixo para cima, mas não de cima para baixo? Ou a abordagem de baixo para cima é apenas um desenrolamento da recorrência na …

33 algorithms  dynamic-programming 

Depois de ler várias fontes, ainda estou confuso sobre os threads no nível do usuário e do kernel. Em particular: Os encadeamentos podem existir no nível do usuário e no nível do kernel Qual é a diferença entre o nível do usuário e o kernel?

33 operating-systems  terminology  concurrency  os-kernel 

É sabido que esse algoritmo 'ingênuo' para embaralhar uma matriz trocando cada item por outro escolhido aleatoriamente não funciona corretamente: for (i=0..n-1) swap(A[i], A[random(n)]); Especificamente, como em cada uma das iterações, uma das escolhas é feita (com probabilidade uniforme), existem possíveis 'caminhos' através da computação; porque o número de permutações …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

Em seu artigo seminal de 1987, Dana Angluin apresenta um algoritmo polinomial de tempo para aprender um DFA a partir de consultas de membros e pesquisas de teoria (contra-exemplos a um DFA proposto). Ela mostra que, se você está tentando aprender um DFA mínimo com estados, e seu maior exemplo …

33 algorithms  learning-theory  machine-learning 

Existem nnn caixas e mmm tipo de bolas. O iii th bin tem rótulos ai,jai,ja_{i,j} para 1≤j≤m1≤j≤m1\leq j\leq m , que é o número esperado de bolas do tipo jjj . Você começa com bjbjb_j bolas do tipo jjj . Cada esfera de tipo jjj tem peso wjwjw_j , e …

33 complexity-theory  np-hard  integer-programming 

Edição: Agora eu fiz uma pergunta semelhante sobre a diferença entre categorias e conjuntos. Toda vez que leio sobre teoria dos tipos (que reconhecidamente é bastante informal), não consigo entender realmente como ela difere da teoria dos conjuntos, concretamente . Entendo que existe uma diferença conceitual entre dizer "x pertence …

33 type-theory  sets 

Na minha turma, um aluno perguntou se todos os autômatos finitos poderiam ser desenhados sem cruzar as bordas (parece que todos os meus exemplos). Claro que a resposta é negativa, o autômato óbvio para a linguagem {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} tem a estrutura de K5K5K_5 …

33 regular-languages  finite-automata  planar-graphs 

Hoje discutimos em uma palestra um algoritmo muito simples para encontrar um elemento em uma matriz classificada usando pesquisa binária . Nos pediram para determinar sua complexidade assintótica para uma matriz de nnn elementos. Minha idéia era que, obviamente, é ou seja mais específico porque é o número de operações …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Desculpe antecipadamente se esta pergunta parece idiota ... Tanto quanto eu sei, a construção de um algoritmo usando programação dinâmica funciona da seguinte maneira: expressar o problema como uma relação de recorrência; implementar a relação de recorrência por meio de memorização ou por uma abordagem de baixo para cima. Até …

33 algorithms  dynamic-programming  algorithm-design 

Eu nem sou estudante de CS, então essa pode ser uma pergunta estúpida, mas por favor, tenha paciência comigo ... Na era pré-computador, só podemos implementar uma estrutura de dados de matriz com algo como uma matriz de gavetas. Como é necessário localizar a gaveta com o índice correspondente antes …

32 algorithms  algorithm-analysis  data-structures  runtime-analysis 

Eu estava lendo sobre Iota e Jot e achei esta seção confusa: Diferentemente de Iota, onde a árvore sintática de uma sequência pode ramificar-se à esquerda ou à direita, a sintaxe Jot é ramificada à esquerda de maneira uniforme. Como resultado, o Iota é estritamente livre de contexto, mas o …

32 regular-languages  programming-languages  turing-completeness 

Quando um computador armazena uma variável, quando um programa precisa obter o valor da variável, como o computador sabe onde procurar na memória o valor dessa variável?

32 compilers  memory-access  variable-binding 

Estou planejando ministrar um curso de inverno sobre um número variável de tópicos, um dos quais serão compiladores. Agora, eu me deparei com esse problema enquanto pensava em atribuições a serem entregues ao longo do trimestre, mas ele me deixou perplexo, para que eu pudesse usá-lo como exemplo. public class …

32 computability  proof-techniques  compilers