Least Busy Beaver

The least busy beaver $B{B}^{-}(n,m)$ problem is a variation of the busy beaver problem which considers TM behavior across all starting tapes (not just blank tapes like the traditional BB problem) invented by racheline on 15 Feb 2025.

Definition

Let $B{B}_{init}(n,m,T)$ be the longest runtime for all n-state m-symbol TMs which halt when started on tape configuration T (where T is allowed to be any infinite tape configuration, including ones with an infinite number of non-zero values). Then

$$B{B}^{-}(n,m)=mi{n}_{T}B{B}_{init}(n,m,T)$$

In other words, the minimal value across all possible starting tapes. This minimum must exist because the values of $B{B}_{init}(n,m,T)$ are all positive integers and thus well ordered.

Note that $B{B}_{init}(n,m,B)=BB(n,m)$ where B is the blank (all-zeros) tape. Therefore,

$$B{B}^{-}(n,m)\le BB(n,m)$$

We have not yet found an example where we can prove that $B{B}^{-}(n,m)\ne BB(n,m)$