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

Sabe-se se a classificação tensorial dos tensores tridimensionais se encontra no VNP (classe valente não determinística)? Se sim, o que se sabe sobre a classificação tensorial de alta dimensão? Na verdade, estou interessado em um problema muito mais simples. Gostaria de saber se é possível construir polinômios diferentes de zero …

8 cc.complexity-theory  algebraic-complexity 

Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum 

Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui. A seguir está um resultado que eu pude encontrar [veja ref L92]: 3-A coloração de um ciclo n requer …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

Deixe que e Y ser conjuntos, e B ser uma partição de X x Y . Gostaria de provar que não existe uma distribuição de D ao longo X x Y cuja marginal é uniforme ao longo de X , e de tal modo que a distribuição ao longo B …

8 cc.complexity-theory  co.combinatorics  communication-complexity 

Ao aprender problemas de otimização, geralmente consideramos a programação linear (ou mais geralmente: otimização convexa) como o exemplo mais simples. É solucionável em tempo polinomial e possui algoritmos relativamente fáceis de entender. No entanto, a versão de decisão do LP é concluída. Isso sugere que este é um dos problemas …

8 cc.complexity-theory  optimization  linear-programming 

A classificação usando comparações de dois elementos tem uma complexidade assintótica de pior caso de (alcançada por mergesort, heapsort, inserção binária, ford-johnson, pelo menos), o que é ideal.nlog2(n)nlog2⁡(n)n \log_2(n) Se classificarmos usando comparações que classificam k elementos como blocos de construção, o limite inferior da teoria da informação é . …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Um problema de decisão tem boa caracterização se estiver em . Muitos problemas gráficos naturais têm boas caracterizações. Por exemplo, o Teorema de Kuratuwski fornece uma boa caracterização de gráficos planares. O Teorema de Konig fornece uma boa caracterização de gráficos bipartidos. O Teorema de Tutte fornece uma boa caracterização …

8 cc.complexity-theory  graph-theory  proof-complexity 

esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits, porque é …

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

A idéia de um MST com diâmetro restrito é que você mantenha todos os vértices conectados e a uma certa distância um do outro. Mas todos os papéis que eu vi cumprem a exigência de que você produza uma árvore, ao permitir ciclos pode ajudar a reduzir o diâmetro. Alguém …

8 cc.complexity-theory  reference-request  graph-theory 

Muitos resultados em criptografia dependem de resultados / conjecturas de impossibilidade na teoria da complexidade. Por exemplo, acredita-se que a criptografia de chave pública usando RSA é possível devido à conjectura sobre a inviabilidade do fatoramento (e os problemas de localização modular da raiz). Minha pergunta é : temos resultados …

8 cc.complexity-theory  cr.crypto-security  computability 

Seja uma dada matriz quadrada. Existe alguma evidência de que ultrapassar limites inferiores quadráticos para modo que possa ser difícil?B det ( B ) = por ( A )UMAAABBBdet ( B ) = por ( A )det(B)=per(A)\text{det}(B) = \text{per}(A) Existe alguma conjectura plausível que implique que provar limites mais baixos …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Considere o seguinte algoritmo, em que é uma constante fixa.ccc void partition(A[1..m], B[1..n]) { if m=1 or n=1 return k = random(min(c,m,n)); partition A into k sublists Asub[1..k] at k-1 distinct random indices partition B into k sublists Bsub[1..k] at k-1 distinct random indices for i = 1 to k …

8 cc.complexity-theory  ds.algorithms  randomness  randomized-algorithms  recursive 

Estou procurando vincular um problema em que estou trabalhando com um problema conhecido como NP-hard. Acho que posso modelar meu problema como um problema de caminho mais curto com recursos limitados. No entanto, a estrutura do meu gráfico não é completamente arbitrária. Assim, será útil saber quando o RCSP se …

8 cc.complexity-theory  graph-algorithms  np-hardness  optimization 

Embora L.Berman tenha provado que o problema de verificar ou falsificar qualquer declaração de primeira ordem sobre números reais que usa adição e comparação, mas não multiplicação, está no EXPSPACE. Foi mostrado quanto tempo ou espaço você precisaria para verificar ou falsificar qualquer declaração de primeira ordem sobre números reais …

8 cc.complexity-theory  lo.logic  model-theory 

Dado um gráfico , o problema clássico de correspondência máxima é escolher o subconjunto máximo de arestas st, para cada aresta , .M ( u , v ) ∈ M d ( u ) = d ( v ) = 1G(V,E)G(V,E)G(V,E)MMM(u,v)∈M(u,v)∈M(u,v) \in Md(u)=d(v)=1d(u)=d(v)=1d(u)=d(v)=1 Alguém estudou a seguinte variante? Para cada …

8 cc.complexity-theory  ds.algorithms  graph-theory  co.combinatorics