結果

問題 No.943 取り調べ
ユーザー dot_haraaidot_haraai
提出日時 2021-05-29 17:59:27
言語 Nim
(2.0.2)
結果
AC  
実行時間 984 ms / 1,206 ms
コード長 2,123 bytes
コンパイル時間 3,619 ms
コンパイル使用メモリ 89,248 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-04-25 13:56:37
合計ジャッジ時間 7,358 ms
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,940 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 1 ms
6,944 KB
testcase_04 AC 135 ms
6,944 KB
testcase_05 AC 984 ms
6,940 KB
testcase_06 AC 982 ms
6,940 KB
testcase_07 AC 2 ms
6,944 KB
testcase_08 AC 133 ms
6,944 KB
testcase_09 AC 47 ms
6,940 KB
testcase_10 AC 40 ms
6,940 KB
testcase_11 AC 17 ms
6,940 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 2 ms
6,944 KB
testcase_14 AC 2 ms
6,944 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 2 ms
6,940 KB
testcase_17 AC 30 ms
6,940 KB
testcase_18 AC 2 ms
6,944 KB
testcase_19 AC 2 ms
6,940 KB
testcase_20 AC 1 ms
6,940 KB
testcase_21 AC 1 ms
6,944 KB
testcase_22 AC 29 ms
6,944 KB
testcase_23 AC 300 ms
6,940 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
/home/judge/data/code/Main.nim(2, 18) Warning: Use the new 'sugar' module instead; future is deprecated [Deprecated]
/home/judge/data/code/Main.nim(1, 8) Warning: imported and not used: 'times' [UnusedImport]
/home/judge/data/code/Main.nim(2, 26) Warning: imported and not used: 'strformat' [UnusedImport]
/home/judge/data/code/Main.nim(2, 18) Warning: imported and not used: 'future' [UnusedImport]
/home/judge/data/code/Main.nim(2, 37) Warning: imported and not used: 'deques' [UnusedImport]
/home/judge/data/code/Main.nim(1, 41) Warning: imported and not used: 'algorithm' [UnusedImport]
/home/judge/data/code/Main.nim(1, 52) Warning: imported and not used: 'tables' [UnusedImport]
/home/judge/data/code/Main.nim(1, 60) Warning: imported and not used: 'sets' [UnusedImport]
/home/judge/data/code/Main.nim(1, 66) Warning: imported and not used: 'lists' [UnusedImport]
/home/judge/data/code/Main.nim(1, 73) Warning: imported and not used: 'intsets' [UnusedImport]
/home/judge/data/code/Main.nim(2, 8) Warning: imported and not used: 'critbits' [UnusedImport]

ソースコード

diff #

import times, strutils, sequtils, math, algorithm, tables, sets, lists, intsets
import critbits, future, strformat, deques
template `max=`(x,y) = x = max(x,y)
template `min=`(x,y) = x = min(x,y)
template `mod=`(x,y) = x = x mod y
template scan2 = (scan(), scan())
template scan3 = (scan(), scan())
let read* = iterator: string {.closure.} =
    while true: (for s in stdin.readLine.split: yield s)
proc scan(): int = read().parseInt
proc scanf(): float = read().parseFloat
proc toInt(c:char): int =
    return int(c) - int('0')



proc solveOld():int=
  var
    n = scan()
    x = newseqwith(n,newseqwith(n,1==scan()))
    a = newseqwith(n,scan())

  result = int.high
  for i in 0..<2^n:
    #echo i.toBin(n)
    var
      sorry = 0
      tx = x
    for j in 0..<n:
      if (i and (1 shl j)) > 0:
        sorry += a[j]
        for k in 0..<n:
          tx[k][j] = false
    var
      update = true
    while update:
      update = false
      for j in 0..<n:
        if tx[j].allit(it==false):
          for k in 0..<n:
            if tx[k][j]==true:
              update=true
              tx[k][j]=false
    #echo tx.join("\n")
    if tx.allIt(it.allIt(it==false)):
      result.min=sorry

proc solve():int=
  var
    n = scan()
    x = newseqwith(n,newseqwith(n,scan()).join("").parseBinInt)
    a = newseqwith(n,scan())
  #echo x.mapIt(it.toBin(n)).join("\n")
  result = int.high
  for i in 0..<2^n:
    
    var
      sorry = 0
      tx = x
    for j in 0..<n:
      if (i and (1 shl j)) > 0:
        sorry += a[j]
        for k in 0..<n:
          if (tx[k] and (1 shl (n-j-1))) > 0:
            tx[k] -= (1 shl (n-j-1))
    #echo i.toBin(n)," sorry:",sorry
    #echo "==="
    #echo tx.mapIt(it.toBin(n)).join("\n")
    #echo "=>"
    var
      update = true
    while update:
      update = false
      for j in 0..<n:
        if tx[j] == 0:
          for k in 0..<n:
            if (tx[k] and (1 shl (n-j-1))) > 0:
              update=true
              tx[k] -= (1 shl (n-j-1))
    #echo tx.mapIt(it.toBin(n)).join("\n")
    #echo ""
    if tx.allIt(it==0):
      result.min=sorry

    
    


  

echo solve()
0