Submission #791210

# Submission time Handle Problem Language Result Execution time Memory
791210 2023-07-23T16:16:16 Z Khizri Horses (IOI15_horses) C++17
37 / 100
518 ms 53080 KB
#include "horses.h"
#include <bits/stdc++.h>
using namespace std;
#define ll unsigned long long
#define pb push_back
#define F first
#define S second
#define INF 1e18
#define all(v) (v).begin(),(v).end()
#define rall(v) (v).rbegin(),(v).rend()
#define pii pair<int,int>
#define pll pair<ll,ll>
#define OK cout<<"Ok"<<endl;
#define MOD (ll)(1e9+7)
const int mxn=5e5+5;
ll n,idx[mxn],arr[mxn],tree2[mxn*4];
ll tree[4*mxn];
set<int>st;
void build(int node,int l,int r){
    if(l==r){
        tree[node]=idx[l];
        return;
    }
    int m=(l+r)/2;
    build(2*node,l,m);
    build(2*node+1,m+1,r);
    tree[node]=(tree[2*node]*tree[2*node+1])%MOD;
}
void build2(int node,int l,int r){
    if(l==r){
        tree2[node]=arr[l];
        return;
    }
    int m=(l+r)/2;
    build2(2*node,l,m);
    build2(2*node+1,m+1,r);
    tree2[node]=max(tree2[2*node],tree2[2*node+1]);
}
void update(int node,int l,int r,int pos,int val){
    if(l>pos||r<pos) return;
    if(l==r){
        tree[node]=val;
        return;
    }
    int m=(l+r)/2;
    update(2*node,l,m,pos,val);
    update(2*node+1,m+1,r,pos,val);
    tree[node]=(tree[2*node]*tree[2*node+1])%MOD;
}
void update2(int node,int l,int r,int pos,int val){
    if(l>pos||r<pos) return;
    if(l==r){
        tree2[node]=val;
        return;
    }
    int m=(l+r)/2;
    update2(2*node,l,m,pos,val);
    update2(2*node+1,m+1,r,pos,val);
    tree2[node]=max(tree2[2*node],tree2[2*node+1]);
}
ll query(int node,int l,int r,int ql,int qr){
    if(l>qr||r<ql) return 1;
    if(ql<=l&&r<=qr) return tree[node];
    int m=(l+r)/2;
    return (query(2*node,l,m,ql,qr)*query(2*node+1,m+1,r,ql,qr))%MOD;
}
int query2(int node,int l,int r,int ql,int qr){
    if(l>qr||r<ql) return 0;
    if(ql<=l&&r<=qr) return tree2[node];
    int m=(l+r)/2;
    return max(query2(2*node,l,m,ql,qr),query2(2*node+1,m+1,r,ql,qr));
}
int init(int N, int X[], int Y[]) {
	n=N;
	for(int i=0;i<n;i++){
        arr[i+1]=Y[i];
        idx[i+1]=X[i];
        if(idx[i+1]>1){
            st.insert(i+1);
        }
	}
	build(1,1,n);
	build2(1,1,n);
	int k=min(64,(int)st.size());
	auto it=st.end();
	ll res=query2(1,1,n,1,n);
	if(st.size()){
        it=--st.end();
	}
	else{
        return res;
	}
	ll a=1;
	vector<int>vt;
	while(k--){
        int x=*it;
        a=1ll*a*idx[x];
        vt.pb(x);
        if(a>=1e9) break;
        it--;
	}
	__int128 ans=1;
	__int128 mx=1;
	reverse(all(vt));
	int q=-1;
	vt.pb(n+1);
	for(int i=0;i<vt.size()-1;i++){
        __int128 qq=idx[vt[i]];;
        ans*=qq;
        int l=vt[i],r=vt[i+1]-1;
        qq=query2(1,1,n,l,n);
        __int128 k=ans*qq;
        if(k>mx){
            mx=k;
            q=i;
        }
	}
	if(q==-1) return res;
	int l=vt[q],r=vt[q+1]-1;
	res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
	if(a<1e9){
        res=max(res,(ll)query2(1,1,n,1,n));
	}
	return res;
}

