2023-08-25 『「対話と決断」で成果を生む話し合いの作法』を読んだ / PAST #7 M を解いた
『「対話と決断」で成果を生む話し合いの作法』を読んだ。
「他人の靴を履く」という表現を知った。
こういう書籍を読むのはひさしぶりな気がする。
Apple Magic Trackpad を買った。届いたら書く。
- 分割 (第七回 アルゴリズム実技検定:M問題)
https://atcoder.jp/contests/past202107-open/tasks/past202107_m
- https://atcoder.jp/contests/past202107-open/submissions/44916109
- 解説 AC
- パッと見では最小費用流にさえ見えない……
- 二択にして容量 1 の最小費用流に落とし込むのはよくある形なのかもしれない……
- 辺の貼り方だけ整理できれば後は既存コードを貼るだけなので気づくことができれば簡単な問題なのかも……
use proconio::input;
fn add_edge(edges: &mut [Vec<(usize, i64, i64, usize)>], u: usize, v: usize, cap: i64, cost: i64) {
let index_u = edges[u].len();
let index_v = edges[v].len();
edges[u].push((v, cap, cost, index_v));
edges[v].push((u, 0, -cost, index_u));
}
fn bellman_ford(
edges: &[Vec<(usize, i64, i64, usize)>],
s: usize,
) -> (Vec<i64>, Vec<usize>, Vec<usize>) {
let inf = 1_i64 << 60;
let mut dist = vec![inf; edges.len()];
dist[s] = 0;
let mut prev_vert = vec![0_usize; edges.len()];
let mut prev_edge = vec![0_usize; edges.len()];
loop {
let mut update = false;
for v in 0..edges.len() {
if dist[v] == inf {
continue;
}
for (i, (u, cap, cost, _)) in edges[v].iter().copied().enumerate() {
if cap > 0 && dist[u] > dist[v] + cost {
dist[u] = dist[v] + cost;
prev_vert[u] = v;
prev_edge[u] = i;
update = true;
}
}
}
if !update {
break;
}
}
(dist, prev_vert, prev_edge)
}
fn calc_min_cost_flow(
edges: &mut [Vec<(usize, i64, i64, usize)>],
s: usize,
t: usize,
mut capital_f: i64,
) -> i64 {
let inf = 1_i64 << 60;
let mut min_cost = 0_i64;
while capital_f > 0 {
let (dist, prev_vert, prev_edge) = bellman_ford(edges, s);
if dist[t] == inf {
return inf;
}
let mut v = t;
let mut f = capital_f;
while v != s {
let u = prev_vert[v];
let i = prev_edge[v];
let c = edges[u][i].1;
f = f.min(c);
v = u;
}
v = t;
while v != s {
let u = prev_vert[v];
let i = prev_edge[v];
let j = edges[u][i].3;
edges[u][i].1 -= f;
edges[v][j].1 += f;
v = u;
}
min_cost += f * dist[t];
capital_f -= f;
}
min_cost
}
fn main() {
input! {
n: usize,
c: i64,
a: [i64; n],
}
let start = n * 2;
let end = n * 2 + 1;
let offset_i = 0;
let offset_j = n;
let mut edges = vec![vec![]; n * 2 + 2];
for (i, a_i) in a.iter().copied().enumerate() {
add_edge(&mut edges, start, offset_i + i, 1, 0);
for j in i + 1..n {
let a_j = a[j];
add_edge(&mut edges, offset_i + i, offset_j + j, 1, (a_i - a_j).abs());
}
add_edge(&mut edges, offset_i + i, end, 1, c);
}
for j in 0..n {
add_edge(&mut edges, offset_j + j, end, 1, 0);
}
let ans = calc_min_cost_flow(&mut edges, start, end, n as i64);
println!("{}", ans);
}
今日のコミット。