core_testing1/collatz.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 26 Apr 2024 17:35:36 +0100
changeset 483 a2c4c6bf319d
parent 469 ed7a9ea24f71
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
401
317e49b9cab6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
     1
// Core Part 1 about the 3n+1 conjecture
430
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
     2
//============================================
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
     3
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
     4
object C1 {
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
     5
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
     6
def collatz(n: Long): Long =
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
     7
  if (n == 1) 0 else
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
     8
    if (n % 2 == 0) 1 + collatz(n / 2) else 
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
     9
      1 + collatz(3 * n + 1)
208
ab0ccbc8271f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
ab0ccbc8271f updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    12
def collatz_max(bnd: Long): (Long, Long) = {
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    13
  val all = for (i <- (1L to bnd)) yield (collatz(i), i)
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    14
  all.maxBy(_._1)
460
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 430
diff changeset
    15
}
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    16
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    17
def is_pow(n: Long) : Boolean = (n & (n - 1)) == 0
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    18
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    19
def is_hard(n: Long) : Boolean = is_pow(3 * n + 1)
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    20
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    21
def last_odd(n: Long) : Long = 
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    22
  if (is_hard(n)) n else
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    23
    if (n % 2 == 0) last_odd(n / 2) else 
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 460
diff changeset
    24
      last_odd(3 * n + 1)
335
9476aee44eed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 320
diff changeset
    25
363
9f481fd7c613 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 362
diff changeset
    26
}
335
9476aee44eed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 320
diff changeset
    27
9476aee44eed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 320
diff changeset
    28
9476aee44eed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 320
diff changeset
    29
430
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    30
// This template code is subject to copyright 
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    31
// by King's College London, 2022. Do not 
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    32
// make the template code public in any shape 
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    33
// or form, and do not exchange it with other 
4029552de5fc updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    34
// students under any circumstance.