Estou interessado em reduzir o -Clique para o SAT sem tornar a instância muito maior.kkk O Clique está no NP, portanto pode ser reduzido para SAT usando espaço logarítmico. A simples redução de livros didáticos da Garey / Johnson aumenta a instância para o tamanho cúbico . No entanto, -Clique está...
Seja um polinômio simétrico , ou seja, um polinômio tal que para todo e todas as permutações . Por conveniência, podemos assumir que é um campo finito, para evitar problemas com o modelo de computação.f: Kn→ Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kf( x ) = f( σ( x )...
O problema parametrizado do k-FLIP SAT é definido como: Entrada: uma fórmula 3-CNF com n variáveis e uma atribuição de verdade σ : [ n ] → { 0 , 1 } Parâmetro: k Pergunta: podemos transformar a atribuição σ em uma atribuição satificante σ ′ para φ inverter o valor de verdade de no máximo k...
Existem várias classes interessantes de gráficos com largura de árvore limitada. Por exemplo, árvores (largura da árvore 1), gráficos paralelos em série (largura da árvore 2), gráficos externos (largura da árvore 2), gráficos uterplanares (largura da árvore O (k)), gráficos da largura da...
Onde posso encontrar uma introdução aos autômatos probabilísticos e o que eles reconhecem (certas funções de palavras a )? Existe um termo padrão para essas funções que são reconhecidas por autômatos probabilísticos, análogos a "linguagens regulares" para o que os autômatos finitos determinísticos...
A teoria do tipo construtivo, com sua interpretação básica sob a correspondência curry howard, consiste apenas de funções computáveis totais. Na literatura, alguns foram mencionados sobre o uso da "teoria dos tipos computacionais" para representar a não terminação em programas funcionais; no...
A inclusão inversa é óbvia, assim como o fato de que qualquer linguagem NP auto-redutível na BPP também está na RP. Isso também é conhecido por idiomas NP não
Dado um gráfico bipartido com pesos positivos, deixe com igual ao peso máximo correspondente no gráfico .G = ( U∪ V, E)G=(U∪V,E)G = (U \cup V, E) f ( S ) G [ S ∪ V ]f: 2você→ Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f( S)f(S)f(S)G [ S∪ V]G[S∪V]G[S\cup V] É verdade que é uma função...
Uma das poucas coisas que eu não gosto no livro de Okasaki sobre estruturas de dados puramente funcionais é que seu código está repleto de correspondência inesgotável de padrões. Como exemplo, darei sua implementação de filas em tempo real (refatoradas para eliminar suspensões...
Isso é inspirado por esta pergunta. Seja a coleção de todos os combinadores que possuem apenas duas variáveis ligadas. C é combinatoriamente completo?CC\mathcal{C}CC\mathcal{C} Acredito que a resposta é negativa, mas não consegui encontrar uma referência para isso. Eu também estaria interessado...
Permita que uma máquina de Turing probabilística tenha acesso a uma moeda injusta que aparece cara com probabilidade (os flips são independentes). Defina como a classe de idiomas reconhecíveis por essa máquina no tempo polinomial. É um exercício padrão para provar que:pppBPPpBPPpBPP_p A) Se é...
Suponha que eu tenha um circuito booleano que calcule alguma função f : { 0 , 1 } n → { 0 , 1 } . Suponha que o circuito seja composto de portas AND, OR e NOT com entrada e saída de ventilador no máximo 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Vamos ser um dado de...
Motivação Outro dia, eu estava viajando pela cidade com transporte público e criei um problema gráfico interessante, modelando o problema de encontrar a conexão de menor tempo entre dois lugares. Todos conhecemos o clássico "Problema do caminho mais curto": Dado um gráfico direcionado com...
Não pude encontrar na literatura uma caracterização precisa do desaparecimento da lacuna de dualidade do SDP. Ou quando é que a "forte dualidade" se aplica? Por exemplo, quando se vai e volta entre o Lasserre e o SOS SDP, em princípio, há uma lacuna de dualidade. No entanto, de alguma forma,...
Seja um polinômio sobre um campo finito fixo. Suponha que recebamos o valor de P em algum vetor y ∈ { 0 , 1 } n e no vetor y .P(x1,x2,…,xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈{0,1}ny∈{0,1}ny \in \{0,1\}^nyyy Agora queremos calcular o valor de em um vetor y ' ∈ { 0 , 1 } n tal que y e y '...
BREVE PERGUNTA: O MAJ-3CNF é um problema de PP completo com muitas reduções? VERSÃO MAIS LONGA: É sabido que o MAJSAT (decidindo se a maioria das atribuições da sentença proposicional satisfaz a sentença) é completo em PP com muitas reduções de uma e #SAT é # P completo com reduções parcimoniosas....
O fato de um problema ser concluído no tempo EXP implica que A não está em D T I M E ( 2 o ( n ) ) ?UMAUMAAUMAUMAAD TEuME( 2o ( n ))DTEuME(2o(n))DTIME(2^{o(n)}) Estou ciente de que, pelo teorema da hierarquia temporal, não está incluído em E = D T I M E ( 2 O ( n ) ) . No entanto, isso não parece...
Estimadores tendenciosos são úteis em estatística porque podem otimizar o erro ao quadrado médio do que o que um estimador imparcial pode gerenciar . Fiquei me perguntando se, em teoria, no CS, existem exemplos muito notáveis do uso eficaz de estimadores tendenciosos. Sei que essa lista pode...
No clássico, o cálculo de papel de construção existe uma regra que declara (página 7 do pdf, página 101 do documento original) Esta regra significaria que qualquer contexto é redutível a um membro desse contexto. Parece que não deveria estar correto, pois isso implicaria 1 ≅ Nat 3 ≅ Nat 1 ≅...
Houve alguma tentativa de mostrar que a aleatoriedade de Kolmogorov seria suficiente para RP ? A probabilidade usada na afirmação "Se a resposta correta for SIM, então (a máquina de Turing probabilística) retorna SIM com probabilidade ..." estará sempre bem definida nesse caso? Ou haveria apenas...