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

como mostrar que relação existe entre "conjectura de jogos únicos" e "teorema do PCP"? como explicar "conjectura de jogos únicos" é a forma mais forte de "teorema do PCP"?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para acreditar que esta …

17 cc.complexity-theory  big-picture  structural-complexity 

Como é sabido, o PARITY não pode ser feito em circuitos de profundidade constante de tamanho poli e, de fato, os circuitos const-dept requerem número de portas EXP. E os circuitos QUANTUM? a) O PARITY pode ser feito com um circuito quântico que tenha profundidade constante e número poli de …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

Eu tenho tentado ler “ Projeto Pérolas do algoritmo funcional ” e, posteriormente, “ A álgebra da programação ”, e há uma correspondência óbvia entre tipos de dados definidos recursivamente (e polinomialmente) e objetos combinatórios, com a mesma definição recursiva e, posteriormente, levando para a mesma série formal de poder …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

É fácil ver que qualquer problema decidível no espaço de registro determinístico ( ) é executado no máximo no tempo polinomial ( P ). Muitos algoritmos de espaço de log conhecidos (por exemplo: conectividade st não direcionada, isomorfismo de gráfico plano) são executados em O ( n k ), onde …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Estou procurando descobrir se existem resultados gerais ou exemplos relativos à completude de NP do problema de encontrar uma segunda solução para um problema de NP-completo. Mais precisamente, estou interessado em qualquer problema da seguinte forma: Dada uma solução para uma instância de um problema NP-completo, existe uma solução para …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Tanto quanto eu entendo, todos sabem que as regras de pivô determinísticas para algoritmos simplex têm entradas específicas nas quais o algoritmo requer tempo exponencial (ou pelo menos não polinomial) para encontrar o melhor. Vamos chamar essas instâncias de "patológicas", já que geralmente (ou seja, na maioria das entradas) o …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

A distribuição DD\mathcal{D} é dito ϵϵ\epsilon -fool uma função se . E é dito que engana uma classe de funções se ela engana todas as funções nessa classe. Sabe-se que os espaços tendenciosos enganam a classe de paridades sobre subconjuntos. (veja Alon-Goldreich-Hastad-Peralta para algumas construções legais de tais espaços). A …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Encontrei o livro Pairwise Independence and Derandomization sobre o assunto, mas é mais orientado para a pesquisa do que orientado para o tutorial. Eu sou novo no assunto de "Derandomization" e, como tal, queria saber de qual referência começar? Prefiro um que discuta literatura e história, bem como detalhes técnicos.

17 cc.complexity-theory  derandomization  randomized-algorithms 

É sabido que o conjunto de idiomas com sistemas de prova interativa de dois provadores, nos quais o verificador é executado em tempo polinomial (MIP), é NEXP. Mas existem limites conhecidos sobre o poder de tais provas interativas quando os provadores têm um poder restrito? Por exemplo, qual é a …

17 cc.complexity-theory  interactive-proofs 

Seja 0≤p≤10≤p≤10\le p\le 1 e considere o problema de decisão CLICK p entrada: número inteiro s , gráfico G com t vértices e arestas Pergunta: O conter uma clique sobre, pelo menos, vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil sGGGsss Uma instância de CLIQUE pp_p contém uma proporção ppp de todas as arestas …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Normalmente, algoritmos eficientes têm um tempo de execução polinomial e um espaço de solução exponencialmente grande. Isso significa que o problema deve ser fácil em dois sentidos: primeiro, o problema pode ser resolvido em um número polinomial de etapas e, segundo, o espaço da solução deve ser muito estruturado, pois …

17 cc.complexity-theory 

No "último parágrafo" da "primeira página" do seguinte artigo: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP possui circuitos de tamanho polinomial, então MA = AM", Ciência da Computação Teórica, 1995. Eu encontrei uma afirmação um tanto contra-intuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap …

17 cc.complexity-theory  complexity-classes 

Nós sabemos (por agora cerca de 40 anos, obrigado Adleman, Bennet e Gill) que a inclusão BPP P / poli, e um ainda mais forte BPP / poli P / hold poli. O "/ poly" significa que trabalhamos de maneira não uniforme (um circuito separado para cada comprimento de entrada …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization