結果

問題 No.288 貯金箱の仕事
ユーザー tanzakutanzaku
提出日時 2015-10-12 01:16:49
言語 Java21
(openjdk 21)
結果
TLE  
実行時間 -
コード長 8,103 bytes
コンパイル時間 2,722 ms
コンパイル使用メモリ 87,176 KB
実行使用メモリ 82,740 KB
最終ジャッジ日時 2023-09-28 12:28:52
合計ジャッジ時間 8,294 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 48 ms
50,076 KB
testcase_01 AC 49 ms
49,880 KB
testcase_02 AC 47 ms
49,336 KB
testcase_03 AC 45 ms
49,676 KB
testcase_04 AC 46 ms
49,604 KB
testcase_05 AC 46 ms
49,196 KB
testcase_06 AC 47 ms
49,736 KB
testcase_07 AC 48 ms
49,572 KB
testcase_08 AC 47 ms
49,528 KB
testcase_09 AC 47 ms
49,520 KB
testcase_10 AC 48 ms
49,744 KB
testcase_11 AC 46 ms
49,412 KB
testcase_12 AC 49 ms
49,612 KB
testcase_13 AC 47 ms
49,604 KB
testcase_14 AC 48 ms
49,812 KB
testcase_15 AC 48 ms
49,384 KB
testcase_16 AC 48 ms
49,512 KB
testcase_17 AC 48 ms
49,664 KB
testcase_18 AC 47 ms
49,532 KB
testcase_19 AC 48 ms
49,692 KB
testcase_20 AC 48 ms
49,888 KB
testcase_21 AC 47 ms
49,620 KB
testcase_22 AC 49 ms
49,524 KB
testcase_23 AC 86 ms
52,788 KB
testcase_24 TLE -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
testcase_43 -- -
testcase_44 -- -
testcase_45 -- -
testcase_46 -- -
testcase_47 -- -
testcase_48 -- -
testcase_49 -- -
testcase_50 -- -
testcase_51 -- -
testcase_52 -- -
testcase_53 -- -
testcase_54 -- -
testcase_55 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import java.io.*;
import java.math.*;
import java.util.*;

import javax.management.RuntimeErrorException;

import static java.util.Arrays.*;

public class Main {
	private static final int mod = (int)1e9+7;

	final Random random = new Random(0);
	final IOFast io = new IOFast();

	/// MAIN CODE
	public void run() throws IOException {
//		int TEST_CASE = Integer.parseInt(new String(io.nextLine()).trim());
		int TEST_CASE = 1;
		while(TEST_CASE-- != 0) {
			int n = io.nextInt();
			long m = io.nextLong();
			int[] A = io.nextIntArray(n);
			long[] K = io.nextLongArray(n);
			for(int i = 0; i < n; i++) m -= A[i] * K[i];
			io.out.println(solve(A, -m));
		}
	}
	
	// min Σ C[i] s.t. Σ A[i] * C[i] = X, A[i] >= 0, C[i] >= 0
	long solve(final int[] A, final long X) {
		if(X < 0) return -1;
		
		Arrays.sort(A);
		final int n = A.length;
		final int maxElem = A[n - 1];
//		final long[] minUseMaxElem = bfs01(A, 1);
//		final long[] other = bfs01(A, 0);
//		dump(minUseMaxElem, other, X / maxElem);
//		if(minUseMaxElem[(int)(X%maxElem)] > X / maxElem) {
//			return -1;
//		}
//		else {
//			return other[(int)(X%maxElem)] + X / maxElem;
//		}
		final List<long[]> dps = func(A);
		long ans = Long.MAX_VALUE;
		for(int i = 0; i < dps.size() && X / maxElem - i >= 0; i++) {
			final long[] cur = dps.get(i);
//			dump(i, cur);
			ans = Math.min(ans, X / maxElem - i + cur[(int)(X % maxElem)]);
//			System.err.println(i + " " + X / maxElem + " " + cur[(int)(X % maxElem)]);
		}
		return ans >= Long.MAX_VALUE / 2 ? -1 : ans;
	}
	
	List<long[]> func(final int[] A) {
		final int maxElem = A[A.length - 1];
		final List<long[]> dps = new ArrayList<long[]>();
		for(int i = 0; ; i++) {
			final long[] dp = new long[maxElem];
			if(i == 0) {
				Arrays.fill(dp, Long.MAX_VALUE / 2);
				dp[0] = 0;
			}
			else {
				final long[] prev = dps.get(i-1);
				for(int j = 0; j < maxElem; j++) {
					dp[j] = Math.min(prev[j] + 1, Long.MAX_VALUE / 2);
				}
			}
			for(int j = 0; j < maxElem; j++) {
				for(int a : A) {
					if(j >= a) {
						dp[j] = Math.min(dp[j-a]+1, dp[j]);
					}
					else if(i != 0) {
						final long[] prev = dps.get(i-1);
						dp[j] = Math.min(prev[maxElem+j-a]+1, dp[j]);
					}
				}
			}
			dps.add(dp);
			if(i != 0) {
				final long[] prev = dps.get(i-1);
				boolean ok = false;
				for(int j = 0; j < maxElem; j++) {
					if(dp[j] != Long.MAX_VALUE) {
						ok |= dp[j] - 1 < prev[j];
					}
				}
				if(!ok) break;
			}
		}
		return dps;
	}
	
