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

Se considerarmos apenas os problemas em P, existem grandes lacunas entre o algoritmo de RAM de palavras mais rápido e o algoritmo de máquina de Turing mais rápido para problemas específicos? Estou particularmente interessado se existem grandes lacunas para problemas naturais de interesse geral.

9 cc.complexity-theory  ds.algorithms 

Instância: Um gráfico não direcionado GGG com dois vértices distintos s≠ts≠ts\neq t e um número inteiro k≥0k≥0k\geq 0 . Pergunta: Existe um caminho s−ts−ts-t em GGG , de modo que o caminho cruze no máximo kkk triângulos? (Para esse problema, diz-se que um caminho intercepta um triângulo se o caminho …

9 cc.complexity-theory  graph-algorithms 

Seja um gráfico. Um conjunto vértice X ⊆ V é chamado crítico se X ≠ ∅ e nenhum vértice em V ∖ X é adjacente a exatamente um vértice em X . O problema é encontrar um conjunto vértice S ⊆ V de tamanho mínimo de tal modo que S …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

Vamos fixar uma codificação de máquinas de Turing e uma máquina de Turing universal, U, que na entrada (T, x) produz qualquer saída de T na entrada x (possivelmente ambas funcionando para sempre). Defina a complexidade de Kolmogorov de x, K (x), como a duração do programa mais curto, p, …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

Estou estudando a Conjectura de Jogos Exclusivos e a famosa redução para Max-Cut de Khot et al. Em seus artigos e em outros lugares da Internet, a maioria dos autores usa (o que para mim é) uma equivalência implícita entre a redução do MAX-CUT e a construção de testes específicos …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Qual é o algoritmo de isomorfismo de gráfico não direcionado mais rápido conhecido?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

O que se sabe sobre a complexidade de resolver um sistema de equações lineares sobre algum campo finito? Eu sei que existe um algoritmo (Gauss) que calcula uma solução e que para sistemas esparsos existem algoritmos ainda melhores. No entanto, eu queria saber se havia alguma caracterização teórica da comlexidade …

9 cc.complexity-theory  linear-equations 

Peço desculpas, essa é uma pergunta "suave". A teoria da informação não tem conceito de complexidade computacional. Por exemplo, uma instância do SAT ou uma instância do SAT mais um pouco indicando satisfação carregam a mesma quantidade de informações. Existe uma maneira de formalizar o conceito de "polinomialmente conhecível"? Tal …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Qual é o melhor resultado para o número de portas em um circuito multiplicando dois números inteiros de n bits? O método óbvio gera portas . Existem abordagens melhores com as portas θ ( n log n log log n ) e θ ( n log n 2 log ∗ …

9 cc.complexity-theory  circuit-complexity 

Digamos que temos uma função booleana f: { - 1 , 1 }n→ { - 1 , 1 }f:{-1 1,1 1}n→{-1 1,1 1}f:\{-1,1\}^n\rightarrow \{-1,1\} e aplicamos a restrição aleatória δδ\delta em fff . Além disso, diga que a árvore de decisão TTT que calcula fff diminui para o tamanho O …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Um homomorfismo de um gráfico G=(V,E)G=(V,E)G = (V, E) para um gráfico é um mapeamento de para modo que se e são adjacentes em então e são adjacentes em . Um endomorfismo de um gráfico é um homomorfismo de para si mesmo; é livre de ponto fixo se não houver …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

No problema da camarilha plantada, é necessário recuperar uma kkk planta plantada no gráfico aleatório Erdos-Renyi G(n,p)G(n,p)G(n,p) . Isso foi analisado principalmente para p=12p=12p=\frac{1}{2} , caso em que se sabe que pode ser resolvido em tempo polinomial sek&gt;n−−√k&gt;nk > \sqrt{n} e conjecturado com força parak&lt;n−−√k&lt;nk< \sqrt{n} . Minha pergunta é: …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Quais são algumas das melhores fontes (livros e documentos) para motivar e aprender a complexidade da comunicação por si só e em conexão com a sua relação com a teoria da complexidade computacional?

9 cc.complexity-theory  reference-request  communication-complexity  books 

Todos sabemos que a complexidade mínima de um algoritmo de classificação baseado em comparação é Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n) comparações. Estou tentando fazer uma classificação às cegas , ou seja, dado um número nnn saída de um circuito (com portas booleanas, aritméticas e de "comparação") que classifica uma lista de nnn …

9 cc.complexity-theory  terminology  sorting 

Do natural Provas , Relativização e algebrização também afectar a separação de outras classes de complexidade como etc?L ≠ NL ≠ NP≠ c o NP≠ PH≠ PSPA CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Por exemplo barreira prova natural deve afectar qualquer prova de , uma vez que irá separar …

9 cc.complexity-theory  barriers