Submission #44338567

---

Source Code Expand

import std/os/readline
import std/text/parse

fun pints()
  many
    whitespace0()
    pint()

fun main()
    val [n1, n2, m] = readline().slice.parse(pints).maybe.default([])
    var al := vector(n1 + n2 + 1, [])
    for (1, m) fn(_)
        val [a, b] = readline().slice.parse(pints).maybe.default([])
        al[a] := Cons(b, al[a])
        al[b] := Cons(a, al[b])
    var dist := vector(n1 + n2 + 1, -1)
    dist[1] := 0
    dist[n1 + n2] := 0
    var now := [1]
    var new := []
    var d1 := 0
    while { now.is-cons }
        new := []
        foreach (now) fn(v)
            foreach (al[v]) fn(w)
                if dist[w] == -1 then
                    dist[w] := dist[v] + 1
                    new := Cons(w, new)
                    d1 := max(d1, dist[w])
        now := new
    now := [n1 + n2]
    var d2 := 0
    while { now.is-cons }
        new := []
        foreach (now) fn(v)
            foreach (al[v]) fn(w)
                if dist[w] == -1 then
                    dist[w] := dist[v] + 1
                    new := Cons(w, new)
                    d2 := max(d2, dist[w])
        now := new    
    (d1 + d2 + 1).println

Submission Info

Compile Error

compile: Main.kk
loading: std/core
loading: std/core/types
loading: std/core/hnd
loading: std/os/readline
loading: std/text/parse
check  : Main
linking: a
created: .koka/v2.4.0/gcc-drelease/a
created: a.out
add default effect for std/core/exn

Judge Result