Superpermutators - Google Groups

Contact owners and managers

1–30 of 195

This group is for anyone who is interested in the minimal superpermutation problem. Please do sign up if you’re interested.

We have a GitHub repository at https://github.com/superpermutators/superperm. Let me know if you’d like to be added to the organisation.

Background reading:

Nathaniel Johnston’s blog (1, 2, 3) and paper,
Robin Houston’s paper,
Greg Egan’s web page.
Article by Erica Klarreich in Quanta magazine.

Videos:

Numberphile (Jan 2018)
Matt Parker (Jan 2019)

0 selected

Justin Lebar

Aug 12

s(7) is at least 5898

Hi, fellow Superpermutators. Claude was able to put together a Lean-verified proof that 5898 ≤ s(7).

unread,

s(7) is at least 5898

Hi, fellow Superpermutators. Claude was able to put together a Lean-verified proof that 5898 ≤ s(7).

Aug 12

Vlad Gheorghe2

Aug 11

Provisional census of all n=6, L=872 words

On Tuesday, August 11, 2026 at 10:35:12 PM UTC+2 Vlad Gheorghe wrote: Hi all, after proving that a(6)

unread,

Provisional census of all n=6, L=872 words

On Tuesday, August 11, 2026 at 10:35:12 PM UTC+2 Vlad Gheorghe wrote: Hi all, after proving that a(6)

Aug 11

Tomaz Kristan, … Shea Street6

Aug 11

New superpermutations at n=6, L=872, with repeated permutations.

Miles: > How many of the known length-872 superpermutations have duplicates? Of 50018, a few days

unread,

New superpermutations at n=6, L=872, with repeated permutations.

Miles: > How many of the known length-872 superpermutations have duplicates? Of 50018, a few days

Aug 11

にか, Robin Houston2

Aug 11

Lean-verified lower bound S(7) ≥ 5889

I haven't looked at this, so no comment on its correctness. But on the novelty question, I'm

unread,

Lean-verified lower bound S(7) ≥ 5889

I haven't looked at this, so no comment on its correctness. But on the novelty question, I'm

Aug 11

Uku Raudvere, … Randy Olsen18

Aug 11

n=8 superpermutation of length 46204

I generated some statistics on the Uku Raudvere superpermutation of length 46204 for n = 8, if they

unread,

n=8 superpermutation of length 46204

I generated some statistics on the Uku Raudvere superpermutation of length 46204 for n = 8, if they

Aug 11

Tomaz Kristan, … Shea Street11

Aug 10

A new 5906 long superpermutation witth a double permutation inside.

Here is my analysis/recheck on what was shared as I mentioned I would. I am using zero indexing and

unread,

A new 5906 long superpermutation witth a double permutation inside.

Here is my analysis/recheck on what was shared as I mentioned I would. I am using zero indexing and

Aug 10

Marin Kisic, Uku Raudvere2

Aug 8

New way of thinking about lower bound and maybe improvement

I have an unpublished blind/independent proof of the the 'unverified' bound based on an idea

unread,

New way of thinking about lower bound and maybe improvement

I have an unpublished blind/independent proof of the the 'unverified' bound based on an idea

Aug 8

Benjamin Grayzel, Miles Gould2

Jul 29

An independent, end-to-end Lean-verified candidate for s(6) = 872

Thanks particularly for the one-page overview! I see that both proofs use Euler's formula: could

unread,

An independent, end-to-end Lean-verified candidate for s(6) = 872

Thanks particularly for the one-page overview! I see that both proofs use Euler's formula: could

Jul 29

Miles Gould, … Robin Houston4

Jul 29

Updates to spreadsheet of bounds

Mainly that I didn't understand its scope, but I have now added it (and updated the "best

unread,

Updates to spreadsheet of bounds

Mainly that I didn't understand its scope, but I have now added it (and updated the "best

Jul 29

Uku Raudvere, … Ranbir Das7

Jul 29

(Another) machine-verified improvement to the lower bound

What happened in May may be summarized Best of luck with the applications On Wed, 29 Jul 2026 at 16:

unread,

(Another) machine-verified improvement to the lower bound

What happened in May may be summarized Best of luck with the applications On Wed, 29 Jul 2026 at 16:

Jul 29

Vlad Gheorghe

Jul 29

Preliminary: a certificate-backed proof that a(6) = 872

Hi everyone, thank you for letting me into the group. I am an AI engineer, not a mathematician. I

unread,

Preliminary: a certificate-backed proof that a(6) = 872

Hi everyone, thank you for letting me into the group. I am an AI engineer, not a mathematician. I

Jul 29

Uku Raudvere, … Ranbir Das6

Jul 25

A machine-checked improvement of the HPV lower bound

Hi All, Thanks for the update. It's encouraging to hear that the overall approach appears

unread,

A machine-checked improvement of the HPV lower bound

Hi All, Thanks for the update. It's encouraging to hear that the overall approach appears

Jul 25

Theo H., … Ranbir Das8

May 22

Paper review

Good Morning to All Can the working paper/Pre-print be shared ? Thanks On Tue, 19 May 2026 at 22:05,

unread,

Paper review

Good Morning to All Can the working paper/Pre-print be shared ? Thanks On Tue, 19 May 2026 at 22:05,

May 22

yusheng hu, … Ranbir Das13

May 5

Introduction: Efficient O((n−1)!) implementation for Superpermutation research

Parallelism doesn't mean multiple cores running in parallel. The algorithm's execution logic

unread,

Introduction: Efficient O((n−1)!) implementation for Superpermutation research

Parallelism doesn't mean multiple cores running in parallel. The algorithm's execution logic

May 5

Robin Houston

12/8/23

Meta: spam

There have been some attempts to spam this group recently, and so I am being stricter with requests

unread,

Meta: spam

There have been some attempts to spam this group recently, and so I am being stricter with requests

12/8/23

Саня Ершов

12/1/23

Tempat Download Film La Tahzan

Merpati Band - La Tahzan (Jangan Bersedih)\n\nAllah Maha Besar tempat ku mengadu\nTentang keluh kesah

unread,

Tempat Download Film La Tahzan

Merpati Band - La Tahzan (Jangan Bersedih)\n\nAllah Maha Besar tempat ku mengadu\nTentang keluh kesah

12/1/23

Amada Buerstatte

11/30/23

Audirvana Plus 3.0.2 License File For Mac

Audirvana Plus 3.0.2 License File For Mac DOWNLOAD https://urlca.com/2wHbPd eebf2c3492

unread,

Audirvana Plus 3.0.2 License File For Mac

Audirvana Plus 3.0.2 License File For Mac DOWNLOAD https://urlca.com/2wHbPd eebf2c3492

11/30/23

Amada Buerstatte

11/30/23

Gears Of War Wargame-g4wlive.exe Crack 19

Gears Of War Wargame-g4wlive.exe Crack 19 Download Zip https://urlca.com/2wHbP9 eebf2c3492

unread,

Gears Of War Wargame-g4wlive.exe Crack 19

Gears Of War Wargame-g4wlive.exe Crack 19 Download Zip https://urlca.com/2wHbP9 eebf2c3492

11/30/23

Amada Buerstatte

11/30/23

Sanctamariamascagnipdfdownload

sanctamariamascagnipdfdownload Download File https://urlca.com/2wHbP5 eebf2c3492

unread,

Sanctamariamascagnipdfdownload

sanctamariamascagnipdfdownload Download File https://urlca.com/2wHbP5 eebf2c3492

11/30/23

Amada Buerstatte

11/30/23

Desensitized Toward: Sexual Gays Imagery.

Now, two different messages about the Gay Victim are worth communicating. First, the public should be

unread,

Desensitized Toward: Sexual Gays Imagery.

Now, two different messages about the Gay Victim are worth communicating. First, the public should be

11/30/23

Amada Buerstatte

11/30/23

Tumko Na Bhool Paayenge Movie With English Subtitles Download For Hindi

TomTom Maps Of Western Europe 1GB 960 48Download ->>> =2sGdpGDear Garmin, I am using a

unread,

Tumko Na Bhool Paayenge Movie With English Subtitles Download For Hindi

TomTom Maps Of Western Europe 1GB 960 48Download ->>> =2sGdpGDear Garmin, I am using a

11/30/23

Randy Olsen

8/11/23

Superpermutation song

To set expectations properly: This isn't a "reveal" for some new development. I merely

unread,

Superpermutation song

To set expectations properly: This isn't a "reveal" for some new development. I merely

8/11/23

Robin Houston

7/28/23

Stitching Superpermutations

Yesterday, at the Bridges conference, Emily Dennett gave a talk on the subject _Stitching

unread,

Stitching Superpermutations

Yesterday, at the Bridges conference, Emily Dennett gave a talk on the subject _Stitching

7/28/23

Jay Pantone, … Кирилл Фролов3

3/11/23

Shutting down the distributed superpermutation search on Friday March 10

Will this server be shut down too? https://www.gregegan.net/SCIENCE/Superpermutations/

unread,

Shutting down the distributed superpermutation search on Friday March 10

Will this server be shut down too? https://www.gregegan.net/SCIENCE/Superpermutations/

3/11/23

Кирилл Фролов

2/26/23

FastDCM problem

I have had a problem running FastDCM compiled with cuda 12 on windows. It crashed when i ran it. When

unread,

FastDCM problem

I have had a problem running FastDCM compiled with cuda 12 on windows. It crashed when i ran it. When

2/26/23

Joshua A

9/9/22

A possibility, that if true would suggest the minimum digit count for n=8 is less than the standard 46,205

I would like to introduce myself first: that I cannot understand all that mumbo jumbo that proves the

unread,

A possibility, that if true would suggest the minimum digit count for n=8 is less than the standard 46,205

I would like to introduce myself first: that I cannot understand all that mumbo jumbo that proves the

9/9/22

Mister Teacher, … Randy Olsen6

11/22/21

How many standard superpermutations are there length 872 for n=6?

I've checked all 42288 of the length 872 n=6 superpermutations in this "treelike"

unread,

How many standard superpermutations are there length 872 for n=6?

I've checked all 42288 of the length 872 n=6 superpermutations in this "treelike"

11/22/21

Ryan Holbrook

11/17/21

Kaggle Superpermutation Competition

Hey everyone, I'm a data scientist at Kaggle, a community platform for data science and machine

unread,

Kaggle Superpermutation Competition

Hey everyone, I'm a data scientist at Kaggle, a community platform for data science and machine

11/17/21

Randy Olsen

10/31/21

Fun with number base systems

One Dr. Maximilian F. Hasler beat me to this, and probably others as well, yet at the same time I was

unread,

Fun with number base systems

One Dr. Maximilian F. Hasler beat me to this, and probably others as well, yet at the same time I was

10/31/21

joseduardo...@gmail.com, Jay Pantone2

8/30/21

Reached w=122

Hi everyone, I have finally updated the timing table for w=121. It took longer than normal because I

unread,

Reached w=122

Hi everyone, I have finally updated the timing table for w=121. It took longer than normal because I

8/30/21