Submission #984242

#TimeUsernameProblemLanguageResultExecution timeMemory
984242SmuggingSpunHorses (IOI15_horses)C++14
17 / 100
361 ms19916 KiB
#include "horses.h" #include<bits/stdc++.h> using namespace std; typedef long long ll; const int mod = 1e9 + 7; const int lim = 5e5 + 5; int power(int a, int b){ int ans = 1; for(; b > 0; b >>= 1, a = 1LL * a * a % mod){ if(b & 1){ ans = 1LL * ans * a % mod; } } return ans; } int n, st[lim << 2], x[lim], x_st[lim << 1], y[lim], bit[lim]; int get_bit(int p){ int ans = 1; for(; p > 0; p -= p & -p){ ans = 1LL * ans * bit[p] % mod; } return ans; } void update_bit(int p, int x){ for(; p <= n; p += p & -p){ bit[p] = 1LL * bit[p] * x % mod; } } int get_x_prod(int l, int r){ int res = 1; for(l += n, r += n + 1; l < r; l >>= 1, r >>= 1){ if(l & 1){ res = min(ll(mod), 1LL * res * x_st[l++]); } if(r & 1){ res = min(ll(mod), 1LL * res * x_st[--r]); } } return res; } void modify_x(int p, int X){ update_bit(p, 1LL * power(x[p], mod - 2) * (x_st[p + n] = X) % mod); for(p += n; p > 1; p >>= 1){ x_st[p >> 1] = min(ll(mod), 1LL * x_st[p] * x_st[p ^ 1]); } } int merge(int l, int r){ if(l == 0){ return r; } if(r == 0){ return l; } return 1LL * get_x_prod(l + 1, r) * y[r] < ll(y[l]) ? l : r; } void update_X(int id, int l, int r, int p, int X){ if(l == r){ x[st[id] = l] = X; modify_x(l, X); return; } int m = (l + r) >> 1; if(m < p){ update_X(id << 1 | 1, m + 1, r, p, X); } else{ update_X(id << 1, l, m, p, X); } st[id] = merge(st[id << 1], st[id << 1 | 1]); x_st[id] = min(ll(mod), 1LL * x_st[id << 1] * x_st[id << 1 | 1]); } void update_Y(int p, int Y){ y[p] = Y; int id = 1, l = 1, r = n; while(l < r){ int m = (l + r) >> 1; id <<= 1; if(m < p){ l = m + 1; id |= 1; } else{ r = m; } } while((id >>= 1) > 0){ st[id] = merge(st[id << 1], st[id << 1 | 1]); } } int init(int N, int X[], int Y[]){ n = N; fill(bit, bit + lim, 1); for(int i = 1; i <= n; i++){ y[i] = Y[i - 1]; update_bit(i, x[i] = X[i - 1]); } fill(x_st, x_st + (lim << 2), 1); for(int i = 1; i <= n; i++){ update_X(1, 1, n, i, X[i - 1]); } return 1LL * get_bit(st[1]) * y[st[1]] % mod; } int updateX(int pos, int val){ update_X(1, 1, n, pos + 1, val); return 1LL * get_bit(st[1]) * y[st[1]] % mod; } int updateY(int pos, int val){ update_Y(pos + 1, val); return 1LL * get_bit(st[1]) * y[st[1]] % mod; }

Compilation message (stderr)

horses.cpp: In function 'int power(int, int)':
horses.cpp:9:40: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
    9 |  for(; b > 0; b >>= 1, a = 1LL * a * a % mod){
      |                            ~~~~~~~~~~~~^~~~~
horses.cpp:11:24: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   11 |    ans = 1LL * ans * a % mod;
      |          ~~~~~~~~~~~~~~^~~~~
horses.cpp: In function 'int get_bit(int)':
horses.cpp:20:28: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   20 |   ans = 1LL * ans * bit[p] % mod;
      |         ~~~~~~~~~~~~~~~~~~~^~~~~
horses.cpp: In function 'void update_bit(int, int)':
horses.cpp:24:28: warning: declaration of 'x' shadows a global declaration [-Wshadow]
   24 | void update_bit(int p, int x){
      |                        ~~~~^
horses.cpp:16:22: note: shadowed declaration is here
   16 | int n, st[lim << 2], x[lim], x_st[lim << 1], y[lim], bit[lim];
      |                      ^
horses.cpp:26:29: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   26 |   bit[p] = 1LL * bit[p] * x % mod;
      |            ~~~~~~~~~~~~~~~~~^~~~~
horses.cpp: In function 'int get_x_prod(int, int)':
horses.cpp:33:13: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   33 |    res = min(ll(mod), 1LL * res * x_st[l++]);
      |          ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
horses.cpp:36:13: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   36 |    res = min(ll(mod), 1LL * res * x_st[--r]);
      |          ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
horses.cpp: In function 'void modify_x(int, int)':
horses.cpp:42:63: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   42 |  update_bit(p, 1LL * power(x[p], mod - 2) * (x_st[p + n] = X) % mod);
      |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
horses.cpp:44:21: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   44 |   x_st[p >> 1] = min(ll(mod), 1LL * x_st[p] * x_st[p ^ 1]);
      |                  ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
horses.cpp: In function 'void update_X(int, int, int, int, int)':
horses.cpp:70:16: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   70 |  x_st[id] = min(ll(mod), 1LL * x_st[id << 1] * x_st[id << 1 | 1]);
      |             ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
horses.cpp: In function 'int init(int, int*, int*)':
horses.cpp:101:41: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
  101 |  return 1LL * get_bit(st[1]) * y[st[1]] % mod;
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
horses.cpp: In function 'int updateX(int, int)':
horses.cpp:105:41: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
  105 |  return 1LL * get_bit(st[1]) * y[st[1]] % mod;
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
horses.cpp: In function 'int updateY(int, int)':
horses.cpp:109:41: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
  109 |  return 1LL * get_bit(st[1]) * y[st[1]] % mod;
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
horses.cpp: In function 'int init(int, int*, int*)':
horses.cpp:97:6: warning: array subscript 2000020 is outside array bounds of 'int [1000010]' [-Warray-bounds]
   97 |  fill(x_st, x_st + (lim << 2), 1);
      |  ~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
horses.cpp:16:30: note: while referencing 'x_st'
   16 | int n, st[lim << 2], x[lim], x_st[lim << 1], y[lim], bit[lim];
      |                              ^~~~
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...