Ciência da Computação

Estou lendo sobre o algoritmo de digitação Hindley-Milner ao escrever uma implementação e vejo que, desde que todas as variáveis ​​sejam vinculadas, você sempre terá tipos atômicos ou tipos em que os argumentos determinarão o tipo final, como t1 -> t1ou (t1 -> t2) -> (t1 -> t2)onde t1e t2são …

14 lambda-calculus  type-theory  typing  type-inference 

Dado um alfabeto Σ={a,b}Σ={uma,b}\Sigma = \{ a,b \} , quantas linguagens regulares diferentes existem que podem ser aceitas por um autômato finito não-determinístico do estado ?nnn Como exemplo, vamos considerar . Temos então configurações de transição diferentes e configurações diferentes de estado inicial e final, portanto, temos um limite superior …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Isso surgiu enquanto eu tentava responder a essa pergunta sobre Minimização do comprimento da fiação . Eu chamaria isso de problema do "casamento polígamo", mas a internet, então gatinhos. Yay! Suponha que temos gatinhos que precisam ser adotado por pessoas, . Para cada gatinho, e cada pessoa existe um custo …

14 algorithms  complexity-theory 

É possível usar um algoritmo de classificação com uma comparação não transitiva e, se sim, por que a transitividade é listada como um requisito para classificar comparadores? Fundo: Um algoritmo de classificação geralmente classifica os elementos de uma lista de acordo com uma função comparadora C (x, y), com C( …

14 algorithms  sorting  quicksort  transitivity 

Eu tenho dois grandes conjuntos de números inteiros e . Cada conjunto possui cerca de um milhão de entradas e cada entrada é um número inteiro positivo com no máximo 10 dígitos. BUMAAABBB Qual é o melhor algoritmo para calcular e ? Em outras palavras, como posso calcular com eficiência …

14 algorithms  data-structures  sets 

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 

Deixe ser um gráfico, e deixá- e seja dois vértices de . Podemos amostrar eficientemente um caminho - mais curto de maneira uniforme e independente, aleatoriamente, a partir do conjunto de todos os caminhos mais curtos entre e ? Por simplicidade, podemos assumir que é simples, sem direção e sem …

14 graph-theory  reference-request  shortest-path  sampling 

Eu estive pesquisando neste site e ele diz que as pessoas encontraram soluções para passeios TSP que são apenas 0,031% mais altos do que o passeio ideal. Sem encontrar o passeio ideal, como eles sabem qual é a duração?

14 complexity-theory  approximation 

Qual algoritmo você usaria para encontrar o caminho mais curto de um gráfico, incorporado em um plano euclidiano, de modo que o caminho não contenha nenhuma auto-interseção (na incorporação)? Por exemplo, no gráfico abaixo, você deseja ir de . Normalmente, um algoritmo como o algoritmo de Dijkstra produziria uma sequência …

14 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

Existe alguma diferença entre os dois? De acordo com o livro de Ullman , os compiladores convertem um idioma para outro (geralmente de baixo nível), assim como um assembler. Como os dois são diferentes?

14 terminology  compilers 

Alguém pode me encaminhar para artigos revisados ​​por pares estudando as vantagens ou desvantagens de escrever código em um estilo funcional? Existem documentos que discutem as aplicações do Lambda Calculus em áreas como Machine Learning, Language Design, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Percebo que os autômatos não determinísticos de empilhamento podem ser uma melhoria em relação aos determinísticos, pois eles podem "escolher" entre vários estados e existem algumas linguagens livres de contexto que não podem ser aceitas por um empilhamento determinístico. Ainda assim, não entendo exatamente como eles "escolhem". Para os palindormes, …

14 automata  pushdown-automata  nondeterminism 

Problema Dada uma máquina de Turing que tenha conhecido o tempo de execução O ( g ( n ) ) em relação ao comprimento de entrada n , o tempo de execução de M ∈ O ( f ( n ) ) ?MMMO (g( N ) )O(g(n)){O}(g(n))nnnM∈ O ( f( …

14 complexity-theory  time-complexity 

Sei que podemos minimizar os DFAs localizando e mesclando estados equivalentes, mas por que não podemos fazer o mesmo com os NFAs? Não estou procurando uma prova ou algo assim - a menos que uma prova seja mais simples de entender. Eu só quero entender intuitivamente por que a minimização …

14 complexity-theory  finite-automata  nondeterminism 

Sabe-se que o idioma das palavras que contêm número igual de 0 e 1 não é regular, enquanto o idioma das palavras que contêm número igual de 001 e 100 é regular ( veja aqui ). Dadas duas palavras w1,w2w1,w2w_1,w_2 , é decidível se o idioma das palavras que contêm …

14 regular-languages  undecidability