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

Parâmetro fixo e aproximação são abordagens totalmente diferentes para resolver problemas difíceis. Eles têm motivação diferente. A aproximação procura resultados mais rápidos com a solução aproximada. O parâmetro fixo procura uma solução exata com complexidade de tempo em termos da função exponencial ou de alguma função da função polinomial de …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

É sabido que existe um algoritmo ideal para o pior caso para calcular o código de Huffman no tempo θ ( n lgn )θ(nlg⁡n)\theta(n\lg n) . Isso é aprimorado de duas formas ortogonais: Os códigos livres de prefixo ideal podem ser calculados mais rapidamente se o conjunto de frequências distintas …

13 cc.complexity-theory 

A tampa do vértice pode ser facilmente reduzida para conjunto independente e vice-versa. No entanto, no contexto de complexidade parametrizada, o conjunto Independente é mais difícil que o Vertex Cover. Existe um kernel com 2k2k2k vértices para a Vertex Cover, mas o Conjunto Independente é W 1 rígido. Como a …

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

Uma observação associada à criptografia assimétrica é que algumas funções são (acredita-se que sejam) fáceis de executar em uma direção, mas difíceis de inverter. Além disso, se houver alguma informação de 'alçapão' que permita que a operação inversa seja computada rapidamente, o problema se tornará candidato a um esquema de …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

a complexidade computacional envolve grandes quantidades de combinatória e teoria dos números, algumas ingridiências da estocástica e uma quantidade emergente de álgebra. No entanto, como analista, pergunto-me se existem aplicações de análise nesse campo, ou talvez idéias inspiradas pela análise. Tudo o que sei que corresponde ligeiramente a isso é …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

O Problema do Ciclo Hamiltoniano (HC) consiste em encontrar um ciclo que atravessa todos os vértices em um determinado gráfico não direcionado. O Travelling Salesman Problem (TSP) consiste em encontrar um ciclo que atravesse todos os vértices em um determinado gráfico ponderado pelas arestas e minimize a distância total medida …

13 cc.complexity-theory  np-hardness  hamiltonian-paths  tsp  graph-classes 

Aqui está o problema: Temos um quadrado com alguns números de 1..N em algumas células. É necessário determinar se ele pode ser concluído em um quadrado mágico. Exemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles 

Muitas classes de complexidade definidas com máquinas de Turing têm definições em termos de circuitos uniformes. Por exemplo, P também pode ser definido usando circuitos de tamanho polinomial uniforme, e similarmente BPP, NP, BQP, etc. podem ser definidos com circuitos uniformes. Então, existe uma definição baseada em circuito de L? …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

D L o g o t i m eDeuogTEume\mathsf{DLogTime} e são duas das menores classes de complexidade que temos. (Observe que a hierarquia de tempo logarítmica é igual a e esses são os dois primeiros níveis de ).G H A C 0 L HN L S g o t i …

13 cc.complexity-theory  circuit-complexity 

Digamos que temos uma rede neural de avanço de camada única com k entradas e uma saída. Calcula uma função de , é bastante fácil ver que isso tem pelo menos o mesmo poder computacional que . Apenas por diversão, chamaremos o conjunto de funções computável por uma rede neural …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

Deixe ser um polinómio de multi-variada com coeficientes de mais de um campo . A multilinearização de , denotada por , é o resultado da substituição repetida de cada x_i ^ d por d> 1 por x_i . O resultado é obviamente um polinômio multilinear.p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n)FFFp x d i d > …

13 cc.complexity-theory  polynomials 

A pergunta me ocorreu quando recebi Dana Moshkovitz responder a outro tópico . Deixe ser um NP Idioma, e deixá- R L ser o respectivo NP relação. Sabemos que existe algum polinômio p tal que:euLLReuRLR_Lppp ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | x | )( …

13 cc.complexity-theory  np 

Sabe-se que determinar se um determinado coletor triangular 3 é uma esfera tridimensional está em NP, através do trabalho de Saul Schleimer em 2004: "O reconhecimento da esfera está em NP" arXiv: math / 0407047v1 [math.GT] . Gostaria de saber se isso foi estabelecido para ser NP-completo nos últimos cinco …

13 cc.complexity-theory  reference-request  open-problem  topology 

Em um aplicativo que estou considerando, preciso conhecer a complexidade da comunicação do seguinte problema: Dado , seja o conjunto de números inteiros de a . Alice, Bob e Carol recebem um subconjunto de , denotado por , e , respectivamente. Eles querem verificar se , e formam uma partição …

13 cc.complexity-theory  communication-complexity 

Suponha que temos um conjunto S de gráficos (gráficos finitos, mas um número infinito deles) e um grupo P de permutações que atua em S. Instância: Uma permutação p em P. Pergunta: Existe um gráfico g em S que admite o automorfismo p? Esse problema é NP-completo para alguns conjuntos …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism