combinatorics / Graph theory; hat-guessing games; permutation groups

The proper hat-guessing number of K6eK_6-e

We prove HGP(K6e)=10\mathrm{HG}_P(K_6-e)=10. The lower bound uses two order-sensitive twin-player rules obtained by deleting and repairing one point of an explicit sharply four-transitive eleven-point permutation group. On every coordinate line the repaired rules are derangement permutations, are pointwise unequal, and have fixed-point-free composition. Hall's theorem completes the strategy on the four clique vertices. The release also classifies all repairable orbit labels and proves an even-nn obstruction for set-symmetric line-permutation twin rules. It does not solve the general KneK_n-e family.

7Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 3, 2026Significance 7/100Registry: unreviewed

The proper hat-guessing number of K6eK_6-e

Prior state unknownproved

We prove HGP(K6e)=10\mathrm{HG}_P(K_6-e)=10. The lower bound uses two order-sensitive twin-player rules obtained by deleting and repairing one point of an explicit sharply four-transitive eleven-point permutation group. On every coordinate line the repaired rules are derangement permutations, are pointwise unequal, and have fixed-point-free composition. Hall's theorem completes the strategy on the four clique vertices. The r…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

We prove HGP(K6e)=10\mathrm{HG}_P(K_6-e)=10. The lower bound uses two order-sensitive twin-player rules obtained by deleting and repairing one point of an explicit sharply four-transitive eleven-point permutation group. On every coordinate line the repaired rules are derangement permutations, are pointwise unequal, and have fixed-point-free composition. Hall's theorem completes the strategy on the four clique vertices. The release also classifies all repairable orbit labels and proves an even-nn obstruction for set-symmetric line-permutation twin rules. It does not solve the general KneK_n-e family.

We prove HGP(K6e)=10\mathrm{HG}_P(K_6-e)=10. The lower bound uses two order-sensitive twin-player rules obtained by deleting and repairing one point of an explicit sharply four-transitive eleven-point permutation group. On every coordinate line the repaired rules are derangement permutations, are pointwise unequal, and have fixed-point-free composition. Hall's theorem completes the strategy on the four clique vertices. The release also classifies all repairable orbit labels and proves an even-nn obstruction for set-symmetric line-permutation twin rules. It does not solve the general KneK_n-e family.

Recorded attempts

Evidence graph

Connected research record

The proper hat-guessing number of $K_6-e$ — Mathematical Frontier Network