Perguntas com a marcação «multicommodity-flow»

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Esta é uma pergunta um tanto subjetiva. Estou interessado em estudar a literatura sobre resultados de corte de fluxo multicomodidade, especialmente os resultados "positivos" que mostram que o fluxo é uma boa aproximação ao corte (por exemplo, dentro de um fator constante ou polilogarítmico no número de fluxos). Exemplos são: …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow