Gráfico automorphism é uma permutação de nodos gráfico que induz uma bijeç~ao sobre o conjunto de arestas . Formalmente, é uma permutação de nós como ifff ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EEEEfff( u , v ) ∈ E(você,v)∈E(u,v)\in E( f( u ) , f( v ) ) ∈ E(f(você),f(v))∈E(f(u),f(v))\in E Defina...
Esta questão surgiu em minha mente depois de ler as contribuições de András Salamon e Colin McQuillan para minha pergunta anterior Contando soluções de fórmulas Monotone-2CNF . EDIT 30 th março 2011 questão Adicionado n ° 2. EDIT 29 th outubro 2010 Pergunta reformulada após proposta András...
Hiroimono é um quebra-cabeça completo de popular . Estou interessado na complexidade computacional de um quebra-cabeça relacionado.NPNPNP O problema é: Entrada : Dado um conjunto de pontos em em um x grade quadrada e inteiron knnnnnnkkk Pergunta : Existe um polígono retilíneo (seus lados...
Seja uma permutação. Observe que enquanto atua em um domínio infinito, sua descrição pode ser finita. Por descrição , quero dizer um programa que descreve a funcionalidade do \ pi . (Como na complexidade de Kolmogorov.) Veja as explicações abaixo.π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^*...
Alguém conhece um conjunto de problemas que variam uniformemente e abrangem uma das hierarquias "interessantes" de complexidade e computabilidade? Por interessante, quero dizer, por exemplo, a Hierarquia Polinomial, a Hierarquia Aritmética ou a Hierarquia Analítica. Ou talvez (N) P, (N) EXP, 2 (N)...
A resolução é um esquema para provar a insatisfação dos CNFs. Uma prova na resolução é uma dedução lógica da cláusula vazia para as cláusulas iniciais do CNF. Em particular qualquer cláusula inicial pode ser inferida, e a partir de dois cláusulas A ∨ xA∨xA \lor x e B ∨ ¬ xB∨¬xB \lor \neg{x} a...
fundo A complexidade do circuito é definida como o conjunto de famílias de circuitos (ou seja, sequências de circuitos, uma para cada tamanho de entrada) de profundidade limitada e tamanho polinomial construído usando a ventoinha ilimitada AND, OR e NOT.AC0AC0AC^0 A função de paridade com entrada...
Em uma pergunta anterior sobre hierarquia de tempo, aprendi que as igualidades entre duas classes podem ser propagadas para classes mais complexas e as desigualdades podem ser propagadas para classes menos complexas, com argumentos usando preenchimento. Portanto, uma pergunta vem à mente. Por que...
Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei,...
Declaração do problema: Seja MMM um autômato pushdown (potencialmente não determinístico) e seja AA\cal A seu alfabeto de entrada. Existe uma palavra w∈A∗w∈A∗w \in \cal A^* st |w|≤k|w|≤k|w| \leq k que é aceito por MMM ? Esse problema está completo? Foi estudado? Existe um algoritmo que permita...
Dado um circuito booleano em variáveis (que usa apenas portas NOT, AND e OR), qual é a maneira mais eficiente de extrair a fórmula booleana representada pelo circuito? Existe um algoritmo polytime para esse
Existe uma maneira de um provador convencer um verificador de que alguma expressão HORN-SAT é satisfatória? Claro que isso pode parecer bobagem, já que existem algoritmos de tempo lineares para o HORN-SAT. Por outro lado, HORN-SAT é P-completo, o que significa que não possui algoritmos de espaço...
Eu estava brincando com a pergunta muito interessante e ainda aberta " Alfabeto da máquina de Turing de fita única " (de Emanuele Viola) e surgiu com o seguinte idioma: L = { x ∈ { 0 , 1 }n st | x | = n = 2m e c o u n t 1 ( x ) = K * m ;n , m , k ≥ 1
f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )D TEuME( f( N ) ) ⊊ D TEuME( g( N ) )DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f, gf,gf,gf( n + 1 ) = o ( g( N ) )f(n+1)=o(g(n))f(n+1)=o(g(n))é NTEuME( f( n ) ) ⊊...
Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron /...
Considere o problema de conjunto dominante em gráficos gerais e seja o número de vértices em um gráfico. Um algoritmo de aproximação ganancioso fornece uma garantia de aproximação do fator , ou seja, é possível encontrar em tempo polinomial uma solução tal que , em que é o tamanho de um conjunto...
Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções...
Atualização: Parece que esse problema foi estudado e resolvido recentemente, consulte este artigo da wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E também esta pesquisa: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Suponha que, em vez do conjunto usual de palavras {0,1} *,...
Dado um gráfico dirigido e dois vértices . Um par de caminhos simples de a é separado da aresta se eles não compartilharem uma aresta.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vp1 1, p2p1,p2p_1,p_2sssttt Usando o fluxo máximo, é fácil decidir se há um par de caminhos...
Uma fórmula CNF monótona com m termos em n variáveis ( ) é uma fórmula da forma , em que cada é um OR de algum subconjunto das variáveis e varia de a . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n i 1 mx1 1, … , Xnx1,…,xnx_1,\ldots,x_nf( x1 1, … , Xn) = ⋀ CEuf(x1,…,xn)=⋀Cif(x_1,\ldots,x_n) =...