- (a) 0 le x**2
- (b) x < 2x
- (c) x2 -x-12=(x-3)×(x+4)
- (d) x2 +x-20=(x-4)×(x+5)
- (e) (-x)**3 = -(x3)**3
- (b) {x | ∈ x < 0}
- (e) {x | ∈ x < 0}
5.4 (-true == false 증명) | |
-p == p == false | |
when) p := false | |
-false == false == false | |
-false == true | |
then) p := true |
4.1 12/31 일을 말하면 승리 (1/1 부터 시작)
A) 다음달의 1일을 말하거나, 그 달에 있는 아무 날(상대방 날짜 이후)
B) 다음달 1일을 말하거나 바로 다음날을 말함
9/1 일을 먼저 말하면 패배
L | - | R | time |
---|---|---|---|
11444 | - | ||
11 | 1 | ||
444 | 11 | ||
1 | 1 | 1 | |
1444 | 1 | ||
444 | 4 |
if t.3 + t.1 ≤ 2 × t.2 | |
2 x t.1 + t.2 + t.3 + t.4 | |
else | |
t.1 + 3 x t.2 + t4 | |
fi | |
when (5m + 1m > 2 x 2m) | |
then (1m + 3 x 2m + 10m) => 17m | |
when (t.3 + t.1 < 2 × t.2) t.1 이 매번 건너는게 빠름 |
-1 | 0 | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|---|
1 | ||||||
1 | 1 | 1 | ||||
1 | 2 | 1 | 1 | |||
2 | 1 | |||||
2 | 1 | 1 | 1 | |||
1 | 1 | 1 | ||||
1 | 1 | 1 | 1 | 1 | ||
1 | 1 | 1 |
-1 | 0 | 1 | 2 | 3 | 4 |
---|---|---|---|---|---|
. | 1 | . | . | . | . |
1 | 2 | 1 | . | . | . |
1 | 3 | 2 | 1 | . | . |
1 | 3 | 3 | 2 | 1 | . |
. | 2 | 2 | 2 | 1 | . |
. | 1 | 1 | 1 | 1 | . |
. | 1 | 2 | 2 | 2 | . |
. | 1 | 2 | 3 | 3 | 1 |
import scala.annotation.tailrec | |
case class Chocolate(height: Int, width: Int) { | |
def cut: Option[(Chocolate, Chocolate)] = { | |
if (height == 1 && width == 1) return None | |
val (hs, ws) = (height, width) match { | |
case (1, w) => ((1, 1), split(width)) | |
case (h, 1) => (split(height), (1, 1)) |
import utils.loadInput | |
import scala.annotation.tailrec | |
@main def main: Unit = | |
val testInput = """0 3 6 9 12 15 | |
|1 3 6 10 15 21 | |
|10 13 16 21 30 45 | |
|""".stripMargin |
import inputs.Input.loadFileSync | |
import locations.Directory.currentDir | |
import scala.annotation.tailrec | |
def loadInput(filename: String) = loadFileSync(s"$currentDir/input/$filename") | |
@main def main: Unit = | |
val testInput = """RL |