verify/AI/rerooting_test.nim

View this file on GitHub
Last update: 2026-09-04 10:21:15+09:00
Problem: https://onlinejudge.u-aizu.ac.jp/problems/ITP1_1_A

Depends on

Code

# verification-helper: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/ITP1_1_A
echo "Hello World"

import cplib/graph/graph
import cplib/tree/rerooting

var g = initUnWeightedUnDirectedGraph(4)
g.add_edge(0, 1)
g.add_edge(1, 2)
g.add_edge(1, 3)

proc merge(a, b: int): int = max(a, b)
proc putEdge(x: int, u, v: int): int = x + 1
proc putVertex(x: int, v: int): int = x

let emptyGraph = initUnWeightedUnDirectedGraph(0)
assert emptyGraph.solve_Rerooting_raw(merge, 0, putEdge, putVertex) == @[]
assert emptyGraph.solve_Rerooting(merge, 0, putEdge, putVertex) == @[]

assert g.solve_Rerooting_raw(merge, 0, putEdge, putVertex) == @[2, 1, 2, 2]
assert g.solve_Rerooting(merge, 0, putEdge, putVertex) == @[2, 1, 2, 2]

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/onlinejudge_verify/languages/nim.py", line 86, in bundle
    raise NotImplementedError
NotImplementedError