Razborov provou que todo circuito monótono que calcula a função de correspondência perfeita para gráficos bipartidos deve ter pelo menos portas (ele chamou de "permanente lógico"). Foi provado um limite inferior melhor para o mesmo problema desde então? (diga ?) Até onde me lembro, esse problema...
Existem 4 restrições diferentes que podemos ter ao definir o Random K-SAT. 1) O número total de literais em uma determinada cláusula é exatamente K ou AT no máximo K 2) Um determinado literal pode ser usado com ou sem substituição na mesma cláusula (A ou A ou A) 3) Uma determinada variável pode...
É sabido que as fórmulas CNF podem ser divididas em 2 classes amplas: aleatória versus estruturada. As fórmulas estruturadas de CNF, em oposição às fórmulas aleatórias de CNF, exibem algum tipo de ordem, mostrando padrões que dificilmente acontecerão por acaso. No entanto, pode-se encontrar...
Esta pergunta é semelhante a problemas difíceis de NP em árvores : Há um grande número de problemas NP-completos que são tratáveis nas cografias . Existem problemas conhecidos que permanecem NP-completos quando restritos a cografias? Para ser mais preciso, estou interessado em exemplos em que a...
Considere o seguinte problema, Dado um conjunto de números positivos { a 1 , … , a n } em que k ≥ 3 é uma constante, queremos particionar o conjunto em m subconjuntos de tamanho k, para que o produto da soma de cada subconjunto é maximizado.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n...
Estou procurando lógicas modais, axiomatizadas por um conjunto finito de axiomas de profundidade de aninhamento modal um e cujo problema de satisfação / derivabilidade dificilmente estará no PSPACE. Sem a restrição na profundidade de aninhamento modal, isso não é um problema, consulte, por exemplo,...
Dada uma sequência de números, ela pode ser classificada com comparações e swaps / movimentos? Qualquer ponteiro para publicações sobre esse assunto ou contra-argumentos mostrando um limite inferior ajudaria.O ( n ln n ) O ( n ) Ω ( n ln n )nnnO ( n lnn )O(nlnn)O(n \ln n)O ( n )O(n)O(n)Ω ( n lnn...
AC0AC0AC^0 é a classe de circuitos de tamanho polinomial de profundidade constante com portas NOT e portas AND e OR sem ventoinha, em que entradas e portas também possuem saída fanout ilimitada. Agora considere uma nova classe, chame-a de que é como mas para quais entradas e portões têm fanout no...
Sabemos que se , todo o PH entra em colapso. E se a hierarquia polinomial entrar em colapso parcial? (Ou como entender que o PH poderia entrar em colapso acima de um certo ponto e não abaixo?)P= NPP=NPP=NP Em palavras, quais seriam as consequências de e ?P ≠ N PNP= c o NPNP=coNPNP=coNPP≠...
SAT exclusivo é o problema bem conhecido: dada a fórmula CNF , é verdade que tem exatamente um modelo?FFFFFFF Estou interessado no problema «Exatamente -SAT»: dada uma fórmula CNF e um número inteiro , é verdade que tem exatamente modelos?F m > 1 F mmmmFFFm > 1m>1m>1FFFmmm Ambos os...
Quais são os problemas padrão dos quais podemos reduzir para provar limites inferiores?Ω ( n logn )Ω(nlogn)\Omega(n\log n) Obviamente, declare outros problemas além de classificação e distinção de elementos.
Como é sabido, os problemas de otimização de NP-hard podem ter muitas proporções de aproximação diferentes, variando de ter um PTAS a não ser aproximado em nenhum fator. No meio, que tem várias constantes, , p ó l y ( n ) , etc.O ( logn )O(logn)O(\log n)p o l y( N )poly(n)poly(n) O que se sabe...
O peso de uma cadeia binária x ∈ { 0 , 1 } n é o número de unidades na cadeia. O que acontece se estivermos interessados em calcular uma função monótona em entradas com poucas?| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Sabemos que decidir se um gráfico possui uma classe é difícil para...
Geralmente, é mais simples argumentar sobre cálculo onde a limitação é a finitude da computação, em vez de um limite como "computável em quantidade de tempo polinomial". Na teoria das linguagens formais, por exemplo, em vez de usar o para caracterizar o período aperiódico, é mais fácil usar...
Digamos que um tenha um idioma , mas não se sabe quais strings são realmente parte do idioma. Tudo o que se tem é uma vista finita da língua: um conjunto finito de cordas Um ⊆ L que são conhecidos por estar na língua, e um conjunto finito de cadeias B ⊆ ( Σ * ∖ G ) que são conhecidos por não ser no...
Arora e Barak mostram que pode ser expresso como ou seja, o conjunto de idiomas que apresentaram reduções aleatórias em 3SAT. também é uma generalização aleatória natural de na medida em que você substitui o verificador determinístico por um verificador
Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode...
Definir um "problema" para ser um algoritmo aceitar um número natural e retornando 0 ou 1, o qual devolve uma em pelo menos uma n ∈ N . Qualquer um desses n é chamado de "solução" para AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Definir um "solucionador de problemas universal" para ser um algoritmo...
Dado um gráfico direcionado com n nós, de modo que cada vértice tenha exatamente duas arestas de saída e um número natural N codificado em binário, dois vértices s e t, Quero contar o número de caminhos (não necessariamente simples) de s a t em N etapas. Este é um problema # P-difícil? Ou,...
Sabe-se agora que o limite inferior do adversário geral caracteriza a complexidade da consulta quântica devido ao trabalho inovador de Reichardt et al. A mesma linha de trabalho também estabelece conexões com a estrutura do programa span para projetar algoritmos quânticos. Muitos algoritmos...