Ciência da Computação

Muitos programas de ciência da computação requerem duas ou três classes de cálculo. Gostaria de saber como e quando o cálculo é usado na ciência da computação. O conteúdo de uma graduação em ciência da computação tende a se concentrar em algoritmos, sistemas operacionais, estruturas de dados, inteligência artificial, engenharia …

95 education  mathematical-analysis 

Eu me pergunto sobre essa questão desde que eu era estudante de graduação. É uma questão geral, mas irei elaborar com exemplos abaixo. Eu já vi muitos algoritmos - por exemplo, para problemas de vazão máxima, conheço três algoritmos que podem resolver o problema: Ford-Fulkerson, Edmonds-Karp & Dinic, com Dinic …

91 algorithms  data-structures  education  didactics 

Estes dois parecem muito semelhantes e têm uma estrutura quase idêntica. Qual é a diferença? Quais são as complexidades de tempo para diferentes operações de cada uma?

91 data-structures  binary-trees  heaps 

Na maioria das aulas introdutórias de algoritmo, são apresentadas notações como (Big O) e , e um aluno geralmente aprende a usar uma delas para encontrar a complexidade do tempo.OOOΘΘ\Theta No entanto, existem outras notações, como , e . Existem cenários específicos em que uma notação seria preferível a outra?Ω …

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Na ciência da computação, geralmente precisamos resolver as relações de recorrência , ou seja, encontrar uma forma fechada para uma sequência de números definida recursivamente. Ao considerar os tempos de execução, geralmente nos interessamos principalmente pelo crescimento assintótico da sequência . Exemplos são O tempo de execução de uma função …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Aprendemos sobre a classe de linguagens livres de contexto CFLCFL\mathrm{CFL} . É caracterizado por gramáticas livres de contexto e autômatos de empilhamento, portanto é fácil mostrar que um determinado idioma é livre de contexto. Como mostro o oposto? Meu AT foi firme em afirmar que, para fazer isso, teríamos que …

88 formal-languages  context-free  proof-techniques  reference-question 

A fórmula de dimensão Vapnik – Chervonenkis (VC) para redes neurais varia de a , com O ( E 2 V 2 ) no pior caso, onde E é o número de arestas e V é o número de nós. O número de amostras de treinamento necessárias para ter uma …

86 machine-learning  vc-dimension 

Existem dois métodos de partição quicksort mencionados em Cormen: Hoare-Partition(A, p, r) x = A[p] i = p - 1 j = r + 1 while true repeat j = j - 1 until A[j] <= x repeat i = i + 1 until A[i] >= x if i < …

83 algorithms  sorting  quicksort 

Percebi que alguns aplicativos ou algoritmos criados em uma linguagem de programação, como C ++ / Rust, são executados mais rápido ou mais rápido do que os criados em Java / Node.js, executando na mesma máquina. Eu tenho algumas perguntas sobre isso: Por que isso acontece? O que governa a …

82 programming-languages  compilers 

Se você calcular a área de um retângulo, basta multiplicar a altura e a largura e recuperar a unidade ao quadrado. Exemplo: 5cm * 10cm = 50cm² Por outro lado, se você calcula o tamanho de uma imagem, também multiplica a altura e a largura, mas recupera a unidade - …

81 terminology 

Ao pesquisar gráficos, existem dois algoritmos fáceis: largura primeiro e profundidade primeiro (geralmente feito adicionando todos os nós gráficos auxiliares a uma fila (largura primeiro) ou pilha (profundidade primeiro)). Agora, existem vantagens de um sobre o outro? Os que eu conseguia pensar: Se você espera que seus dados estejam bem …

79 algorithms  graph-theory  search-algorithms  graph-traversal 

Aprendemos sobre a classe de idiomas regulares . É caracterizado por qualquer conceito entre expressões regulares, autômatos finitos e gramáticas lineares à esquerda, portanto é fácil mostrar que um determinado idioma é regular.REGREG\mathrm{REG} Como mostro o oposto? Meu TA tem sido inflexível que, para fazer isso, teríamos que mostrar para …

76 formal-languages  regular-languages  proof-techniques  reference-question 

Sempre pensei vagamente que a resposta à pergunta acima era afirmativa nas seguintes linhas. O teorema da incompletude de Gödel e a indecidibilidade do problema de parada são resultados negativos sobre a decidibilidade e estabelecidos por argumentos diagonais (e na década de 1930); portanto, eles devem, de alguma forma, ser …

76 computability  logic  halting-problem  incompleteness 

Como parte de algumas pesquisas relacionadas a blockchain que estou realizando atualmente, a noção de usar blockchains para uma variedade de aplicativos do mundo real é lançada vagamente. Portanto, proponho as seguintes perguntas: Quais aplicativos importantes / cruciais do mundo real usam blockchain? Para adicionar à primeira pergunta, mais especificamente, …

75 blockchain 

Eu tenho lido recentemente sobre o cálculo do Lambda, mas estranhamente não consigo encontrar uma explicação do motivo pelo qual é chamado "Lambda" ou de onde vem a expressão. Alguém pode explicar as origens do termo?

75 terminology  computation-models  lambda-calculus  history