verify/AI/topologicalsort_test.nim

View this file on GitHub
Last update: 2026-07-07 07:56:57+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/graph/topologicalsort

var dag = initUnWeightedDirectedGraph(4)
dag.add_edge(0, 1)
dag.add_edge(0, 2)
dag.add_edge(1, 3)
dag.add_edge(2, 3)
let ord = dag.topologicalsort
assert ord.len == 4
assert ord.find(0) < ord.find(1)
assert ord.find(0) < ord.find(2)
assert ord.find(1) < ord.find(3)
assert dag.isDAG

var cyc = initUnWeightedDirectedGraph(2)
cyc.add_edge(0, 1)
cyc.add_edge(1, 0)
assert not cyc.isDAG

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