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

Tivemos várias perguntas sobre a relação das reduções de Cook e Karp . É claro que as reduções de Cook (reduções de Turing no tempo polinomial) não definem a mesma noção de completude de NP que as reduções de Karp (reduções de muitos-um no tempo polinomial), que geralmente são usadas. …

10 complexity-theory  reference-request  np-complete  reductions 

Estou apenas começando a entrar na teoria da computação, que estuda o que pode ser calculado, com que rapidez, usando quanta memória e com qual modelo computacional. Eu tenho uma pergunta bem básica, mas realmente espero que alguns de vocês possam me ajudar a entender o conceito por trás disso: …

10 complexity-theory  formal-languages 

Introdução e anotações: Aqui está uma versão nova e simples do meu algoritmo que parece terminar (de acordo com meus experimentos), e agora eu gostaria de provar isso. Deixe a notação referir-se a um ponto de dados dimensionais (um vetor). Eu tenho três conjuntos A, B e C, de modo …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Considere o seguinte problema cuja instância de entrada é um gráfico simples e um número inteiro natural .GGGkkk Existe um conjunto tal que seja bipartido e ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Eu gostaria de mostrar que esse problema é -completo, reduzindo …

10 complexity-theory  np-complete  reductions 

Eu faço curso de Complexidade Computacional. Meu problema é que eu não entendo o método de relativização . Tentei encontrar um pouco de intuição em muitos livros didáticos, infelizmente, até agora sem sucesso. Apreciaria se alguém pudesse esclarecer esse assunto para que eu possa continuar sozinho. Poucas frases a seguir …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Estou procurando uma especialização em Ciência da Computação Teórica; especificamente, estou interessado em teoria da complexidade e teoria probabilística de autômatos. Quando me formei em um ano, quais cursos avançados de matemática (como teoria de Galois ou análise harmônica, por exemplo) você acha que seria útil assumir os próximos dois …

10 complexity-theory  automata  education 

Qual é a complexidade da computação ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

A questão é o exercício 1.9 do livro de Arora-Barak, Computational Complexity - A Modern Approach : Defina uma máquina de RAM Turing para ser uma máquina de Turing com memória de acesso aleatório. Formalizamos da seguinte maneira: A máquina possui uma matriz infinita A que é inicializada em todos …

10 complexity-theory  turing-machines  machine-models  simulation 

Estou tentando elaborar uma tarefa (tirada do livro Algoritmos - de S. Dasgupta, CH Papadimitriou e UV Vazirani , Cap 8, problema 8.6a), e estou parafraseando o que afirma: Dado que o 3SAT permanece NP-completo, mesmo quando restrito a fórmulas nas quais cada literal aparece no máximo duas vezes, mostre …

10 complexity-theory  satisfiability  3-sat 

Formulação Alternativa Eu vim com uma formulação alternativa para o problema abaixo. A formulação alternativa é realmente um caso especial do problema abaixo e usa gráficos bipartidos para descrever o problema. No entanto, acredito que a formulação alternativa ainda é NP-difícil. A formulação alternativa usa um conjunto separado de nós …

10 complexity-theory  graphs  graph-theory  np-complete 

Eu tenho um problema em minha mente, acho que é um problema de NPC, mas não sei como prová-lo. Aqui está o problema: Existem k ilhas em um lago muito grande e n pontões em forma de leque. Esses pontões têm o mesmo tamanho, mas têm direções iniciais diferentes e …

10 complexity-theory  np-complete  np-hard 

Meu livro afirma isso Se um problema de decisão B estiver em P e A for reduzido para B, o problema de decisão A estará em P. Um problema de decisão B é NP-completo se B estiver em NP e para todo problema em A em NP, A reduz para …

10 complexity-theory  np-complete  decision-problem 

A definição de P é uma linguagem que pode ser decidida por um algoritmo de tempo polinomial. A definição de P / poli pode ser entendida como uma linguagem que pode ser decidida por um circuito de tamanho polinomial (consulte http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Agora, por que um circuito de tamanho polinomial …

10 complexity-theory  time-complexity  circuits 

Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

A Wikipedia diz que a união por classificação sem compactação de caminho fornece uma complexidade de tempo amortizada de , e que a união por classificação e compactação de caminho fornece uma complexidade de tempo amortizada de (onde é o inverso da função Ackerman). No entanto, ele não menciona o …

10 complexity-theory  time-complexity  union-find