Os avanços na computação quântica levaram ao desenvolvimento de novos algoritmos clássicos. Exemplos recentes notáveis são algoritmos de inspiração quântica para álgebra linear: Um algoritmo clássico de inspiração quântica para sistemas de recomendação Algoritmos clássicos de inspiração...
Diz-se que dois grupos (G,⋅)(G,⋅)(G,\cdot) e (H,×)(H,×)(H, \times) são isomórficos se existir um homomorfismo de GGG a HHH que seja bijetivo. O problema do isomorfismo do grupo é o seguinte: dados dois grupos, verifique se são isomórficos ou não. Existem diferentes maneiras de inserir um grupo, os...
No artigo de Stephen Cook sobre o problema P vs NP, [1] ele afirma o seguinte [2]: Tese de Viabilidade: Um problema natural tem um algoritmo viável se tiver um algoritmo de tempo polinomial. Minha pergunta é: o que exatamente ele (ou, em geral, realmente, o que alguém) quer dizer com "um...
A natureza de divisão e conquista da FFT pode ser generalizada para outras transformações (z Transform, chirp, etc) automaticamente? Existe um algoritmo que inclua uma descrição da transformação (não sei quais informações seriam necessárias) e possa produzir uma função rápida como a...
Especificamente, estou pedindo recursos para aprender sobre sistemas de aprendizado de máquina que podem atualizar suas respectivas redes de crenças (ou equivalente) durante a operação. Eu já encontrei alguns, embora não os tenha marcado como favorito. Como você pode imaginar, é um tópico bastante...
O teorema da zona diz que, se apunhalamos um arranjo de n linhas com outra linha, a complexidade total de sua zona , o conjunto de todas as faces 0, 1 e 2 adjacentes a ela é O (n). A constante real é algo como 6n, pelo menos, como declarado em vários livros didáticos, e a prova é por indução com um...
Existem várias noções diferentes (provavelmente inequívocas) de universalidade computacional (veja, por exemplo, as últimas páginas de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) e não há consenso entre especialistas sobre quais noções são mais corretas (veja, por...
Seja um grafo conectado não regular cujo grau é delimitado. Suponha que cada nó contenha um token exclusivo.G=(V,E)G=(V,E)G= (V, E) Eu quero embaralhar uniformemente os tokens no gráfico usando apenas swaps locais (ou seja, troca dos tokens entre dois nós adjacentes)? Existe um limite inferior...
A maior parte da literatura parece estar preocupada com máquinas com oráculos únicos para problemas específicos, no entanto, parece haver alguns trabalhos que consideram máquinas com múltiplos oráculos. Existe um bom artigo ou tese que forneça uma visão geral do que se sabe sobre essas máquinas? Em...
Que evidência existe de que ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP é a classe de idiomas para a qual existe uma máquina de Turing probabililística que é executada em tempo polinomial e sempre responde Sim em uma entrada pertencente ao idioma e responde Não com probabilidade de pelo menos...
É possível (barra você pode fornecer um exemplo) reduzir a complexidade computacional de um problema usando um algoritmo paralelo que não requer um número de processadores em relação ao tamanho da
Por BPP / linear, refiro-me a máquinas de BPP com orientação linear, que cumprem a promessa quando recebem a orientação "correta", e a derandomização deve nos fornecer, digamos, um algoritmo P / linear ou (SUBEXP / linear). Se usarmos suposições não uniformes, acho que os resultados clássicos...
Na SODA 1995 , Jeff Erickson mostrou limites mais baixos para a satisfação linear (verificando se um subconjunto de de números reais satisfaz uma equação linear nas variáveis ). O método de prova usa infinitesimais e o princípio de transferência de Tarski .rrrrnnnrrr Alguém poderia explicar a...
Linguagens livres de contexto determinísticas (DCFL) e linguagens visivelmente pushdown (VPL) são conjuntos de linguagens formais entre linguagens livres de contexto (CFL) e linguagens regulares (REG). Existe uma notação legível que pode ser expressa em ASCII simples, como Backus-Naur-Form for CFL...
É fácil ver que para qualquer existe um mapeamento 1-1 F de {0,1} n a {0,1} n + O ( log n ), de modo que, para qualquer x, o vetor F ( x ) é " equilibrado ", ou seja, possui número igual de 1s e 0s. É possível definir tal F para que, dado x , possamos calcular F ( x ) eficientemente?nnnFFFnn^nn + O...
Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo...
Mostre uma função que é construtível no espaço, mas não no tempo.f(n)f(n)f(n) Esse problema está relacionado a uma possível separação entre as classes de complexidade DTIME (f (n)) e SPACE (f
Um sistema da estrela é uma família de n subconjuntos de N-elementos fixados S . Um sistema da estrela é gráfica, se houver algum gráfico G ( V , E ) de modo a que F é a família dos bairros de vértice em L . É N P -Complete para decidir se um determinado sistema estelar é...
Exemplos de variantes limitadas de completas de conjuntos indecidíveis:NPNPNP Problema de parada limitada = { | A máquina NTM interrompe e aceita dentro de etapas}( M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Lado a lado com limite = { | há um quadrado de um quadrado da área por ladrilhos de...
Muitos aqui provavelmente estão cientes dos recentes limites inferiores super-lineares de Alon para redes em uma configuração geométrica natural [PDF] . Gostaria de saber o que, se é que existe alguma coisa, um limite tão baixo implica na proximidade dos problemas associados ao conjunto de tampa /...