Resultados teóricos e técnicas aplicadas em cenários práticos.
Parece que em todo lugar que olho, as estruturas de dados estão sendo implementadas usando árvores vermelho-pretas ( std::setem C ++, SortedDictionaryem C # etc.) Tendo acabado de cobrir (a, b), vermelho-preto e árvores AVL na minha classe de algoritmos, aqui está o que eu descobri (também...
Por que uma empresa como o Twitter estaria interessada em conceitos algébricos como grupos, monóides e anéis? Veja seu repositório no github: twitter / algebird . Tudo o que pude encontrar é: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom , HyperLogLog...
Como as linguagens do Tipo 3 da Hierarquia Chomsky podem ser reconhecidas por uma máquina de estado sem memória externa (por exemplo, um autômato finito), o Tipo 2 por uma máquina de estado com uma única pilha (por exemplo, um autômato push-down) e o Tipo 0 por uma máquina de estado com duas pilhas...
Fui designado para um exercício na minha universidade. Levei para casa e tentei programar um algoritmo para resolvê-lo, era algo relacionado a gráficos, encontrando componentes conectados, eu acho. Então eu fiz a coisa mais trivial que me veio à mente e depois mostrei ao meu professor. Após uma...
Estou usando um solucionador SAT para codificar um problema e, como parte da instância SAT, tenho variáveis booleanas onde se pretende que exatamente uma delas seja verdadeira e o restante seja falso . (Às vezes, isso é descrito como uma codificação
Um autômato é um modelo abstrato de um computador digital. Computadores digitais são completamente determinísticos; seu estado a qualquer momento é previsível exclusivamente a partir da entrada e do estado inicial. Quando estamos tentando modelar sistemas reais, por que incluir o não determinismo...
A classificação Radix é teoricamente muito rápida quando você sabe que as teclas estão em um determinado intervalo limitado, digamos valores no intervalo por exemplo. Se você apenas converter os valores para a base de que leva tempo, fazer uma base radix sort e depois converter de volta para sua...
Hoje, uma palestra de Henning Kerstan ("Semântica de rastreamento para sistemas probabilísticos de transição") me confrontou com a teoria das categorias pela primeira vez. Ele construiu uma estrutura teórica para descrever sistemas de transição probablísticos e seu comportamento de uma maneira...
HHHh : U→ { 0 , … , M- 1 }h:você→{0 0,...,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, X ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤ 1M∀x,y∈você,x≠y⇒Prh∈H[h(x)=h(y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} O conceito de hash universal agora faz parte padrão...
Existe um problema popular [1] [2] na ciência da computação que está encontrando um número mínimo de linhas retas que cobre um determinado conjunto de pontos em 2D. Embora tenha digitalizado muitos papéis, nenhum deles tem uma clara motivação para o problema. Qual é a utilidade de resolver esse...
O algoritmo de Dijkstra é usado em sistemas modernos de busca de rotas, como mapas do Google ou o satélite no seu carro? Se não, então o que
Quero entender a teoria dos tipos, mas primeiro preciso saber como aplicá-la. Poderia haver mais aplicações não óbvias da teoria dos tipos, além dos sistemas de tipos na programação? Poderia haver outras aplicações, digamos, em perfis de personalidade e
Eu li muitos artigos e livros sobre ontologias e estou tentando descobrir como elas são usadas em um projeto real? Por exemplo, como a ontologia de um robô de jogador de futebol pode ser definida e usada com uma arquitetura cognitiva para torná-lo inteligente? As ontologias são relações entre...
Existem aplicações do mundo real do Steiner Tree Problem (STP)? Entendo que o design do chip VSLI é uma boa aplicação do STP. Existem outros exemplos de problemas do mundo real que as pessoas possam sugerir que poderiam ser formulados em termos do STP? Antecedentes: Estou iniciando minha pesquisa...
Um amigo meu realmente me fez uma pergunta muito interessante relacionada à ciência da computação, e eu fico presa a ela há muito tempo. O problema é: você tem que viajar km. O único posto de gasolina está no ponto de partida. Sua capacidade máxima do tanque de combustível é suficiente para km de...
Eu tenho lido sobre a contagem de modelos, também conhecido como o problema #SAT. Quais são as aplicações práticas, se houver, desse problema, e como exatamente elas se reduzem a ele? Não consegui encontrar nada, embora isso seja simplesmente devido à minha própria ignorância sobre o...
Atualmente, estou analisando minhas estruturas de dados e algoritmos básicos, parte disso é a Árvore Binária. Eu entendo os algoritmos e como implementar uma árvore de pesquisa binária e tal. Faço isso como é inteligente que possamos fazer pesquisas em tempo O (log n). No entanto, estou tendo...
Como parte de um curso que estou ministrando sobre Estruturas de Dados, quero que os alunos pesquisem e apresentem o uso de Estruturas de Dados em softwares / serviços populares. No entanto, o Google básico mostra que essas informações não estão tão prontamente disponíveis. Alguém pode me indicar...