Ciência da Computação

Acabei de descobrir recentemente sobre o KRR (representação e raciocínio do conhecimento) e o ASP, não ouvindo nada sobre eles antes (exceto um pouco sobre prólogo). Eu li um pouco sobre eles e um de seus principais usos parece ser AIs. Minha pergunta seria o quão amplamente utilizado é o …

9 prolog 

Supondo que as arestas não sejam direcionadas, tenham peso exclusivo e nenhum caminho negativo, esses algoritmos produzem as mesmas árvores de abrangência mínima?

9 graphs  trees  minimum-spanning-tree 

Eu tenho tentado separar as definições de segurança de tipo e solidez de tipo e estou me divertindo muito. Perguntei recentemente a um professor e, depois de pensar um pouco, ele disse que realmente não havia diferença. No entanto, depois de ler isso , parece que: O Type Safety é …

9 programming-languages  type-theory  type-checking 

Onde posso encontrar algum código para gerar percursos aleatórios e evitáveis ​​em treliças bidimensionais e tridimensionais cujos comprimentos laterais são potências de dois? A caminhada deve passar por todos os pontos da treliça. Mais especificamente, como posso encontrar um caminho hamiltoniano aleatório em uma grande2n×2n2n×2n2^n \times 2^nou gráfico da grade?2n×2n×2n2n×2n×2n2^n …

9 random-walks  lattices 

Segundo esta fonte, a constante Chaitin é normal.ΩΩ\Omega Cada probabilidade de parada é um número real normal e transcendental que não é computável, o que significa que não há algoritmo para calcular seus dígitos. De fato, cada probabilidade de parada é aleatória de Martin-Löf, o que significa que não existe …

9 halting-problem 

Suponha que você estenda o Cálculo de construções com "furos" - ou seja, trechos incompletos de código que você ainda não preencheu. Gostaria de saber se existe um algoritmo para preencher essas funções automaticamente. Por exemplo (usando a sintaxe de Morte ): Caso A: λ (pred : ?) -> λ …

9 machine-learning  programming-languages  unification 

Eu estava resolvendo relações de recorrência. A primeira relação de recorrência foi T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n A solução deste pode ser encontrada pelo Teorema Mestre ou pelo método da árvore de recorrência. A árvore de recorrência seria algo como isto: A solução seria: T(n)=n+n+n+...+nlog2n=k times=Θ(nlogn)T(n)=n+n+n+...+n⏟log2⁡n=k times=Θ(nlog⁡n)T(n)=\underbrace{n+n+n+...+n}_{\log_2{n}=k \text{ times}}=\Theta(n \log{n}) Em seguida, enfrentei o …

9 recurrence-relation 

Eu estava aprendendo sobre os caminhos mais longos e me deparei com o fato de que os caminhos mais longos nos gráficos gerais não são solucionáveis ​​pela programação dinâmica porque o problema carecia de uma subestrutura ideal (que eu acho que a instrução precisa ser corrigida para os caminhos simples …

9 algorithms  graphs  optimization  dynamic-programming 

Eu já li em muitos artigos na pesquisa de vizinhos mais próximos de dimensões mais altas que as árvores KD são exponenciais em K, mas não consigo determinar o porquê. O que estou procurando é uma sólida análise de complexidade de tempo de execução que explique esse aspecto do problema.

9 algorithm-analysis  data-structures  search-trees  nearest-neighbour  search 

Nos anos 50, foram inventados vários métodos de minimização de circuitos para funções booleanas . Existe uma extensão desses métodos ou algo semelhante para otimizar a complexidade do tempo ou espaço dos algoritmos? Por exemplo, uma implementação de classificação por bolhas como uma entrada para esse algoritmo produziria uma implementação …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

String é uma classe imutável em Java. Uma classe imutável é simplesmente uma classe cujas instâncias não podem ser modificadas. Por que a linguagem de programação Java escolhe tornar objetos da classe String imutáveis?

9 programming-languages  language-design 

Eu tenho uma matriz de banda - uma matriz esparsa, quadrada e simétrica cuja estrutura se parece com a seguinte:N×NN×NN \times N Aqui, a área sob as listras azuis são os elementos diferentes de zero; tudo o resto é zero Existe um algoritmo para inverter esse tipo de matriz que …

9 algorithms  linear-algebra  sparse-matrices 

Estou aprendendo sobre paginação. Meu livro diz que os endereços lógicos gerados pela CPU estão no formato |p|d|(número da página, deslocamento da página) e os endereços físicos estão no formato |f|d|(número do quadro, deslocamento do quadro). Também é mencionado especificamente que, dou seja, o deslocamento é copiado diretamente para gerar …

9 memory-management  paging 

Uma matriz não gate controlada é assim: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[10 00 00 00 010 00 00 00 00 010 00 010 0]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & …

9 quantum-computing 

A operação de divisão pode ser implementada para árvores AVL com complexidade ? Estou interessado em links para artigos ou qualquer informação específica sobre este assunto.O(logn)O(log⁡n)O(\log n) A operação de divisão divide a árvore AVL em duas árvores derivadas, com base na chave. Uma das árvores derivadas deve conter todos …

9 data-structures  search-trees  balanced-search-trees