提出 #44621584

---

ソースコード 拡げる

class BIT
	def initialize n
		@n = n+1 # accessing 0..n-1, 1..n internally.
		@a = [0]*@n
	end

	def [] i
		i += 1
		s = 0
		while 0<i
			s += @a[i]
			i &= i-1
		end
		return s
	end
	def lb s
		i,t,b = 0,0,1<<(@n-1).bit_length
		t += @a[i|=b] if i|b<@n && t+@a[i|b]<s while 0<b >>= 1
		return i if i<@n-1 # i は１大きい内部インデックス(もしくは 0)だけど、求めた添字が s 未満の値を返す最大の添字であり、s の lower_bound としては +1 したものを返したいから、足し引きして内部インデックスそのままの値を返す(アクセス可能な範囲(0...@n-1)なら)。
	end

	def add i,d
		i += 1
		while i<@n
			@a[i] += d
			i += i&-i
		end
	end
	def inc i; add i,1 end
	def dec i; add i,-1 end
end

N,*S = $<.read.split.map(&:to_i)
S.sort!.reverse!
U = S.uniq
I = U.each_with_index.to_h
QS = BIT.new U.size
A = [S.shift]
S.each{|s|
	QS.inc I[s]
}

puts N.times.all?{|n|
	A.dup.all?{|a|
		if i = QS.lb(QS[I[a]]+1)
			QS.dec i
			A<<U[i]
		end
	}
}?'Yes':'No'

提出情報

ジャッジ結果