Ciência da Computação

Portanto, existe um algoritmo para converter termos de cálculo lambda em lógica combinatória usando combinadores SK. Produz coisas que explodem de tamanho. Eu gostaria de saber mais sobre essa explosão de tamanho. No entanto, não consigo pensar em um algoritmo melhor. Eu ouvi falar de linguagens funcionais sendo praticamente compiladas …

9 lambda-calculus  functional-programming  combinatory-logic 

Eu tenho um conjunto de pontos que são definidos em um espaço métrico - para que eu possa medir uma 'distância' entre pontos, mas nada mais. Quero encontrar o ponto mais central desse conjunto, que defino como o ponto com a soma mínima de distâncias para todos os outros pontos. …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Penso nas línguas unárias , onde é um conjunto de todas as palavras cujo comprimento é a soma dos quadrados. Formalmente: É fácil mostrar que não é regular (por exemplo, com Pumping-Lemma). Além disso, sabemos que cada número natural é a soma de quatro quadrados, o que implica que para …

9 formal-languages  regular-languages 

Ouvi várias explicações possíveis, então gostaria de alguma referência confiável. Atualização 05.19: Estou interessado na pergunta, porque um dos meus alunos escreveu em sua tese que o nome vem da explicação abaixo (1). Até agora, pensei / ouvi dizer que se trata de uma explicação (2). Eu me sentiria mal …

9 terminology  reference-request  history 

Parece que me lembro de uma turma de graduação que, para uma Máquina de Turing com fita finita, sempre existirá um Autômato de Estado Finito correspondente, mas não consegui encontrar isso confirmado em nenhum lugar da Internet. Este é realmente o caso ou estou me lembrando errado?

9 turing-machines  finite-automata 

Considere o seguinte problema. Dado: Um gráfico completo com pesos reais não negativos nas bordas. Tarefa: Encontre um subgráfico plano de peso máximo. ("Máximo" entre todos os subgráficos planares possíveis.) Nota: O subgrafo de peso máximo será uma triangulação; se o gráfico completo estiver em vértices, ele terá m = …

9 algorithms  graph-theory  optimization  combinatorics 

Que eu saiba, não existe um algoritmo de pior caso que resolva o seguinte problema:O(n)O(n)O(n) Dada uma sequência de comprimento consiste em números inteiros finitos, encontre a permutação em que cada elemento é menor ou igual ao seu sucessor.nnn Mas existe uma prova de que não existe, no modelo transdicotômico …

9 complexity-theory  sorting  computation-models  lower-bounds 

Atualmente, estou lendo alguns artigos sobre o agrupamento de cadeias de Markov e não vejo a diferença entre uma cadeia de Markov e um gráfico ponderado direcionado simples. Por exemplo, no artigo Agrupamento ideal do espaço de estado nas cadeias de Markov, eles fornecem a seguinte definição de CTMC (cadeia …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Este é o seguimento de outra pergunta aqui , e espero que não seja muito filosófico. Como Raphael apontou em um comentário na minha pergunta anterior, eu realmente não entendo a definição de "computável", mas de acordo com alguns artigos que li, a definição também não é muito clara quando …

9 computability  computation-models 

Em Conceitos em linguagens de programação , John Mitchell escreve que a verificação de tipo estático é necessariamente conservadora (excessivamente rigorosa) por causa do problema de parada. Ele dá como exemplo: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Alguém pode fornecer uma resposta não artificial que realmente seria uma preocupação prática? …

9 programming-languages  compilers  type-checking 

Eu sou um estudante do segundo ano do ensino médio que está interessado em ciência da computação. Desenvolvi um algoritmo interessante para o #SAT e estou implementando e fazendo um projeto da feira de ciências. Meu orientador, que é o melhor professor de ciências da minha escola e também é …

9 algorithms  satisfiability 

Considere o seguinte problema: Entrada : lista de números inteirosX,YX,YX,Y Objetivo : determine se existe um número inteiro nas duas listas.xxx Suponha que ambas as listas sejam do tamanho n . Existe um algoritmo determinístico de tempo linear para esse problema? Em outras palavras, você pode resolver esse problema em …

9 algorithms  complexity-theory  lower-bounds 

Como estou estudando para o meu curso formal de idiomas, me deparei com esses posts fascinantes ( Um Dois ) que descrevem como encontrar um número primo usando uma expressão regular . Como eu disse, um regexp , não uma expressão regular . Como uma expressão regular pode corresponder a …

9 regular-expressions 

Eu uso uma variação de um filtro mediano de 5 cruzamentos nos dados de imagem em um pequeno sistema incorporado, ou seja, x x x x x O algoritmo é realmente simples: leia 5 valores inteiros não assinados, obtenha os 2 mais altos, faça alguns cálculos sobre esses valores e …

9 algorithms  efficiency  selection-problem 

Atualmente, estou estudando para um exame de ciência da computação e me deparei com um conceito que me surpreendeu um pouco. Quando alguém digita uma tecla no teclado, um caractere ASCII é transmitido para a CPU. Após a recepção desse caractere, a CPU envia o mesmo caractere para a tela. …

9 computer-architecture  operating-systems  user-interface