結果
問題 |
No.1043 直列大学
|
ユーザー |
|
提出日時 | 2020-05-01 23:21:11 |
言語 | Java (openjdk 23) |
結果 |
AC
|
実行時間 | 238 ms / 2,000 ms |
コード長 | 3,476 bytes |
コンパイル時間 | 2,524 ms |
コンパイル使用メモリ | 78,236 KB |
実行使用メモリ | 40,828 KB |
最終ジャッジ日時 | 2024-12-22 19:55:05 |
合計ジャッジ時間 | 8,654 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 28 |
ソースコード
import java.io.IOException; import java.io.InputStream; import java.util.ArrayList; import java.util.Arrays; import java.util.NoSuchElementException; import java.util.PriorityQueue; import java.util.Random; public class Main { public static void main(String[] args) { new Main().run(); } final long MOD=(long)1e9+7; long ADD(long a,long b) { return a+b>=MOD?a+b-MOD:a+b; } void run() { FastScanner sc=new FastScanner(); // A <= Σv/Σr <= B // AΣr<= Σv <= BΣr // AR <= V <= BR // ただし R=ΣR,V=Σv int N=sc.nextInt(); int M=sc.nextInt(); int[] V=new int[N]; int[] R=new int[M]; for (int i=0;i<N;++i) V[i]=sc.nextInt(); for (int i=0;i<M;++i) R[i]=sc.nextInt(); int A=sc.nextInt(); int B=sc.nextInt(); long[] dpV=new long[100001]; long[] dpR=new long[100001]; dpV[0]=1; dpR[0]=1; for (int i=0;i<N;++i) { for (int j=dpV.length-1;j>=0;--j) if (j+V[i]<dpV.length) dpV[j+V[i]]=ADD(dpV[j+V[i]],dpV[j]); } for (int i=0;i<M;++i) { for (int j=dpR.length-1;j>=0;--j) if (j+R[i]<dpR.length) dpR[j+R[i]]=ADD(dpR[j+R[i]],dpR[j]); } for (int i=1;i<dpV.length;++i) { dpV[i]=ADD(dpV[i],dpV[i-1]); } long ans=0; for (int i=1;i<dpR.length;++i) { int upper=(int)Math.min(dpV.length-1, (long)B*i); int lower=(int)Math.min(dpV.length-1, (long)A*i-1); ans+=dpR[i]*(dpV[upper]-dpV[lower])%MOD; ans%=MOD; } ans=(ans%MOD+MOD)%MOD; System.out.println(ans); } void tr(Object...objects) {System.out.println(Arrays.deepToString(objects));} } class FastScanner { private final InputStream in = System.in; private final byte[] buffer = new byte[1024]; private int ptr = 0; private int buflen = 0; private boolean hasNextByte() { if (ptr < buflen) { return true; }else{ ptr = 0; try { buflen = in.read(buffer); } catch (IOException e) { e.printStackTrace(); } if (buflen <= 0) { return false; } } return true; } private int readByte() { if (hasNextByte()) return buffer[ptr++]; else return -1;} private static boolean isPrintableChar(int c) { return 33 <= c && c <= 126;} private void skipUnprintable() { while(hasNextByte() && !isPrintableChar(buffer[ptr])) ptr++;} public boolean hasNext() { skipUnprintable(); return hasNextByte();} public String next() { if (!hasNext()) throw new NoSuchElementException(); StringBuilder sb = new StringBuilder(); int b = readByte(); while(isPrintableChar(b)) { sb.appendCodePoint(b); b = readByte(); } return sb.toString(); } public long nextLong() { if (!hasNext()) throw new NoSuchElementException(); long n = 0; boolean minus = false; int b = readByte(); if (b == '-') { minus = true; b = readByte(); } if (b < '0' || '9' < b) { throw new NumberFormatException(); } while(true){ if ('0' <= b && b <= '9') { n *= 10; n += b - '0'; }else if(b == -1 || !isPrintableChar(b)){ return minus ? -n : n; }else{ throw new NumberFormatException(); } b = readByte(); } } public int nextInt() { return (int)nextLong(); } }