結果

問題 No.1435 Mmm......
ユーザー yakamotoyakamoto
提出日時 2021-03-19 23:55:13
言語 Kotlin
(1.9.23)
結果
TLE  
実行時間 -
コード長 5,024 bytes
コンパイル時間 16,850 ms
コンパイル使用メモリ 470,980 KB
実行使用メモリ 244,600 KB
最終ジャッジ日時 2024-11-19 02:51:38
合計ジャッジ時間 57,078 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 284 ms
56,816 KB
testcase_01 AC 274 ms
56,716 KB
testcase_02 AC 282 ms
56,732 KB
testcase_03 AC 277 ms
56,956 KB
testcase_04 AC 270 ms
56,772 KB
testcase_05 AC 277 ms
56,788 KB
testcase_06 AC 1,316 ms
165,636 KB
testcase_07 AC 1,740 ms
197,300 KB
testcase_08 AC 1,903 ms
224,656 KB
testcase_09 AC 1,803 ms
209,240 KB
testcase_10 AC 1,397 ms
178,808 KB
testcase_11 AC 1,363 ms
173,352 KB
testcase_12 AC 1,334 ms
167,440 KB
testcase_13 AC 1,480 ms
168,508 KB
testcase_14 AC 1,162 ms
150,060 KB
testcase_15 TLE -
testcase_16 AC 1,671 ms
196,816 KB
testcase_17 AC 1,170 ms
153,188 KB
testcase_18 TLE -
testcase_19 AC 1,431 ms
171,664 KB
testcase_20 AC 1,889 ms
219,924 KB
testcase_21 AC 1,975 ms
244,600 KB
testcase_22 TLE -
testcase_23 AC 1,815 ms
239,148 KB
testcase_24 AC 1,797 ms
239,512 KB
testcase_25 AC 1,821 ms
239,608 KB
testcase_26 AC 1,806 ms
243,528 KB
testcase_27 AC 1,806 ms
244,224 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Main.kt:31:26: warning: the corresponding parameter in the supertype 'Comparable' is named 'other'. This may cause problems when calling this function with named arguments.
  override fun compareTo(v: Val): Int {
                         ^
Main.kt:101:13: warning: name shadowed: k
        val k = n2k[len]
            ^
Main.kt:204:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun debug(a: LongArray) {
          ^
Main.kt:208:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun debug(a: IntArray) {
          ^
Main.kt:212:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun debug(a: BooleanArray) {
          ^
Main.kt:216:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun toString(a: BooleanArray) = run{a.map { if (it) 1 else 0 }.joinToString("")}
          ^
Main.kt:218:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun debugDim(A: Array<LongArray>) {
          ^
Main.kt:225:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun debugDim(A: Array<IntArray>) {
          ^
Main.kt:232:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline fun debugDim(A: Array<BooleanArray>) {
          ^
Main.kt:249:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions w

ソースコード

diff # 

import java.io.BufferedReader
import java.io.InputStream
import java.io.InputStreamReader
import java.lang.AssertionError
import java.util.*
import kotlin.collections.HashSet
import kotlin.math.abs
import kotlin.math.max
import kotlin.math.min

val MOD = 1_000_000_007

/**
 * 単調減少
 * [l, h) 方式
 * @return マッチするものがなかったらl
 */
inline fun findMax(l: Int, r: Int, f: (Int) -> Boolean): Int {
  var low = l
  var high = r + 1
  while(high - low > 1) {
    val m = (low + high) / 2
    if (f(m)) low = m
    else high = m
  }
  return low
}
data class Val(val i: Int, val a: Int) : Comparable<Val> {
  fun max(v: Val) = if (a > v.a) this else v
  fun min(v: Val) = if (a <= v.a) this else v
  override fun compareTo(v: Val): Int {
    if (a != v.a) return a.compareTo(v.a)
    return i.compareTo(v.i)
  }
}
data class Entry(val mx: Val, val mn1: Val, val mn2: Val?) {
  fun merge(e: Entry): Entry {
    val mns = HashSet<Val>()
    mns += mn1
    if (mn2 != null) mns += mn2
    mns += e.mn1
    if (e.mn2 != null) mns += e.mn2
    val sort = mns.toMutableList()
    sort.sort()
//    println(sort.take(2))
    return Entry(mx.max(e.mx), sort[0], if (sort.size >= 2) sort[1] else null)
  }

  fun merge0(e: Entry): Entry {
    var mn2 = this.mn1.max(e.mn1)
    if (this.mn2 != null) mn2 = mn2.min(this.mn2)
    if (e.mn2 != null) mn2 = mn2.min(e.mn2)
    return Entry(mx.max(e.mx), this.mn1.min(e.mn1), mn2)
  }
}
class Solver(stream: InputStream, private val out: java.io.PrintWriter) {
  private val reader = BufferedReader(InputStreamReader(stream), 32768)

  private val N = ni()
  private val A = na(N)

  fun solve() {
    val tbl = mutableListOf(Array(N){Entry(Val(it, A[it]), Val(it, A[it]), null)})
    var k = 1
    
    while (2 * k <= N) {
      val lst = tbl.last()
      val build = Array(N){lst[it]}
      for (i in 0 until N) {
        if (i + k < N) {
          build[i] = lst[i].merge0(lst[i + k])
        }
        else {
          build[i] = lst[i]
        }
      }
      tbl += build
      k *= 2
    }

    val n2k = IntArray(N + 1)
    val n2ksize = IntArray(N + 1)
    k = 1
    var ki = 0
    for (n in 1..N) {
      if (k * 2 == n) {
        k *= 2
        ki++
      }
      n2k[n] = ki
      n2ksize[n] = k
    }
    debug(n2k)
    debug(n2ksize)

    debug{"${tbl[1][2]}"}

    var ans = 0L
    for (i in 0 until N) {
      val len = findMax(1, N - i) { len ->
        val k = n2k[len]
        val ksize = n2ksize[len]
        var e = tbl[k][i]
        val j = len - ksize
        e = e.merge(tbl[k][i + j])
        e.mn2 != null && e.mn1.a + e.mn2!!.a >= e.mx.a
      }
      debug{"$i $len"}
      if (len > 1) ans += len - 1
    }
    out.println(ans)
  }













































  private val isDebug = try {
    // なんか本番でエラーでる
    System.getenv("MY_DEBUG") != null
  } catch (t: Throwable) {
    false
  }

  private var tokenizer: StringTokenizer? = null
  private fun next(): String {
    while (tokenizer == null || !tokenizer!!.hasMoreTokens()) {
      tokenizer = StringTokenizer(reader.readLine())
    }
    return tokenizer!!.nextToken()
  }

  private fun ni() = next().toInt()
  private fun nl() = next().toLong()
  private fun ns() = next()
  private fun na(n: Int, offset: Int = 0): IntArray {
    return IntArray(n) { ni() + offset }
  }
  private fun nal(n: Int, offset: Int = 0): LongArray {
    val res = LongArray(n)
    for (i in 0 until n) {
      res[i] = nl() + offset
    }
    return res
  }

  private fun na2(n: Int, offset: Int = 0): Array<IntArray> {
    val a  = Array(2){IntArray(n)}
    for (i in 0 until n) {
      for (e in a) {
        e[i] = ni() + offset
      }
    }
    return a
  }

  private inline fun debug(msg: () -> String) {
    if (isDebug) System.err.println(msg())
  }

  /**
   * コーナーケースでエラー出たりするので、debug(dp[1])のように添え字付きの場合はdebug{}をつかうこと
   */
  private inline fun debug(a: LongArray) {
    debug { a.joinToString(" ") }
  }

  private inline fun debug(a: IntArray) {
    debug { a.joinToString(" ") }
  }

  private inline fun debug(a: BooleanArray) {
    debug { toString(a) }
  }

  private inline fun toString(a: BooleanArray) = run{a.map { if (it) 1 else 0 }.joinToString("")}

  private inline fun debugDim(A: Array<LongArray>) {
    if (isDebug) {
      for (a in A) {
        debug(a)
      }
    }
  }
  private inline fun debugDim(A: Array<IntArray>) {
    if (isDebug) {
      for (a in A) {
        debug(a)
      }
    }
  }
  private inline fun debugDim(A: Array<BooleanArray>) {
    if (isDebug) {
      for (a in A) {
        debug(a)
      }
    }
  }

  /**
   * 勝手にimport消されるのを防ぎたい
   */
  private fun hoge() {
    min(1, 2)
    max(1, 2)
    abs(-10)
  }

  private inline fun assert(b: Boolean) = run{if (!b) throw AssertionError()}
}

fun main() {
  val out = java.io.PrintWriter(System.out)
  Solver(System.`in`, out).solve()
  out.flush()
}
0