O problema Nem todos iguais -SAT (NAE k -SAT), dado um conjunto C de cláusulas sobre um conjunto X de variáveis booleanas, de modo que cada cláusula contém no máximo k literais, pergunta se existe uma atribuição de verdade das variáveis, de forma que cada cláusula contém pelo menos um literal...
Alguns de vocês podem estar seguindo esta pergunta , que foi encerrada por não estar em nível de pesquisa. Então, estou extraindo a parte da pergunta que está no nível da pesquisa. Além das técnicas "mais simples", como reduzir a classificação ou um problema EXPTIME-complete, quais técnicas foram...
Alguém pode sugerir uma pesquisa boa e recente sobre a contagem de problemas e / ou problemas que são #P.
Sabe-se que o ciclo hamiltoniano (presunto abreviado) é NP-completo e que o ciclo planar de presunto é NP-completo. A prova para o Ciclo de Presunto Planar não é do Ciclo de Presunto. Existe um gadget legal que, dado um gráfico G, substitua todos os cruzamentos por algum gadget planar, para que...
I know that trivially the OR function on nnn variables x1,…,xnx1,…,xnx_1,\ldots, x_n can be represented exactly by the polynomial p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) as such: p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right), which is of...
O acesso a um oráculo forneceria uma grande aceleração super polinomial para tudo em (assumindo que o conjunto não esteja vazio). No entanto, é menos claro quanto beneficiaria desse acesso ao oracle. Obviamente, a aceleração em não pode ser super-polinomial, mas ainda pode ser polinomial. Por...
Quais são as razões convincentes para acreditar em ? L é a classe de algoritmos de espaço de log com ponteiros para a entrada.L≠PL≠PL\neq P Suponha L = P no momento. Como seria um algoritmo de espaço de log para um problema de P-complete em seus contornos
Considere a seguinte tarefa computacional: Queremos provar uma fórmula 3-SAT de variáveis (uma variante: variáveis cláusulas) com relação à distribuição uniforme de probabilidade, condicionada à satisfação da fórmula:n mnnnnnnmmm Q1: Isso pode ser alcançado com eficiência por um computador...
Na sequência de uma pergunta anterior , Quais são os melhores limites inferiores do espaço atual para o SAT? Com um limite inferior do espaço, quero dizer aqui o número de células da worktape usadas por uma máquina de Turing que usa um alfabeto binário da worktape. Um termo aditivo constante é...
Scott Aaronson propôs um desafio interessante : podemos usar os supercomputadores hoje para ajudar a resolver problemas de CS da mesma maneira que os físicos usam grandes coletores de partículas? Mais concretamente, minha proposta é dedicar parte do poder computacional do mundo a uma tentativa...
Estou pensando em classes de gráficos que podem ser caracterizadas por subgráficos proibidos. Se uma classe de gráfico possui um conjunto finito de subgráficos proibidos, existe um algoritmo de reconhecimento de tempo polinomial trivial (pode-se usar apenas força bruta). Mas uma família infinita...
O teorema original da hierarquia de tempo não determinística é devido a Cook (o link é para S. Cook, uma hierarquia para complexidade de tempo não determinística , JCSS 7 343–353, 1973). O teorema afirma que, para qualquer número real e , se então NTIME ( ) está estritamente contido em NTIME ( ).r...
Eu estava lendo " O P Versus NP é formalmente independente? ", Mas fiquei intrigado. É amplamente aceito na teoria da complexidade que . Minha pergunta é sobre o que se não for possível (digamos no ). (Vamos supor que descobrimos apenas que é independente do mas não há mais informações sobre como...
Em um jogo de defesa de torre, você tem uma grade NxM com um início, um acabamento e várias paredes. Os inimigos seguem o caminho mais curto do início ao fim sem passar por nenhuma parede (eles geralmente não são restritos à grade, mas por uma questão de simplicidade, digamos que sim. Em ambos...
Ao ler uma resposta de Peter Shor e uma pergunta anterior de Adam Crume , percebi que tenho alguns conceitos errados sobre o que significa ser PP\mathsf{P} duro. Um problema é PP\mathsf{P} difícil se houver algum problema em PP\mathsf{P} com reduções de LL\mathsf{L} (ou se você preferir...
Fiquei me perguntando quais papéis eu deveria ler para entender esta pergunta Uma conexão inesperada com outras áreas da matemática, como geometria algébrica ou cohomologia superior. Talvez até uma área da matemática ainda não desenvolvida. Talvez alguém desenvolva uma direção totalmente nova...
Muitos problemas de gráficos algorítmicos podem ser resolvidos em tempo polinomial, tanto em gráficos não ponderados quanto em ponderados. Alguns exemplos são caminho mais curto, árvore de abrangência mínima, caminho mais longo (em gráficos acíclicos direcionados), fluxo máximo, corte mínimo,...
Em testes propriedade gráfico, um algoritmo de consulta um gráfico de alvo para a presença ou ausência de arestas e necessidades para determinar se o alvo quer tem uma certa propriedade ou é -muito de ter a propriedade. (Um algoritmo pode ser solicitado a ter sucesso com um erro lados ou dois...
Esta pergunta é uma continuação da pergunta sobre algoritmos de DNA feita por Aadita Mehra . Nos comentários, Joe Fitzsimmons disse, em parte: [O] raio do sistema deve escalar proporcionalmente à massa para evitar isso. A potência computacional escala no máximo linearmente na massa. Assim, sua...
Em A complexidade computacional da óptica linear ( ECCC TR10-170 ), Scott Aaronson e Alex Arkhipov argumentam que se computadores quânticos podem ser eficientemente simulados por computadores clássicos, a hierarquia polinomial entra em colapso para o terceiro nível. O problema motivador é a...