Câu hỏi được gắn thẻ «multicommodity-flow»

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

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 

Đây là một câu hỏi hơi chủ quan. Tôi quan tâm đến việc nghiên cứu tài liệu về các kết quả cắt dòng đa dòng, đặc biệt là kết quả 'dương' cho thấy dòng chảy là một xấp xỉ tốt để cắt (giả sử, trong một yếu tố không đổi …

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