Resultados da pesquisa a pedido "computer-science"
Qual é a melhor maneira de implementar este GetHashCode () composto
Eu tenho uma classe simples: public class TileName { int Zoom, X, Y; public override bool Equals (object obj) { var o = obj as TileName; return (o != null) && (o.Zoom == Zoom) && (o.X == X) && (o.Y == Y); } public override int GetHashCode () { ...
Chaves duplicadas são permitidas na definição de árvores de pesquisa binária?
Estou tentando encontrar a definição de uma árvore de pesquisa binária e continuo encontrando definições diferentes em todos os lugares. Alguns dizem que, para qualquer subárvore, a chave filha esquerda é menor ou igual à raiz. Alguns dizem ...
Como executar o Athena. Coq Códigos Isabelle remotamente?
Estou criando um Web IDE (WIDE) para provar teoremas em Ciência da Computação. Você deve saber, existem três assitentes de provas mais comuns que chamam Athena, Isabelle e Coq. A maioria dos cientistas da computação pode esquecer sua sintaxe, ...
Qual é a diferença entre igualdade e equivalência?
Eu li alguns exemplos em matemática e ciência da computação que usam o símbolo de equivalência≡, (basicamente um '=' com três linhas) e sempre faz sentido para mim ler isso como se fosse igualdade. Qual é a diferença entre esses dois conceitos?
É possível avaliar os termos do cálculo lambda com eficiência?
Escrevi muitos programas no cálculo lambda recentemente e gostaria de poder rodar alguns deles em tempo real. No entanto, por mais que o paradigma funcional de tendências se baseie no cálculo lambda e na regra das reduções B, não consegui ...
Otimização de um algoritmo hackerrank
Fui questionado sobre isso na classificação de hackers e ainda não descobri uma solução que não ficou sem tempo. Eu usei php e o tempo alocado foi de 9 segundos ... A idéia é que existem "barracas de ingressos" com um certo número de ...
Definição simples de "semântica", como é comumente usada em relação às linguagens de programação / APIs?
Hoje me ocorreu que, embora eu tenha adotado e raramente use o termo "semântica" ao me referir a elementos de linguagem e convenções de nomenclatura, não tenho nenhum senso de definição formal. Minha tentativa de encontrar uma definição formal ...
Se f = O (g), é e ^ f = O (e ^ g)?
E sef = O(g), ée^f = O(e^g)? Estou tendo dificuldade em descobrir a pergunta acima. Um exemplo seria bem-vindo. Além disso, se você usar a regra de l'Hôpital, mostre como faz a diferenciação.
Problemas de Partição Algoritmo de Força Bruta
Estou tentando fazer o pseudocódigo para o problema de partição abaixo no bruteforce. um conjunto de números inteiros X e um número inteiro k (k> 1). Encontre k subconjuntos de X de modo que os números em cada subconjunto tenham a ...
Como posso determinar se um idioma é livre de contexto ou não?
Como posso saber se os idiomas são livres de contexto ou não?