結果
| 問題 | No.59 鉄道の旅 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2016-11-24 12:06:07 | 
| 言語 | Java (openjdk 23) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 117 ms / 5,000 ms | 
| コード長 | 2,867 bytes | 
| コンパイル時間 | 2,281 ms | 
| コンパイル使用メモリ | 79,752 KB | 
| 実行使用メモリ | 46,640 KB | 
| 最終ジャッジ日時 | 2024-12-25 00:28:51 | 
| 合計ジャッジ時間 | 4,076 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 12 | 
ソースコード
import java.io.IOException;
import java.io.InputStream;
import java.util.NoSuchElementException;
public class Main {
	static class FenwickTree {
		int n;
		long[] x;
		FenwickTree(int n) {
			this.n = n;
			x = new long[n+1];
		}
		long sum(int r) {
			long s = 0;
			for(int i=r-1; i>=0; i=(i&(i+1))-1) s+=x[i];
			return s;
		}
		long sum(int l, int r) { return sum(r)-sum(l); }
		long get(int k) { return sum(k)-sum(k-1); }
		void add(int k, long a) {
			for(int i=k; i<n; i|=i+1) x[i] += a;
		}
		void set(int k, long a) {
			add(k, a-sum(k, k+1));
		}
		
		void print() {
			for(int i=0; i<5; i++) {
				System.out.println(i + " : " + get(i));
			}
		}
	}
	public static void main(String[] args) {
		FS r = new FS();
		int N = r.nextInt();
		int K = r.nextInt();
		FenwickTree bit = new FenwickTree(1000000);
		int counter = 0;
		for(int i=0; i<N; i++) {
			long w = r.nextLong();
			if(0<w) {
				w--;
				long c = bit.sum((int)w);
				if(K > counter-c) {
					bit.add((int)w, 1);
					counter++;
				}
			} else {
				w = -w;
				long c = bit.get((int)w);
				if(c>0) {
					bit.add((int)w-1, -1);
					counter--;
				}
			}
		}
		System.out.println(bit.sum(1000000));
	}
	
	// Read Class
	static class FS {
		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() { return hasNextByte() ? buffer[ptr++] : -1;}
		private 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 double nextDouble() {
			return Double.parseDouble(next());
		}
		public int nextInt() {
			return (int)nextLong();
		}
		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();
			}
		}
	}
}
            
            
            
        