Submission #262400

#TimeUsernameProblemLanguageResultExecution timeMemory
262400uacoder123Horses (IOI15_horses)C++14
100 / 100
987 ms104056 KiB
#include <bits/stdc++.h> #include "horses.h" using namespace std; #define F first #define S second #define FOR(i,a,b) for (auto i = (a); i <= (b); ++i) #define NFOR(i,a,b) for(auto i = (a); i >= (b); --i) #define all(x) (x).begin(), (x).end() #define sz(x) lli(x.size()) #define mp(i,a) make_pair(i,a) #define pb(a) push_back(a) #define bit(x,b) (x&(1LL<<b)) typedef long long int lli; typedef pair <lli,lli> ii; typedef pair <lli,ii> iii; typedef vector <lli> vi; pair<lli,int> segt[2000001],segt1[2000001];; lli lazy[2000001],arr1[500001],arr2[500001]; lli n,mod=1000000007; lli p(lli a) { lli b=0,ans=1; while((1LL<<b)<=mod-2) { if(bit(mod-2,b)) ans=(ans*a)%mod; a=(a*a)%mod; b++; } return ans; } void up(lli node,lli l,lli r,lli s,lli e,lli v) { if(lazy[node]!=1) { segt[node].F=(segt[node].F*lazy[node])%mod; if(l!=r) { lazy[2*node+1]=(lazy[2*node+1]*lazy[node])%mod; lazy[2*node+2]=(lazy[2*node+2]*lazy[node])%mod; } lazy[node]=1; } if(l>e||r<s) return; if(l>=s&&r<=e) { if(l==r) segt[node].S=l; segt[node].F=(segt[node].F*v)%mod; if(l!=r) { lazy[2*node+1]=(lazy[2*node+1]*v)%mod; lazy[2*node+2]=(lazy[2*node+2]*v)%mod; } return; } lli m=(l+r)/2; up(2*node+1,l,m,s,e,v); up(2*node+2,m+1,r,s,e,v); } void up1(int node,int l,int r,int in) { if(lazy[node]!=1) { segt[node].F=(segt[node].F*lazy[node])%mod; if(l!=r) { lazy[2*node+1]=(lazy[2*node+1]*lazy[node])%mod; lazy[2*node+2]=(lazy[2*node+2]*lazy[node])%mod; } lazy[node]=1; } if(l==r) return; int m=(l+r)/2; if(in<=m) up1(2*node+1,l,m,in); else up1(2*node+2,m+1,r,in); up(2*node+1,l,m,l,m,1); up(2*node+2,m+1,r,m+1,r,1); if(min(mod,min(mod,min(segt1[2*node+1].S*segt1[2*node+2].F,mod)*arr1[segt[2*node+2].S])*arr2[segt[2*node+2].S])<arr2[segt[2*node+1].S]) { segt1[node].F=segt1[2*node+1].F; segt1[node].S=min(mod,min(mod,min(mod,segt1[2*node+1].S*segt1[2*node+2].F)*segt1[2*node+2].S)*arr1[segt[2*node+2].S]); segt[node]=segt[2*node+1]; } else { segt1[node].S=segt1[2*node+2].S; segt1[node].F=min(mod,min(mod,min(mod,segt1[2*node+1].F*segt1[2*node+1].S)*segt1[2*node+2].F)*arr1[segt[2*node+1].S]); segt[node]=segt[2*node+2]; } } int init(int N, int X[], int Y[]) { for(lli i=0;i<=2000001;++i) { segt[i].F=1; segt1[i].F=1; segt1[i].S=1; lazy[i]=1; } n=N; lli cur=(1); for(int i=0;i<n;++i) { arr1[i]=X[i]; arr2[i]=Y[i]; } for(lli i=0;i<n;++i) { cur=(cur*X[i])%mod; up(0,0,n-1,i,i,(cur*Y[i])%mod); up1(0,0,n-1,i); } return segt[0].F; } int updateX(int pos, int val) { lli v=p(arr1[pos]); v=(v*val)%mod; arr1[pos]=val; up(0,0,n-1,pos,n-1,v); up1(0,0,n-1,pos); return segt[0].F; } int updateY(int pos, int val) { lli v=p(arr2[pos]); v=(v*val)%mod; arr2[pos]=val; up(0,0,n-1,pos,pos,v); up1(0,0,n-1,pos); return segt[0].F; }

Compilation message (stderr)

horses.cpp: In function 'lli p(lli)':
horses.cpp:27:15: warning: suggest parentheses around '-' in operand of '&' [-Wparentheses]
   27 |     if(bit(mod-2,b))
      |            ~~~^~
horses.cpp:12:19: note: in definition of macro 'bit'
   12 | #define bit(x,b) (x&(1LL<<b))
      |                   ^
horses.cpp: In function 'void up(lli, lli, lli, lli, lli, lli)':
horses.cpp:52:20: warning: conversion from 'lli' {aka 'long long int'} to 'int' may change value [-Wconversion]
   52 |       segt[node].S=l;
      |                    ^
horses.cpp: In function 'void up1(int, int, int, int)':
horses.cpp:89:22: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
   89 |     segt1[node].S=min(mod,min(mod,min(mod,segt1[2*node+1].S*segt1[2*node+2].F)*segt1[2*node+2].S)*arr1[segt[2*node+2].S]);
      |                   ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
horses.cpp: In function 'int init(int, int*, int*)':
horses.cpp:119:14: warning: conversion from 'lli' {aka 'long long int'} to 'int' may change value [-Wconversion]
  119 |     up1(0,0,n-1,i);
      |             ~^~
horses.cpp:119:17: warning: conversion from 'lli' {aka 'long long int'} to 'int' may change value [-Wconversion]
  119 |     up1(0,0,n-1,i);
      |                 ^
horses.cpp:4:11: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
    4 | #define F first
      |           ^
horses.cpp:121:18: note: in expansion of macro 'F'
  121 |   return segt[0].F;
      |                  ^
horses.cpp: In function 'int updateX(int, int)':
horses.cpp:130:12: warning: conversion from 'lli' {aka 'long long int'} to 'int' may change value [-Wconversion]
  130 |   up1(0,0,n-1,pos);
      |           ~^~
horses.cpp:4:11: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
    4 | #define F first
      |           ^
horses.cpp:131:18: note: in expansion of macro 'F'
  131 |   return segt[0].F;
      |                  ^
horses.cpp: In function 'int updateY(int, int)':
horses.cpp:139:12: warning: conversion from 'lli' {aka 'long long int'} to 'int' may change value [-Wconversion]
  139 |   up1(0,0,n-1,pos);
      |           ~^~
horses.cpp:4:11: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
    4 | #define F first
      |           ^
horses.cpp:140:18: note: in expansion of macro 'F'
  140 |   return segt[0].F;
      |                  ^
horses.cpp: In function 'int init(int, int*, int*)':
horses.cpp:103:14: warning: iteration 2000001 invokes undefined behavior [-Waggressive-loop-optimizations]
  103 |     segt[i].F=1;
      |     ~~~~~~~~~^~
horses.cpp:101:16: note: within this loop
  101 |   for(lli i=0;i<=2000001;++i)
      |               ~^~~~~~~~~
#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...