Ciência da Computação

Este é um quebra-cabeça sobre como medir a latência da rede que eu criei. Acredito que a solução é que é impossível, mas os amigos discordam. Estou procurando explicações convincentes de qualquer maneira. (Embora seja apresentado como um quebra-cabeça, acho que se encaixa neste site devido à sua aplicabilidade ao …

20 computer-networks  protocols  distributed-systems 

Estou procurando uma estrutura de dados que irá empurrar seu elemento mais antigo / último se um novo elemento for inserido. Por exemplo, vamos Drepresentar a estrutura. Dcontém 3 elementos dos Number Dvalores padrão do tipo serão inicializados para 1, 2e 3. D = [ 1 , 2 , 3 …

20 data-structures  arrays  queues 

Se um sistema de tipos pode atribuir um tipo a λ x . x xou ao não-terminador (λx . x x) (λ x . x x), esse sistema é inconsistente como consequência? Todo tipo desse sistema é habitado? Você pode provar falso?

20 lambda-calculus  dependent-types 

Alguns algoritmos complicados ( união-localização ) têm a função Ackermann inversa quase constante que aparece na complexidade do tempo assintótico e, na pior das hipóteses, o ideal é o pior caso se o termo Ackermann inverso quase constante for ignorado. Existem exemplos de algoritmos conhecidos com tempos de execução que …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Um artigo chamado A derivada de um tipo regular é seu tipo de contexto de um furo mostra que o "zíper" de um tipo - seus contextos de um furo - segue as regras de diferenciação na álgebra de tipos. Nós temos: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 …

20 type-theory  algebra 

No livro de Andrew W. Appel, Modern Compiler Implementation in ML , ele diz no capítulo 17 que a teoria da Computabilidade mostra que sempre será possível inventar novas transformações de otimização e prossegue para provar que um compilador totalmente otimizado resolverá o problema de parada: Um programa Q que …

20 computability  compilers  program-optimization 

Eu sei o que a computação é em algum sentido vago (é o que os computadores fazem), mas eu gostaria de uma definição mais rigorosa. Dictionary.comAs definições de computação, computação, cálculo e computação são circulares, portanto, não ajuda. Wikipediadefine computação como "qualquer tipo de cálculo que siga um modelo bem …

20 terminology  computability 

As linguagens sem contexto não são fechadas sob complemento, sabemos disso. Tanto quanto eu entendo, linguagens sem contexto que são um subconjunto de para algumas letras estão fechadas no complemento (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b Aqui está o meu argumento. Cada linguagem CF tem uma imagem Parikh semi-linear . Conjuntos semilineares são fechados sob …

20 formal-languages  reference-request  context-free  closure-properties 

Comparando um par ordenado (x, y) a um par não ordenado {x, y} (conjunto) e, em seguida, informações teoricamente, a diferença é de apenas um bit, pois se x vem primeiro ou y requer exatamente um único bit para representar. Portanto, se recebermos um conjunto {x, y} em que x, …

20 information-theory  data-compression 

Ok, antes de começar, percebo que isso está à margem do tópico (li a ajuda do Questions neste site), principalmente porque esse não é um problema do mundo real. Contudo: Não consigo encontrar nada relevante no Google De um ponto de vista purista, certamente deve estar dentro da Ciência da …

20 reference-request  human-computing 

A Wikipedia declara o problema da soma do subconjunto como encontrar um subconjunto de um determinado conjunto múltiplo de números inteiros, cuja soma é zero. Além disso, afirma que é equivalente a encontrar um subconjunto com soma para qualquer dado .ssssss Então, acredito que, como são equivalentes, deve haver uma …

20 complexity-theory  reductions  np-hard 

Isso é inspirado em uma pergunta da entrevista . Recebemos uma matriz de números inteiros a1,…,ana1,…,ana_1, \dots, a_n e precisamos determinar se existem distintos, de modo quei<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i isto é, as seqüências e …

20 algorithms  complexity-theory  lower-bounds 

O refinamento de partição é uma técnica na qual você começa com um conjunto finito de objetos e divide progressivamente o conjunto. Alguns problemas, como a minimização do DFA, podem ser resolvidos usando o refinamento de partição com bastante eficiência. Não conheço outros problemas que geralmente são resolvidos usando o …

20 algorithms  reference-request  data-structures  partitions  sets 

No design do compilador, por que a recursão à esquerda deve ser eliminada nas gramáticas? Estou lendo que é porque pode causar uma recursão infinita, mas também não é verdade para uma gramática recursiva correta?

20 formal-grammars  compilers  left-recursion 

Existe um método geral para resolver a recorrência do formulário: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) para , ou mais geralmentec&lt;1c&lt;1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) onde são algumas funções sub-lineares de .g(n),r(n)g(n),r(n)g(n),r(n)nnn Atualização : Examinei os links fornecidos abaixo e também examinei todas as …

20 proof-techniques  recurrence-relation