Ciência da Computação

Existem exemplos de linguagens de computador do mundo real que não são deterministas? Por linguagens de computador eu incluo linguagens de programação, linguagens de marcação, linguagens de consulta, linguagem de modelagem, linguagens de transformação, etc. Por não determinístico, quero dizer que eles não podem ser analisados ​​com gramáticas determinísticas.

7 formal-grammars  programming-languages  nondeterminism 

Esse é um problema de lição de casa que me foi dado e tenho vasculhado meu cérebro há horas (por isso estou satisfeito com algumas dicas). Eu já sei que a taxa de aproximação não pode ser pior do que222. Eu tenho um gráfico de roda, onde cada aresta custa1 …

7 algorithms  algorithm-analysis  approximation  traveling-salesman 

(Usando a sintaxe Haskell, já que a pergunta é inspirada em Haskell, mas se aplica a sistemas polimórficos gerais de Hindley-Milner, como SML ou Elm). Se eu tiver uma assinatura de tipo f :: a -> [a], qual é a proposição lógica codificada por essa assinatura de tipo? Eu sei …

7 programming-languages  type-theory  functional-programming  curry-howard 

Você recebe uma grade mxn. Uma bola adimensional é colocada no centro de um dos quadrados da grade e começa a se mover em uma das quatro direções: nordeste, noroeste, sudeste ou sudoeste. A bola continua se movendo até atingir a borda do tabuleiro; nesse ponto, ela se recupera de …

7 algorithms  computational-geometry 

Há um tempo atrás, eu lavava minhas roupas tarde da noite. Quando trouxe minha roupa de volta ao meu dormitório, comecei a guardá-la. Meu guarda-roupa está configurado da seguinte maneira: Minhas gavetas são categorizadas pelo tipo de roupa que eles têm, e eu sou muito especial nisso; isso significa que …

7 algorithms  optimization  sorting  randomized-algorithms 

Dado um conjunto SSS do NNN pontos em uma esfera e outro ponto PPP na esfera, eu quero encontrar o kkk pontos em SSS que são as mais próximas (distância euclidiana ou grande círculo). Estou disposto a fazer uma quantidade razoável de pré-cálculo. A solução deve ser exata e eficiente …

7 data-structures  computational-geometry  nearest-neighbour 

Quais métodos gerais de aprendizado de máquina existem que tentam "aprender" ou interpolar uma função multivariada suave e que conseguem realmente escolher os pontos em que a função é avaliada durante o processo de aprendizado (exploração)? A idéia seria que cada avaliação de função seja mais ou menos dispendiosa e …

7 machine-learning  artificial-intelligence 

Não sei como defini-lo com elegância, mas basicamente quero implementar um algoritmo de pesquisa de força bruta, mas existem muitas maneiras diferentes de enumerar através do espaço de pesquisa. Isso pode ser ingênuo da minha parte, mas imagino que a maneira como escolho enumerar através do espaço de pesquisa possa …

7 algorithms  search-algorithms  decision-problem  np  search-problem 

Estou estudando a prova do seguinte teorema: Dada a linguagem REGULARTM={⟨M⟩|MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M é uma máquina de turing e Accept(M)Accept(M)\mathit{Accept}(M) é regular}}\} REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} é indecidível. A prova dada na Sipser mostra que, se já temos uma máquina RRR que decide REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} então nós podemos fazer uma …

7 computability  turing-machines  undecidability 

Eu olhei para alguns dos meus livros antigos de teoria do sistema operacional e notei que uma omissão flagrante em todos esses livros do sistema operacional é como realmente acompanhar as páginas físicas que são gratuitas (ou seja, algoritmos para realmente implementar a lista gratuita). Eu sei muito bem como …

7 operating-systems  memory-management  virtual-memory 

Alguém pediu exemplos de linguagens sem contexto com complementos sem contexto . A primeira resposta diz: O idioma eu1 1= { w w ∣ w ∈ { a , b}∗}eu1 1={WW∣W∈{uma,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}não é livre de contexto (como pode ser mostrado usando o lema de bombeamento; veja …

7 formal-languages  context-free  formal-grammars 

Existe um algoritmo conhecido / existente para pegar uma tela 2D coberta em pontos distribuídos arbitrariamente / aleatoriamente e dividi-la inteiramente em um conjunto de polígonos não sobrepostos? Um exemplo do tipo de resultado que estou procurando:

7 algorithms  graphs 

Existe QUALQUER tipo de compactação que possa compactar um arquivo e esse arquivo compactado pode ser pesquisado sem descompactar o arquivo?

7 search-algorithms  strings  data-compression 

Atualmente, estou analisando a notação Big O e a complexidade computacional. O problema 1.1 do CLRS faz uma pergunta básica, que é obter uma intuição sobre como as complexidades algorítmicas diferentes crescem com o tamanho da entrada. A pergunta pergunta: Para cada função e tempo na tabela a seguir, determine …

7 algorithms  algorithm-analysis  asymptotics 

Estou analisando vários solucionadores de SAT e tentando entender como eles funcionam e por que são projetados de determinadas maneiras. (Mas eu não estou em uma universidade no momento e não conheço ninguém que seja professor. Então, estou postando aqui esperando que alguém possa me ajudar. Eu realmente aprecio.) No …

7 algorithms  sat-solvers