Existe uma grande literatura sobre "teste de propriedade" - o problema de fazer um pequeno número de consultas de caixa preta em uma função para distinguir entre dois casos:f: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff é membro de alguma classe de funçõesCC\mathcal{C} fff é de todas as...
A Wikipedia fornece exemplos de problemas em que a versão de contagem é difícil, enquanto a versão de decisão é fácil. Algumas delas estão contando combinações perfeitas, contando o número de soluções para 222 SAT e o número de classificações topológicas. Existem outras classes importantes...
Uma cadeia de adição é uma sequência de números inteiros positivos que e cada índice , temos para alguns índices . O comprimento da cadeia de adição é ; o alvo da cadeia de adição é .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i( x1, x2, … , Xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)x1= 1x1=1x_1 = 1i ≥...
Enquanto o teorema de Adleman mostra, que , não conheço nenhuma literatura que investigue a possível inclusão de B Q P ⊆ P / poli . Que consequências teóricas da complexidade essa inclusão teria?B P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P /...
Um problema clássico na teoria da probabilidade é expressar a probabilidade de um evento em termos de eventos mais específicos. No caso mais simples, pode-se dizer P[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]P[UMA∪B]=P[UMA]+P[B]-P[UMA∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Vamos escrever A...
Estou procurando uma boa pesquisa sobre algoritmos e complexidade da álgebra linear (operações como rank, inverso, autovalores, ... para matrizes booleanas, e números inteiros / racionais) com ênfase nos algoritmos paralelo ( hierarquia N C ) e polytime . Não consegui encontrar uma...
Na classe de complexidade , existem alguns problemas conjecturados para NÃO pertencer à classe N C , ou seja, problemas com algoritmos paralelos determinísticos. O problema de fluxo máximo é um exemplo. E acredita-se que haja problemas em N C , mas uma prova ainda não foi
Houve pesquisas para implementar construções de extratores aleatórios? Parece que as provas do extrator fazem uso do Big-Oh, deixando a possibilidade de grandes constantes ocultas, tornando as implementações programáticas potencialmente irrealistas. Algum contexto: estou interessado em usar...
O seguinte problema interessante surgiu recentemente em minha pesquisa: INSTÂNCIA: Gráfico .G(V,E)G(V,E)G(V, E) SOLUÇÃO: Uma conclusão do ciclo ímpar sem corda, definida como um superconjunto do conjunto de arestas modo que o gráfico completo tenha a propriedade de que toda aresta em esteja...
Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade...
Quais são alguns resultados conhecidos para encontrar um subarray n-dimensional exato dentro de uma matriz n-dimensional? Em 1D, é apenas um problema de correspondência de cadeias, o KMP faz isso em tempo linear. Em 2D, este artigo mostrou que isso pode ser feito em tempo linear com pouco espaço...
Suponha que um gráfico com vértices seja apresentado como um fluxo de arestas, mas várias passagens são permitidas no fluxo.n mGGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan e Sridar Rajagopalan observaram que o espaço é necessário para determinar se existe um caminho entre dois vértices...
Estou procurando um material tutorial que cubra as provas de correção do compilador, de preferência usando métodos denotacionais, no nível de um estudante iniciante. Como alternativa, você conhece alguns exemplos simples de compilador que eu poderia usar para ilustrar os problemas? (O primeiro...
Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . (Esta pergunta é um pouco de "pesquisa".) Atualmente, estou trabalhando em um problema em que estou tentando
Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre...
Qual é a complexidade do tempo (não a complexidade da consulta) do algoritmo de Grover? Parece-me claro que é pois existem iterações e cada iteração requer o uso da operação de reflexão que, por sua vez, leva tempo usando qualquer conjunto padrão de portas universais.Ω( √Ω ( log( N)...
Existe alguma pesquisa de algoritmos para computar interpolantes? E os trabalhos em apenas um algoritmo? O caso em que estou mais interessado é em e C = q , além da restrição de que o interpolante seja o menor possível. (Conheço o artigo de McMillan de 2005 , que descreve como obter interpolantes,...
Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado...
Pergunta Principal / Geral Seja LLL uma linguagem. Defina os idiomas LiLiL_i com L0=LL0=LL_0 = L e Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} para i≥1i≥1i \geq 1 . Considere L = ⋃ L i . Então, nós repetidamente "incorporar" L para dentro de si para se obter...
Computar a constante Cheeger de um gráfico , também conhecida como constante isoperimétrica (porque é essencialmente uma relação área / volume mínima), é conhecida por ser NP-completa. Geralmente é aproximado. Estou interessado em saber se os algoritmos polinomiais exatos são conhecidos para...