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

Background––––––––––––––Background_\underline{\bf Background} Em 2005, Regev [1] introduziu o problema de Aprendizagem com Erros (LWE), uma generalização do problema de Paridade de Aprendizagem com Erros. A suposição da dureza desse problema para certas opções de parâmetro agora está subjacente às provas de segurança para uma série de sistemas de criptografia pós-quantum …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

Existem alguns problemas de NP-Complete ( , , etc.) conhecidos por estarem em . E os espaços sub-lineares?S U B S E T S U MSATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Existe algum problema NP-Completo (ou NP-Intermediário) no espaço sub-linear não-determinístico ?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Em uma pergunta anterior parametrizada algoritmo para encontrar Bicliques , perguntei se não foram rápido parametrizada algoritmos para encontrar um -biclique em uma n grafo vértice e aprendeu que foi aberto se é FPT wrt k . É o mesmo verdade para contar o k × k -bicliques, ou é …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

DLOGTIME é definido em http://en.wikipedia.org/wiki/DLOGTIME é definido em http://en.wikipedia.org/wiki/L_%28complexity%29 NC e NC n são definidos em http: // en .wikipedia.org / wiki / NC_% 28complexidade% 29euL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME parece ser o menor que pode funcionar. Eu li em vários lugares queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \,embora todos os …

9 cc.complexity-theory  circuit-complexity 

No problema Max-Cut , procura-se um subconjunto S de vértices de um dado gráfico simples e não direcionado, de modo que o número de arestas entre S e o complemento de S seja o maior possível. O Max-Cut é completo em APX em gráficos de grau delimitado [PY91] e de …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Assuma uma estrutura na complexidade da comunicação em que temos dois jogadores A (piolhos) e B (ob) e um R (eferee). A e B não se comunicam diretamente entre si. Em cada rodada de comunicação, cada um deles envia uma mensagem ( , m B ) para o R. R …

9 cc.complexity-theory  reference-request  communication-complexity 

Em todos os lugares que eu li sobre o problema de corte mais escasso, ele diz apenas que o problema é conhecido por ser NP- difícil. Onde posso encontrar uma prova disso? Qual problema NP- duro conhecido reduz ao problema de corte mais esparso? Não encontrei nenhuma prova no livro …

9 cc.complexity-theory  reference-request  np-hardness 

Eu estou tentando mostrar que um determinado problema é incompreensível devido a uma redução da cobertura do conjunto. Minha redução transforma uma instância com o conjunto de aterramento de tamanho e em uma instância do meu problema em que um determinado parâmetro r é do tamanho . Em seguida, posso …

9 cc.complexity-theory  approximation-hardness  set-cover 

A complexidade de Kolmogorov de uma string não é computável. No entanto, em um subconjunto aleatório do tamanho de cadeias binárias de comprimento , quantas são esperadas para ter complexidade menor que algum número inteiro menor que (como uma função de M , n e n_ {0} )?nMMMnnnn0n0n_{0}nnnMMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

Eu gostaria de ter um limite na cardinalidade do conjunto de gráficos de disco unitário com vértices. Sabe-se que verificar se um gráfico é membro desse conjunto é difícil para o NP. Isso leva a um limite inferior da cardinalidade, assumindo P ≠ NP?NNN≠≠\neq Por exemplo, suponha que exista uma …

9 cc.complexity-theory  graph-theory 

Seja uma matriz ou com entradas . Alguém pode me fornecer uma matriz para que ? Qual é o menor B explícito conhecido como \ nome do operador {por} (A) = \ det (B) ? Alguma referência nisso com exemplos explícitos?3 × 3 4 × 4 a i j B …

9 cc.complexity-theory  algebraic-complexity  permanent 

Mesmo que não seja um ponto crucial, não vejo nenhuma literatura em torno dessa questão. Existem resultados de relativização? Não seria bem simples provar inclusão estrita, adaptando o teorema da hierarquia de tempo não determinístico, explorando todos os caminhos possíveis da máquina NP?

9 cc.complexity-theory  complexity-classes 

Parece que em linguagens de consulta populares para bancos de dados relacionais, é possível criar consultas que exigirão muitos recursos para serem respondidas. Na prática, os administradores de banco de dados gerenciam isso limitando a quantidade de memória por consulta e verificando se há consultas de longa duração, se houver …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Essa questão surgiu no contexto da criptografia, mas a seguir apresentarei em termos da teoria da complexidade, uma vez que as pessoas aqui estão mais familiarizadas com a última. Esta pergunta está relacionada a Problemas no NP, mas não na Média-P / poli e Não- uniformidade de batimento do Oracle …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Fui fascinado pela explosão extraordinária na Análise suavizada e fiquei impressionado com uma afirmação no artigo Análise suavizada da programação inteira . Isto afirmou que a Programação Linear Inteira está em P Suavizado se Limitada Polinomialmente. Isso era essencial pela virtude de que a Programação Inteira é Pseudo-polinomial! A questão, …

9 cc.complexity-theory  smoothed-analysis