Talvez minha compreensão limitada do assunto esteja incorreta, mas é isso que eu entendo até agora: A programação funcional é baseada no Lambda Calculus, formulado pela Alonzo Church. A programação imperativa é baseada no modelo de máquina de Turing, feito por Alan Turing, aluno da Igreja. O...
No site Sorting Algorithms , é feita a seguinte reivindicação: O algoritmo de classificação ideal teria as seguintes propriedades: Estável: chaves iguais não são reordenadas. Opera no local, exigindo espaço extra.O ( 1 )O(1)O(1) No pior dos casos, comparações de teclas .O ( n ⋅ lg( N )...
Recentemente, deparei com o seguinte artigo interessante, que afirma compactar com eficiência conjuntos de dados aleatórios sempre em mais de 50%, independentemente do tipo e formato dos dados. Basicamente, ele usa números primos para construir exclusivamente uma representação de blocos de dados...
Encontre o menor número de comparações necessário para classificar (ordenar) cinco elementos e invente um algoritmo que classifique esses elementos usando esse número de comparações. Solução : Existem 5! = 120 resultados possíveis. Portanto, uma árvore binária para o procedimento de...
Questão: Existe procedimento ou teoria estabelecida para gerar código que aplique eficientemente uma multiplicação de vetor de matriz, quando a matriz é densa e preenchida apenas com zeros e uns? Idealmente, o código otimizado faria uso sistemático de informações previamente calculadas para...
Eu sei que, em linguagens de programação imperativas, um loop while-do é suficiente como uma construção de fluxo de controle para tornar a linguagem Turing completa (no que diz respeito ao fluxo de controle - é claro que também precisamos de memória ilimitada e de certos operadores ...) . A...
Considere a seguinte tarefa algorítmica: Entrada: um número inteiro positivo nnn , juntamente com sua fatoração primária. Encontre: números inteiros positivos x,y,zx,y,zx,y,z que minimizam xy+yz+xzxy+yz+xzxy+yz+xz , sujeitos à restrição de que xyz=nxyz=nxyz=n Qual é a complexidade desse...
Dado um gráfico ponderado e não direcionado G: Quais condições devem ser verdadeiras para que haja várias árvores abrangentes mínimas para G? Eu sei que o MST é único quando todos os pesos são distintos, mas você não pode reverter esta afirmação. Se houver várias arestas com o mesmo peso no...
Estou me preparando para uma entrevista de codificação e realmente não consigo descobrir a maneira mais eficiente de resolver esse problema. Digamos que temos duas matrizes que consistem em números que não são classificados. A matriz 2 contém um número que a matriz 1 não. Ambas as matrizes têm...
Quando o O grande foi usado pela primeira vez na ciência da computação e quando se tornou padrão? A página da Wikipedia cita Knuth, Big Omicron e Big Omega And Big Theta , SIGACT de abril a junho de 1976, mas o início desse artigo diz A maioria de nós se acostumou à idéia de usar a notação para...
Eu gostaria de saber se existe uma regra para provar isso. Por exemplo, se eu usar a lei distributiva, receberei apenas .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg
Considere um tipo indutivo que possui algumas ocorrências recursivas em um local aninhado, mas estritamente positivo. Por exemplo, árvores com ramificação finita com nós usando uma estrutura de dados de lista genérica para armazenar os filhos. Inductive LTree : Set := Node : list LTree ->...
Que eu saiba, existem três álgebras de processo principais que inspiraram uma vasta gama de pesquisas em modelos formais de concorrência. Esses são: CCS e -calculus, ambos de Robin Milnerππ\pi CSP de Tony Hoare e ACP por Jan Bergstra e Jan Willem Klop Todos os três parecem ter até hoje um...
Eu sei que desde ~ 2004, a lei de Moore parou de funcionar para a velocidade do clock da CPU. Estou procurando um gráfico mostrando isso, mas não consigo encontrá-lo: a maioria dos gráficos mostra a contagem de transistores ou a capacidade por ano. Onde posso encontrar alguns dados mostrando a...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta: O ββ\beta...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . O que é um bom livro de informática para iniciantes para um jovem adulto, digamos, 15 anos? Quero começar no CS, mas...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Eu quero provar ou refutar a existência de um algoritmo que, dada uma matriz de números inteiros, encontre três...
Se um gráfico ponderado tiver duas árvores abrangentes mínimas diferentes e , é verdade que, para qualquer aresta em , o número de arestas em com o mesmo peso de (incluindo o próprio ) é igual ao número de arestas em com o mesmo peso que ? Se a afirmação é verdadeira, como podemos provar isso?G T 1...
Eu terminei a maior parte do material no livro Introdução a algoritmos de Cormen e estou procurando um livro de algoritmos que cubra material além do livro de Corman. Existem recomendações? NOTA: Perguntei isso no stackoverflow, mas não fiquei muito feliz com a resposta. NOTA: Examinando a...
Suponha que temos um gerador aleatório que gera números no intervalo com distribuição uniforme e precisamos gerar números aleatórios no intervalo com distribuição uniforme.[ 0 .. N - 1 ][0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] Suponha que e não divida uniformemente ; para obter uma...