結果
| 問題 | No.568 じゃんじゃん 落とす 委員会 | 
| コンテスト | |
| ユーザー |  6soukiti29 | 
| 提出日時 | 2017-09-14 21:01:23 | 
| 言語 | Nim (2.2.0) | 
| 結果 | 
                                CE
                                 
                            (最新) 
                                AC
                                 
                            (最初) | 
| 実行時間 | - | 
| コード長 | 1,111 bytes | 
| コンパイル時間 | 858 ms | 
| コンパイル使用メモリ | 65,100 KB | 
| 最終ジャッジ日時 | 2024-06-30 03:11:16 | 
| 合計ジャッジ時間 | 1,511 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge2 | 
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
            
            
            
            
            ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
/home/judge/data/code/Main.nim(12, 30) Error: type mismatch: got 'seq[int]' for 'map(split(readLine(stdin), {' ', '\t', '\v', '\r', '\n', '\f'}, -1), parseInt)' but expected 'tuple'
            
            ソースコード
import sequtils,strutils,algorithm,math
type
    item = tuple[x, a, b, id : int]
var
    N, M : int
    x, a, b : int
    A = newSeq[item](0)
    flag : array[100001,int]
    cnt : array[6, int]
(N, M) = stdin.readline.split.map(parseInt)
for n in 0..<N:
    (x, a, b) = stdin.readline.split.map(parseInt)
    A.add((x,a,b,n))
    flag[n] = x + 1
    cnt[x + 1] += 1
var
    B = A.sortedByIt(it.b)
A = A.sortedByIt(it.a)
var
    i = -1
    j = 100001
    pai,paj,pbi,pbj : int
pbj = B.high
paj = B.high
var ans = int.high
while j > -1 or i < 100001:
    if sum(cnt[2..5]) < M and j > -1:
        j -= 1
        while pbj >= 0 and B[pbj].b >= j:
            var f = B[pbj].id
            cnt[flag[f]] -= 1
            cnt[flag[f] + 1] += 1
            flag[f] += 1
            pbj -= 1
    elif sum(cnt[2..5]) >= M and i < 100001:
        ans = min(ans, sum(cnt[3..5]))
        i += 1
        while pai < A.len and A[pai].a <= i:
            var f = A[pai].id
            cnt[flag[f]] -= 1
            cnt[flag[f] - 1] += 1
            flag[f] -= 1
            pai += 1
    else:
        break
       
echo ans
            
            
            
        