Perguntas com a marcação «reference-request»

G = ( V, E)G=(V,E)G=(V,E) EuV( G ) = min { | N( S) || S|: S⊆ V, 1 ≤ | S| ≤ | V|2}EuV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Você pode dar uma referência onde o seguinte problema é mostrado NP-complete: dado um gráfico e …

8 reference-request  graph-theory  np-hardness 

Deixe Alice e Bob calcular a função booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar um subconjunto aleatório de cardinalidade e deixar .I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Vamos Alice obter variáveis onde e Bob obter onde .xixix_ii∈Ii∈Ii\in\mathcal Ixjxjx_jj∈Jj∈Jj\in\mathcal J Seja a complexidade da comunicação desta função nesta partição serCCI,J(f)CCI,J(f)CC_{\mathcal I,\mathcal J}(f) Defina cc_ {max} (f) = …

8 reference-request  communication-complexity 

Um resultado fundamental na complexidade parametrizada dos problemas gráficos é que VERTEX COVER parametrizado pelo tamanho da solução é um parâmetro fixo-tratável (FPT). Por outro lado, quando parametrizado pelo "parâmetro duplo" , torna-se equivalente a INDEPENDENT SET parametrizado pelo tamanho da solução (porque qualquer cobertura de vértice é o complemento …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

Qual é a primeira publicação do conceito de otimização de mesclagem por identificar sequências de posições consecutivas em ordens crescentes (também conhecidas como execuções) em tempo linear; então mesclando repetidamente as duas seqüências mais curtas e adicionando o resultado dessa mesclagem à lista de fragmentos classificados. Em algumas de minhas …

8 reference-request  sorting  huffman 

Eu já fiz essa pergunta no Programmers.SE , sem sucesso. Estou procurando recursos escritos de aprendizado sobre como projetar estruturas de dados simultâneas. Estou mais interessado no processo de design (por exemplo, na identificação dos invariantes corretos) do que no produto final (uma lista de códigos completa). Para um exemplo …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

Existe alguma complexidade aleatória de comunicação aleatória (não trivial) conhecida para os problemas de gap natural nos quais as entradas 1 estão linearmente distantes das entradas 0? Ou seja, funções parciais modo que a distância de Hamming entre cada e é linear - e que requer protocolos aleatórios para se …

8 reference-request  communication-complexity 

Me deparei com uma apresentação de Ryan O'Donnell sobre princípios de invariância. Depois de provar o teorema de Berry-Esseen, há um slide que discute extensões do teorema e um que é mencionado, há a chamada "versão derandomizada": Se C- bom (isto é, limitou o terceiro momento), independente em três sentidos., …

8 reference-request  pr.probability  limited-independence  k-wise-independence 

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 

Um gráfico é localmente bipartido se a vizinhança aberta de cada vértice induzir um gráfico bipartido. (De acordo com as pesquisas, o mesmo nome pode ser usado para algo mais relacionado a superfícies). Quais problemas difíceis de NP para gráficos gerais se tornam polinomiais para gráficos bipartidos localmente e quais …

8 reference-request  graph-theory 

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 

Existem vários algoritmos de 2 aproximações para o problema de conjunto de vértices de feedback UNWEIGHTED (FVS), que estão resumidos em [4]. Observe que a redução da cobertura do vértice para o FVS preserva a aproximação. Assumindo uma conjectura de jogo única, não podemos esperar algoritmos melhores. A questão é: …

8 reference-request  graph-algorithms  approximation-algorithms 

O problema do subgráfico conectado de peso máximo é o seguinte: Entrada: um gráfico e um peso (possivelmente negativo) para cada vértice .w i i ∈ VG = ( V, E)G=(V,E)G=(V,E)WEuWEuw_ii ∈ VEu∈Vi \in V Saída: um subconjunto de peso máximo de vértices, de modo que esteja conectado.G [ S …

8 reference-request  np-hardness  reductions  planar-graphs 

Recentemente, houve novos resultados em estudos experimentais baseados em computador do Problema da Discrepância de Erdos (EDP) (via solucionadores SAT, citados abaixo). Esse problema foi citado e estudado por vários pesquisadores (T) de CS. No entanto, os links (possivelmente profundos?) Para (T) CS não são tão óbvios. Quais são os …

8 reference-request  co.combinatorics  soft-question  big-picture 

Alguém já pensou na possibilidade de uma linguagem de programação e de um compilador, de modo que o compilador possa fazer automaticamente a análise assintótica do pior caso? O caso de uso que tenho em mente é uma linguagem de programação na qual escrevo código e compilo. O compilador me …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis