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

Dado um autômato finito (determinístico ou não determinístico, acho que isso não tem muita importância) autômato A e um limiar n , A aceita uma palavra contendo no máximo n letras distintas? (Com k letras diferentes, quero dizer que aabaa tem duas letras distintas, a e b .) Eu mostrei …

13 cc.complexity-theory  np-hardness  automata-theory 

Digamos que temos uma propriedade de gráfico que pode ser verificada em tempo polinomial não determinístico e uma prova em um sistema formal fraco (por exemplo, RCA 0 ) de que a propriedade é menor fechada. Podemos dizer algo sobre a força de um sistema formal, que é capaz de …

13 cc.complexity-theory  lo.logic 

Adleman demonstrou, em 1978, que B P P ⊆ P / p o l yBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : se uma função booleana de variáveis pode ser calculado por um circuito booleano probabilística de tamanho , em seguida, pode também ser calculado por um circuito booleano determinista de tamanho polinômio em e …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

Estou à procura de: Michael O. Rabin, "Grau de dificuldade em calcular uma função e uma ordem parcial de conjuntos recursivos", Universidade Hebraica, Jerusalém, 1960 Resumo: “Tentamos medir a quantidade de trabalho inerente à tarefa de calcular uma determinada função computável (recursiva). Uma noção de grau de dificuldade de computação …

13 cc.complexity-theory  reference-request  ho.history-overview 

Lance Fortnow afirmou recentemente que provar L! = NP deve ser mais fácil do que provar P! = NP : Separe NP do espaço logarítmico. Fiz quatro abordagens em uma pesquisa pré-blog de 2001 sobre diagonalização (Seção 3), embora nenhuma tenha sido bem-sucedida. Deve ser muito mais fácil do que …

13 cc.complexity-theory  reductions  relativization 

Quando se quer provar que um é N P -completo, em seguida, a abordagem normalizada é expor um tempo polinomial calculável redução muitos-um de uma conhecida N P problema -completo para L . Nesse contexto, não precisamos de um limite apertado no tempo de execução da redução. Basta ter qualquer …

13 cc.complexity-theory  reductions  np-complete 

P / poly é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Considere o problema em que nos é dado como entrada um gráfico acíclico direcionado , uma função de rotulação de para um conjunto com uma ordem total (por exemplo, os números inteiros) e onde nos perguntam para calcular o tipo topológico lexicograficamente menor de em termos de . Mais precisamente, …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Existe algo conhecido sobre o segundo menor - t- cut em uma rede de fluxo? Ou, de maneira mais geral, sobre esse problema:sssttt Entrada: Uma rede e um número k , todos em binário. Saída: Um k é o menor corte s - t .NNNkkkkkksssttt Um é o menor corte …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine, por exemplo, uma cadeia de …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Dado um grupo de permutações em [ n ] = { 1 , ⋯ , n } , e dois vectores de u , v ∈ Γ n onde Γ é um alfabeto finito que não é muito relevante aqui, a questão é se existe algum ¸ ∈ G tal …

13 cc.complexity-theory  graph-isomorphism  permutations 

No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis ​​com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por exemplo, Konig-Hall teorema afirma que todos os grafos bipartidos cúbicos são …

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

Dado um algoritmo em execução no tempo , podemos convertê-lo em uma família de circuitos uniformes "triviais" para o mesmo problema de tamanho, no máximo .t(n)t(n)t(n)≈ t ( n ) logt ( n )≈t(n)log⁡t(n)\approx t(n)\log t(n) Por outro lado, pode ser que tenhamos circuitos uniformes muito menores para esse problema, …

13 cc.complexity-theory  circuit-complexity  uniformity 

Fundo: A complexidade da árvore de decisão ou a complexidade da consulta é um modelo simples de computação definido da seguinte maneira. Seja uma função booleana. A complexidade da consulta determinística de f , denotada D ( f ) , é o número mínimo de bits da entrada x ∈ …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

Eu tenho uma redução do seguinte problema de partição para um determinado problema de agendamento: Entrada: Uma lista de números inteiros positivos em ordem não decrescente.uma1⩽ ⋯ ⩽ umnuma1⩽⋯⩽umana_1\leqslant\cdots\leqslant a_n Pergunta: Existe um vetor tal que( x1, … , Xn) ∈ { - 1 , 1 }n(x1,...,xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum