Estou interessado em algoritmos eficientes para interseção do DFA em casos especiais. Ou seja, quando os DFAs se cruzam, obedecem a uma certa estrutura e / ou operam com um alfabeto limitado. Existe alguma fonte onde eu possa encontrar algoritmos nesses casos? Para não tornar a pergunta muito...
Instância: Um gráfico não direcionado GGG com dois vértices distintos s≠ts≠ts\neq t e um número inteiro k≥0k≥0k\geq 0 . Pergunta: Existe um caminho s−ts−ts-t em GGG , de modo que o caminho cruze no máximo kkk triângulos? (Para esse problema, diz-se que um caminho intercepta um triângulo se o...
Dado um gráfico e a alguém deseja calcular . ( ) A `` expansão em pequenos conjuntos conjectura "afirma que é NP-Difícil determinar se isso está abaixo de ou acima de paraδ > 0 h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) ϕ ( S ) = E ( S , ˉ S )G=(V,E)G=(V,E)G=(V,E)δ>0δ>0\delta >...
Seja um gráfico. Um conjunto vértice X ⊆ V é chamado crítico se X ≠ ∅ e nenhum vértice em V ∖ X é adjacente a exatamente um vértice em X . O problema é encontrar um conjunto vértice S ⊆ V de tamanho mínimo de tal modo que S ∩ X ≠ ∅ para cada conjunto crítico X .G=(V,E)G=(V,E)G=(V,E)X⊆VX⊆VX\subseteq...
Estou procurando uma prova de que a complexidade de Kolmogorov é incontestável usando uma redução de outro problema incontestável. A prova comum é uma formalização do paradoxo de Berry, e não uma redução, mas deve haver uma prova reduzindo algo como o Problema da Parada ou o Problema da...
Estou fazendo um curso de pós-graduação em teoria da informação e fico constantemente impressionado com a quantidade de otimização convexa existente nesse assunto. No entanto, as provas parecem evitar o uso de toda a maquinaria da teoria do relaxamento, da dualidade etc. Isso é compreensível, pois...
Estou interessado em música para computador, onde existem abordagens para tratar peças de música como sentenças em gramáticas generativas ou sistemas L. Em vez de compor, pode-se especificar uma gramática e deixar o computador gerar a música. Por exemplo, o grupo de Yale em torno do falecido Paul...
Seja um gráfico que seja a união disjunta de um clique e um conjunto independente, ou seja, GGGG = Kn1 1+ Kn2¯¯¯¯¯¯¯¯= Kn1 1+ In2.G=Kn1 1+Kn2¯=Kn1 1+Eun2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . A classe de gráficos de todos esses gráficos é caracterizada pelos subgráficos induzidos...
Considere o seguinte problema: Entrada: um gráfico simples (não direcionado) .G=(V,E)G=(V,E)G=(V,E) Pergunta: Existe uma orientação do satisfazendo a propriedade que, para cada s , t ∈ V existe no máximo um (dirigida) s - t caminhada?GGGs,t∈Vs,t∈Vs,t \in Vsssttt Isso pode ser equivalente...
Se considerarmos apenas os problemas em P, existem grandes lacunas entre o algoritmo de RAM de palavras mais rápido e o algoritmo de máquina de Turing mais rápido para problemas específicos? Estou particularmente interessado se existem grandes lacunas para problemas naturais de interesse...
Gostaria de saber se o seguinte problema é NP-difícil. Insira: G = ( V, E)G=(V,E)G = (V,E) um gráfico simples e uma coloração f: E→ { 1 , 2 , 3 }f:E→{1 1,2,3}f : E \to \{1,2,3\} das arestas ( fff não verifica nenhuma propriedade específica). Pergunta: é possível particionar EEE em | E| /...
Se eu entendi corretamente, para provar que o problema é NP difícil, você precisa escolher todos os possíveis problemas que estão no NP e depois provar que eles se reduzem a usando uma função computável de tempo polinomial, que mapeia instâncias de cada a instâncias de
Alguém já explorou qual é a complexidade do circuito de problemas clássicos de decisão, como Primes ou Isomorfismo de Gráfico, para o tamanho pequeno de entrada ?NNN Enquanto a maioria das pessoas está interessada em saber como a escala vai como , acho que também seria interessante ver como isso...
O problema padrão 1-em-3 SAT (ou XSAT ou X3SAT) é: Instância : uma fórmula CNF com todas as cláusulas contendo exatamente 3 literais. Pergunta : existe uma atribuição satisfatória configurando exatamente 1 literal por cláusula? O problema é NP-completo e permanece difícil, mesmo se nenhuma...
Sejam GGG e HHH dois gráficos conectados em rrr de tamanho . Vamos ser o conjunto de permutações P tal que P L P - 1 = H . Se L = H então Um é o conjunto de automorphisms de L .nnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG Qual é o limite superior mais conhecido no tamanho de AAA ? Existem...
Problema clássico: Seja dado um número . O problema da classe é o seguinte.kkkkkk Dado um gráfico , existe um subconjunto de vértices para que quaisquer dois vértices de sejam adjacentes?GGGSSSkkkSSS Problema do hipergrafo: Seja dado os números e . O problema -hiperclique é o...
No artigo clássico PLDI'98 de Necula, "O design e implementação de um compilador de certificação", o verificador de alto nível usa: VCGen para gerar condições de verificação (predicados de segurança) Provador do teorema da lógica de primeira ordem para provar as condições Verificador de prova LF...
Estou tentando entender os conceitos de tipos existenciais e universais, mas em todos os lugares que vejo, vejo intuições ou implementações lógicas ou operacionais (por exemplo, livro TAPL de B. Pierce), o que, bem ... é bom , mas gostaria de ver as definições (onde as vemos como conjuntos) - e a...
Creio que as respostas a essa pergunta dão classes de tal forma que, para todos os polinômios , existe um problema na classe que não possui circuitos de tamanho p ( n ) . No entanto, estou perguntando sobre o tamanho do circuito ωpppp ( n )p(n)p(n) .ω( N )ω(n)\omega \hspace{.02 in}(n) (⟨0 00...
Dada uma linguagem regular no alfabeto , seu autômato determinístico mínimo pode ser visto como um gráfico múltiplo direcionado com constante grau externoe um estado inicial marcado (esquecendo rótulos de transições, estados finais). Mantemos o estado inicial porque cada vértice deve ser acessível...