Ciência da Computação Teórica

9
A fonte do gráfico de decomposição modular

Ao introduzir a decomposição modular do gráfico , a maioria dos autores usa o gráfico de 11 vértices, que eu copio da wikipedia. A questão é quem é (é) o criador original dele. (Não estou perguntando quem desenhou este gráfico para a wikipedia, mas a fonte original dele.) A página da wikipedia...

8
A prova de Deolalikar de 2010 de que

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...

8
Algoritmo para inverter uma função bijetiva.

Existe um algoritmo generalizado para encontrar a função inversa de uma função bijetiva arbitrária? Para que esse algoritmo seja útil, ele deve ser interrompido assim que a resposta correta for encontrada. Além do requisito de que ela deva encontrar a solução eventualmente, não há restrições de...

8
Melhor maneira de determinar se uma lista de bytes é aleatória?

Existe algum algoritmo por aí que pode retornar algum valor indicando um nível de aleatoriedade? Eu acredito que se chama Entropia de Dados . Li recentemente este artigo: http://faculty.rhodes.edu/wetzel/random/mainbody.html Sua abordagem de analisar lançamentos de moedas se aplica a bytes? Devo...

8
Complexidade do problema de casamento?

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 atributos...

8
Teorema do PCP e complexidade da prova?

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 ( l o g ( n ) ) , O ( 1 ) ] N E X P = P C P [ p o l y ( n ) , p o l y ( n ) ]...

8
Noções básicas sobre QMA

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",...