結果

問題 No.649 ここでちょっとQK!
ユーザー selpoACselpoAC
提出日時 2019-01-25 19:30:56
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 1,986 ms / 3,000 ms
コード長 4,539 bytes
コンパイル時間 1,158 ms
コンパイル使用メモリ 113,280 KB
実行使用メモリ 42,240 KB
最終ジャッジ日時 2024-09-16 04:50:38
合計ジャッジ時間 26,754 ms
ジャッジサーバーID
(参考情報)
judge1 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 28 ms
19,584 KB
testcase_01 AC 26 ms
19,584 KB
testcase_02 AC 28 ms
19,712 KB
testcase_03 AC 170 ms
23,680 KB
testcase_04 AC 863 ms
42,112 KB
testcase_05 AC 866 ms
42,112 KB
testcase_06 AC 880 ms
42,240 KB
testcase_07 AC 28 ms
19,584 KB
testcase_08 AC 27 ms
19,584 KB
testcase_09 AC 27 ms
19,712 KB
testcase_10 AC 28 ms
19,712 KB
testcase_11 AC 28 ms
19,840 KB
testcase_12 AC 766 ms
30,976 KB
testcase_13 AC 763 ms
30,720 KB
testcase_14 AC 802 ms
30,848 KB
testcase_15 AC 887 ms
31,488 KB
testcase_16 AC 793 ms
31,744 KB
testcase_17 AC 914 ms
32,512 KB
testcase_18 AC 1,042 ms
33,408 KB
testcase_19 AC 1,155 ms
34,176 KB
testcase_20 AC 1,224 ms
35,072 KB
testcase_21 AC 1,342 ms
35,968 KB
testcase_22 AC 1,465 ms
36,864 KB
testcase_23 AC 1,594 ms
37,632 KB
testcase_24 AC 1,654 ms
38,400 KB
testcase_25 AC 1,842 ms
39,168 KB
testcase_26 AC 1,986 ms
39,168 KB
testcase_27 AC 35 ms
23,808 KB
testcase_28 AC 34 ms
23,552 KB
testcase_29 AC 34 ms
23,936 KB
testcase_30 AC 779 ms
30,848 KB
testcase_31 AC 821 ms
31,360 KB
testcase_32 AC 29 ms
19,968 KB
testcase_33 AC 28 ms
19,840 KB
testcase_34 AC 27 ms
19,584 KB
testcase_35 AC 24 ms
19,840 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff #

