Ciência da Computação

Conforme definido pela Wikipedia, (A correspondência de Curry-Howard) é uma generalização de uma analogia sintática entre sistemas de lógica formal e cálculos computacionais que foi descoberta pela primeira vez pelo matemático americano Haskell Curry e pelo lógico William Alvin Howard. Relacionado a ele, está o cubo λ, que é uma …

8 logic  type-theory  functional-programming 

Eu tenho dois arquivos grandes que contêm parágrafos do texto em inglês: O primeiro texto tem cerca de 200 páginas e 10 parágrafos por página (cada parágrafo tem 5 sentenças). O segundo texto contém quase exatamente os mesmos parágrafos e texto que o primeiro. Também tem 200 páginas, com 10 …

8 strings  data-mining  natural-language-processing  edit-distance 

Eu quero perguntar exatamente qual é a relação entre problemas e idiomas. Sabemos que o conjunto de todos os idiomas é incontável. O conjunto de problemas também é incontável? Todo problema pode ser definido por um idioma? Um idioma pode resolver mais de um problema e vice-versa? Existe correspondência individual …

8 formal-languages 

Quero determinar se esse problema de decisão é decidível. Eu tentei estabelecer reduções de Halt e "Aceita string vazia", ​​mas ainda não encontrei uma solução. Alguém pode me ajudar?

8 computability  turing-machines  undecidability 

Estou paralisado ao analisar a complexidade de tempo do seguinte algoritmo: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, …

8 algorithm-analysis  runtime-analysis 

Muitas funções de ativação em redes neurais (sigmóide, tanh, softmax) são monotônicas, contínuas e diferenciáveis ​​(exceto algumas podem ser alguns pontos em que a derivada não existe). Entendo o motivo da continuidade e diferenciabilidade, mas realmente não consigo entender o motivo da monotonidade.

8 machine-learning  neural-networks 

Vamos imaginar que temos uma fórmula satisfatóriaF(A0,A1,...Ak,S0,...,Sn)F(A0,A1,...Ak,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n) O problema a ser resolvido é "Existe uma atribuição para variáveis (S0,...,Sn)(S0,...,Sn)(S_0,...,S_n) o que tornará F insatisfatório? ". Uma maneira de resolver é encontrar todas as soluções para F em termos de variáveis S0,...,SnS0,...,SnS_0,...,S_n e se a contagem for < 2n2n2^n, a …

8 logic  satisfiability  sat-solvers 

Eu tenho um autômato finito sem estados finais / de aceitação, então F está vazio. Como faço para minimizá-lo? Fiz isso em um teste e não sabia como abordar o problema porque o autômato não tinha estados de aceitação. Um único estado inicial com todas as transições em si é …

8 automata  finite-automata 

Por exemplo, podemos dizer que temos um programa abstrato que, dada uma string binária finita como entrada, remove todos os zeros (ou seja, 0010001101011 é avaliado como 111111), que é definitivamente uma função computável de Turing. Como um sistema de tag cíclico calcula isso (o que pode, por definição, ser …

8 computability  turing-machines 

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 

Questões: Pode haver um hash (criptograficamente seguro) que preserva a topologia de informações de {0,1}∗{0,1}∗\{0,1\}^{*}? Podemos adicionar um predicado de proximidade eficientemente computável que, dado hk(x)hk(x)h_k(x) e hk(y)hk(y)h_k(y) (ou yyy próprio) nos diz se yyyestá muito perto dexxx (por exemplo, a distância de Levenshtein ou distância de Hamming de xxx …

8 complexity-theory  cryptography  hash  string-metrics  topology 

O modelo de aprendizado provavelmente aproximadamente correto (PAC) é definido como: Uma classe de conceito CCC é dito ser aprendido por PAC se existe um algoritmo AAA e uma função polinomial poly(⋅,⋅,⋅,⋅)poly(·,·,·,·)poly(·,·,·,·)de modo que, para qualquer e , para todas as distribuições em e para qualquer conceito-alvo , o seguinte …

8 machine-learning 

Aqui está a fonte da minha pergunta. Dada uma árvore de auto balanceamento (AVL), codifique um método que retorne a mediana. (Mediana: o valor numérico que separa a metade superior de uma amostra de dados da metade inferior. Exemplo: se a série for 2, 7, 4, 9, 1, 5, 8, …

8 data-structures  search-trees  selection-problem  balanced-search-trees 

Eu tenho um gráfico não ponderado não direcionado GGG e eu quero selecionar kkk nós de GGGde modo que eles estejam emparelhados o mais longe possível um do outro, em termos de distância geodésica . Em outras palavras, eles devem ser espalhados pelo gráfico quanto possível. Deixei d( u , …

8 algorithms  graph-theory  graphs 

Dado um gráfico bipartido onde cada vértice é colorido em vermelho ou azul, estou tentando minimizar o número de vértices azuis usando a seguinte operação:G = ( A , B , E)G=(UMA,B,E)G = (A,B,E) Escolha um vértice emvumavumav_aUMAUMAA Inverta as cores de , o que significa que e todos os …

8 algorithms  graphs