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

Existe uma porta de alçapão, como função cuja codificação complexidade é tempo polinomial nk1nk1n^{k_{1}} e invertendo complexidade (sem chave secreta) é também uma função polinomial de comprimento de entrada nk2nk2n^{k_{2}} com k1&lt; &lt; K2k1&lt;&lt;k2k_{1} << k_{2} (dizer k1= 2k1=2k_{1} = 2 e k2k2k_{2} é incondicionalmente passível de ser delimitado abaixo …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

Na etapa de redução de grau da prova de Dinur, o gráfico de entrada é transformado em um gráfico substituindo cada vértice v \ in V (G) por um conjunto de vértices, nuvem (v) , de modo que | cloud (v) | = degree_G (v) e impondo um gráfico expansor …

8 cc.complexity-theory  pcp 

Como sabemos, o Graph Isomorphism está em NP, mas não é conhecido como NP-Complete ou P-Complete. Fiquei me perguntando se existem problemas conhecidos no PSPACE, mas que não são PSPACE-Complete e não estão no PH?

8 cc.complexity-theory  complexity-classes 

A idéia básica da indução reversa é começar com todas as posições finais possíveis de um jogo em que o jogador X vence. Portanto, para o xadrez, observe todas as maneiras pelas quais as brancas podem fazer xeque-mate nas pretas. Agora trabalhe para trás em todos os movimentos / posições …

8 cc.complexity-theory  graph-algorithms  board-games 

você pode fornecer uma referência ou dar exemplos particulares de problemas completos do PSPACE que são solucionáveis ​​em tempo pseudo-polinomial? Notas adicionais: Definição de tempo pseudo-polinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Em resposta a alguns comentários mencionados anteriormente. Perguntei anteriormente se havia algum problema PSPACE-complete que tivesse um FPTAS. A resposta surpreendente foi SIM! …

8 cc.complexity-theory  complexity-classes 

A pergunta é: sempre existe um esquema de aproximação de politempo para problemas completos de NP que possuem algoritmos de tempo pseudo-polinomial (como mochila, por exemplo)?

8 cc.complexity-theory  approximation-algorithms 

No contexto da percolação de ligações em que é um número inteiro positivo, considere o problema de calcular uma aproximação de da percolação crítica dada uma dimensão de treliça e um parâmetro de precisão como entradas. Existem resultados conhecidos sobre a complexidade desse problema?ZdZd\mathbb{Z}^dddd2−k2−k2^{-k}pcpcp_cd∈Nd∈Nd\in\mathbb{N}k∈Nk∈Nk\in\mathbb{N}

8 cc.complexity-theory  randomness  percolation 

Estou procurando uma referência para a (clássica) complexidade de comunicação aleatória unidirecional quando o universo pode ser grande. Digamos que Alice e Bob tenham conjuntos de tamanho escolhidos entre um universo de tamanho U e Bob queira determinar se a interseção de seus conjuntos está vazia ou não. Gostaria prov …

8 cc.complexity-theory  reference-request  lower-bounds  communication-complexity 

O problema a seguir surgiu recentemente de minha pesquisa e eu gostaria de perguntar se alguém sabe se esse problema foi considerado antes ou se ouviu falar de algo que possa estar relacionado. A configuração geral é a seguinte. Nos é dado , uma família de subconjuntos de , para …

8 cc.complexity-theory  communication-complexity  coding-theory  query-complexity 

Existe um banco de dados de problemas conhecidos com informações sobre sua complexidade e algoritmos, problemas relacionados, referências etc. que estão disponíveis para nós? [Se não, podemos fazer um? Eu sei que isso está fora de tópico, mas seria TÃO útil]

8 cc.complexity-theory  reference-request  survey 

O problema de otimização do CSP é resistente à aproximação se for difícil vencer o fator de aproximação de uma atribuição aleatória. Por exemplo, MAX 3-LIN é resistente à aproximação, pois uma atribuição aleatória satisfaz fração das equações lineares, mas alcançar o fator de aproximação é -hard.1 / 2 1 …

8 cc.complexity-theory  approximation-hardness  max-cut 

Nós, em nosso grupo de pesquisa, estamos trabalhando na aplicação de métodos heurísticos ao problema de iluminação inversa (ou seja, dado um conjunto de restrições sobre as condições de iluminação em uma cena, encontramos os locais onde as fontes de luz devem ser colocadas e suas intensidades). para cumprir as …

8 cc.complexity-theory  np-hardness  cg.comp-geom  application-of-theory 

Esta é uma pergunta um tanto frívola que surgiu na minha cabeça depois de ler as várias respostas para "Qual é a menor classe de complexidade para a qual um circuito superlinear é conhecido? ". As respostas se referem a e, quando olhei para a entrada do zoológico , descobri …

8 cc.complexity-theory  complexity-classes 

É bem conhecido na teoria dos modelos finitos que, sem uma ordem na entrada, a expressividade é muito limitada. Por exemplo, sabe-se que é igual a PSPACE , e (sem nenhuma ordem na entrada) é apenas relacional para PSPACE , uma noção definida por Abiteboul e Vianu quando provaram seu …

8 cc.complexity-theory  descriptive-complexity  finite-model-theory 

Tenho algumas perguntas sobre a conjectura do Quantum PCP: Qual é a afirmação da conjectura quântica do PCP? Que implicações o teorema do PCP quântico teria para simular Hamiltonianos? Acredita-se que a adoção da prova de Irit Dinur do teorema clássico do PCP provavelmente leve a uma prova da conjectura …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics