Ciência da Computação

Que diferenças e relações existem entre algoritmos aleatórios e algoritmos não determinísticos? Da Wikipedia Um algoritmo aleatório é um algoritmo que emprega um grau de aleatoriedade como parte de sua lógica. O algoritmo normalmente usa bits aleatoriamente uniformes como uma entrada auxiliar para orientar seu comportamento, na esperança de obter …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

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 algoritmo que gere uma …

30 algorithms  graphs  data-compression  graph-isomorphism 

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 forma (as …

29 computability  turing-machines  church-turing-thesis 

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 isso?

29 terminology  context-free  formal-grammars 

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 …

29 lambda-calculus  functional-programming 

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 …

29 turing-machines  computability  computation-models 

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 ocorrências, …

29 sets  counting 

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 das bordas (para que …

29 machine-learning  network-topology  neural-networks 

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 …

29 complexity-theory  combinatorics  complexity-classes 

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 aceitar intuitivamente isso, …

29 computability  turing-machines  combinatorics 

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 do mundo real (ou uma …

29 algorithms  graphs  data-sets  benchmarking 

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 …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

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 pior?

29 efficiency 

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, em vez de testar a …

29 algorithms  complexity-theory  graph-theory 

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 especificamente a um amigo ) têm …

29 algorithms  machine-learning  modelling  social-networks