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

O estudo da representação sucinta de gráficos foi iniciado por Galperin e Wigderson em um artigo de 1983, onde eles provam que, para muitos problemas simples como encontrar um triângulo em um gráfico, a versão sucinta correspondente no concluída. Papadimitriou e Yanakkakis aprofundam essa linha de pesquisa e provam que, …

26 cc.complexity-theory  reference-request  complexity-classes 

Shiva Kintali acaba de anunciar um resultado (legal!) De que o isomorfismo do gráfico para gráficos de largura de árvore limitada de largura é hard L- duro≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, minha pergunta é: "Quão difícil é isso?" Sabemos que não uniforme , veja as respostas para esta pergunta . …

26 cc.complexity-theory  complexity-classes  logspace 

Uma máquina PHPHPH recebe acesso Oracle a uma função booleana aleatória f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} e dois espectros de Fourier ggg e hhh . O espectro de Fourier de uma função fff é definido como F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

Quais seriam as consequências de #P = FP? Estou interessado em conseqüências práticas e teóricas. Do ponto de vista prático, estou particularmente interessado em consequências na inteligência artificial. Ponteiros para papéis ou livros são mais que bem-vindos. Por favor, não diga que #P = FP implica P = NP, eu …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

É sabido que a conectividade st direcionada é completa. Resultado da descoberta de Reingold mostrou que não direcionado conectividade st está em . Sabe -se que a conectividade st direcionada planar está na . Cho e Huynh definiram um problema de mochila parametrizado e exibiram uma hierarquia de problemas entre …

26 cc.complexity-theory  space-bounded 

Para uma fórmula 3CNF deixar ser o número máximo de cláusulas satisfeitos em qualquer atribuição para . Sabe-se que o Max-3SAT é difícil de aproximar (sujeito a P ≠ NP), ou seja, não há algoritmo polytime cuja entrada seja uma fórmula 3CNF e cuja saída seja o número modo que …

26 cc.complexity-theory  sat 

Considere o problema mínimo de cobertura do conjunto com as seguintes restrições: cada conjunto contém no máximo kkk elementos e cada elemento do universo ocorre no máximo fff conjuntos. Exemplo: o caso k=4k=4k = 4 e f=2f=2f = 2 é equivalente ao problema de cobertura mínima de vértice em gráficos …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Existem problemas naturais no que não são (se sabe / são) no ?U P ∩ C o U PNP∩ c o NPNP∩coNPNP \cap coNPvocêP∩ c o UPUP∩coUPUP \cap coUP Obviamente, o grande problema que todos conhecem no é a versão de decisão do fatoração (não tem um fator de tamanho …

26 cc.complexity-theory  complexity-classes  np 

O seguinte problema é NP-difícil? Dada a configuração do quadro para rascunhos internacionais , encontre uma única jogada legal.n × nn×nn\times n O problema correspondente para damas americanas (também conhecidas como rascunhos em inglês) é trivialmente solucionável em tempo polinomial. Existem três grandes diferenças entre esses dois jogos.n × nn×nn\times …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Para qualquer , digo que uma sequência de números inteiros em é completa se, para cada permutação de , escrita como uma sequência de números inteiros distintos , a sequência é uma subsequência de , ou seja, existede modo que para todos os .s { 1 , … , n …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Uma característica bem conhecida das instâncias -SAT é a razão do número de cláusulas sobre o número de variáveis , ou seja, o quociente . Para cada , existe um valor limite st \ para , a maioria das instâncias é satisfatória e para maioria das instâncias não é satisfatória. …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

De acordo com D. den Hertog, Abordagem de ponto interior para programação linear, quadrática e convexa, 1994 , um programa linear com variáveis, n restrições e precisão L é solucionável em O ( n 3 L ) . Isso foi melhorado?nnnnnneueuLO ( n3L )O(n3eu)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Existe uma linguagem NP completa (de preferência natural) L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , de modo que para cada seja ? Em outras palavras, contém precisamente metade de todas as instâncias de bits.n≥1n≥1n\geq 1 L n|L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Você conhece conseqüências interessantes de conjecturas (padrão) na teoria da complexidade em outros campos da matemática (isto é, fora da ciência da computação teórica)? Eu preferiria respostas em que: a conjectura da teoria da complexidade é tão geral e padrão quanto possível; Também estou de acordo com as consequências da …

25 cc.complexity-theory  conditional-results 

Esta resposta para os principais problemas não resolvidos em ciência da computação teórica? pergunta afirma que está aberto se um problema específico no NP exigir tempo .Ω ( n2)Ω(n2)\Omega(n^2) Observar os comentários em resposta me fez pensar: Além do preenchimento e de truques semelhantes, qual é o limite inferior da …

25 cc.complexity-theory  np  p-vs-np