Acabei de ler na Wikipedia alemã que um gráfico infinito é um gráfico com um número infinito de nós ou um número infinito de arestas. Eu só conheço aplicativos e algoritmos para gráficos finitos. Para que servem os gráficos infinitos? Quais são as aplicações desses? Não consigo imaginar...
Duas perguntas relacionadas à computação em profundidade limitada: 1) Suponha que você comece com n bits e, para começar com o bit i, pode ser 0 ou 1 com alguma probabilidade p (i), independentemente. (Se isso simplificar o problema, podemos assumir que todos os p (i) s são 0,1 ou 1/2.ou mesmo que...
O gráfico de linhas de um hipergrafo é o gráfico (simples) com arestas de pois os vértices com duas arestas de são adjacentes em se tiverem uma interseção não vazia. Um hipergrafo é um hiper-gráfico se cada uma de suas arestas tiver no máximo vértices.G H H G r rHHHGGGHHHHHHGGGrrrrrr Qual é a...
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 /...
Seja a classe de todos os idiomas regulares.REGREG\mathsf{REG} É conhecido e \ mathsf {REG} \ não \ subconjunto \ mathsf {AC} ^ 0 . Mas existe alguma caracterização para idiomas em \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset
Suponha que queremos classificar uma lista de números reais. Suponha que recebamos uma caixa preta que pode classificar números reais instantaneamente. Quanta vantagem podemos obter usando esta caixa preta?n √SSSnnnn−−√n\sqrt n Por exemplo, podemos classificar os números com apenas chamadas para a...
Dada uma família conjunto de subconjuntos de um universo . Deixe e queremos responder é .FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 Estou procurando uma estrutura de dados que me permita responder rapidamente a isso. Minha aplicação é da teoria dos grafos, onde...
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
É sabido que os palíndromos podem ser reconhecidos em tempo linear em máquinas de Turing de fitas, mas não em máquinas de Turing de fita única (nesse caso, o tempo necessário é quadrático). O algoritmo de tempo linear usa uma cópia da entrada e, portanto, também usa um espaço linear.222 Podemos...
Uma garra é um . Um algoritmo trivial detectará uma garra em . Isso pode ser feito em , onde é o expoente da multiplicação rápida de matrizes, como segue: pegue o subgrafo induzido por para cada vértice e encontre um triângulo em seu complemento. O ( n 4 ) O ( n ω + 1 ) ω N [ v ]...
Dadas as expressões regulares , existem limites não triviais no tamanho da menor gramática livre de contexto para ?R 1 ∩ ⋯ ∩ R nR1, … , RnR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnR1∩⋯∩RnR_1 \cap \cdots \cap
Qual a velocidade de um algoritmo não determinístico para um problema EXPTIME-completo para implicar ? Um algoritmo não determinístico de tempo polinomial implicaria isso imediatamente porque mas ninguém acredita que . Se eu fiz a álgebra corretamente (veja abaixo), o teorema da hierarquia de tempo...
Existe um cálculo lambda digitado em que a lógica correspondente sob a correspondência de Curry-Howard é consistente e onde existem expressões lambda tipificáveis para todas as funções computáveis? Esta é, sem dúvida, uma pergunta imprecisa, sem uma definição precisa de "cálculo lambda...
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...
Digamos que uma linguagem LLL seja P -densidade perto se houver um algoritmo de tempo polinomial que decida corretamente LLL em quase todas as entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap...
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...
A aparentemente sem sentido da mineração de criptomoedas levantou a questão de alternativas úteis, veja estas perguntas em Bitcoin , CST , MO . Gostaria de saber se existe um algoritmo que possa converter praticamente qualquer desafio computacional (cuja solução pode ser verificada com eficiência)...
por o número de palavras de comprimento em um idioma (possivelmente ambíguo) sem contexto.Wnwnw_nnnn O que se sabe sobre ?WnWnw_n Tenho certeza de que isso foi estudado muito, mas não consegui encontrar
Lembre-se do número de números primos é a função de contagem primária . Por "PRIMES in P", a computação está em #P. O problema é # P-completo? Ou, talvez, haja um motivo de complexidade para acreditar que esse problema não está # P-completo? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n) PS: Percebo...
Hoje em Nova York e em todo o mundo é comemorado o aniversário de Christos Papadimitriou. Esta é uma boa oportunidade para perguntar sobre as relações entre a classe de complexidade PPAD de Christos (e outras classes relacionadas) e os computadores quânticos. Em seu célebre artigo de 1994,...