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

4
A eta-equivalência para funções é compatível com a operação seq de Haskell?
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 …

1
Pedido de referências sobre resultados de corte de fluxo multicomodidades
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: …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.