Gostaria de enumerar todos os gráficos não direcionados de tamanho , mas preciso apenas de uma instância de cada classe de isomorfismo . Em outras palavras, quero enumerar todos os gráficos não isomórficos (não direcionados) em vértices. Como posso fazer isso?nnnnnn Mais precisamente, eu quero um...
O FRP trata de transmitir eventos e comportamentos através de funções puras. O modelo do ator - pelo menos, como implementado no Akka - é sobre o fluxo de mensagens imutáveis (que podem ser consideradas eventos discretos) através de objetos potencialmente impuros, chamados atores. Então, na...
Muitos livros didáticos cobrem tipos de interseção no cálculo lambda. As regras de digitação para interseção podem ser definidas da seguinte maneira (além do cálculo lambda simplesmente digitado com subtipagem): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma...
O SQL precisa de subconsultas? Imagine uma implementação suficientemente generalizada da linguagem de consulta estruturada para bancos de dados de relações. Como a estrutura da SELECTinstrução SQL canônica é realmente muito importante para que isso faça sentido, não apelo diretamente à álgebra...
Atualmente, estou lendo um livro sobre algoritmos e complexidade. No momento, estou lendo sobre funções computáveis e não computáveis, e meu livro afirma que há muito mais funções que não são computáveis do que computáveis; na verdade, a maioria é não computável, diz. Em certo sentido, posso...
Quando eu estava explicando a prova de Baker-Gill-Solovay de que existe um oráculo com o qual podemos ter, , e um oráculo com o qual podemos ter para um amigo, surgiu uma pergunta sobre por que essas técnicas são inadequadas para provar o problema , e não pude dar uma resposta...
Estou implementando um conjunto de algoritmos de localização de caminhos, como Dijkstra, Depth First etc. No começo, usei alguns gráficos criados por você, mas agora gostaria de levar o desafio um pouco mais longe e, portanto, estou procurando gráficos usados em benchmarks; gráficos de cidades...
Estou curioso em determinar uma abordagem para enfrentar um algoritmo de "amigos sugeridos". O Facebook possui um recurso no qual recomendará a você indivíduos com os quais acha que pode estar familiarizado. Esses usuários normalmente (excluindo os casos extremos nos quais um usuário recomenda...
Aprendemos sobre o conceito de enumerações de funções. Na prática, eles correspondem a linguagens de programação. Em uma observação de passagem, o professor mencionou que a classe de todas as funções totais (ou seja, as funções que sempre terminam para cada entrada) não é enumerável. Isso...
Eu tenho um algoritmo ganancioso que suspeito estar correto, mas não tenho certeza. Como verifico se está correto? Quais são as técnicas a serem usadas para provar que um algoritmo ganancioso está correto? Existem padrões ou técnicas comuns? Espero que isso se torne uma pergunta de referência que...
Eu estudo os compiladores há algum tempo e tenho pesquisado o que significa "contexto" na gramática e o que significa que a gramática é "livre de contexto", mas sem resultado. Então, alguém pode ajudar com
Encontrei abaixo a declaração de Alan M. Turing aqui : "A visão de que as máquinas não podem causar surpresas se deve, creio eu, a uma falácia à qual filósofos e matemáticos estão particularmente sujeitos. Essa é a suposição de que, assim que um fato é apresentado à mente, todas as conseqüências...
Existe um algoritmo polinomial fácil para decidir se existe um caminho entre dois nós em um gráfico direcionado (basta fazer uma travessia rotineira de um gráfico com, digamos, a primeira pesquisa de profundidade). No entanto, parece que, surpreendentemente, o problema fica muito mais difícil se,...
Estou procurando um algoritmo para gerar uma matriz de N números aleatórios, de modo que a soma dos N números seja 1 e todos os números estejam entre 0 e 1. Por exemplo, N = 3, o ponto aleatório (x, y, z) deve estar dentro do triângulo: x + y + z = 1 0 < x < 1 0 < y < 1 0 < z <...
Redes backprop totalmente conectadas (pelo menos camada a camada com mais de 2 camadas ocultas) são aprendizes universais. Infelizmente, muitas vezes demoram a aprender e tendem a se ajustar demais ou a ter generalizações desajeitadas. Ao brincar com essas redes, observei que a remoção de algumas...
Como comprar poder de computação é muito acessível do que no passado, o conhecimento de algoritmos e a eficiência são cada vez menos importantes? É claro que você deseja evitar um loop infinito, portanto, nem tudo acontece. Mas se você tiver um hardware melhor, poderia ter um software...
Minha mãe está fazendo um curso on-line para ser uma espécie de bibliotecária; neste curso, eles abrangem pesquisas booleanas, para que possam pesquisar bancos de dados de maneira eficiente; no entanto, ela tem uma pergunta que soa algo como isto: A pesquisa "x OR y" resultará em 105 000...
A tese de Church-Turing afirma que tudo o que pode ser fisicamente calculado, pode ser computado em uma máquina de Turing. O artigo "Computação analógica via redes neurais" (Siegelmannn e Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que uma rede neural de uma determinada...
Eu leio há algumas semanas sobre o Cálculo Lambda, mas ainda não vi nada que seja materialmente diferente das funções matemáticas existentes e quero saber se é apenas uma questão de notação ou se há alguma novidade. propriedades ou regras criadas pelos axiomas do cálculo lambda que não se aplicam a...
O problema 3SUM tenta identificar 3 números inteiros de um conjunto de tamanho modo que .S n a + b + c = 0a , b , ca,b,ca,b,cSSSnnna + b + c = 0a+b+c=0a + b + c = 0 É conjeturado que não há solução melhor que quadrática, isto é, . Ou, de maneira diferente: .o ( n log ( n ) + n 2 )o (...