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

Seja SAT o idioma das instâncias do SAT que contêm variáveis , seja -SAT o idioma das instâncias do SAT nas quais todas as cláusulas têm no máximo k literais, e deixe k -SAT _v ser sua interseção. Seja s_k = \ inf_M \ {\ delta \ mid \ existe …

8 cc.complexity-theory  parameterized-complexity  conditional-results 

No filme Inception, Cobb pede a Ariadne para projetar um labirinto que leva o dobro do tempo para projetar. Isso se presta a um problema generalizado em que temos uma situação em que temos recursos limitados em alguma quantia e quem verificará se esse problema está na classe de complexidade …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Eu vi esse problema: Uma sequência não crescente de números inteiros positivos é n-realizável se o conjunto puder ser particionado em subconjuntos mutuamente separados tal que para cada .I n = { 1 , 2 , . . . , N } k S 1 , S 2 , . …

8 cc.complexity-theory 

Parece-me que a tarefa de remoção de quadrados pode ser reduzida à tarefa de fatoração , mas que não há como reduzir o fatoramento à remoção de quadrados. Existe uma maneira de tornar esse "sentimento" mais preciso, ou seja, alguma hipótese comumente considerada que seria violada se o fatoramento pudesse …

8 cc.complexity-theory  nt.number-theory  factoring 

Suponha que, para um dado problema de minimização com apenas soluções inteiras, seja difícil decidir se a solução ideal é 5 ou 6. Ou seja, um algoritmo de tempo polinomial com uma taxa de aproximação melhor que 6/5 implicaria P = N P .NPNPNPP= NPP=NPP=NP 1) Será que isso implica …

8 cc.complexity-theory  np-hardness  approximation-hardness  apx 

Existem alguns teoremas, principalmente na teoria dos grafos e na otimização combinatória, que são frequentemente referidos como boas caracterizações. Eles tipicamente colocam uma propriedade em , mostrando que uma propriedade é válida ou existe algum obstáculo bem identificado que a impede de ser mantida. Muitas vezes, eles são apresentados como …

8 cc.complexity-theory  graph-theory  co.combinatorics 

Digamos que você tenha um número de conjuntos de números inteiros ( ), e pretende calcular interseções de alguns deles ( ∩ S 1 , S 3 , S 7 pode ser uma consulta, mas você quer para suportar muitas dessas consultas, ou talvez até todas as consultas possíveis)S1, S2. …

8 cc.complexity-theory  ds.data-structures 

Quando tentamos construir um algoritmo para um novo problema, dividir e conquistar (usando recursão) é uma das primeiras abordagens que tentamos. Mas, em alguns casos, essa abordagem parece infrutífera à medida que o problema se torna muito mais complicado à medida que sua entrada cresce. Minha pergunta é: existem problemas …

8 cc.complexity-theory  recursion 

Quando a conjectura ou P ≠ N P é definida (por exemplo, pelo Clay Mathematics Institute de S. Cook, veja aqui ) que sistema axiomático matemático é assumido?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Para provar ou refutar tais declarações, você precisa assumir alguns axiomas. Quais? Apenas a aritmética Peano (linguagem formal …

8 cc.complexity-theory  model-theory 

Quais são os exemplos de problemas conhecidos em AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) que não são conhecidos em NPNP\mathsf{NP} nem em BPPBPP\mathsf{BPP} ? Para AMAM\mathsf{AM} , eu sei que os dois exemplos a seguir: Não isomorfismo de gráfico: dados dois gráficos marcados GGG e HHH , eles são o mesmo gráfico …

8 cc.complexity-theory  complexity-classes 

Se NPNP\mathsf{NP} contiver uma classe de problemas de tempo superpolinomial, ou seja, para alguma função t∈nω(1)t∈nω(1)t \in n^{\omega(1)} , DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} , P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Mas existem outras conseqüências interessantes não triviais (isto é, não são uma conseqüência de ) se o não determinismo puder acelerar os cálculos determinísticos?P⊊NPP⊊NP\mathsf{P} …

8 cc.complexity-theory  time-complexity  nondeterminism 

Dado um número algébrico , estou interessado em encontrar uma aproximação de até uma determinada precisão, em que se refere à parte real do número complexo.αα\alphaR(eα)ℜ(eα)\Re(e^\alpha)R()ℜ()\Re() Formalmente, quero calcular um número racional rrr tal que |R(eα)−r|≤2−n|ℜ(eα)−r|≤2−n|\Re(e^\alpha)-r|\leq 2^{-n} αα\alpha é dado por um polinômio mínimo (padrão). Quão rápido podemos resolver esse …

8 cc.complexity-theory  na.numerical-analysis  computing-over-reals 

Eu li aqui que existem famílias de funções que precisam de nós na rede neural com no máximo d - 1 camadas para representar a função e precisam apenas de O ( n ) se a rede neural tiver pelo menos d camadas. Referia-se a um artigo de Hastad. Eu …

8 cc.complexity-theory  reference-request 

Para , seja o conjunto de vértices do cubo dimensional dimensionado na direção de a ésima coordenada por , ou seja, .Q( → d )⊂NnnidiQ( → d ={⟨±d1,...,±dn⟩}d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnnEuiidEudEud_iQ ( d⃗ = { ⟨ ± d1, … , ± dn⟩ }Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

De acordo com o teorema BGS [1], existe um oráculo tal que P Um ≠ N P A .AAAPA≠NPAPA≠NPAP^A\neq NP^A Se a operação de relativização fosse uma função bem definida, seria de esperar que, a partir de B A ≠ C A, seria possível concluir que B ≠ C , …

8 cc.complexity-theory  oracles  relativization