	long[] bfs01(final int[] A, final int countMaxElem) {
		final Deque<Integer> deq = new ArrayDeque<Integer>();
		final int maxElem = A[A.length - 1];
		final long[] dp = new long[maxElem];
		Arrays.fill(dp, Long.MAX_VALUE);
		dp[0] = 0;
		deq.add(0);
		while(!deq.isEmpty()) {
			final int idx = deq.pollFirst();
			for(int i = 0; i < A.length - 1; i++) {
				int v = A[i] + idx;
				if(v >= maxElem) {
					v -= maxElem;
					if(dp[v] > dp[idx] + countMaxElem) {
						dp[v] = dp[idx] + countMaxElem;
						if(countMaxElem == 0) { deq.addFirst(v); }
						else { deq.addLast(v); }
					}
				}
				else {
					if(dp[v] > dp[idx] + (countMaxElem^1)) {
						dp[v] = dp[idx] + (countMaxElem^1);
						if((countMaxElem^1) == 0) { deq.addFirst(v); }
						else { deq.addLast(v); }
					}
				}
			}
		}
		return dp;
	}
	
	
	/// TEMPLATE
	static int gcd(int n, int r) { return r == 0 ? n : gcd(r, n%r); }
	static long gcd(long n, long r) { return r == 0 ? n : gcd(r, n%r); }
	
	static <T> void swap(T[] x, int i, int j) { T t = x[i]; x[i] = x[j]; x[j] = t; }
	static void swap(int[] x, int i, int j) { int t = x[i]; x[i] = x[j]; x[j] = t; }
	
	static void dump(Object... o) { System.err.println(Arrays.deepToString(o)); } 
	
	void main() throws IOException {
		//		IOFast.setFileIO("rle-size.in", "rle-size.out");
		try { run(); }
		catch (EndOfFileRuntimeException e) { }
		io.out.flush();
	}
	public static void main(String[] args) throws IOException { new Main().main(); }
	
	static class EndOfFileRuntimeException extends RuntimeException {
		private static final long serialVersionUID = -8565341110209207657L; }

	static
	public class IOFast {
		private BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
		private PrintWriter out = new PrintWriter(System.out);

		void setFileIn(String ins) throws IOException { in.close(); in = new BufferedReader(new FileReader(ins)); }
		void setFileOut(String outs) throws IOException { out.flush(); out.close(); out = new PrintWriter(new FileWriter(outs)); }
		void setFileIO(String ins, String outs) throws IOException { setFileIn(ins); setFileOut(outs); }

		private static int pos, readLen;
		private static final char[] buffer = new char[1024 * 8];
		private static char[] str = new char[500*8*2];
		private static boolean[] isDigit = new boolean[256];
		private static boolean[] isSpace = new boolean[256];
		private static boolean[] isLineSep = new boolean[256];

		static { for(int i = 0; i < 10; i++) { isDigit['0' + i] = true; } isDigit['-'] = true; isSpace[' '] = isSpace['\r'] = isSpace['\n'] = isSpace['\t'] = true; isLineSep['\r'] = isLineSep['\n'] = true; }
		public int read() throws IOException { if(pos >= readLen) { pos = 0; readLen = in.read(buffer); if(readLen <= 0) { throw new EndOfFileRuntimeException(); } } return buffer[pos++]; }
		public int nextInt() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isSpace); int i = 0; int ret = 0; if(str[0] == '-') { i = 1; } for(; i < len; i++) ret = ret * 10 + str[i] - '0'; if(str[0] == '-') { ret = -ret; } return ret; }
		public long nextLong() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isSpace); int i = 0; long ret = 0; if(str[0] == '-') { i = 1; } for(; i < len; i++) ret = ret * 10 + str[i] - '0'; if(str[0] == '-') { ret = -ret; } return ret; }
		public char nextChar() throws IOException { while(true) { final int c = read(); if(!isSpace[c]) { return (char)c; } } }
		int reads(int len, boolean[] accept) throws IOException { try { while(true) { final int c = read(); if(accept[c]) { break; } if(str.length == len) { char[] rep = new char[str.length * 3 / 2]; System.arraycopy(str, 0, rep, 0, str.length); str = rep; } str[len++] = (char)c; } } catch(EndOfFileRuntimeException e) { ; } return len; }
		int reads(char[] cs, int len, boolean[] accept) throws IOException { try { while(true) { final int c = read(); if(accept[c]) { break; } cs[len++] = (char)c; } } catch(EndOfFileRuntimeException e) { ; } return len; }
		public char[] nextLine() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isLineSep); try { if(str[len-1] == '\r') { len--; read(); } } catch(EndOfFileRuntimeException e) { ; } return Arrays.copyOf(str, len); }
		public String nextString() throws IOException { return new String(next()); }
		public char[] next() throws IOException { int len = 0; str[len++] = nextChar(); len = reads(len, isSpace); return Arrays.copyOf(str, len); }
//		public int next(char[] cs) throws IOException { int len = 0; cs[len++] = nextChar(); len = reads(cs, len, isSpace); return len; }
		public double nextDouble() throws IOException { return Double.parseDouble(nextString()); }
		public long[] nextLongArray(final int n) throws IOException { final long[] res = new long[n]; for(int i = 0; i < n; i++) { res[i] = nextLong(); } return res; }
		public int[] nextIntArray(final int n) throws IOException { final int[] res = new int[n]; for(int i = 0; i < n; i++) { res[i] = nextInt(); } return res; }
		public int[][] nextIntArray2D(final int n, final int k) throws IOException { final int[][] res = new int[n][]; for(int i = 0; i < n; i++) { res[i] = nextIntArray(k); } return res; }
		public int[][] nextIntArray2DWithIndex(final int n, final int k) throws IOException { final int[][] res = new int[n][k+1]; for(int i = 0; i < n; i++) { for(int j = 0; j < k; j++) { res[i][j] = nextInt(); } res[i][k] = i; } return res; }
		public double[] nextDoubleArray(final int n) throws IOException { final double[] res = new double[n]; for(int i = 0; i < n; i++) { res[i] = nextDouble(); } return res; }
	}
}
0