complete 12015.kt 12738.kt 14626.kt 33985.kt 34029.kt 34060.kt 9252.py

storage/zeta/kt/completed/12738.kt

@@ -0,0 +1,25 @@
+import java.io.StreamTokenizer
+
+fun main() = with(StreamTokenizer(System.`in`.bufferedReader())) {
+    nextToken()
+    val n = nval.toInt()
+    val lisProps = IntArray(n)
+    var size = 0
+    (1..n).forEach { _ ->
+        nextToken()
+        val it = nval.toInt()
+        val x = lisProps.binarySearch(it, 0, size).let { it ->
+            if (it < 0) {
+                -(it + 1)
+            } else {
+                it
+            }
+        }
+        if (x == size) {
+            size++
+        }
+        lisProps[x] = it
+
+    }
+    println(size)
+}