結果

問題 No.1426 Got a Covered OR
ユーザー 箱星箱星
提出日時 2021-01-13 09:26:49
言語 Kotlin
(1.9.23)
結果
AC  
実行時間 928 ms / 2,000 ms
コード長 4,135 bytes
コンパイル時間 18,926 ms
コンパイル使用メモリ 449,816 KB
実行使用メモリ 103,492 KB
最終ジャッジ日時 2024-11-22 01:11:40
合計ジャッジ時間 29,800 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 321 ms
59,212 KB
testcase_01 AC 320 ms
59,352 KB
testcase_02 AC 321 ms
59,224 KB
testcase_03 AC 322 ms
59,284 KB
testcase_04 AC 321 ms
59,412 KB
testcase_05 AC 324 ms
59,400 KB
testcase_06 AC 323 ms
59,284 KB
testcase_07 AC 319 ms
59,436 KB
testcase_08 AC 324 ms
59,444 KB
testcase_09 AC 325 ms
59,432 KB
testcase_10 AC 321 ms
59,256 KB
testcase_11 AC 323 ms
59,336 KB
testcase_12 AC 484 ms
63,600 KB
testcase_13 AC 489 ms
64,192 KB
testcase_14 AC 446 ms
63,416 KB
testcase_15 AC 505 ms
63,360 KB
testcase_16 AC 370 ms
60,288 KB
testcase_17 AC 497 ms
70,140 KB
testcase_18 AC 928 ms
99,276 KB
testcase_19 AC 812 ms
99,168 KB
testcase_20 AC 627 ms
92,588 KB
testcase_21 AC 633 ms
93,196 KB
testcase_22 AC 485 ms
66,520 KB
testcase_23 AC 865 ms
103,492 KB
testcase_24 AC 469 ms
70,328 KB
testcase_25 AC 841 ms
101,876 KB
testcase_26 AC 836 ms
101,776 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

// region ModInt
const val MOD = 1000000007L

class ModInt(x: Long) {
    constructor(y: Int) : this(y.toLong())

    val x = (x % MOD + MOD) % MOD

    operator fun plus(other: ModInt): ModInt {
        return ModInt(x + other.x)
    }

    operator fun minus(other: ModInt): ModInt {
        return ModInt(x - other.x)
    }

    operator fun times(other: ModInt): ModInt {
        return ModInt(x * other.x)
    }

    operator fun div(other: ModInt): ModInt {
        return this * other.inv()
    }

    fun pow(exp: Long): ModInt {
        if (exp == 0L) return ModInt(1L)
        var a = pow(exp shr 1)
        a *= a
        if (exp and 1L == 0L) return a
        return this * a
    }

    fun inv(): ModInt {
        return this.pow(MOD - 2)
    }

    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (javaClass != other?.javaClass) return false

        other as ModInt

        if (x != other.x) return false

        return true
    }

    override fun hashCode(): Int {
        return x.hashCode()
    }

    override fun toString(): String {
        return "$x"
    }
}

fun Long.toModInt(): ModInt {
    return ModInt(this)
}

fun Int.toModInt(): ModInt {
    return ModInt(this)
}

const val fac_size = 600000
var fac_initialized = false
val arr_fac = LongArray(fac_size) { 1 }
val arr_invfac = LongArray(fac_size) { 1 }

fun facInitialize() {
    for (i in 1 until fac_size) {
        arr_fac[i] = arr_fac[i - 1] * i % MOD
    }
    arr_invfac[fac_size - 1] = arr_fac[fac_size - 1].toModInt().inv().x
    for (i in fac_size - 2 downTo 1) {
        arr_invfac[i] = arr_invfac[i + 1] * (i + 1) % MOD
    }
    fac_initialized = true
}

fun fac(n: Int): ModInt {
    if (!fac_initialized) facInitialize()
    return arr_fac[n].toModInt()
}

fun fac(n: Long): ModInt {
    return fac(n.toInt())
}

fun invfac(n: Int): ModInt {
    if (!fac_initialized) facInitialize()
    return arr_invfac[n].toModInt()
}

fun invfac(n: Long): ModInt {
    return invfac(n.toInt())
}

fun comb(n: Long, k: Long): ModInt {
    return if (k in 0..n) {
        if (!fac_initialized) facInitialize()
        arr_fac[n.toInt()].toModInt() * arr_invfac[k.toInt()].toModInt() * arr_invfac[(n - k).toInt()].toModInt()
    } else {
        ModInt(0)
    }
}

fun comb2(n: Long, k: Long): ModInt {
    var numer = ModInt(1)
    var denom = ModInt(1)
    for (i in 0 until k) {
        numer *= ModInt(n - i)
        denom *= ModInt(k - i)
    }
    return numer / denom
}
// endregion

fun PrintWriter.solve() {
    val n = nextInt()
    val b = Array(n) { nextLong() }
    var prev = 0L
    var streak = 0L
    var ans = ModInt(1)
    for (i in 0 until n) {
        if (b[i] == -1L) streak++
        else {
            var c01 = 0L
            var c11 = 0L
            for (j in 0 until 32) {
                when ((prev.shr(j) % 2) to (b[i].shr(j) % 2)) {
                    0L to 1L -> {
                        c01++
                    }
                    1L to 1L -> {
                        c11++
                    }
                    1L to 0L -> {
                        println(0)
                        return
                    }
                }
            }
            ans *= calc(streak + 1, c01, c11)
            prev = b[i]
            streak = 0L
        }
    }
    println(ans)
}

fun calc(a: Long, b: Long, c: Long): ModInt {
    var ret = ModInt(0)
    for (i in 0..b) {
        val v = comb(b, i) * ModInt(1L.shl((b + c - i).toInt()) - 1).pow(a)
        if (i % 2 == 0L) ret += v
        else ret -= v
    }
    return ret
}

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

// 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