結果

問題 No.1660 Matrix Exponentiation
ユーザー 箱星
提出日時 2021-07-23 06:01:55
言語 Kotlin
(2.1.0)
結果
AC  
実行時間 1,160 ms / 2,000 ms
コード長 3,054 bytes
コンパイル時間 17,048 ms
コンパイル使用メモリ 450,784 KB
実行使用メモリ 146,796 KB
最終ジャッジ日時 2024-09-27 09:20:28
合計ジャッジ時間 30,431 ms
ジャッジサーバーID
(参考情報)
judge2 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff #

import java.io.PrintWriter
import java.util.*
import kotlin.math.*

fun PrintWriter.solve() {
    val n = nextInt()
    val m = nextInt()
    val adj = Array(n) { mutableListOf<Int>() }
    val set = mutableSetOf<Pair<Int, Int>>()
    for (i in 0 until m) {
        val v1 = nextInt() - 1
        val v2 = nextInt() - 1
        if (v1 == v2 || set.contains(v2 to v1)) {
            println(-1)
            return
        }
        adj[v1].add(v2)
        set.add(v1 to v2)
    }
    if (findCycle(adj).isNotEmpty()) {
        println(-1)
    } else {
        val lst = topologicalSort(adj)
        val dp = IntArray(n) { -1 }
        fun dfs(v: Int): Int {
            if (dp[v] != -1) return dp[v]
            var max = 0
            for (w in adj[v]) {
                max = maxOf(max, dfs(w))
            }
            dp[v] = max + 1
            return dp[v]
        }
        lst.forEach { dfs(it) }
        println(dp.maxOrNull()!!)
    }
}

fun findCycle(adj: Array<MutableList<Int>>): List<Int> {
    val n = adj.size
    val seen = BooleanArray(n) { false }
    val finished = BooleanArray(n) { false }
    var pos = -1
    val hist = Stack<Int>()
    fun dfs(v: Int, p: Int) {
        seen[v] = true
        hist.push(v)
        for (w in adj[v]) {
            if (w == p) continue
            if (finished[w]) continue
            if (seen[w] && !finished[w]) {
                pos = w
                return
            }
            dfs(w, v)
            if (pos != -1) return
        }
        hist.pop()
        finished[v] = true
    }
    for (i in 0 until n) {
        if (!finished[i]) {
            dfs(i, -1)
            if (pos != -1) break
        }
    }

    val cycle = mutableListOf<Int>()
    while (hist.isNotEmpty()) {
        val t = hist.pop()
        cycle.add(t)
        if (t == pos) break
    }
    return cycle
}

fun topologicalSort(adj: Array<MutableList<Int>>): List<Int> {
    val ans = mutableListOf<Int>()
    val n = adj.size
    val ind = IntArray(n) { 0 }
    for (i in 0 until n) {
        for (v in adj[i]) ind[v]++
    }
    val que: Queue<Int> = ArrayDeque()
    for (i in 0 until n) {
        if (ind[i] == 0) que.add(i)
    }
    while (que.isNotEmpty()) {
        val now = que.poll()
        ans.add(now)
        for (v in adj[now]) {
            ind[v]--
            if (ind[v] == 0) que.add(v)
        }
    }
    return ans
}

fun main2() {
    val writer = PrintWriter(System.out, false)
    writer.solve()
    writer.flush()
}

fun main() = Thread(null, ::main2, "", 64 * 1024 * 1024)
        .apply { setUncaughtExceptionHandler { _, e -> e.printStackTrace(); kotlin.system.exitProcess(1) } }
        .apply { start() }.join()

// region Scanner
private var st = StringTokenizer("")
private val br = System.`in`.bufferedReader()

fun next(): String {
    while (!st.hasMoreTokens()) st = StringTokenizer(br.readLine())
    return st.nextToken()
}

fun nextInt() = next().toInt()
fun nextLong() = next().toLong()
fun nextLine() = br.readLine()!!
fun nextDouble() = next().toDouble()
// endregion
0