User:NathFR76 - Revision history

NathFR76: i add a conjecture between CET(n,k) and BBB(n,k)

2026-11-04T09:39:09Z

i add a conjecture between CET(n,k) and BBB(n,k)

← Older revision		Revision as of 09:39, 4 November 2026
Line 236:		Line 236:


	CET(2,4) ≥ <math>2 \times 10^{23}</math> (By BBB(2,4) champion translated ~~cycling~~)		CET(2,4) ≥ <math>2 \times 10^{23}</math> (By BBB(2,4) champion translated cyclic)

	CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated ~~cycling~~)		CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated cyclic)


			Conjecture: CET(n,k) ≥ BBB(n,k) if BBB(n,k) champion is a translated cyclic

	=== Discovered Champions ===		=== Discovered Champions ===

2026-11-03T18:16:36Z

New champion for CET(2,3)

← Older revision		Revision as of 18:16, 3 November 2026
Line 178:		Line 178:
	\|-		\|-
	!3-symbol		!3-symbol
	\|≥ 8,~~786~~		\|≥ 20,350
	\|≥ 10^^6.74		\|≥ 10^^6.74
	\|		\|
Line 228:		Line 228:


	CET(2,3) ≥ 8,~~786~~		CET(2,3) ≥ 20,350

	Agent 1: ((1, LEFT, 2), (0, LEFT, 1), (0 LEFT, 2), (1, RIGHT, 2), (0, LEFT, 0), (1, LEFT, 0))		Agent 1: ((2, LEFT, 1), (1, LEFT, 0), (2, LEFT, 0), (2, RIGHT, 1), (2, LEFT, 0), (0, LEFT, 1))

	Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 ~~LEFT~~, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))		Agent 2: ((1, RIGHT, 1), (0, LEFT, 1), (1, RIGHT, 1), (2, LEFT, 0), (2, LEFT, 0), (1, RIGHT, 0))

2026-11-03T18:11:52Z

new champions for CET(4)

← Older revision		Revision as of 18:11, 3 November 2026
Line 173:		Line 173:
	\|= 97		\|= 97
	\|≥ 3,746,207		\|≥ 3,746,207
	\|≥ 49,~~184~~,~~559~~		\|≥ 65,579,412
	\|		\|
	\|		\|
Line 221:		Line 221:


	CET(4) ≥ 49,~~184~~,~~559~~		CET(4) ≥ 65,579,412

	Agent 1: (0, LEFT, 1), (0, ~~LEFT~~, 2), (0, LEFT, 3), (0, RIGHT, 0), (0, ~~RIGHT~~, 0), (0, RIGHT, 0), (0, RIGHT, 0), (0, RIGHT, 0)		Agent 1: ((0, LEFT, 2), (0, RIGHT, 0), (0, LEFT, 3), (0, RIGHT, 0), (0, LEFT, 1), (0, RIGHT, 0), (0, RIGHT, 0), (0, RIGHT, 0))

	Agent 2: (1, RIGHT, 1), (1, LEFT, 3), (1, RIGHT, 2), (1, RIGHT, 1), (1, LEFT, 2), (1, LEFT, 0), (0, RIGHT, 2), (0, RIGHT, 3)		Agent 2: ((1, RIGHT, 1), (1, LEFT, 3), (1, RIGHT, 2), (1, RIGHT, 1), (1, LEFT, 2), (1, LEFT, 0), (0, RIGHT, 2), (0, RIGHT, 3))


Line 236:		Line 236:


	CET(2,4) ≥<math>2 \times 10^{23}</math> (By BBB(2,4) champion translated cycling)		CET(2,4) ≥ <math>2 \times 10^{23}</math> (By BBB(2,4) champion translated cycling)

	CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated cycling)		CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated cycling)
