結果

問題 No.1435 Mmm......
ユーザー yakamotoyakamoto
提出日時 2021-03-20 00:24:24
言語 Kotlin
(1.9.23)
結果
TLE  
実行時間 -
コード長 5,140 bytes
コンパイル時間 20,015 ms
コンパイル使用メモリ 470,860 KB
実行使用メモリ 243,216 KB
最終ジャッジ日時 2024-11-19 03:30:36
合計ジャッジ時間 65,477 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 314 ms
51,176 KB
testcase_01 AC 315 ms
51,004 KB
testcase_02 AC 314 ms
50,932 KB
testcase_03 AC 314 ms
51,336 KB
testcase_04 AC 308 ms
51,324 KB
testcase_05 AC 310 ms
51,276 KB
testcase_06 AC 1,621 ms
166,876 KB
testcase_07 AC 1,997 ms
197,316 KB
testcase_08 AC 1,976 ms
222,056 KB
testcase_09 AC 1,952 ms
210,436 KB
testcase_10 AC 1,598 ms
176,248 KB
testcase_11 AC 1,544 ms
172,472 KB
testcase_12 AC 1,662 ms
169,216 KB
testcase_13 AC 1,686 ms
167,700 KB
testcase_14 AC 1,333 ms
147,548 KB
testcase_15 TLE -
testcase_16 AC 1,873 ms
196,492 KB
testcase_17 AC 1,530 ms
154,932 KB
testcase_18 TLE -
testcase_19 AC 1,570 ms
170,640 KB
testcase_20 AC 1,995 ms
220,148 KB
testcase_21 TLE -
testcase_22 TLE -
testcase_23 TLE -
testcase_24 TLE -
testcase_25 AC 1,997 ms
242,864 KB
testcase_26 TLE -
testcase_27 AC 1,991 ms
239,520 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:41:3: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  inline fun merge(e: Entry): Entry {
  ^
Main.kt:56:3: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  inline fun merge0(e: Entry): Entry {
  ^
Main.kt:108:13: warning: name shadowed: k
        val k = n2k[len]
            ^
Main.kt:211: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:215: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:219: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:223: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: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<LongArray>) {
          ^
Main.kt:232:11: warning: expected performance impact from inlining is insignificant. Inlining works best for functions with parameters of functional types
  private inline

ソースコード

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?) {

  /**
   * thisとeに重複がある場合
   */
  inline 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)
  }

  /**
   * 重複する部分がないとき
   */
  inline 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