int updateX(int pos, int val) {
	pos++;
	if(idx[pos]>1){
        st.erase(pos);
	}
	idx[pos]=val;
	if(idx[pos]>1){
        st.insert(pos);
	}
	update(1,1,n,pos,val);
	int k=min(64,(int)st.size());
	auto it=st.end();
	ll res=query2(1,1,n,1,n);
	if(st.size()){
        it=--st.end();
	}
	else{
        return res;
	}
	ll a=1;
	vector<int>vt;
	while(k--){
        int x=*it;
        a=1ll*a*idx[x];
        vt.pb(x);
        if(a>=1e9) break;
        it--;
	}
	__int128 ans=1;
	__int128 mx=1;
	reverse(all(vt));
	int q=-1;
	vt.pb(n+1);
	for(int i=0;i<vt.size()-1;i++){
        __int128 qq=idx[vt[i]];;
        ans*=qq;
        int l=vt[i],r=vt[i+1]-1;
        qq=query2(1,1,n,l,n);
        __int128 k=ans*qq;
        if(k>mx){
            mx=k;
            q=i;
        }
	}
	if(q==-1) return res;
	int l=vt[q],r=vt[q+1]-1;
	res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
	if(a<1e9){
        res=max(res,(ll)query2(1,1,n,1,n));
	}
	return res;
}

int updateY(int pos, int val) {
	pos++;
	arr[pos]=val;
	update2(1,1,n,pos,val);
	int k=min(64,(int)st.size());
	auto it=st.end();
	ll res=query2(1,1,n,1,n);
	if(st.size()){
        it=--st.end();
	}
	else{
        return res;
	}
	ll a=1;
	vector<int>vt;
	while(k--){
        int x=*it;
        a=1ll*a*idx[x];
        vt.pb(x);
        if(a>=1e9) break;
        it--;
	}
	__int128 ans=1;
	__int128 mx=1;
	reverse(all(vt));
	int q=-1;
	vt.pb(n+1);
	for(int i=0;i<vt.size()-1;i++){
        __int128 qq=idx[vt[i]];;
        ans*=qq;
        int l=vt[i],r=vt[i+1]-1;
        qq=query2(1,1,n,l,n);
        __int128 k=ans*qq;
        if(k>mx){
            mx=k;
            q=i;
        }
	}
	if(q==-1) return res;
	int l=vt[q],r=vt[q+1]-1;
	res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
	if(a<1e9){
        res=max(res,(ll)query2(1,1,n,1,n));
	}
	return res;
}

Compilation message

horses.cpp: In function 'int query2(int, int, int, int, int)':
horses.cpp:69:39: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
   69 |     if(ql<=l&&r<=qr) return tree2[node];
      |                             ~~~~~~~~~~^
