Questions marquées «network-flow»

Les flux de réseau sont utilisés pour modéliser des concepts tels que le trafic ou les systèmes de conduites d'eau. L'idée de base est de déplacer autant d'unités de flux de la source vers les nœuds puits via des bords avec une capacité limitée.

20
Les arbres coupés par liens sont-ils déjà utilisés dans la pratique, pour le calcul du débit maximal ou d'autres applications?

De nombreux algorithmes de flux max que je vois couramment implémentés, l'algorithme de Dinic, le réétiquetage push et d'autres, peuvent voir leur coût asymptotique en temps amélioré grâce à l'utilisation d' arbres dynamiques (également appelés arbres coupés de liens). Push relabel s'exécute en ou...

16
Calculer un débit max à partir d'une coupe min

Nous savons que le calcul d'un débit maximal resp. une coupure minimale d'un réseau avec des capacités est équivalente; cf. le théorème de min-cut max-flow . Nous avons des algorithmes (plus ou moins efficaces) pour calculer les débits maximaux, et calculer une coupure minimale étant donné un débit...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...