Aplicações de números adic no CS
Existem exemplos concretos (ou uma rica fonte de) de aplicação de números adic na ciência da
11
Existem exemplos concretos (ou uma rica fonte de) de aplicação de números adic na ciência da
Qual é a relação entre cálculo lambda simplesmente digitado e lógica de ordem superior? Sob Curry-Howard, parece que o cálculo lambda simplesmente digitado corresponde à lógica proposicional. Como isso está relacionado à lógica de ordem superior? De acordo com este tutorial de Geuvers:...
Considere o seguinte problema: Dadas duas cadeias x, y, decida se existe um homomorfismo da cadeia f tal que f (x) = y. É fácil mostrar que este problema está em . Há outras coisas que podemos dizer sobre esse problema? É por exemplo em C O N P , ou mesmo P ?NPNPNPcoNPcoNPcoNPPPP Esse...
Como sabemos, a definição de complexidade computacional do algoritmo é quase sem controvérsia, mas a definição de complexidade computacional de reais ou os modelos de computação sobre reais não é nesse caso. Conhecemos o modelo e o modelo de Blum e Smales no livro Análise Computável. E,...
Seja kkk algum campo. Como sempre, para um f∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}] , definimos L(f)L(f)L(f) como a complexidade linear de fff sobre kkk . Seja FFF o conjunto de monômios de fff , ou seja, os monômios que aparecem em fff com coeficiente diferente de zero....
Suponha que nossa entrada seja um binário e tenhamos que produzir ⌊ x / c ⌋ , onde c é um número inteiro constante. Isso é apenas uma mudança se c é uma potência de dois, mas e os outros números? Podemos fazer isso com um circuito de profundidade constante para cada c ? E quanto a c = 3...
Considere as informações completas sobre jogos combinatórios para dois jogadores que terminam após um número polinomial de jogadas e, de maneira alternada, os jogadores escolhem um número finito de jogadas permitidas. A pergunta usual é: quão difícil é distinguir de uma determinada posição o...
Estou pensando em idéias sobre algoritmos quânticos exatos. Em particular, estou considerando as prováveis limitações de , que consiste em linguagens exatamente decidíveis por famílias de circuitos quânticos uniformes em tempos polimórficos sobre um conjunto de portas finitas...
Eu gostaria de saber (relacionado a essa outra pergunta ) se os limites inferiores eram conhecidos para o seguinte problema de teste: um deles recebe acesso de consulta a uma sequência de números não negativos e , com a promessa de que ou . ε ∈ ( 0 , 1 ) Σ n k = 1 uma k = 1 Σ n k = 1 uma k ≤ 1 -...
O problema do isomorfismo inverso semigrupo finito é GI-completo ? Aqui, supõe-se que os semigrupos inversos finitos sejam dados por suas tabelas de
A prova de Goldreich et al. De que três cores têm zero provas de conhecimento usa pouco comprometimento para uma coloração inteira do gráfico em cada rodada [1]. Se um gráfico possui vértices e e arestas, um hash seguro possui b bits e buscamos a probabilidade de erro p , o custo total da...
Atualmente, estou ouvindo a palestra de Alan Kays: "É realmente complexo ou acabamos de complicar?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), onde ele diz que "os semáforos eram uma má idéia e havia algo chamado pseudo-tempo que era superior" (às 51:40 no vídeo vinculado). Talvez eu...
Uma árvore de decisão de leitura única é definida da seguinte maneira: TrueTrueTrue e são árvores de decisão de leitura única.FalseFalseFalse Se e são árvores de decisão de leitura única e é uma variável que não ocorre em e , também é uma árvore de decisão leitura...
Me deparei com o seguinte problema no meu antigo livro didático de algoritmo tcheco, que infelizmente não apresentava dicas ou soluções. "Definimos palavras de Fibonacci como , F 1 = b , F n + 2 = F n F n + 1 , onde a e b são letras gerais. Como em uma determinada string (sobre um alfabeto...
Qual é a diferença entre framework lógico e teoria de tipos? Ambos têm tipos, termos e baseiam-se no cálculo lambda de tipo dependente. Temos Edinburg LF, que é baseado no cálculo lambda-pi, no entanto, parece-me que há alguma diferença sutil
Eu estava pensando em qual classe esta língua pertence: é um grafo, k é um número natural e k é o número cromático de G }L={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Pensei em como (1) "não há coloração de k-1 cores" e (2) "não há coloração de k- cores". Agora, (1) é coNP e...
A função inversa de Ackermann ocorre frequentemente ao analisar algoritmos. Uma ótima apresentação está aqui: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗n\alpha_3(n) =...
A maioria das teorias de tipos que conheço são predicativas, pelo que quero dizer que Void : Prop Void = (x : Prop) -> x não é bem digitado na maioria dos provadores de teoremas, pois esse tipo pi pertence ao mesmo universo Prope não é o caso Prop : Prop. Isso os torna predicativos e não...
Quando olho para a análise de Earley, ela parece muito elegante e me pergunto por que as técnicas de GLR se tornam populares? Alguém sabe o que havia de errado com Earley analisando que Tomita criou o GLR? Atuação? Todas as publicações sobre essa discussão são muito
Eu sou um estudante de graduação em ciência da computação teórica e, em particular, algoritmos de aproximação. Percebo agora que estou mais interessado em matemática pura (posso dizer isso porque pareço ter gostado mais de cursos de matemática do que os cursos de ciências da computação). Eu...