結果

問題 No.1426 Got a Covered OR
ユーザー 👑 箱箱
提出日時 2020-11-29 17:11:05
言語 Kotlin
(1.9.23)
結果
AC  
実行時間 954 ms / 2,000 ms
コード長 3,663 bytes
コンパイル時間 20,442 ms
コンパイル使用メモリ 456,996 KB
実行使用メモリ 69,640 KB
最終ジャッジ日時 2023-10-21 10:01:49
合計ジャッジ時間 33,056 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge10
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 304 ms
54,232 KB
testcase_01 AC 304 ms
54,220 KB
testcase_02 AC 305 ms
54,236 KB
testcase_03 AC 306 ms
54,216 KB
testcase_04 AC 306 ms
54,232 KB
testcase_05 AC 305 ms
54,224 KB
testcase_06 AC 305 ms
54,224 KB
testcase_07 AC 310 ms
54,240 KB
testcase_08 AC 305 ms
54,228 KB
testcase_09 AC 305 ms
54,220 KB
testcase_10 AC 308 ms
54,220 KB
testcase_11 AC 307 ms
54,228 KB
testcase_12 AC 455 ms
57,984 KB
testcase_13 AC 453 ms
57,940 KB
testcase_14 AC 454 ms
58,108 KB
testcase_15 AC 446 ms
58,096 KB
testcase_16 AC 377 ms
54,812 KB
testcase_17 AC 502 ms
59,564 KB
testcase_18 AC 798 ms
64,468 KB
testcase_19 AC 816 ms
64,652 KB
testcase_20 AC 589 ms
59,640 KB
testcase_21 AC 586 ms
59,692 KB
testcase_22 AC 469 ms
57,996 KB
testcase_23 AC 899 ms
69,640 KB
testcase_24 AC 454 ms
58,088 KB
testcase_25 AC 954 ms
66,296 KB
testcase_26 AC 929 ms
66,308 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import java.io.InputStream
import java.io.PrintWriter
import java.util.*

// ModInt
// region
class ModInt(x: Long) {

    companion object {
        const val MOD = 1000000007L
        //const val MOD = 998244353L
    }

    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"
    }

}

val fac = mutableListOf<ModInt>()
val invfac = mutableListOf<ModInt>()

fun fact(n: Long, b: Boolean): ModInt {
    if (fac.count() == 0) {
        fac.add(ModInt(1))
        invfac.add(ModInt(1))
    }
    while (fac.count() <= n) {
        fac.add(fac.last() * ModInt(fac.count().toLong()))
        invfac.add(fac.last().inv())
    }
    return if (b) {
        fac[n.toInt()]
    } else {
        invfac[n.toInt()]
    }
}

fun comb(n: Long, k: Long): ModInt {
    return fact(n, true) * fact(k, false) * fact(n - k, false)
}

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

val pow2 = Array(35) { 1L }

fun PrintWriter.solve() = with(FastScanner(System.`in`)) {
    for (i in 0 until pow2.count() - 1) {
        pow2[i + 1] = pow2[i] * 2
    }
    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(pow2[(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()
}

class FastScanner(s: InputStream) {
    private var st = StringTokenizer("")
    private val br = s.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()
}
0