horses.cpp: In function 'int init(int, int*, int*)':
horses.cpp:75:15: warning: comparison of integer expressions of different signedness: 'int' and 'long long unsigned int' [-Wsign-compare]
   75 |  for(int i=0;i<n;i++){
      |              ~^~
horses.cpp:82:12: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
   82 |  build(1,1,n);
      |            ^
horses.cpp:83:13: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
   83 |  build2(1,1,n);
      |             ^
horses.cpp:86:20: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
   86 |  ll res=query2(1,1,n,1,n);
      |                    ^
horses.cpp:86:24: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
   86 |  ll res=query2(1,1,n,1,n);
      |                        ^
horses.cpp:91:16: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
   91 |         return res;
      |                ^~~
horses.cpp:99:12: warning: conversion from 'long long unsigned int' to 'double' may change value [-Wconversion]
   99 |         if(a>=1e9) break;
      |            ^
horses.cpp:106:9: warning: conversion from 'long long unsigned int' to 'std::vector<int>::value_type' {aka 'int'} may change value [-Wconversion]
  106 |  vt.pb(n+1);
      |        ~^~
horses.cpp:107:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  107 |  for(int i=0;i<vt.size()-1;i++){
      |              ~^~~~~~~~~~~~
horses.cpp:111:23: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  111 |         qq=query2(1,1,n,l,n);
      |                       ^
horses.cpp:111:27: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  111 |         qq=query2(1,1,n,l,n);
      |                           ^
horses.cpp:112:18: warning: declaration of 'k' shadows a previous local [-Wshadow]
  112 |         __int128 k=ans*qq;
      |                  ^
horses.cpp:84:6: note: shadowed declaration is here
   84 |  int k=min(64,(int)st.size());
      |      ^
horses.cpp:110:21: warning: unused variable 'r' [-Wunused-variable]
  110 |         int l=vt[i],r=vt[i+1]-1;
      |                     ^
horses.cpp:118:19: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  118 |  if(q==-1) return res;
      |                   ^~~
horses.cpp:120:21: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  120 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                     ^
horses.cpp:120:43: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  120 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                                           ^
horses.cpp:120:47: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  120 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                                               ^
horses.cpp:121:5: warning: conversion from 'long long unsigned int' to 'double' may change value [-Wconversion]
  121 |  if(a<1e9){
      |     ^
horses.cpp:122:36: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  122 |         res=max(res,(ll)query2(1,1,n,1,n));
      |                                    ^
horses.cpp:122:40: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  122 |         res=max(res,(ll)query2(1,1,n,1,n));
      |                                        ^
horses.cpp:124:9: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  124 |  return res;
      |         ^~~
horses.cpp:119:14: warning: unused variable 'r' [-Wunused-variable]
  119 |  int l=vt[q],r=vt[q+1]-1;
      |              ^
horses.cpp: In function 'int updateX(int, int)':
horses.cpp:136:13: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  136 |  update(1,1,n,pos,val);
      |             ^
horses.cpp:139:20: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  139 |  ll res=query2(1,1,n,1,n);
      |                    ^
horses.cpp:139:24: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  139 |  ll res=query2(1,1,n,1,n);
      |                        ^
horses.cpp:144:16: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  144 |         return res;
      |                ^~~
horses.cpp:152:12: warning: conversion from 'long long unsigned int' to 'double' may change value [-Wconversion]
  152 |         if(a>=1e9) break;
      |            ^
horses.cpp:159:9: warning: conversion from 'long long unsigned int' to 'std::vector<int>::value_type' {aka 'int'} may change value [-Wconversion]
  159 |  vt.pb(n+1);
      |        ~^~
horses.cpp:160:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  160 |  for(int i=0;i<vt.size()-1;i++){
      |              ~^~~~~~~~~~~~
horses.cpp:164:23: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  164 |         qq=query2(1,1,n,l,n);
      |                       ^
horses.cpp:164:27: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  164 |         qq=query2(1,1,n,l,n);
      |                           ^
horses.cpp:165:18: warning: declaration of 'k' shadows a previous local [-Wshadow]
  165 |         __int128 k=ans*qq;
      |                  ^
horses.cpp:137:6: note: shadowed declaration is here
  137 |  int k=min(64,(int)st.size());
      |      ^
horses.cpp:163:21: warning: unused variable 'r' [-Wunused-variable]
  163 |         int l=vt[i],r=vt[i+1]-1;
      |                     ^
horses.cpp:171:19: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  171 |  if(q==-1) return res;
      |                   ^~~
horses.cpp:173:21: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  173 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                     ^
horses.cpp:173:43: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  173 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                                           ^
horses.cpp:173:47: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  173 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                                               ^
horses.cpp:174:5: warning: conversion from 'long long unsigned int' to 'double' may change value [-Wconversion]
  174 |  if(a<1e9){
      |     ^
horses.cpp:175:36: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  175 |         res=max(res,(ll)query2(1,1,n,1,n));
      |                                    ^
horses.cpp:175:40: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  175 |         res=max(res,(ll)query2(1,1,n,1,n));
      |                                        ^
horses.cpp:177:9: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  177 |  return res;
      |         ^~~
horses.cpp:172:14: warning: unused variable 'r' [-Wunused-variable]
  172 |  int l=vt[q],r=vt[q+1]-1;
      |              ^
horses.cpp: In function 'int updateY(int, int)':
horses.cpp:183:14: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  183 |  update2(1,1,n,pos,val);
      |              ^
horses.cpp:186:20: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  186 |  ll res=query2(1,1,n,1,n);
      |                    ^
horses.cpp:186:24: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  186 |  ll res=query2(1,1,n,1,n);
      |                        ^
horses.cpp:191:16: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  191 |         return res;
      |                ^~~
horses.cpp:199:12: warning: conversion from 'long long unsigned int' to 'double' may change value [-Wconversion]
  199 |         if(a>=1e9) break;
      |            ^
horses.cpp:206:9: warning: conversion from 'long long unsigned int' to 'std::vector<int>::value_type' {aka 'int'} may change value [-Wconversion]
  206 |  vt.pb(n+1);
      |        ~^~
horses.cpp:207:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  207 |  for(int i=0;i<vt.size()-1;i++){
      |              ~^~~~~~~~~~~~
horses.cpp:211:23: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  211 |         qq=query2(1,1,n,l,n);
      |                       ^
horses.cpp:211:27: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  211 |         qq=query2(1,1,n,l,n);
      |                           ^
horses.cpp:212:18: warning: declaration of 'k' shadows a previous local [-Wshadow]
  212 |         __int128 k=ans*qq;
      |                  ^
horses.cpp:184:6: note: shadowed declaration is here
  184 |  int k=min(64,(int)st.size());
      |      ^
horses.cpp:210:21: warning: unused variable 'r' [-Wunused-variable]
  210 |         int l=vt[i],r=vt[i+1]-1;
      |                     ^
horses.cpp:218:19: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  218 |  if(q==-1) return res;
      |                   ^~~
horses.cpp:220:21: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  220 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                     ^
horses.cpp:220:43: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  220 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                                           ^
horses.cpp:220:47: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  220 |  res=(1ll*query(1,1,n,1,vt[q])*query2(1,1,n,l,n))%MOD;
      |                                               ^
horses.cpp:221:5: warning: conversion from 'long long unsigned int' to 'double' may change value [-Wconversion]
  221 |  if(a<1e9){
      |     ^
horses.cpp:222:36: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  222 |         res=max(res,(ll)query2(1,1,n,1,n));
      |                                    ^
horses.cpp:222:40: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  222 |         res=max(res,(ll)query2(1,1,n,1,n));
      |                                        ^
horses.cpp:224:9: warning: conversion from 'long long unsigned int' to 'int' may change value [-Wconversion]
  224 |  return res;
      |         ^~~
horses.cpp:219:14: warning: unused variable 'r' [-Wunused-variable]
  219 |  int l=vt[q],r=vt[q+1]-1;
      |              ^
# Verdict Execution time Memory Grader output
1 Correct 1 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Correct 0 ms 212 KB Output is correct
11 Correct 1 ms 212 KB Output is correct
12 Correct 0 ms 212 KB Output is correct
13 Correct 0 ms 212 KB Output is correct
14 Correct 0 ms 212 KB Output is correct
15 Correct 0 ms 212 KB Output is correct
16 Correct 0 ms 212 KB Output is correct
17 Correct 0 ms 212 KB Output is correct
18 Correct 0 ms 212 KB Output is correct
19 Correct 0 ms 212 KB Output is correct
20 Correct 1 ms 212 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 1 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 1 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Correct 0 ms 212 KB Output is correct
11 Correct 0 ms 212 KB Output is correct
12 Correct 0 ms 212 KB Output is correct
13 Correct 0 ms 212 KB Output is correct
14 Correct 0 ms 212 KB Output is correct
15 Correct 0 ms 212 KB Output is correct
16 Correct 0 ms 212 KB Output is correct
17 Correct 0 ms 212 KB Output is correct
18 Correct 0 ms 212 KB Output is correct
19 Correct 0 ms 212 KB Output is correct
20 Correct 0 ms 212 KB Output is correct
21 Correct 0 ms 212 KB Output is correct
22 Incorrect 1 ms 212 KB Output isn't correct
23 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 518 ms 52880 KB Output is correct
2 Correct 279 ms 52816 KB Output is correct
3 Correct 328 ms 53080 KB Output is correct
4 Correct 348 ms 52944 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 1 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Correct 1 ms 212 KB Output is correct
11 Correct 1 ms 212 KB Output is correct
12 Correct 0 ms 212 KB Output is correct
13 Correct 0 ms 212 KB Output is correct
14 Correct 0 ms 212 KB Output is correct
15 Correct 0 ms 212 KB Output is correct
16 Correct 1 ms 212 KB Output is correct
17 Correct 0 ms 212 KB Output is correct
18 Correct 0 ms 212 KB Output is correct
19 Correct 0 ms 212 KB Output is correct
20 Correct 0 ms 212 KB Output is correct
21 Correct 0 ms 212 KB Output is correct
22 Incorrect 0 ms 212 KB Output isn't correct
23 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Correct 0 ms 212 KB Output is correct
11 Correct 0 ms 212 KB Output is correct
12 Correct 0 ms 212 KB Output is correct
13 Correct 0 ms 212 KB Output is correct
14 Correct 0 ms 212 KB Output is correct
15 Correct 0 ms 212 KB Output is correct
16 Correct 0 ms 212 KB Output is correct
17 Correct 0 ms 212 KB Output is correct
18 Correct 0 ms 212 KB Output is correct
19 Correct 0 ms 212 KB Output is correct
20 Correct 0 ms 212 KB Output is correct
21 Correct 0 ms 212 KB Output is correct
22 Incorrect 0 ms 212 KB Output isn't correct
23 Halted 0 ms 0 KB -