DDCC 2020 本戦 B - Hawker on Graph

B - Hawker on Graph

問題

$n$ 頂点 $m$ 辺の重み付き有向グラフが与えられる. $i$ 番目の辺の重みは $c_i$ である.

あなたはこのグラフの頂点 $s$ からちょうど $k$ 本の辺を辿って移動する(移動できない場合もある).

また,移動に伴ってスコアという値が変化する.あなたの最初のスコアは $w$ であり,スコア $x$ の状態で重み $c$ の辺を通るとスコアが $\max(x + c, 0)$ に変化する.

$s$ からちょうど $k$ 本の辺を辿って移動できるか判定し,できるならば最終的なスコアの最大値を求めよ.

制約

  • $2 \leq n \leq 200$
  • $0 \leq m \leq n(n - 1)$
  • $0 \leq w \leq 10^{16}$
  • $1 \leq k \leq 10^9$
  • $-10^7 \leq c_i \leq 10^7$

考察

制約からして行列累乗だが,そのままトロピカル半環上で隣接行列を累乗しても上手くいかない.そこで辺の重みを 関数 と見ることにする.

具体的には,辺の重みを $\lambda x.\max(x + a, b)$ という関数と見なし,半環をなす演算を定義する.

まず和に対応するのが $\max$ で,

$$ \begin{aligned} &\lambda x.(\max(x + a, b), (\max(x + c, d))) \\ = &\lambda x.\max(x + \max(a, c), \max(b, d)) \end{aligned} $$

となる.これは関数のグラフを考えれば直感的に分かる.

次に積に対応するのが関数合成である.これはかなり非自明だが, $x$ によって場合分けをすると

$$ \begin{aligned} &\lambda x.(\max(\max(x + a, b) + c), d) \\ = &\lambda x. \max(x + (a + c), \max(b + c, d)) \end{aligned} $$

となる。

以上より,辺の重みを $(a, b) = \lambda x.(\max(x + a, b))$ と表すと,

$$ \begin{aligned} (a, b) + (c, d) &= (\max(a, c), \max(b, d)) \\ (a, b) \cdot (c, d) &= (a + c, \max(b + c, d)) \end{aligned} $$

と演算が定義できる。そしてこれらが分配法則を満たすことも確かめられる。

ただし左零元,つまり任意の $c, d$ について $0 \cdot (c, d) = 0$ を満たす $0$ が存在しないので厳密には半環ではない.それでも零元を適当に作ってやれば半環にはなる.実装する上では $0 := (-\infty, -\infty)$ と定義すれば,加法について例外処理が要らないので楽。

実装例

提出 #9818927 - DISCO presents ディスカバリーチャンネル コードコンテスト2020 本戦

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#include <iostream>
#include <algorithm>
#include <vector>

using lint = long long;
constexpr lint INF = 1LL << 60;

struct Eff {
    lint a, b;
    explicit Eff(lint a, lint b = 0) : a(a), b(b) {}

    // zero
    const static Eff id;

    bool operator==(const Eff& e) const {
        return a == e.a && b == e.b;
    }

    // max
    Eff operator+(const Eff& e) const {
        return Eff(std::max(a, e.a), std::max(b, e.b));
    }

    // composite
    Eff operator*(const Eff& e) const {
        return (*this == id || e == id) ? id : Eff(a + e.a, std::max(b + e.a, e.b));
    }

    // apply
    lint operator()(lint x) { return std::max(x + a, b); }
};

const Eff Eff::id(-INF, -INF);

template <class T>
using Vector = std::vector<T>;
template <class T>
using Matrix = Vector<Vector<T>>;

template <class T>
Matrix<T> operator*(const Matrix<T>& a, const Matrix<T>& b) { ... }

template <class T, class Int>
Matrix<T> mpow(Matrix<T> b, Int n) { ... }

void solve() {
    int n, m, s;
    lint w, k;
    std::cin >> n >> m >> w >> s >> k;
    --s;

    Matrix<Eff> mat(n, Vector<Eff>(n, Eff::id));
    while (m--) {
        int u, v;
        lint c;
        std::cin >> u >> v >> c;
        --u, --v;
        mat[u][v] = Eff(c);
    }

    mat = mpow(mat, k);

    auto e = Eff::id;
    for (int v = 0; v < n; ++v) {
        e = e + mat[s][v];
    }

    auto ans = e(w);
    std::cout << std::max(ans, -1LL) << std::endl;
}
Built with Hugo
テーマ StackJimmy によって設計されています。