Considere uma coleção de conjuntos em um conjunto de base que e , e deixá- kF={F1,F2,…,Fn}F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\}U={e1,e2,…,en}U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}|Fi||Fi||F_i| ≪≪\ll nnnei∈Fiei∈Fie_i \in F_ikk ser um número inteiro positivo. O objetivo é encontrar uma outra...
O sistema de prova probabilística é comumente referido como uma restrição de , onde Arthur pode usar apenas bits aleatórios e apenas examinar g (n) bits do certificado de prova enviado por Merlin (consulte http://en.wikipedia.org/wiki/Interactive_proof_system#PCP
Em geral, estou interessado no método de forçar usado por Baker-Gill-Solovay e Cohen. Estou procurando o maior número possível de fontes sobre a própria técnica ou seu uso. Alguém tem
Sabe-se que minimizar o tamanho de uma expressão regular é completo no PSPACE, mesmo que tenhamos um DFA como especificação da linguagem . Quais são os resultados se o idioma for finito? Pode-se considerar esse problema em dois modelos: A entrada é todas as strings do idioma e medimos o...
Eu esperava que alguém pudesse me explicar por que exatamente o problema do produto do subconjunto é fortemente NP-difícil, enquanto o problema da soma do subconjunto é fracamente NP-difícil. Subconjunto Soma: Dado e T , existe um subconjunto X ′ tal que ∑ i ∈ X ′X={x1,...,xn}X={x1,...,xn}X =...
Há um trabalho fantástico realizado no Permanente nas últimas duas décadas. Eu tenho pensado há algum tempo sobre a possibilidade de um algoritmo Smooth P para as Matrizes Permanentes de Não-Negativas. Obviamente, existe o famoso algoritmo JSV, mas este é um exemplo. Pensando em outro trabalho...
Gráfico Isomorfismo ( ) é bom candidato para N P problema Intermédio. N P existem problemas Intermédio a menos que P = N P . Estou procurando um problema natural que é difícil para G I com redução de Karp (um problema gráfico X tal que G I < m p X
O que acontece se definirmos P P A DPPAD{\bf PPAD} de tal modo que em vez de um circuito polytime Turing-máquina / polysize, um logspace Turing-máquina ou um A C 0AC0{\bf AC^0} circuito codifica o problema? Recentemente dando algoritmos mais rápidos para Circuit satisfiability para pequenos...
FewP é a classe de NPNPNP -os problemas com polinomial ligada do número de soluções (no tamanho da entrada). Não é conhecido nenhum NPNPNP problema -completo em fewPfewPfewP . Estou interessado em até onde podemos esticar essa observação. Existe alguma naturais NPNPNP problema -completo com...
Em nosso trabalho recente, resolvemos um problema computacional que surgiu no contexto combinatório, pressupondo que , onde ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} é aversão E X P de ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . O único artigo sobre ⊕⊕P⊕P\mathsf{\oplus{}P} que...
De forma simples: Um autômato finito bidirecional pode reconhecer gráficos vertex que contêm um triângulo com estados ?o ( v 3 )vvvo(v3)o(v3)o(v^3) Detalhes De interesse aqui estão os gráficos vertex codificados usando uma sequência de arestas, cada aresta sendo um par de vértices distintos...
Na complexidade do circuito, temos separações entre potências de vários modelos de circuitos. Na complexidade da prova, temos separações entre potências de vários sistemas de prova. Mas no algorítmico, ainda temos poucas separações entre os poderes dos paradigmas algorítmicos . Minhas perguntas...
Quais são alguns dos principais exemplos de derandomização bem-sucedida ou pelo menos progresso na demonstração de evidências concretas em relação a objetivo P (não a conexão aleatória da dureza)?P=BPPP=BPPP=BPP O único exemplo que me vem à mente é o teste de primalidade determinística no tempo...
Estou estudando um problema difícil para a classe de fórmulas booleanas quantificadas com um número logarítmico de alternâncias dos quantificadores. Um problema nesta classe seria semelhante
Se você estiver familiarizado com a verificação do programa, provavelmente preferirá ler a pergunta antes do plano de fundo . Se você não estiver familiarizado com a verificação do programa, ainda poderá responder a essa pergunta, mas é provável que prefira ler o Plano de fundo...
O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são
Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM,
O problema #SAT é o problema canônico # P-complete. É um problema de função e não de decisão. Ele pergunta, dada uma fórmula booleana na lógica proposicional, quantas atribuições satisfatórias F possui. Quais são os melhores limites inferiores no
Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados com sucesso...
SACiSACiSAC^i é a classe de problemas de decisão solucionáveis por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto,...