using System;
using System.Collections;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Numerics;
using System.Text;
using System.Threading.Tasks;
using static System.Console;
using static System.Math;
class Z { static void Main() => new K(); }
class K
{
	int F => int.Parse(Str);
	long FL => long.Parse(Str);
	int[] G => Strs.Select(int.Parse).ToArray();
	long[] GL => Strs.Select(long.Parse).ToArray();
	string Str => ReadLine();
	string[] Strs => Str.Split(new char[] { ' ', '\t' }, StringSplitOptions.RemoveEmptyEntries);
	const int MOD = 1000000007;
	public K()
	{
		SetOut(new StreamWriter(OpenStandardOutput()) { AutoFlush = false });
		Solve();
		Out.Flush();
	}
	void Solve()
	{
		/*var hoge = new List<int>();
		for (var i = 0; i < 20; i++) hoge.Add(Treap<int>.rand.Next(100));
		var tr = new Treap<int>();
		foreach (var x in hoge) tr.Insert(x);
		WriteLine("hoge = " + string.Join(", ", hoge));
		WriteLine("tr   = " + string.Join(", ", tr));
		hoge.Sort();
		WriteLine("hoge = " + string.Join(", ", hoge));
		WriteLine(tr);
		var a = hoge[Treap<int>.rand.Next(20)];
		tr.Remove(a);
		WriteLine($"removed {a}");
		WriteLine(tr);*/
		var I = G;
		int Q = I[0], K = I[1];
		var tr = new Treap<long>();
		while (Q-- > 0)
		{
			var I2 = GL;
			if (I2[0] == 1) tr.Insert(I2[1]);
			else
			{
				var x = tr.At(K - 1);
				WriteLine(x == null ? -1 : x.Value);
				if (x != null) tr.Remove(x.Value);
			}
		}
	}
}
class Treap<T> : IEnumerable<T> where T : IComparable<T>
{
	public static Random rand = new Random(471289567);
	public class Node : IEnumerable<T>
	{
		public static int GetSize(Node n) => n?.Size ?? 0;
		public int Size { get; private set; }
		public T Value;
		public readonly double Priority;
		public Node[] Children = new Node[2];
		public Node(T v) { Priority = rand.NextDouble(); Value = v; Update(); }
		public Node(T v, double p, params Node[] ch) { Value = v; Priority = p; ch.CopyTo(Children, 0); Update(); }
		public Node Update() { Size = 1 + Children.Sum(GetSize); return this; }
		public IEnumerator<T> GetEnumerator()
		{
			if (Children[0] != null) foreach (var x in Children[0]) yield return x;
			yield return Value;
			if (Children[1] != null) foreach (var x in Children[1]) yield return x;
		}
		IEnumerator IEnumerable.GetEnumerator() => GetEnumerator();
		string Label => $"{Value}({Priority:f2})";
		public override string ToString()
		{
			var sb = new StringBuilder();
			ToString(sb);
			return sb.ToString();
		}
		void ToString(StringBuilder sb)
		{
			sb.AppendLine(Label);
			for (var i = 0; i < 2; i++)
				if (Children[i] != null)
				{
					sb.AppendLine($"{Label} {Children[i].Label}");
					Children[i].ToString(sb);
				}
		}
	}
	Node root;
	public void Insert(T val) { root = Insert(root, new Node(val)); }
	public bool Remove(T val) { var x = Find(root, val); if (x != null) root = Remove(root, x); return x != null; }
	public Node At(int i)
	{
		var r = root;
		while (r != null)
		{
			var l = Node.GetSize(r.Children[0]);
			if (l == i) return r;
			if (l < i) { i -= l + 1; r = r.Children[1]; }
			else r = r.Children[0];
		}
		return null;
	}
	// r と r[id] の位置関係を変える
	Node Rotate(Node r, int id)
	{
		var c = r.Children[id];
		r.Children[id] = c.Children[1 - id];
		c.Children[1 - id] = r;
		c.Update(); r.Update();
		return c;
	}
	Node Insert(Node r, Node v)
	{
		if (r == null) return v;
		var id = r.Value.CompareTo(v.Value) > 0 ? 0 : 1;
		r.Children[id] = Insert(r.Children[id], v).Update();
		if (r.Priority < r.Children[id].Priority) r = Rotate(r, id);
		return r.Update();
	}
	Node Find(Node r, T val)
	{
		if (r == null) return null;
		var c = r.Value.CompareTo(val);
		if (c == 0) return r;
		return Find(r.Children[c > 0 ? 0 : 1], val);
	}
	Node Remove(Node r, Node v)
	{
		if (r == null) return root;
		if (r == v)
		{
			if (v.Children.All(c => c == null)) return null;
			var id = v.Children[0] != null && (v.Children[1] == null || v.Children[0].Priority >= v.Children[1].Priority) ? 0 : 1;
			var s = Rotate(v, id);
			s.Children[1 - id] = Remove(v, v);
			return s.Update();
		}
		else
		{
			var id = r.Value.CompareTo(v.Value) > 0 ? 0 : 1;
			r.Children[id] = Remove(r.Children[id], v);
			return r.Update();
		}
	}
	Node Merge(Node l, Node r)
	{
		var p = new Node(default(T), 100, l, r);
		return Remove(p, p);
	}
	public IEnumerator<T> GetEnumerator() => root.GetEnumerator();
	IEnumerator IEnumerable.GetEnumerator() => root.GetEnumerator();
	public override string ToString() => root.ToString();
}
0