Safe Haskell	None
Language	GHC2021

AtCoder.Internal.McfCsr

Contents

Description

Internal CSR for MinCostFlow.

Since: 1.0.0

Synopsis

data Csr s cap cost = Csr {
- startCsr :: !(Vector Int)
- toCsr :: !(Vector Int)
- revCsr :: !(Vector Int)
- capCsr :: !(MVector s cap)
- costCsr :: !(Vector cost)
}
build :: (HasCallStack, Num cap, Unbox cap, Unbox cost, Num cost, PrimMonad m) => Int -> Vector (Int, Int, cap, cap, cost) -> m (Vector Int, Csr (PrimState m) cap cost)
adj :: (HasCallStack, Num cap, Unbox cap, Unbox cost) => Csr s cap cost -> Int -> Vector (Int, Int, cost)

Compressed sparse row

data Csr s cap cost #

CSR for min cost flow.

Since: 1.0.0

Constructors

Csr
Fields startCsr :: !(Vector Int) Since: 1.0.0 toCsr :: !(Vector Int) Since: 1.0.0 revCsr :: !(Vector Int) Since: 1.0.0 capCsr :: !(MVector s cap) Mutable. Since: 1.0.0 costCsr :: !(Vector cost) Since: 1.0.0

Constructor

build :: (HasCallStack, Num cap, Unbox cap, Unbox cost, Num cost, PrimMonad m) => Int -> Vector (Int, Int, cap, cap, cost) -> m (Vector Int, Csr (PrimState m) cap cost) #

\(O(n + m)\) Creates Csr.

Since: 1.0.0

adj :: (HasCallStack, Num cap, Unbox cap, Unbox cost) => Csr s cap cost -> Int -> Vector (Int, Int, cost) #

\(O(1)\) Returns a vector of (to, rev, cost).

Since: 1.0.0