結果

問題 No.1502 Many Simple Additions
ユーザー tnakao0123tnakao0123
提出日時 2021-05-08 02:38:00
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 67 ms / 2,000 ms
コード長 2,822 bytes
コンパイル時間 1,042 ms
コンパイル使用メモリ 102,420 KB
実行使用メモリ 11,080 KB
最終ジャッジ日時 2024-09-15 18:27:22
合計ジャッジ時間 3,197 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
6,016 KB
testcase_01 AC 3 ms
6,144 KB
testcase_02 AC 3 ms
6,144 KB
testcase_03 AC 4 ms
6,144 KB
testcase_04 AC 4 ms
6,144 KB
testcase_05 AC 3 ms
6,144 KB
testcase_06 AC 3 ms
6,016 KB
testcase_07 AC 3 ms
6,016 KB
testcase_08 AC 4 ms
6,144 KB
testcase_09 AC 4 ms
6,016 KB
testcase_10 AC 3 ms
6,144 KB
testcase_11 AC 4 ms
6,144 KB
testcase_12 AC 4 ms
6,144 KB
testcase_13 AC 3 ms
6,016 KB
testcase_14 AC 3 ms
6,016 KB
testcase_15 AC 4 ms
5,888 KB
testcase_16 AC 3 ms
6,016 KB
testcase_17 AC 4 ms
6,144 KB
testcase_18 AC 3 ms
6,016 KB
testcase_19 AC 3 ms
6,144 KB
testcase_20 AC 3 ms
6,016 KB
testcase_21 AC 3 ms
6,144 KB
testcase_22 AC 3 ms
6,144 KB
testcase_23 AC 4 ms
6,144 KB
testcase_24 AC 3 ms
6,016 KB
testcase_25 AC 3 ms
6,144 KB
testcase_26 AC 3 ms
6,016 KB
testcase_27 AC 45 ms
10,696 KB
testcase_28 AC 45 ms
10,624 KB
testcase_29 AC 10 ms
7,492 KB
testcase_30 AC 67 ms
10,908 KB
testcase_31 AC 62 ms
11,080 KB
testcase_32 AC 61 ms
11,008 KB
testcase_33 AC 52 ms
9,280 KB
testcase_34 AC 54 ms
9,344 KB
testcase_35 AC 54 ms
9,472 KB
testcase_36 AC 36 ms
7,808 KB
testcase_37 AC 35 ms
7,812 KB
testcase_38 AC 39 ms
8,704 KB
testcase_39 AC 26 ms
7,424 KB
testcase_40 AC 13 ms
6,784 KB
testcase_41 AC 5 ms
6,400 KB
testcase_42 AC 43 ms
8,732 KB
testcase_43 AC 4 ms
6,016 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

/* -*- coding: utf-8 -*-
 *
 * 1502.cc:  No.1502 Many Simple Additions - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int MAX_N = 100000;
const int MOD = 1000000007;

/* typedef */

typedef long long ll;
typedef queue<int> qi;
typedef pair<int,int> pii;
typedef vector<pii> vpii;

/* global variables */

vpii nbrs[MAX_N];
int ps[MAX_N], as[MAX_N];
ll bs[MAX_N];

/* subroutines */

/* main */

int main() {
  int n, m, k;
  scanf("%d%d%d", &n, &m, &k);

  for (int i = 0; i < m; i++) {
    int x, y, z;
    scanf("%d%d%d", &x, &y, &z);
    x--, y--;
    nbrs[x].push_back(pii(y, z));
    nbrs[y].push_back(pii(x, z));
  }

  int p0 = 1, p1 = 1;
  for (int st = 0; st < n; st++)
    if (as[st] == 0) {
      ps[st] = -1;
      as[st] = 1, bs[st] = 0;
      int minx = 1, maxx = k;
      bool minf = false, maxf = true;

      qi q;
      q.push(st);

      while (! q.empty()) {
	int u = q.front(); q.pop();

	for (auto pe: nbrs[u]) {
	  int v = pe.first;
	  ll z = pe.second;
	  if (as[v] == 0) {
	    ps[v] = u;
	    // (au*x+bu)+(av*x+bv)=z -> av*x+bv=-au*x+(z-bu)
	    as[v] = -as[u], bs[v] = z - bs[u];

	    // 1<=av*x+bv<=k -> 1-bv<=av*x<=k-bv
	    if (as[v] > 0) {
	      // av == 1 -> 1-bv<=x<=k-bv
	      ll x0 = 1 - bs[v], x1 = k - bs[v];
	      if (maxx < x0 || x1 < minx) { puts("0"); return 0; }
	      if (minx < x0) minx = x0, minf = false;
	      if (maxx >= x1) maxx = x1, maxf = true;
	    }
	    else {
	      // av == -1 -> bv-1>=x>=bv-k
	      ll x0 = bs[v] - k, x1 = bs[v] - 1;
	      if (maxx < x0 || x1 < minx) { puts("0"); return 0; }
	      if (minx <= x0) minx = x0, minf = true;
	      if (maxx > x1) maxx = x1, maxf = false;
	    }
	    q.push(v);
	  }
	  else if (v != ps[u]) {
	    int sa = as[u] + as[v];
	    ll sb = bs[u] + bs[v];
	    if (sa == 0) {
	      if (sb != z) { puts("0"); return 0; }
	    }
	    else {
	      if ((z - sb) & 1) { puts("0"); return 0; }
	      ll x = (z - sb) / sa;
	      bool f = (as[u] * x + bs[u] == k) || (as[v] * x + bs[v] == k);
	      if (maxx < x || x < minx) { puts("0"); return 0; }
	      if (minx < x) minx = x, minf = f;
	      if (maxx > x) maxx = x, maxf = f;
	    }
	  }
	}
      }

      int r1 = maxx - minx + 1;
      int r0 = max(r1 - (minf ? 1 : 0) - (maxf ? 1 : 0), 0);
      //printf("st=%d: minx=%d,minf=%d maxx=%d,maxf=%d -> r0=%d,r1=%d\n",
      //st, minx, minf, maxx, maxf, r0, r1);

      p0 = (ll)p0 * r0 % MOD;
      p1 = (ll)p1 * r1 % MOD;
    }

  printf("%d\n", (p1 + MOD - p0) % MOD);
  return 0;
}
0