Eu estou olhando para o Cálculo de Construções e seu lugar no Cubo Lambda . Se bem entendi, cada eixo do cubo pode ser considerado como adicionando outra operação envolvendo tipos ao cálculo de tipo simples, . O primeiro eixo adiciona operadores de tipo a termo, o segundo operador de tipo a tipo e...
Ao ler um artigo descrevendo as diferenças de OO e programação funcional , deparei-me com indicadores de função. Já faz um tempo desde que terminei meu curso de Ciência da Computação (2003) e, portanto, procurei indicadores para refrescar minha memória. Ponteiros são variáveis que contêm uma...
Existe alguma definição formal sobre a altura média de uma árvore binária? Eu tenho uma pergunta tutorial sobre como encontrar a altura média de uma árvore binária usando os dois métodos a seguir: A solução natural pode ser usar o comprimento médio de todos os caminhos possíveis, da raiz até a...
Eu fiz uma pergunta (inicial) sobre somas dos termos do Landau antes , tentando avaliar os perigos de abusar da notação assintótica em aritmética, com sucesso misto. Agora, aqui o nosso guru da recorrência JeffE faz essencialmente isso: ∑i = 1nΘ ( 1Eu) =Θ( Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle...
Grosso modo, um gráfico não direcionado é muito semelhante a um gráfico direcionado, onde para cada aresta (v, w), sempre há uma aresta (w, v). Isso sugere que pode ser aceitável exibir gráficos não direcionados como um subconjunto de gráficos direcionados (talvez com uma restrição adicional de que...
Eu estava pesquisando programação dinâmica e li o seguinte: Muitas vezes, ao usar um método mais ingênuo, muitos dos subproblemas são gerados e resolvidos várias vezes. O que é um método
Aceitar significa que a TM lerá e reconhecerá um caractere da célula da qual está lendo atualmente? E é o caso de uma TM parar se a entrada for
Li na Wikipedia que a unificação é um processo de solução do problema de satisfação. Ao mesmo tempo, eu sei que esses solucionadores são chamados de "solucionadores SAT" ou "solucionadores SMT". Então, eles são nomes diferentes para a mesma coisa? Se você diz que eles são diferentes, por favor,...
Não sei a terminologia correta para fazer esta pergunta, portanto, descreverei-a com muitas palavras. Em segundo plano , apenas para estarmos na mesma página: os programas geralmente contêm caches - uma troca de tempo / memória. Um erro comum do programador é esquecer de atualizar um valor em...
Às vezes, há uma variedade estonteante de símbolos usados em trabalhos de matemática e ciências da computação. No entanto, muitos assumem familiaridade básica que parece raramente ensinada em um só lugar. Estou procurando um dicionário parecido com o seguinte, especialmente da perspectiva do...
Do ponto de vista do comportamento assintótico, o que é considerado um algoritmo "eficiente"? Qual é o padrão / motivo para desenhar a linha nesse ponto? Pessoalmente, eu pensaria que qualquer coisa que eu possa chamar ingenuamente de "sub-polinomial", tal que como n 1 + ϵ , seja eficiente e...
Estou achando difícil diferenciar claramente entre Multiprogramação e Multitarefa. Minha fonte principal é a Wikipedia , mas o artigo do WP parece estar um pouco em desacordo com algumas fontes menos respeitáveis (como meu professor universitário). Enquanto eu leio o WP, a multiprogramação é...
Que notação é usada para discutir os coeficientes de funções na notação big-O? Eu tenho duas funções: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Obviamente, ambas as funções são , de fato , mas isso não permite uma comparação além disso. Como...
Para funções ou cálculos, temos termos como: Determinístico - Determinismo Pure - Pureza Agora, qual é o substantivo correspondente correto para livre de efeitos colaterais ? "Efeito colateral sem efeito"? "Liberdade de efeitos colaterais"? "Não tem efeito
Você recebe uma matriz de comprimento . Cada elemento da matriz pertence a uma das classes. Você deve reorganizar a matriz usando o número mínimo de operações de troca, para que todos os elementos da mesma classe sejam sempre agrupados, ou seja, eles formem uma sub- matriz contígua. Por exemplo:...
De acordo com Peter Selinger , O cálculo lambda é algébrico (PDF). No início deste artigo, ele diz: Sabe-se que a interpretação combinatória do cálculo lambda é imperfeita, pois não satisfaz a regra ξξξ : sob a interpretação, M= NM=NM = N não implica λ x . M= λ x . Nλx.M=λx.N\lambda x.M =...
No problema de Subconjunto de soma, alguns dos números fornecidos podem a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_nser o mesmo? Por exemplo, podemos ter[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4] e o alvo é 555? Posso assumir que tenho uma solução específica com números222 e 333 e 1,1,11,1,11,1,1 e...
Um gráfico bipartido é plano se não tiver ou menores.K3 , 3K3,3K_{3, 3}K5K5K_5 Estou procurando condições necessárias ou suficientes para permitir que desenhos planares sem arestas "circulem" conjuntos de vértices. Estes são desenhos satisfatórios: Todos os vértices de uma parte são desenhados...
Estou confuso sobre como PP e BPP são definidos. Vamos supor χχ\chi é a função característica de uma linguagem LL\mathcal{L} . M ser a máquina de Turing probabilística. As definições a seguir estão corretas: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP...
Luto com poucas definições na representação do conhecimento e busco ajuda credível para distinguir entre elas. Eu tenho procurado na wikipedia e em muitos sites a diferença entre ontologias e redes semânticas (para não confundir com a web semântica). Enquanto a página da wikipedia na rede semântica...