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

Suponha que eu tenho um gráfico com M ( L ) do (desconhecido) conjunto de matchings perfeitos de G . Suponha que este conjunto não esteja vazio; então, como é difícil amostrar uniformemente aleatoriamente a partir de M ( G ) ? E se eu estiver bem com uma distribuição …

13 algorithms  complexity-theory  matching  sampling 

Sou um pouco novo, mas muito interessado no campo da teoria da computação e da complexidade, e quero esclarecer meu entendimento sobre como classificar problemas e quão fortemente os problemas estão relacionados à máquina que está sendo usada para resolvê-los. Meu entendimento Máquina de Turing padrão - uma máquina de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Este é o meu primeiro post depois de ser um usuário passivo há algum tempo. Desejo fazer algumas perguntas, se puder. Eu não sou um matemático, mas minha pergunta se refere ao campo da matemática / ciência da computação. Em particular, o problema P vs NP. Estou ciente de que …

13 complexity-theory  p-vs-np 

Bruinier e Ono descobriram uma fórmula algébrica para a função de partição , que foi amplamente divulgada como um avanço. Não consigo entender o documento, mas isso tem consequências algorítmicas para o cálculo rápido da função de partição?

13 algorithms  complexity-theory  number-theory 

Fiz uma pergunta semelhante no cstheory.SE . De acordo com esta resposta no Stackoverflow, existe um algoritmo que em uma linguagem de programação funcional pura e não preguiçosa possui uma complexidade , enquanto o mesmo algoritmo na programação imperativa é . Adicionar preguiça à linguagem FP tornaria o algoritmo .Ω(nlogn)Ω(nlog⁡n)\Omega(n …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Considere a seguinte versão do problema Clique, em que a entrada é do tamanho e solicitamos que você encontre um clique do tamanho . A restrição é que o procedimento de decisão não pode alterar o gráfico de entrada em nenhuma outra representação e não pode usar nenhuma outra representação …

13 complexity-theory  time-complexity 

O Problema Pós Correspondência (PCP) é indecidível. A versão limitada do PCP é -completa e a versão marcada do PCP (as palavras de uma das duas listas devem diferir na primeira letra) está em [1].N PNP\mathrm{NP}P S P A C EPSPUMACE\mathrm{PSPACE} Essas versões restritas são usadas para provar alguns resultados …

13 complexity-theory  computability  reference-request 

O problema 3-partição pergunta se um conjunto de inteiros pode ser dividida em n conjuntos de três números inteiros tais que cada conjunto somas até algum dado número inteiro B . O problema da partição balanceada pergunta se 2 n inteiros podem ser particionados em dois conjuntos iguais de cardinalidade, …

13 complexity-theory  reductions  np-complete 

O conhecido problema SAT é definido aqui para fins de referência. O problema DOUBLE-SAT é definido como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Como provamos que é NP-completo? Mais de uma …

13 complexity-theory  np-complete  satisfiability 

Ao relatar a complexidade algorítmica de um algoritmo, assume-se que os cálculos subjacentes são executados em alguma máquina abstrata (por exemplo, RAM) que se aproxima de uma CPU moderna. Tais modelos nos permitem relatar a complexidade de algoritmos no tempo e no espaço. Agora, com a expansão das GPGPUs , …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Pelo que li no preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Esta é a definição do PTAS : Um esquema de aproximação de tempo polinomial ( PTAS ) para …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Qual é a complexidade de e \ text {MAX-2-XOR-SAT} ? Eles estão em P? Eles são NP-difíceis?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Para formalizar isso com mais precisão, vamos Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, onde x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) e cada cláusula CiCiC_i tem a forma (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) ou (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) . O problema 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} é …

13 complexity-theory  optimization  np-hard  satisfiability 

Eu li sobre o NPC e sua relação com o PSPACE e gostaria de saber se os problemas do NPC podem ser resolvidos deterministicamente usando um algoritmo com o pior requisito de espaço polinomial, mas potencialmente levando tempo exponencial (2 ^ P (n) onde P é polinomial). Além disso, ele …

12 complexity-theory  np-complete  np 

Estou tentando criar uma lista de algoritmos / problemas que são "excepcionalmente úteis", como resolver problemas que 'parecem' muito exponenciais por natureza, mas que têm algum algoritmo particularmente inteligente que finalmente os resolve. Exemplos do que quero dizer: Programação Linear (O algoritmo simplex é tempo exponencial; demorou muito tempo para …

12 complexity-theory  polynomial-time  efficiency 

Ou: precisamos de Rupert para receber presentes? Questões de roteamento à parte, o Papai Noel enfrenta o seguinte problema (muitas e muitas vezes): Dado um saco com capacity¹ CCC e um conjunto de presentes {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , cada um com tamanho sisis_i , ele quer fazer as crianças {c1,…,ck}{c1,…,ck}\{c_1, …

12 algorithms  complexity-theory  optimization  packing