Ciência da Computação

A programação funcional emprega estruturas de dados persistentes e objetos imutáveis. Minha pergunta é por que é crucial ter essas estruturas de dados aqui? Quero entender em um nível baixo o que aconteceria se a estrutura de dados não fosse persistente? O programa falharia com mais frequência?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

Seja um gráfico completo, ponderado e não direcionado. Construímos um segundo gráfico G ' = ( V , E ' ) adicionando arestas uma a uma de E a E ' . Adicionamos arestas Θ ( | V | ) a G ′ no total.G = ( V, E)G=(V,E)G=(V,E)G′= ( …

22 algorithms  graphs  graph-theory  shortest-path 

Existe alguma linguagem "natural" indecidível? por "natural", quero dizer uma linguagem definida diretamente pelas propriedades das strings, e não através de máquinas e seus equivalentes. Em outras palavras, se o idioma se parecer com que é uma TM, DFA (ou exp regular), PDA (ou gramática) etc., então não é natural. …

22 formal-languages  automata  computability  undecidability 

Dada uma gramática livre de contexto G, existe um autômato de empilhamento não determinístico N que aceita exatamente o idioma que G aceita. (e vice-versa) Também pode existir um autômato de empilhamento determinístico D que aceite exatamente o idioma que G também aceita. Depende da gramática. Por qual algoritmo nas …

22 automata  context-free  pushdown-automata 

Entendo a teoria por trás das redes bayesianas e estou me perguntando o que é preciso para construir uma na prática. Digamos, neste exemplo, que eu tenho uma rede bayesiana (dirigida) de 100 variáveis ​​aleatórias discretas; cada variável pode ter um de até 10 valores. Armazeno todos os nós em …

22 data-structures  machine-learning 

Uma máquina de Turing que retorne ao estado encontrado anteriormente com sua cabeça de leitura / gravação na mesma célula da mesma fita será presa em um loop. Essa máquina não para. Alguém pode dar um exemplo de uma máquina sem interrupção que não se repete?

22 computability  turing-machines  halting-problem 

Em uma pergunta anterior, havia uma definição de árvores com peso equilibrado e uma pergunta sobre árvores vermelho-pretas. Esta pergunta é para fazer a mesma pergunta, mas para árvores AVL . A questão é, dada a definição de árvores equilibradas como na outra questão,μμ\mu Há alguns tal que todas as …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

Tem havido muita publicidade sobre os compiladores JIT para linguagens como Java, Ruby e Python. Como os compiladores JIT são diferentes dos compiladores C / C ++ e por que os compiladores escritos para Java, Ruby ou Python são chamados de compiladores JIT, enquanto os compiladores C / C ++ …

22 compilers 

Os algoritmos de classificação genérica geralmente levam um conjunto de dados para classificar e uma função comparadora que pode comparar dois elementos individuais. Se o comparador for uma relação de ordem¹, a saída do algoritmo será uma lista / matriz classificada. Gostaria de saber, porém, quais algoritmos de classificação realmente …

22 algorithms  randomized-algorithms  sorting 

Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema de Ladner nos diz que se , então …

22 complexity-theory  np-hard 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou procurando teorias matemáticas que lidam com a descrição de linguagens formais (conjunto de strings) em geral e não apenas hierarquias gramaticais.

22 formal-languages  formal-grammars 

De acordo com esta página , o algoritmo de Dijkstra é apenas BFS com uma fila de prioridade. É realmente assim tão simples? Eu acho que não.

22 algorithms  graphs  shortest-path 

Alfabeto de origem:{ a , b , c , d, e , f}{uma,b,c,d,e,f}\{a, b, c, d, e, f\} Alfabeto do código:{ 0 , 1 }{0 0,1}\{0, 1\} a : 0101uma:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 d: 000d:000d\colon 000 e : 11e:11e\colon 11 f: 100f:100f\colon 100 Eu …

21 encoding-scheme 

Então eu entendo a ideia de que o problema de decisão é definido como Existe um caminho P tal que o custo seja menor que C? e você pode facilmente verificar se isso é verdade, verificando o caminho que você recebe. No entanto, e se não houver um caminho que …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

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 …

21 algorithm-analysis  probability-theory