Perguntas com a marcação «applied-theory»

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 perguntando por professores, …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

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 e CountMinSketch . Isso permite …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

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 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

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 breve observação, …

30 algorithms  algorithm-analysis  education  applied-theory 

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 "quente").x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n Desejo codificar a restrição "exatamente um de deve …

25 satisfiability  sat-solvers  applied-theory 

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 na teoria de Autômatos?

23 automata  nondeterminism  applied-theory 

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 …

20 algorithms  sorting  applied-theory  radix-sort 

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 geral, isto é, com conjuntos de estados incontáveis ​​e …

18 applied-theory  category-theory 

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} …

14 data-structures  education  hash-tables  applied-theory 

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 problema? …

12 reference-request  computational-geometry  applied-theory 

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

10 type-theory  applied-theory 

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

10 algorithms  graphs  shortest-path  applied-theory 

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 de …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

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 termos …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

Quando ouvi essas coisas pela primeira vez, fiquei muito fascinado, pois pensava que isso realmente limita a matemática e as ciências em geral. Mas quão praticamente relevantes são essas coisas? Para o problema da parada: Existem mais do que alguns casos construídos artificialmente, em que não se pode decidir se …

8 computability  logic  halting-problem  applied-theory