Perguntas com a marcação «cc.complexity-theory»

A segurança baseada em simulação fornece uma definição de segurança mais natural e mais poderosa do que a segurança baseada em jogos. Vi as abordagens baseadas em simulação usarem as provas baseadas em jogos para provar a segurança de algumas partes do protocolo. Por exemplo, para avaliar a segurança de …

8 cc.complexity-theory  cr.crypto-security 

No artigo Relativizações do P =? NP Question , Baker et al. mostrou que existem mundos relativizados nos quais P = NP ou P ≠ NP se mantém. Todos os oráculos em suas configurações eram conjuntos recursivos. Noutra papel em relação a uma aleatória a Oracle , P Um ≠ …

8 cc.complexity-theory  computability  oracles  relativization 

(Estou no meio do meu primeiro curso teórico de cs, então peço desculpas antecipadamente pelo que provavelmente é uma pergunta estúpida.) Então, dizemos que alguma linguagem L está em P, o que significa que uma máquina de Turing pode ser construída que gera 1 se x estiver em L e …

8 cc.complexity-theory 

Eu tenho lido um artigo de um químico matemático. Ele propõe alguns índices para medir a complexidade das moléculas. A partir daqui, em vez de moléculas, pense em gráficos conectados não direcionados: um vértice é um átomo e uma aresta é uma ligação entre átomos. É possível considerar a coloração …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Esta pergunta surge de uma resposta que Joe Fitzsimons deu a uma pergunta diferente . A maioria das classes de complexidade natural possui uma "descrição intuitiva" de uma linha que ajuda a caracterizar os principais problemas dessa classe. NP é "verificação eficiente", #P é "enumerar soluções", PSPACE é "jogo" e …

8 cc.complexity-theory  quantum-computing  big-picture  qma 

Sabe-se se ESPAÇO (n) (a classe de linguagens reconhecida por TMs determinísticas com espaço linear) é um subconjunto apropriado de E (a classe de linguagens reconhecida por TMs determinística no tempo 2 ^ O (n))?

8 cc.complexity-theory  complexity-classes 

O problema # MONOTONE-2SAT é conhecido por # P-complete. Isso significa que #SAT pode ser reduzido a ele. Minha pergunta é: dada uma instância #SAT , que é a transformação que converte F na instância correspondente # MONOTONE-2SAT F ′ ?FFFFFFF′F′F' A segunda questão é: deixar ser o número de …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat 

Parametrizada máximo problema cláusulas independente: Entrada: fórmula A r-CNFSAT F tendo n variáveis e m cláusulas, k Ques: Does existe pelo menos k cláusulas de tal modo que eles são independentes entre si ou seja, não variável ocorre mais do que uma vez em todos estes cláusulas combinadas. Parâmetro: k …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Sabe-se que se então . Além disso, sabe-se que . Parece que o PCP não pode nos dizer quais problemas naturais não estão no . Gostaria de saber se é possível usar a caracterização PCP para separar o do .C o N P = P C P [ O ( …

8 cc.complexity-theory  pcp  proof-complexity 

Suponha que você tenha machos e n fêmeas. Cada pessoa tem m atributos. Cada pessoa indica um conjunto de atributos que um possível candidato deve ter. Uma correspondência é um conjunto de pares. Cada par liga um macho a uma fêmea. A satisfação de uma correspondência é o número de …

8 cc.complexity-theory  np-hardness  matching 

Recentemente, houve uma prova de queP≠ NPP≠NPP \ne NP . Pouco tempo após sua publicação, foram levantados alguns problemas com essa prova. Então ... a prova está correta ou não? (Por favor, responda somente se você tiver evidências ... essa pergunta pode demorar um pouco até ser respondida)

8 np-hardness  cc.complexity-theory