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

Considere as informações completas sobre jogos combinatórios para dois jogadores que terminam após um número polinomial de jogadas e, de maneira alternada, os jogadores escolhem um número finito de jogadas permitidas. A pergunta usual é: quão difícil é distinguir de uma determinada posição o vencedor. Outra seria: quão difícil é …

11 cc.complexity-theory  np  board-games  pspace 

Suponha que nossa entrada seja um binário e tenhamos que produzir ⌊ x / c ⌋ , onde c é um número inteiro constante. Isso é apenas uma mudança se c é uma potência de dois, mas e os outros números? Podemos fazer isso com um circuito de profundidade constante …

11 cc.complexity-theory  circuit-complexity  ac0 

Seja kkk algum campo. Como sempre, para um f∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}] , definimos L(f)L(f)L(f) como a complexidade linear de fff sobre kkk . Seja FFF o conjunto de monômios de fff , ou seja, os monômios que aparecem em fff com coeficiente diferente de zero. É verdade que ∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Como sabemos, a definição de complexidade computacional do algoritmo é quase sem controvérsia, mas a definição de complexidade computacional de reais ou os modelos de computação sobre reais não é nesse caso. Conhecemos o modelo e o modelo de Blum e Smales no livro Análise Computável. E, aparentemente, o modelo …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Considere o seguinte problema: Dadas duas cadeias x, y, decida se existe um homomorfismo da cadeia f tal que f (x) = y. É fácil mostrar que este problema está em . Há outras coisas que podemos dizer sobre esse problema? É por exemplo em C O N P , …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Isso me confunde. Um caso fácil de contagem é quando o problema de decisão está em e não há soluções.PPP Uma palestra mostra que o problema de contar o número de combinações perfeitas em um gráfico bipartido (equivalente a contar o número de capas de ciclo em um gráfico direcionado) …

11 cc.complexity-theory  graph-theory 

Cruzado do MO . Seja CCC uma classe de gráfico definida por um número finito de subgráficos induzidos proibidos, todos cíclicos (contêm pelo menos um ciclo). Existem problemas de gráfico NP-rígido que podem ser resolvidos em tempo polinomial para CCC diferente da capa Clique e Clique? Se bem me lembro, …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Depois de ler uma pergunta relacionada , sobre provas não-construtivas de algoritmos, fiquei pensando se existem métodos para mostrar a existência de máquinas de computação "pequenas" (digamos, em termos de estado) sem realmente construí-la. Formalmente: suponha que recebamos alguma linguagem e conserte algum modelo de computação (NFAs / turing machine …

11 cc.complexity-theory  automata-theory  turing-machines 

Estou procurando uma classe de complexidade que se relacione ao APX e o BPP ao P. Já fiz a mesma pergunta aqui , mas talvez o TCS seja um local mais proveitoso para respostas. A razão para a pergunta é que, em problemas práticos, geralmente é necessário encontrar respostas aproximadas …

11 cc.complexity-theory  approximation-hardness 

Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi introduziram a Hipótese de tempo exponencial (ETH) e a Hipótese de tempo fortemente exponencial (SETH). Grosso modo, o SETH diz que não há algoritmo que resolva o SAT no tempo . 1.99n1.99n1.99^n Eu queria saber o que isso significaria para quebrar SETH. Definitivamente, precisamos …

11 cc.complexity-theory  sat  exp-time-algorithms 

O problema do "segundo " é o problema de decidir a existência de outra solução diferente de uma determinada solução, por exemplo.XXX Para algumas problemas -Complete, a segunda versão solução é -completo (decidir a existência de uma outra solução para o problema conclusão quadrado latino parcial), enquanto para outros é …

11 cc.complexity-theory  unique-solution 

Estou lendo o famoso artigo Impagliazzo e Wigderson em 1997. Como sou novo nesse campo e o artigo é uma versão concisa da conferência, tenho dificuldade em seguir suas provas. Em particular, alguns de seus novos teoremas carecem de provas. Que eu saiba, não houve uma versão do diário publicada.P=BPPP=BPP\mathsf …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Suponha que recebamos uma matriz A[1..n]A[1..n]A[1..n] contendo números inteiros não negativos (não necessariamente distintos). Deixe BBB ser AAA ordenado na ordem não crescente. Queremos calcular m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. A solução óbvia é classificar AAA e depois calcular mmm . Isso fornece um algoritmo que é executado no tempo …

11 cc.complexity-theory  ds.algorithms  optimization  sorting 

Estou interessado em estudar problemas completos do isomorfismo em grafos (IG). No artigo "Problemas polinomialmente equivalentes ao isomorfismo dos grafos", de Kellogg S. Booth, (1979), provou que muitos problemas básicos estão completos no GI usando técnicas de substituição de borda, técnicas de composição etc. Eu gostaria de aprender mais algumas …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Para um problema de pesquisa local polinomial , sabemos que pelo menos uma solução (ótima local) deve existir. No entanto, muitas outras soluções podem existir. Quão difícil é contar o número de soluções para um problema completo de PLS? Estou particularmente interessado no problema de decisão: a instância desse problema …

11 cc.complexity-theory  counting-complexity  gt.game-theory