Line 249:		Line 249:
	CET(3) ≥ 3,746,207 by '''Roromachine14'''<ref>it's discord pseudoname</ref>		CET(3) ≥ 3,746,207 by '''Roromachine14'''<ref>it's discord pseudoname</ref>

	CET(4) ≥ 49,~~184~~,~~559~~ by '''Roromachine14'''		CET(4) ≥ 65,579,412 by '''Roromachine14'''

2026-11-03T17:45:54Z

← Older revision		Revision as of 17:45, 3 November 2026
Line 235:		Line 235:


	CET(2,4) ≥
	~~{\| class="wikitable"~~		CET(2,4) ≥<math>2 \times 10^{23}</math> (By BBB(2,4) champion translated cycling)
	\|≥ <math>2 \times 10^{23}</math>
	\|}
	(By BBB(2,4) champion translated cycling)

	CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated cycling)		CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated cycling)

2026-11-03T17:45:21Z

i changed some incorrect values

← Older revision		Revision as of 17:45, 3 November 2026
Line 179:		Line 179:
	!3-symbol		!3-symbol
	\|≥ 8,786		\|≥ 8,786
	\|≥ 10^^6.87		\|≥ 10^^6.74
	\|		\|
	\|		\|
Line 185:		Line 185:
	\|-		\|-
	!4-symbol		!4-symbol
	\|≥ 4.115*10^23		\|≥ <math>2 \times 10^{23}</math>
	\|		\|
	\|		\|
Line 235:		Line 235:


	CET(2,4) ≥ 4.115*10^23 (By BBB(2,4) champion translated cycling)		CET(2,4) ≥
			{\| class="wikitable"
			\|≥ <math>2 \times 10^{23}</math>
			\|}
			(By BBB(2,4) champion translated cycling)

	CET(3,3) ≥ 10^^6.87 (By BBB(3,3) champion translated cycling)		CET(3,3) ≥ 10^^6.74 (By BBB(3,3) champion translated cycling)

	=== Discovered Champions ===		=== Discovered Champions ===

2026-11-03T17:40:40Z

i add detail

← Older revision		Revision as of 17:40, 3 November 2026
Line 233:		Line 233:

	Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 LEFT, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))		Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 LEFT, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))


	CET(2,4) ≥ 4.115*10^23 (By BBB(2,4) champion translated cycling)		CET(2,4) ≥ 4.115*10^23 (By BBB(2,4) champion translated cycling)

2026-11-03T17:39:31Z

i add some CET(n) champion

← Older revision		Revision as of 17:39, 3 November 2026
Line 179:		Line 179:
	!3-symbol		!3-symbol
	\|≥ 8,786		\|≥ 8,786
	\|		\|≥ 10^^6.87
	\|		\|
	\|		\|
Line 185:		Line 185:
	\|-		\|-
	!4-symbol		!4-symbol
	\|		\|≥ 4.115*10^23
	\|		\|
	\|		\|
Line 233:		Line 233:

	Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 LEFT, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))		Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 LEFT, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))

			CET(2,4) ≥ 4.115*10^23 (By BBB(2,4) champion translated cycling)

			CET(3,3) ≥ 10^^6.87 (By BBB(3,3) champion translated cycling)

	=== Discovered Champions ===		=== Discovered Champions ===

2026-11-03T15:44:20Z

← Older revision		Revision as of 15:44, 3 November 2026
Line 1:		Line 1:
	Hi! My name is Nathan.		Hi! My name is Nathan.

	~~And i made Thutus function~~

	== Thutus calculus ==		== Thutus calculus ==
Line 236:		Line 234:
	Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 LEFT, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))		Agent 2: ((1, RIGHT, 1), (1, LEFT, 0), (1 LEFT, 1), (0, LEFT, 2), (0, LEFT, 2), (0, RIGHT, 1))

	=== Discovered Champions: ===		=== Discovered Champions ===
	CET(0) = 0 by '''NathFR76'''		CET(0) = 0 by '''NathFR76'''

2026-11-03T15:43:23Z

i add another busy beaver like function named Catch Em Turing (CET(n)), it's a busy beaver with 2 agent in tape

2026-11-01T12:36:52Z

I add a function named Thutus in my user page because Δ⁵ recommended it