😊出会いの泉😊

技術者に名前A、2、3、4、5、6、7、8、9、X、J、Q、Kを割り当てます。13枚の金貨を次のように名前付けします：

C_{A, 2, 6, Q}
C_{2, 3, 7, K}
C_{3, 4, 8, A}
C_{4, 5, 9, 2}
C_{5, 6, X, 3}
C_{6, 7, J, 4}
C_{7, 8, Q, 5}
C_{8, 9, K, 6}
C_{9, X, A, 7}
C_{X, J, 2, 8}
C_{J, Q, 3, 9}
C_{Q, K, 4, X}
C_{K, A, 5, J}

特性
1. 数学の概念である集合を用いて金貨の名前をインデックス付けしています。例えば、C_{K, A, 5, J}とC_{A, 5, K, J}は同じ金貨を指します。
2. 各技術者は、インデックスに自分の名前を含む4枚の金貨を独立して測定します。
3. 各金貨はちょうど4人の技術者によって測定されます。

測定プロセス
Tを、割り当てられた金貨について陽性結果を報告した技術者の集合とします。

Tの例
T = {A, 3, 4, 8, J, K}
T = {2, 4, 9, X, K}
T = {2, 8, X, Q}
T = {6, 8, 9}
T = {J, 9}

⬛⬜⬛⬜⬛⬜
上記の計測方法でうまくいくのだと
ハミング距離という概念の説明ぬきに
集合概念を知っている小学生に教えるにはどうしたらよいでしょうか？

計測の結果として得られた集合 T の要素となったおのおのの技術者が計測した４枚のコインに、技術者ごとに、偽物ポイントを 1 づつ与えます。

たとえば、T の要素に 2(技術者の名)があれば、
C_{A, 2, 6, Q}
C_{2, 3, 7, K}
C_{4, 5, 9, 2}
C_{X, J, 2, 8}
の４枚に偽物ポイントを 1 づつ付与します。

13 人の技術者のうち、放射線陽性の報告をあげた技術者の全てについて上記の操作をおこなった結果として、偽物ポイントが最大のものがユニークに定まります。それが偽金貨です。

⬛⬜⬛⬜⬛⬜

これがなぜうまくいくのか？
という疑問です。
小学生にもわかる説明はありますでしょうか？

申し遅れました。早見表は以下の通りです。

'A23456789XJQK'
'1100010000010', //C_{A, 2, 6, Q}
'0110001000001', //C_{2, 3, 7, K}
'1011000100000', //C_{3, 4, 8, A}
'0101100010000', //C_{4, 5, 9, 2}
'0010110001000', //C_{5, 6, X, 3}
'0001011000100', //C_{6, 7, J, 4}
'0000101100010', //C_{7, 8, Q, 5}
'0000010110001', //C_{8, 9, K, 6}
'1000001011000', //C_{9, X, A, 7}
'0100000101100', //C_{X, J, 2, 8}
'0010000010110', //C_{J, Q, 3, 9}
'0001000001011', //C_{Q, K, 4, X}
'1000100000101', //C_{K, A, 5, J}

最小ハミング距離は 6 となっています。

ハミング距離をよく知らない私が説明にトライ。
理論はわかってないので、こうすれば説明できるんじゃないかなと思うことを書いてみる。

全部のパターンをやってみて大丈夫だねというごり押し説明なので長いです。

------


金貨の名前が長いので、上から順に "あ","い",…,"す" としましょう。
もとの金貨の名前から、今度はそれぞれの技術者が測定する金貨の名前の集合を作ります。
ちょっと大変ですが、頑張れば次のようになります。

A:{あ,う,け,す}
2:{あ,い,え,こ}
3:{い,う,お,さ}
4:{う,え,か,し}
5:{え,お,き,す}
6:{あ,お,か,く}
7:{い,か,き,け}
8:{う,き,く,こ}
9:{え,く,け,さ}
X:{お,け,こ,し}
J:{か,こ,さ,す}
Q:{あ,き,さ,し}
K:{い,く,し,す}

ここでたとえば、金貨"い"を測定する技術者を集めてみます。
2:{あ,い,え,こ}
3:{い,う,お,さ}
7:{い,か,き,け}
K:{い,く,し,す}
すると、"い"以外の12枚の金貨はどれも、この4人の技術者(2,3,7,K)のなかのだれか1人だけが
測定していることがわかります。

同様に、ほかの金貨を測定する4人の技術者を見てみても、
残り12枚の金貨を4人のなかのだれか一人だけが測定するようになっています。
気になったらあとでそれぞれの金貨で確認してみてください。
このことがこの方法でうまくいく最大の理由です。



さて、まずは技術者全員が正確な報告をした場合を考えましょう。
この場合、4人が陽性(自分が測定した4枚中に偽物あり)と報告し、
残り9人が陰性(自分が測定した4枚中に偽物なし)と報告することになります。

たとえば金貨"い"が偽物だった場合、技術者{2,3,7,K}が陽性報告、他の技術者が陰性報告となります。
このとき、金貨"い"の偽物ポイントが4になり、残りの金貨の偽物ポイントは1になります。
なぜなら、先ほど確認したように、金貨"い"を測定する4人の技術者は、
"い"以外の12枚の金貨を重複することなくだれか1人だけが測定しているからです。

別の金貨が偽物だった場合でも同様に、偽物が4ポイント、その他の金貨が1ポイントになります。
よって、技術者全員が正確な報告をした場合は偽物を見分けられることがわかりました。



次に、不正確な報告をした技術者がいた場合を考えます。
これは次のように5パターンが考えられます。
・偽物を測定した4人のうちの1人が陽性(偽物あり)ではなく陰性(偽物なし)と報告した場合。
・偽物を測定した4人のうちの2人が陽性(偽物あり)ではなく陰性(偽物なし)と報告した場合。
・偽物を測定しなかった9人のうちの1人が陰性(偽物なし)ではなく陽性(偽物あり)と報告した場合。
・偽物を測定しなかった9人のうちの2人が陰性(偽物なし)ではなく陽性(偽物あり)と報告した場合。
・偽物を測定した4人のうちの1人が陽性(偽物あり)ではなく陰性(偽物なし)と報告し、
　　かつ、偽物を測定しなかった9人のうちの1人が陰性(偽物なし)ではなく陽性(偽物あり)と報告した場合。

順番に見ていきましょう。


偽物を測定した4人のうちの1人が陽性(偽物あり)ではなく陰性(偽物なし)と報告した場合は、
不正確な報告をした人が測定していた金貨の偽物ポイントが1ポイント減るので、
偽物金貨が3ポイント、その他の金貨は1ポイントまたは0ポイントになります。
よって偽物を見分けられます。

偽物を測定した4人のうちの2人が陽性(偽物あり)ではなく陰性(偽物なし)と報告した場合は、
不正確な報告をした人が共通して測定していた偽物のポイントが2ポイント減り、
不正確な報告をした人が測定していた他の金貨のポイントは1ポイント減るので、
偽物金貨が2ポイント、その他の金貨は1ポイントまたは0ポイントになり、偽物を見分けられます。


偽物を測定しなかった9人のうちの1人が陰性(偽物なし)ではなく陽性(偽物あり)と報告した場合は、
不正確な報告をした人が測定していた金貨の偽物ポイントが1ポイント足されることになります。
不正確な報告をした人が測定したのは偽物でない金貨なので、
偽物金貨は4ポイント、その他の金貨は1ポイントまたは2ポイントになります。
よって偽物を見分けられます。

偽物を測定しなかった9人のうちの2人が陰性(偽物なし)ではなく陽性(偽物あり)と報告した場合は、
不正確な報告をした人2人が共通して測定していた金貨は2ポイント追加され、
不正確な報告をした人のうちどちらか1人だけが測定していた金貨は1ポイントが追加されるので、
偽物金貨は4ポイント、その他の金貨は1ポイントまたは2ポイントまたは3ポイントになり、
偽物を見分けられます。


最後に、偽物を測定した4人のうちの1人が陽性(偽物あり)ではなく陰性(偽物なし)と報告し、
偽物を測定しなかった9人のうちの1人が陰性(偽物なし)ではなく陽性(偽物あり)と報告した場合を考えます。
陽性を陰性と報告した人が測定した金貨は1ポイント減少し、
陰性を陽性と報告した人が測定した金貨は1ポイント増加します。
これにより、偽物金貨は3ポイント、その他の金貨は1ポイントまたは0ポイントまたは2ポイントになるので
偽物を見分けられます。



以上により、不正確な報告を行った技術者が最大2人いたとしても、偽物を特定できることがわかります。


------

さて、小学生には難解すぎる説明になってしまったうえに、
これがなぜうまくいくのか？の「なぜ」の部分にちゃんと答えられていないことから、
Dengan kesaktian Indukmu さんの質問に答えたとはいえないでしょうね……。
すみません。

りらひいさんは「誰がどんなタイプの嘘をついたか事前にわかっている前提」で書いているような？
Dengan さんは、「誰がどんなタイプの嘘をついたかわかっていない前提」での話を尋ねているのではないかと思います。

説明はこんな感じでしょうか？


仮に全員が正直に報告した場合、本物は偽物ポイント1、偽物は偽物ポイント4になります。

ここで、研究者の誰かが嘘をついたとします。
もし、陽性を報告するはずの研究者が誤って陰性と報告した場合、該当する4枚の偽物ポイントが誤って1下がります。
逆に、もし、陰性を報告するはずの研究者が誤って陽性と報告した場合、該当する4枚の偽物ポイントが誤って1上がります。

すなわち、研究者が1人報告を誤るごとに、2枚のコインの偽物ポイントの差が誤って1変化する可能性があります。
……が、本物と偽物の偽物ポイント差は本来3ポイントあるので、誤りが2人までならその大小関係が逆転することはありません。
したがって、どんな場合でも偽物ポイントが最大であるものが偽物で確定です。

りらひいさん、DD++さん。
まことに有難うございました。おかげさまでスッキリいたしました。
容疑ポイントで逆転がおきえないことをスマートに説明することができるようになりました。

>残り12枚の金貨を4人のなかのだれか一人だけが測定するようになっています。

の視点も重要と存じます。
というのは、追加で14枚めのコインがあったとして、全技術者が必ずこのコインを計測する、その他のコインについてはここまでの従前通り、としても、
最小ハミング距離は 6 のままですので、やはり偽コインの特定は成功することとなります。
でも、この場合に今回の仕様の容疑者ポイントを使った方法では、なんだかとてもめんどくさいことになります。別の手が欲しいところですが、なかなかです。

考え直して、りらひいさんに誤った指摘をしてしまっていたことに気づきました。
証明はどんな嘘が混ざったかを前提にしてますが、最終的に判断する方法は「偽物ポイントが最大のもの」で共通しているので、嘘の混ざり方がわからないまま実行してOKな手順なんですねコレ。
失礼しました。

DD++さん

わたしも言葉が足りていなかったと反省しています。

技術者全員が正確な報告をした場合について書き始める前に、
「不正確な報告がどのような場合であっても偽物を特定できることを示すために、
　不正確な報告を分類してすべての場合で偽物を判別できるかを個別に考える。」
みたいな一文があればよかったのでしょう。
それから、「さて、まずは…」という書き始めも誤解を生んだ可能性がありますね。
言葉の選び方が悪かった面もあると思います。

DD++さんのお言葉から判断するに、
偽物の判断基準を私の投稿内で明示しなかったこともよくなかったみたいですね。
偽物の判断基準はDengan kesaktian Indukmuさんの投稿に示されていて
共通認識になっていると思い端折ってしまいました。
すみませんでした。


---------


さて、私が投稿した説明についてもう少し反省を……。

まず、後半の場合分け自体が過剰な回答でしたね。
DD++さんの説明が簡潔でわかりやすいと思います。

そして、前半の集合の再構築も特に不要でした。
「ある1つの金貨を測定する4人の技術者を集めたとき、
　残り12枚の金貨はそれぞれこの4人のなかのだれか一人だけが測定する」
ということを示すには各技術者が測定する金貨の名前の集合を作った方がわかりやすいと思ったのですが、
もとのDengan kesaktian Indukmuが書かれた金貨の名前のリストだけで十分に確認可能でした。
その説明は次のような感じです。
***
C_{2, 3, 7, K}を測定する4人の技術者2,3,7,Kが測定するほかの金貨について考える。
C_{2, 3, 7, K}以外の金貨の名前を見てみると、どれも2,3,7,Kのなかのどれか一つだけを含むことがわかる。
これは、C_{2, 3, 7, K}以外の12枚の金貨をこの4人のなかのだれか一人だけが測定することを意味する。
ほかの金貨の場合でも同様のことが成り立つ。
***
こんな感じの説明でいけました。
金貨に名前を付けなおして集合を作るくだりはいらなかったですね。


やっぱり思いついたことをそのまま書き連ねた後に大して推敲せずすぐに投稿すると、
後々直した方がいい箇所がいろいろ見つかりますね。

小学生向けの説明ではありませんが、13枚の金貨への13人の技術者の割り当ては、以下のようにGF(3)上の射影平面の9点に9人の技術者が対応し、残りの4人がGF(3)上の射影平面の無限遠点に対応しますね。

A:(0,0,1) 2:(1,0,1) Q:(2,0,1)
5:(0,1,1) 3:(1,1,1) X:(2,1,1)
J:(0,2,1) 7:(1,2,1) 4:(2,2,1)

6:(1,0,0),K:(0,1,0),8:(1,1,0),9:(2,1,0)は、直線A-2-Q,A-5-J,A-3-4,A-7-Xの延長上の無限遠点に対応します。

GF(3)上の射影平面の直線は
A-2-Q-6,5-3-X-6,J-7-4-6,
A-5-J-K,2-3-7-K,Q-X-4-K,
A-3-4-8,2-X-J-8,Q-5-7-8,
A-7-X-9,5-2-4-9,J-3-Q-9,
6-8-K-9

の13本ですが、13本の直線がそれぞれ13枚の金貨に相当します。
13人の技術者が全て真の報告をするのであれば、偽金貨が1枚のときは4人が陽性、9人が陰性の報告をすることになります。

13人の技術者のうち、最大2人が偽の報告をする場合、偽の報告を偽陽性、偽陰性とすると、13人からの報告は

①3人が陽性、1人が偽陰性、9人が陰性
②2人が陽性、2人が偽陰性、9人が陰性
③4人が陽性、1人が偽陽性、8人が陰性
④4人が陽性、2人が偽陽性、7人が陰性
⑤3人が陽性、1人が偽陰性、1人が偽陽性、8人が陰性

となります。

①②の場合
GF(3)上の射影平面上の直線は、2点が特定されると一意に決まるので、偽金貨を特定することができます。

③④の場合
GF(3)上の射影平面上の直線には4点が含まれ、陽性の報告をした技術者は同一直線上の4点に相当し、偽陽性の報告をした技術者は、当該直線外の点に相当します。偽陽性の報告をした技術者が2人までなので、直線外の点は2個しかなく、偽金貨に相当する直線以外に4点が並ぶことがないので偽金貨を特定することができます。

⑤の場合
陽性の報告をした技術者は同一直線上の3点に相当し、偽陽性の報告をした技術者は、当該直線外の1点に相当します。偽金貨に相当する直線上の3点のうち2点と当該直線外の1点を同時に通る直線というのは存在しないので、偽陽性を報告した技術者に相当する点を結ぶ直線上には、陽性あるいは偽陽性を報告した技術者に相当する点が2点しか存在しないことになります。こうして、陽性あるいは偽陽性の報告した技術者に相当する点のうち3点が並ぶ直線に相当する金貨が偽金貨と特定されます。

はい。
PG(2,3)および同じ構造ですが(2,3) Singerは以下の特徴を共有します：
点の数: 13点
直線の数: 13直線
各直線上の点の数: 4点
各点を通る直線の数: 4直線

もう、どこにぶら下げたらよいやら分からなくなりましたので

13個の金貨13人の技術者に投稿します。

技術者が13人いるのならば
金貨は88枚でいけるでしょ？
と教えられました。
まだ理解していません。

単に88×88行列で各行各列が1が13個ずつ配列できるものは構成可能ですが、これが限界という意味が私には理解できません。
(コンピュータによる出力のため2を0に読み替えて見てください。)

%01 = 2121221222122221222221222222122222212222222122222222122222222212222222222122222222222122
%02 = 2212122122212222122222122222212222221222222212222222212222222221222222222212222222222212
%03 = 2221212212221222212222212222221222222122222221222222221222222222122222222221222222222221
%04 = 1222121221222122221222221222222122222212222222122222222122222222212222222222122222222222
%05 = 2122212122122212222122222122222212222221222222212222222212222222221222222222212222222222
%06 = 2212221212212221222212222212222221222222122222221222222221222222222122222222221222222222
%07 = 2221222121221222122221222221222222122222212222222122222222122222222212222222222122222222
%08 = 2222122212122122212222122222122222212222221222222212222222212222222221222222222212222222
%09 = 2222212221212212221222212222212222221222222122222221222222221222222222122222222221222222
%10 = 2222221222121221222122221222221222222122222212222222122222222122222222212222222222122222
%11 = 2222222122212122122212222122222122222212222221222222212222222212222222221222222222212222
%12 = 2222222212221212212221222212222212222221222222122222221222222221222222222122222222221222
%13 = 2222222221222121221222122221222221222222122222212222222122222222122222222212222222222122
%14 = 2222222222122212122122212222122222122222212222221222222212222222212222222221222222222212
%15 = 2222222222212221212212221222212222212222221222222122222221222222221222222222122222222221
%16 = 1222222222221222121221222122221222221222222122222212222222122222222122222222212222222222
%17 = 2122222222222122212122122212222122222122222212222221222222212222222212222222221222222222
%18 = 2212222222222212221212212221222212222212222221222222122222221222222221222222222122222222
%19 = 2221222222222221222121221222122221222221222222122222212222222122222222122222222212222222
%20 = 2222122222222222122212122122212222122222122222212222221222222212222222212222222221222222
%21 = 2222212222222222212221212212221222212222212222221222222122222221222222221222222222122222
%22 = 2222221222222222221222121221222122221222221222222122222212222222122222222122222222212222
%23 = 2222222122222222222122212122122212222122222122222212222221222222212222222212222222221222
%24 = 2222222212222222222212221212212221222212222212222221222222122222221222222221222222222122
%25 = 2222222221222222222221222121221222122221222221222222122222212222222122222222122222222212
%26 = 2222222222122222222222122212122122212222122222122222212222221222222212222222212222222221
%27 = 1222222222212222222222212221212212221222212222212222221222222122222221222222221222222222
%28 = 2122222222221222222222221222121221222122221222221222222122222212222222122222222122222222
%29 = 2212222222222122222222222122212122122212222122222122222212222221222222212222222212222222
%30 = 2221222222222212222222222212221212212221222212222212222221222222122222221222222221222222
%31 = 2222122222222221222222222221222121221222122221222221222222122222212222222122222222122222
%32 = 2222212222222222122222222222122212122122212222122222122222212222221222222212222222212222
%33 = 2222221222222222212222222222212221212212221222212222212222221222222122222221222222221222
%34 = 2222222122222222221222222222221222121221222122221222221222222122222212222222122222222122
%35 = 2222222212222222222122222222222122212122122212222122222122222212222221222222212222222212
%36 = 2222222221222222222212222222222212221212212221222212222212222221222222122222221222222221
%37 = 1222222222122222222221222222222221222121221222122221222221222222122222212222222122222222
%38 = 2122222222212222222222122222222222122212122122212222122222122222212222221222222212222222
%39 = 2212222222221222222222212222222222212221212212221222212222212222221222222122222221222222
%40 = 2221222222222122222222221222222222221222121221222122221222221222222122222212222222122222
%41 = 2222122222222212222222222122222222222122212122122212222122222122222212222221222222212222
%42 = 2222212222222221222222222212222222222212221212212221222212222212222221222222122222221222
%43 = 2222221222222222122222222221222222222221222121221222122221222221222222122222212222222122
%44 = 2222222122222222212222222222122222222222122212122122212222122222122222212222221222222212
%45 = 2222222212222222221222222222212222222222212221212212221222212222212222221222222122222221
%46 = 1222222221222222222122222222221222222222221222121221222122221222221222222122222212222222
%47 = 2122222222122222222212222222222122222222222122212122122212222122222122222212222221222222
%48 = 2212222222212222222221222222222212222222222212221212212221222212222212222221222222122222
%49 = 2221222222221222222222122222222221222222222221222121221222122221222221222222122222212222
%50 = 2222122222222122222222212222222222122222222222122212122122212222122222122222212222221222
%51 = 2222212222222212222222221222222222212222222222212221212212221222212222212222221222222122
%52 = 2222221222222221222222222122222222221222222222221222121221222122221222221222222122222212
%53 = 2222222122222222122222222212222222222122222222222122212122122212222122222122222212222221
%54 = 1222222212222222212222222221222222222212222222222212221212212221222212222212222221222222
%55 = 2122222221222222221222222222122222222221222222222221222121221222122221222221222222122222
%56 = 2212222222122222222122222222212222222222122222222222122212122122212222122222122222212222
%57 = 2221222222212222222212222222221222222222212222222222212221212212221222212222212222221222
%58 = 2222122222221222222221222222222122222222221222222222221222121221222122221222221222222122
%59 = 2222212222222122222222122222222212222222222122222222222122212122122212222122222122222212
%60 = 2222221222222212222222212222222221222222222212222222222212221212212221222212222212222221
%61 = 1222222122222221222222221222222222122222222221222222222221222121221222122221222221222222
%62 = 2122222212222222122222222122222222212222222222122222222222122212122122212222122222122222
%63 = 2212222221222222212222222212222222221222222222212222222222212221212212221222212222212222
%64 = 2221222222122222221222222221222222222122222222221222222222221222121221222122221222221222
%65 = 2222122222212222222122222222122222222212222222222122222222222122212122122212222122222122
%66 = 2222212222221222222212222222212222222221222222222212222222222212221212212221222212222212
%67 = 2222221222222122222221222222221222222222122222222221222222222221222121221222122221222221
%68 = 1222222122222212222222122222222122222222212222222222122222222222122212122122212222122222
%69 = 2122222212222221222222212222222212222222221222222222212222222222212221212212221222212222
%70 = 2212222221222222122222221222222221222222222122222222221222222222221222121221222122221222
%71 = 2221222222122222212222222122222222122222222212222222222122222222222122212122122212222122
%72 = 2222122222212222221222222212222222212222222221222222222212222222222212221212212221222212
%73 = 2222212222221222222122222221222222221222222222122222222221222222222221222121221222122221
%74 = 1222221222222122222212222222122222222122222222212222222222122222222222122212122122212222
%75 = 2122222122222212222221222222212222222212222222221222222222212222222222212221212212221222
%76 = 2212222212222221222222122222221222222221222222222122222222221222222222221222121221222122
%77 = 2221222221222222122222212222222122222222122222222212222222222122222222222122212122122212
%78 = 2222122222122222212222221222222212222222212222222221222222222212222222222212221212212221
%79 = 1222212222212222221222222122222221222222221222222222122222222221222222222221222121221222
%80 = 2122221222221222222122222212222222122222222122222222212222222222122222222222122212122122
%81 = 2212222122222122222212222221222222212222222212222222221222222222212222222222212221212212
%82 = 2221222212222212222221222222122222221222222221222222222122222222221222222222221222121221
%83 = 1222122221222221222222122222212222222122222222122222222212222222222122222222222122212122
%84 = 2122212222122222122222212222221222222212222222212222222221222222222212222222222212221212
%85 = 2212221222212222212222221222222122222221222222221222222222122222222221222222222221222121
%86 = 1221222122221222221222222122222212222222122222222122222222212222222222122222222222122212
%87 = 2122122212222122222122222212222221222222212222222212222222221222222222212222222222212221
%88 = 1212212221222212222212222221222222122222221222222221222222222122222222221222222222221222

GAI さん。ありがとうございます。

小さなモデルでは次のようになります。
ガイガーカウンター管 で 11 回計測する。(技術者ひとりにつき１回、技術者の総数は 11 、うち０人~２人は嘘の報告をする)
このとき、22 枚の金貨のうち 1 枚の放射性物質を含む偽金貨を特定できる。
計測の準備には2通りの方法がある。
①少しづつ金貨を計測していき、その計測結果をもとにして次の計測の段取りをつける
②実際の計測の前に11人の技術者が計測する金貨を決定してしまう。

おとついみつけてたまげたのですが、下記のように計測すれば②で22枚中1枚を特定できます。

10111000100,
01011100010,
00101110001,
10010111000,
01001011100,
00100101110,
00010010111,
10001001011,
11000100101,
11100010010,
01110001001,
01000111011,
10100011101,
11010001110,
01101000111,
10110100011,
11011010001,
11101101000,
01110110100,
00111011010,
00011101101,
10001110110,

たまげた理由。
②のやりかたのシバリでは、kuiperbelt さんも、私も、最大 16 枚の金貨中から偽金貨1枚をみつける方法を過去に投稿して来ました。
符号長11で最小ハミング距離が 5 以上の系では、符号の最大総数は 16 だろうという雰囲気で。ところが上ではそれを6枚ぶん上回りました。
もっというと、all 0 と all 1 を勘定にいれれば 24 枚となるところに驚いております。

で、今回の 88 枚の件ですが、
技術者を13人とし、計測の方法は ① とする、ということとなります。嘘つきの数は変えません。少しづつ、計測しながら、その結果をみながら、次に測定する金貨を定めていく、しかも、いつ嘘をつかれるか不定である、そのような状況下で、88 枚も処理できるなんて！？？

この 88 は 先ほどの 22 の 4 倍になっています。なにか関係があるかどうか探っています。

wikipedia の プロトキン限界 の項目では
符号長 11 最小ハミング距離が 5 の二元コードの符号語数が 最大 24 となり、
やった！！！
みつけたぞ！！！
と大喜びしておりましたが、
これの限界の公式は、どうやら間違いのようで。ぐはっ

方法①ならこんな感じでどうしょう。
行き当たりばったりで組んだので汚いですが……。



金貨を4つのグループA,B,C,Dに振り分けながら測定を行っていく。

・グループA：偽金貨だった場合に現在までの全員が正しく報告をしている金貨の集合（偽金貨である可能性がある）
・グループB：偽金貨だった場合に現在までの一人が誤った報告をしている金貨の集合（偽金貨である可能性がある）
・グループC：偽金貨だった場合に現在までの二人が誤った報告をしている金貨の集合（偽金貨である可能性がある）
・グループD：偽金貨だった場合に現在までの三人が誤った報告をしている金貨の集合（偽金貨である可能性はない）

グループA,B,C,Dは、最上位:A→B→C→D:最下位となるように順位付けしておく。

各技術者の測定結果に応じて次のように金貨のグループを変更する。
陽性⇒測定した金貨は今のグループに残す。測定しなかった金貨を一つ下位のグループに移す(グループDの金貨を除く)。
陰性⇒測定した金貨を一つ下位のグループに移す。測定しなかった金貨は今のグループに残す。

最初は88枚すべてグループAである。
測定を繰り返してグループDが87枚になったら、残った1枚が偽金貨である。

測定方法は以下の通り(あくまでも一例である)。

丸数字は測定方法の場合分けであり、前の人までの測定結果によりどれかを選択していく。
丸数字のあとのA,B,C,Dの数字は測定前の各グループの金貨の枚数。
各グループからそれぞれ決められた枚数を選んでまとめて測定する。
グループ内でどの金貨を選ぶかは自由。

[1人目]
① A:88, B:0, C:0, D:0 ⇒ Aから44枚 測定
　・陽性/陰性 → 2人目①へ

[2人目]
① A:44, B:44, C:0, D:0 ⇒ Aから22枚、Bから22枚 測定
　・陽性/陰性 → 3人目①へ

[3人目]
① A:22, B:44, C:22, D:0 ⇒ Aから11枚、Bから22枚、Cから11枚 測定
　・陽性/陰性 → 4人目①へ

[4人目]
① A:11, B:33, C:33, D:11 ⇒ Aから6枚、Bから15枚、Cから12枚 測定
　・陽性 → 5人目①へ
　・陰性 → 5人目②へ

[5人目]
① A:6, B:20, C:30, D:32 ⇒ Aから3枚、Bから10枚、Cから15枚 測定
　・陽性/陰性 → 6人目①へ

② A:5, B:24, C:36, D:23 ⇒ Aから3枚、Bから11枚、Cから12枚 測定
　・陽性 → 6人目①へ
　・陰性 → 6人目②へ

[6人目]
① A:3, B:13, C:25, D:47 ⇒ Aから2枚、Bから5枚、Cから12枚 測定
　・陽性 → 7人目①へ
　・陰性 → 7人目②へ

② A:2, B:16, C:35, D:35 ⇒ Aから1枚、Bから9枚、Cから11枚 測定
　・陽性 → 7人目②へ
　・陰性 → 7人目③へ

[7人目]
① A:2, B:6, C:20, D:60 ⇒ Aから1枚、Bから3枚、Cから10枚 測定
　・陽性/陰性 → 8人目①へ

② A:1, B:10, C:18, D:59 ⇒ Aから1枚、Bから4枚、Cから7枚 測定
　・陽性 → 8人目①へ
　・陰性 → 8人目②へ

③ A:1, B:8, C:33, D:46 ⇒ Aから1枚、Bから4枚、Cから9枚 測定
　・陽性 → 8人目①へ
　・陰性 → 8人目③へ

[8人目]
① A:1, B:4, C:13, D:70 ⇒ Aから1枚、Bから1枚、Cから6枚 測定
　・陽性 → 9人目①へ
　・陰性 → 9人目②へ

② A:0, B:7, C:15, D:66 ⇒ Bから4枚、Cから5枚 測定
　・陽性 → 9人目②へ
　・陰性 → 9人目③へ

③ A:0, B:5, C:28, D:55 ⇒ Bから3枚、Cから12枚 測定
　・陽性 → 9人目③へ
　・陰性 → 9人目④へ

[9人目]
① A:1, B:1, C:9, D:77 ⇒ Aから1枚、Bから0枚、Cから3枚 測定
　・陽性 → 10人目①へ
　・陰性 → 10人目②へ

② A:0, B:4, C:8, D:76 ⇒ Bから2枚、Cから4枚 測定
　・陽性/陰性 → 10人目②へ

③ A:0, B:3, C:14, D:71 ⇒ Bから2枚、Cから5枚 測定
　・陽性 → 10人目②へ
　・陰性 → 10人目③へ

④ A:0, B:2, C:19, D:67 ⇒ Bから1枚、Cから10枚 測定
　・陽性 → 10人③目へ
　・陰性 → 10人④目へ

[10人目]
① A:1, B:0, C:4, D:83 ⇒ Aから1枚 測定
　・陽性 → 結論①へ
　・陰性 → 11人目①へ

② A:0, B:2, C:6, D:80 ⇒ Bから1枚、Cから3枚 測定
　・陽性/陰性 → 11人目①へ

③ A:0, B:1, C:11, D:76 ⇒ Bから1枚、Cから4枚 測定
　・陽性 → 11人目①へ
　・陰性 → 11人目③へ

④ A:0, B:1, C:10, D:77 ⇒ Bから1枚、Cから3枚 測定
　・陽性 → 11人目②へ
　・陰性 → 11人目③へ

[11人目]
① A:0, B:1, C:4, D:83 ⇒ Bから1枚、Cから1枚 測定
　・陽性 → 12人目①へ
　・陰性 → 12人目②へ

② A:0, B:1, C:3, D:84 ⇒ Bから1枚、Cから1枚 測定
　・陽性 → 12人目①へ
　・陰性 → 12人目③へ

③ A0:, B:0, C:8, D:80 ⇒ Cから4枚 測定
　・陽性/陰性 → 12人目②へ

[12人目]
① A:0, B:1, C:1, D:86 ⇒ Bから1枚 測定
　・陽性 → 結論②へ
　・陰性 → 13人目①へ

② A:0, B:0, C:4, D:84 ⇒ Cから2枚 測定
　・陽性/陰性 → 13人目①へ

③ A:0, B:0, C:3, D:85 ⇒ Cから2枚 測定
　・陽性 → 13人目①へ
　・陰性 → 結論③へ

[13人目]
① A:0, B:0, C:2, D:86 ⇒ Cから1枚 測定
　・陽性/陰性 → 結論③へ

[結論]
① A:1, B:0, C:0, D:87 ⇒ Aの1枚が偽金貨確定

② A:0, B:1, C:0, D:87 ⇒ Bの1枚が偽金貨確定

③ A:0, B:0, C:1, D:87 ⇒ Cの1枚が偽金貨確定

※12人目までに偽金貨が確定した場合、残りの技術者に偽金貨だけを測定させれば嘘つきを特定することもできる。


各測定の枚数は条件を満たすものをとりあえずで決めただけなので、ほかにも測定方法はいろいろありそうです。

りらひいさん！

これ、大変に興味深いです。！！！
ありがとうございます。
勉強させてください。
今日は病院待合が立て込んでおりまして
ボチボチとトレースしたいとぞんじます。


皆様への追伸:
皆様には当然のことですけれども一応。

■上界と上限の違い
上界 (Upper Bound): 集合 A の上界とは、集合のすべての要素がその数以下であるような数のことです。上界は複数存在する可能性があります。
上限 (Supremum): 上限は、上界の中で最小のものを指します。つまり、上限より小さい数は上界ではなくなります。上限は一意に定まります。

例として、集合 (0,1) の場合、1が上限ですが、2や3も上界です。

さて。
[2286]の拙投稿にて
バイナリコードにおける、符号長 11 、最小ハミング距離が 5 であって、符号語の数が 24 であるものの具体的な構成例をお示しいたしました。

昨夜にみつけたのですけれども、
バイナリコードにおける、符号長 11 、最小ハミング距離が 5 という条件のもとで、
符号語の数のひとつの上界として 24 が既に証明されているようです。
→　
Table of general binary codes
https://aeb.win.tue.nl/codes/binary-1.html

このページに記載の上界の一覧表では
符号長 n . 最小ハミング距離 d のもとで、符号語数 A₂(n,d) がまとめられています。ただし、d が偶数のときのみです。
d が奇数の時には以下の公式を使います。
A₂(n-1,2e-1) = A₂(n,2e)

そこで、n=12, e=3 とすると、
A₂(11,5) = A₂(12,6)
となります。
A₂(11,5)の値を知りたかったので一覧表からA₂(12,6)を引きます。
A₂(12,6) = 24
が得られました。すなわち
A₂(11,5) = 24
となります。
バイナリコードにおける、符号長 11 、最小ハミング距離が 5 という条件のもとで、
符号語の数のひとつの上界として 24 が判明したということとなります。

あらためまして先日みつけた符号を下記に再掲いたします。

00000000000,
10111000100,
01011100010,
00101110001,
10010111000,
01001011100,
00100101110,
00010010111,
10001001011,
11000100101,
11100010010,
01110001001,
01000111011,
10100011101,
11010001110,
01101000111,
10110100011,
11011010001,
11101101000,
01110110100,
00111011010,
00011101101,
10001110110,
11111111111,

24 という上界は上限でもあったと判明したこととなります(個人的に嬉しくてイキっております、ご寛恕を願います)

以下の問題に解があるとのお知らせをもらいました。このスレッドの冒頭に比べて金貨が51枚も増えています。

64 枚の金貨があり、そのうち1枚は放射性物質を含む偽物です。この偽物をガイガーカウンターを用いた一連の測定で特定する課題です。問題は以下のように構成されています：

金貨：64 枚の金貨があり、1 から 64 まで番号が振られています。ちょうど 1 枚が偽物です。

偽物の特性：偽の金貨は放射性物質を含んでおり、ガイガーカウンターで検出可能です。

技術者：13人の技術者が測定を行います。

測定プロセス：各技術者は 64 枚の金貨のうち一部を選んで測定します。技術者は選ばれた金貨をガイガーカウンターで同時に検査します。ガイガーカウンターは、選ばれた金貨の中に偽物が含まれている場合にのみ反応します。測定結果は、その技術者のみが知っています。

測定の制約：各技術者は正確に 1 回だけ測定を行い、合計 13 回の測定が行われます。

報告：各測定の後、技術者は「陽性」（放射線が検出された）または「陰性」（放射線が検出されなかった）と報告します。

信頼性の問題：技術者のうち最大 2 人までが、意図的な欺瞞や偶発的な誤りにより不正確な報告をする可能性があります。

目標：最大 2 件の不正確な報告があったとしても、偽の金貨を確実に特定することが目標です。

- - -

割とまじめに計算機を使いましたがせいぜいで 40 枚くらいまでで………
64 枚解を求めるためには本格的なバックトラッキングをしなくては解けない気がしてきまして慄いています。

[2299]の答です。
符号語数が64で符号長が13、最小ハミング距離が5となっています。

0000000000000
0000000011111
0000011100011
0000101101100
0000110110101
0000111011010
0001001110110
0001110001001
0010010101110
0010101010001
0011001001011
0011010010010
0011011111101
0011100100111
0011100111000
0011111000100
0100010111000
0100101000111
0101000101101
0101011001110
0101011010001
0101100010100
0101101111011
0101110100010
0110000110011
0110001011100
0110010000101
0110100001010
0110111101001
0110111110110
0111001100000
0111110011111
1000011010100
1000100101011
1001000110001
1001010000111
1001011101000
1001101000010
1001101011101
1001110111110
1010001100101
1010001111010
1010010011001
1010100010110
1010110100000
1010111001111
1011000001100
1011111110011
1100000100110
1100001001001
1100011111111
1100101110000
1100110001100
1100110010011
1101000011010
1101111100101
1110011000010
1110100111101
1111001010111
1111010101011
1111010110100
1111100000001
1111101101110
1111111011000

どうやっても私には独力では作れませんでした。ガックシ…… 符号語数が32までならスグに作れるのに。

ご参考。

OEIS の A005865
https://oeis.org/A005865
にてわかることとして
A005865(13, 5) = A005865(14, 6) = 64
となります。
嘘報告が最大2(すなわち5/2の整数部分)あっても13回測れば
64枚から1枚の偽金貨を特定できるということなので
その具体的な方法は？
というストーリーなのでした。

すみません、証明の最後の2行、不等号が逆でした。
記事の方もお手数ですが修正お願いします……。

A=(a_{ij})のエルミート共役な行列𝐴*は𝐴*=(𝑎̅ _{ji})であって、Aと𝐴*との積𝐴𝐴*は
(𝐴𝐴*)₁₁=𝑎₁₁𝑎̅₁₁+𝑎₁₂𝑎̅₁₂
(𝐴𝐴*)₁₂=𝑎₁₁𝑎̅₂₁+𝑎₁₂𝑎̅₂₂
(𝐴𝐴*)₂₁=𝑎₂₁𝑎̅₁₁+𝑎₂₂𝑎̅₁₂
(𝐴𝐴*)₂₂=𝑎₂₁𝑎̅₂₁+𝑎₂₂𝑎̅₂₂
となり、𝐴𝐴*はエルミート行列となります。

エルミート行列X=(X_{ij}),𝑥̅₁₁=𝑥₁₁,𝑥̅₂₂=𝑥₂₂,𝑥̅₁₂=𝑥₂₁については
Mooreの行列式Mdet(X)を𝑀𝑑𝑒𝑡(𝑋)=𝑥₁₁𝑥₂₂-|𝑥₁₂|²と定義できて、
𝑀𝑑𝑒𝑡(𝐴𝐴*)
=(𝑎₁₁𝑎̅₁₁+𝑎₁₂𝑎̅₁₂)(𝑎₂₁𝑎̅₂₁+𝑎₂₂𝑎̅₂₂)-(𝑎₁₁𝑎̅₂₁+𝑎₁₂𝑎̅₂₂)(𝑎₂₁𝑎̅₁₁+𝑎₂₂𝑎̅₁₂)
=|𝑎₁₁|²|𝑎₂₂|²+|𝑎₁₂|²|𝑎₂₁|²-𝑎₁₁𝑎̅₂₁𝑎₂₂𝑎̅₁₂-𝑎₁₂𝑎̅₂₂𝑎₂₁𝑎̅₁₁=𝑆𝑑𝑒𝑡(𝐴)
となります。

3×3以上の行列についてもquasideterminantを定義できて、
行列A=(a_{ij})に対して、
r_{i}^{j}:Aのi行からa_{ij}を除いた行ベクトル
c_{j}^{i}:Aのj列からa_{ij}を除いた列ベクトル
A^{ij}:Aからi行とj列を取り除いてできる行列
とすると、A=(a_{ij})の各quasideterminantは
|A|_{ij}=a_{ij}-r_{i}^{j}・A^{ij}・c_{j}^{i}
となり、行列Aの逆行列𝐴⁻¹の各成分は、
(𝐴⁻¹)_{ij}=|A|_{ij}^{-1}
となります。

3×3行列Aを
[𝑎₁₁ 𝑎₁₂ 𝑎₁₃]
[𝑎₂₁ 𝑎₂₂ 𝑎₂₃]
[𝑎₃₁ 𝑎₃₂ 𝑎₃₃]
とすると、各quasideterminantは

|𝐴|₁₁=𝑎₁₁-𝑎₁₂(𝑎₂₂-𝑎₂₃𝑎₃₃⁻¹𝑎₃₂)⁻¹𝑎₂₁-𝑎₁₂(𝑎₃₂-𝑎₃₃𝑎₂₃⁻¹𝑎₂₂)⁻¹𝑎₃₁
-𝑎₁₃(𝑎₂₃-𝑎₂₂𝑎₃₂⁻¹𝑎₃₃)⁻¹𝑎₂₁-𝑎₁₃(𝑎₃₃-𝑎₃₂𝑎₂₂⁻¹𝑎₂₃)⁻¹𝑎₃₁
|𝐴|₁₂=𝑎₁₂-𝑎₁₁(𝑎₂₁-𝑎₂₃𝑎₃₃⁻¹𝑎₃₁)⁻¹𝑎₂₂-𝑎₁₁(𝑎₃₁-𝑎₃₃𝑎₂₃⁻¹𝑎₂₁)⁻¹𝑎₃₂
-𝑎₁₃(𝑎₂₃-𝑎₂₁𝑎₃₁⁻¹𝑎₃₃)⁻¹𝑎₂₂-𝑎₁₃(𝑎₃₃-𝑎₃₁𝑎₂₁⁻¹𝑎₂₃)⁻¹𝑎₃₂
|𝐴|₁₃=𝑎₁₃-𝑎₁₁(𝑎₂₁-𝑎₂₂𝑎₃₂⁻¹𝑎₃₁)⁻¹𝑎₂₃-𝑎₁₁(𝑎₃₁-𝑎₃₂𝑎₂₂⁻¹𝑎₂₁)⁻¹𝑎₃₃
-𝑎₁₂(𝑎₂₂-𝑎₂₁𝑎₃₁⁻¹𝑎₃₂)⁻¹𝑎₂₃-𝑎₁₂(𝑎₃₂-𝑎₃₁𝑎₂₁⁻¹𝑎₂₂)⁻¹𝑎₃₃
|𝐴|₂₁=𝑎₂₁-𝑎₂₂(𝑎₁₂-𝑎₁₃𝑎₃₃⁻¹𝑎₃₂)⁻¹𝑎₁₁-𝑎₂₂(𝑎₃₂-𝑎₃₃𝑎₁₃⁻¹𝑎₁₂)⁻¹𝑎₃₁
-𝑎₂₃(𝑎₁₃-𝑎₁₂𝑎₃₂⁻¹𝑎₃₃)⁻¹𝑎₁₁-𝑎₂₃(𝑎₃₃-𝑎₃₂𝑎₁₂⁻¹𝑎₁₃)⁻¹𝑎₃₁
|𝐴|₂₂=𝑎₂₂-𝑎₂₁(𝑎₁₁-𝑎₁₃𝑎₃₃⁻¹𝑎₃₁)⁻¹𝑎₁₂-𝑎₂₁(𝑎₃₁-𝑎₃₃𝑎₁₃⁻¹𝑎₁₁)⁻¹𝑎₃₂
-𝑎₂₃(𝑎₁₃-𝑎₁₁𝑎₃₁⁻¹𝑎₃₃)⁻¹𝑎₁₂-𝑎₂₃(𝑎₃₃-𝑎₃₁𝑎₁₁⁻¹𝑎₁₃)⁻¹𝑎₃₂
|𝐴|₂₃=𝑎₂₃-𝑎₂₁(𝑎₁₁-𝑎₁₂𝑎₃₂⁻¹𝑎₃₁)⁻¹𝑎₁₃-𝑎₂₁(𝑎₃₁-𝑎₃₂𝑎₁₂⁻¹𝑎₁₁)⁻¹𝑎₃₃
-𝑎₂₂(𝑎₁₂-𝑎₁₁𝑎₃₁⁻¹𝑎₃₂)⁻¹𝑎₁₃-𝑎₂₂(𝑎₃₂-𝑎₃₁𝑎₁₁⁻¹𝑎₁₂)⁻¹𝑎₃₃
|𝐴|₃₁=𝑎₃₁-𝑎₃₂(𝑎₁₂-𝑎₁₃𝑎₂₃⁻¹𝑎₂₂)⁻¹𝑎₁₁-𝑎₃₂(𝑎₂₂-𝑎₂₃𝑎₁₃⁻¹𝑎₁₂)⁻¹𝑎₂₁
-𝑎₃₃(𝑎₁₃-𝑎₁₂𝑎₂₂⁻¹𝑎₂₃)⁻¹𝑎₁₁-𝑎₃₃(𝑎₂₃-𝑎₂₂𝑎₁₂⁻¹𝑎₁₃)⁻¹𝑎₂₁
|𝐴|₃₂=𝑎₃₂-𝑎₃₁(𝑎₁₁-𝑎₁₃𝑎₂₃⁻¹𝑎₂₁)⁻¹𝑎₁₂-𝑎₃₁(𝑎₂₁-𝑎₂₃𝑎₁₃⁻¹𝑎₁₁)⁻¹𝑎₂₂
-𝑎₃₃(𝑎₁₃-𝑎₁₁𝑎₂₁⁻¹𝑎₂₃)⁻¹𝑎₁₂-𝑎₃₃(𝑎₂₃-𝑎₂₁𝑎₁₁⁻¹𝑎₁₃)⁻¹𝑎₂₂
|𝐴|₃₃=𝑎₃₃-𝑎₃₁(𝑎₁₁-𝑎₁₂𝑎₂₂⁻¹𝑎₂₁)⁻¹𝑎₁₃-𝑎₃₁(𝑎₂₁-𝑎₂₂𝑎₁₂⁻¹𝑎₁₁)⁻¹𝑎₂₃
-𝑎₃₂(𝑎₁₂-𝑎₁₁𝑎₂₁⁻¹𝑎₂₂)⁻¹𝑎₁₃-𝑎₃₂(𝑎₂₂-𝑎₂₁𝑎₁₁⁻¹𝑎₁₂)⁻¹𝑎₂₃
となります。

Aの逆行列𝐴⁻¹については、
(𝐴⁻¹)₁₁=|𝐴|₁₁⁻¹, (𝐴⁻¹)₁₂=|𝐴|₂₁⁻¹, (𝐴⁻¹)₁₃=|𝐴|₃₁⁻¹,
(𝐴⁻¹)₂₁=|𝐴|₁₂⁻¹, (𝐴⁻¹)₂₂=|𝐴|₂₂⁻¹, (𝐴⁻¹)₂₃=|𝐴|₃₂⁻¹,
(𝐴⁻¹)₃₁=|𝐴|₁₃⁻¹, (𝐴⁻¹)₃₂=|𝐴|₂₃⁻¹, (𝐴⁻¹)₃₃=|𝐴|₃₃⁻¹,
であり、

𝑎₁₁-𝑎₁₂(𝑎₂₂-𝑎₂₃𝑎₃₃⁻¹𝑎₃₂)⁻¹𝑎₂₁-𝑎₁₂(𝑎₃₂-𝑎₃₃𝑎₂₃⁻¹𝑎₂₂)⁻¹𝑎₃₁
-𝑎₁₃(𝑎₂₃-𝑎₂₂𝑎₃₂⁻¹𝑎₃₃)⁻¹𝑎₂₁-𝑎₁₃(𝑎₃₃-𝑎₃₂𝑎₂₂⁻¹𝑎₂₃)⁻¹𝑎₃₁
=𝑎₁₁-𝑎₁₂(𝑎₂₂-𝑎₂₃𝑎̅₃₃𝑎₃₂/|𝑎₃₃|²)⁻¹𝑎₂₁-𝑎₁₂(𝑎₃₂-𝑎₃₃𝑎̅₂₃𝑎₂₂/|𝑎₂₃|²)⁻¹𝑎₃₁
-𝑎₁₃(𝑎₂₃-𝑎₂₂𝑎̅₃₂𝑎₃₃/|𝑎₃₂|²)⁻¹𝑎₂₁-𝑎₁₃(𝑎₃₃-𝑎₃₂𝑎̅₂₂𝑎₂₃/|𝑎₂₂|²)⁻¹𝑎₃₁
=𝑎₁₁-|𝑎₃₃|²𝑎₁₂(|𝑎₃₃|²𝑎₂₂-𝑎₂₃𝑎̅₃₃𝑎₃₂)⁻¹𝑎₂₁-|𝑎₂₃|²𝑎₁₂(|𝑎₂₃|²𝑎₃₂-𝑎₃₃𝑎̅₂₃𝑎₂₂)⁻¹𝑎₃₁
-|𝑎₃₂|²𝑎₁₃(|𝑎₃₂|²𝑎₂₃-𝑎₂₂𝑎̅₃₂𝑎₃₃)⁻¹𝑎₂₁-|𝑎₂₂|²𝑎₁₃(|𝑎₂₂|²𝑎₃₃-𝑎₃₂𝑎̅₂₂𝑎₂₃)⁻¹𝑎₃₁
=𝑎₁₁-|𝑎₃₃|²𝑎₁₂(|𝑎₃₃|²𝑎̅₂₂-𝑎̅₃₂𝑎₃₃𝑎̅₂₃)𝑎₂₁/||𝑎₃₃|²𝑎₂₂-𝑎₂₃𝑎̅₃₃𝑎₃₂|²
-|𝑎₂₃|²𝑎₁₂(|𝑎₂₃|²𝑎̅₃₂-𝑎̅₂₂𝑎₂₃𝑎̅₃₃)𝑎₃₁/||𝑎₂₃|²𝑎₃₂-𝑎₃₃𝑎̅₂₃𝑎₂₂|²
-|𝑎₃₂|²𝑎₁₃(|𝑎₃₂|²𝑎̅₂₃-𝑎̅₃₃𝑎₃₂𝑎̅₂₂)𝑎₂₁/||𝑎₃₂|²𝑎₂₃-𝑎₂₂𝑎̅₃₂𝑎₃₃|²
-|𝑎₂₂|²𝑎₁₃(|𝑎₂₂|²𝑎̅₃₃-𝑎̅₂₃𝑎₂₂𝑎̅₃₂)𝑎₃₁/||𝑎₂₂|²𝑎₃₃-𝑎₃₂𝑎̅₂₂𝑎₂₃|²
=𝑎₁₁-(𝑎₁₂(|𝑎₃₃|²𝑎̅₂₂-𝑎̅₃₂𝑎₃₃𝑎̅₂₃)𝑎₂₁+𝑎₁₂(|𝑎₂₃|²𝑎̅₃₂-𝑎̅₂₂𝑎₂₃𝑎̅₃₃)𝑎₃₁
+𝑎₁₃(|𝑎₃₂|²𝑎̅₂₃-𝑎̅₃₃𝑎₃₂𝑎̅₂₂)𝑎₂₁+𝑎₁₃(|𝑎₂₂|²𝑎̅₃₃-𝑎̅₂₃𝑎₂₂𝑎̅₃₂)𝑎₃₁)/𝑆𝑑𝑒𝑡(𝐴₁₁)
より、

(𝐴⁻¹)₁₁=
(𝑎₁₁-(𝑎₁₂(𝑎₂₂-𝑎₂₃𝑎₃₃⁻¹𝑎₃₂)⁻¹𝑎₂₁+𝑎₁₂(𝑎₃₂-𝑎₃₃𝑎₂₃⁻¹𝑎₂₂)⁻¹𝑎₃₁
+𝑎₁₃(𝑎₂₃-𝑎₂₂𝑎₃₂⁻¹𝑎₃₃)⁻¹𝑎₂₁+𝑎₁₃(𝑎₃₃-𝑎₃₂𝑎₂₂⁻¹𝑎₂₃)⁻¹𝑎₃₁)/𝑆𝑑𝑒𝑡(𝐴₁₁))⁻¹
=(𝑆𝑑𝑒𝑡(𝐴₁₁)(𝑆𝑑𝑒𝑡(𝐴₁₁)𝑎₁₁-(𝑎₁₂(|𝑎₃₃|²𝑎̅₂₂-𝑎̅₃₂𝑎₃₃𝑎̅₂₃)𝑎₂₁+𝑎₁₂(|𝑎₂₃|²𝑎̅₃₂-𝑎̅₂₂𝑎₂₃𝑎̅₃₃)𝑎₃₁
+𝑎₁₃(|𝑎₃₂|²𝑎̅₂₃-𝑎̅₃₃𝑎₃₂𝑎̅₂₂)𝑎₂₁+𝑎₁₃(|𝑎₂₂|²𝑎̅₃₃-𝑎̅₂₃𝑎₂₂𝑎̅₃₂)𝑎₃₁))⁻¹
=(𝑆𝑑𝑒𝑡(𝐴₁₁)(𝑆𝑑𝑒𝑡(𝐴₁₁)𝑎̅₁₁-(𝑎̅₂₁(|𝑎₃₃|²𝑎₂₂-𝑎₂₃𝑎̅₃₃𝑎₃₂)𝑎̅₁₂+𝑎̅₃₁(|𝑎₂₃|²𝑎₃₂-𝑎₃₃𝑎̅₂₃𝑎₂₂)𝑎̅₁₂
+𝑎̅₂₁(|𝑎₃₂|²𝑎₂₃-𝑎₂₂𝑎̅₃₂𝑎₃₃)𝑎̅₁₃+𝑎̅₃₁(|𝑎₂₂|²𝑎₃₃-𝑎₃₂𝑎̅₂₂𝑎₂₃)𝑎̅₁₃))
/|𝑆𝑑𝑒𝑡(𝐴₁₁)𝑎₁₁-(𝑎₁₂(|𝑎₃₃|²𝑎̅₂₂-𝑎̅₃₂𝑎₃₃𝑎̅₂₃)𝑎₂₁+𝑎₁₂(|𝑎₂₃|²𝑎̅₃₂-𝑎̅₂₂𝑎₂₃𝑎̅₃₃)𝑎₃₁
+𝑎₁₃(|𝑎₃₂|²𝑎̅₂₃-𝑎̅₃₃𝑎₃₂𝑎̅₂₂)𝑎₂₁+𝑎₁₃(|𝑎₂₂|²𝑎̅₃₃-𝑎̅₂₃𝑎₂₂𝑎̅₃₂)𝑎₃₁)|²
=(𝑆𝑑𝑒𝑡(𝐴₁₁)𝑎̅₁₁-(𝑎̅₂₁(|𝑎₃₃|²𝑎₂₂-𝑎₂₃𝑎̅₃₃𝑎₃₂)𝑎̅₁₂+𝑎̅₃₁(|𝑎₂₃|²𝑎₃₂-𝑎₃₃𝑎̅₂₃𝑎₂₂)𝑎̅₁₂
+𝑎̅₂₁(|𝑎₃₂|²𝑎₂₃-𝑎₂₂𝑎̅₃₂𝑎₃₃)𝑎̅₁₃+𝑎̅₃₁(|𝑎₂₂|²𝑎₃₃-𝑎₃₂𝑎̅₂₂𝑎₂₃)𝑎̅₁₃))/𝑆𝑑𝑒𝑡(𝐴)
であり、Sdet(A)はAのStudy行列式で、

𝑆𝑑𝑒𝑡(𝐴)=
|𝑎₁₁|²|𝑎₂₂|²|𝑎₃₃|²+|𝑎₁₁|²|𝑎₂₃|²|𝑎₃₂|²+|𝑎₁₂|²|𝑎₂₁|²|𝑎₃₃|²
+|𝑎₁₂|²|𝑎₂₃|²|𝑎₃₁|²+|𝑎₁₃|²|𝑎₂₁|²|𝑎₃₂|²+|𝑎₁₃|²|𝑎₂₂|²|𝑎₃₁|²
-2|𝑎₁₁|²𝑅𝑒(𝑎₂₂𝑎̅₃₂𝑎₃₃𝑎̅₂₃)-2|𝑎₁₂|²𝑅𝑒(𝑎₂₁𝑎̅₃₁𝑎₃₃𝑎̅₂₃)-2|𝑎₁₃|²𝑅𝑒(𝑎₂₁𝑎̅₃₁𝑎₃₂𝑎̅₂₂)
-2|𝑎₂₁|²𝑅𝑒(𝑎₁₂𝑎̅₃₂𝑎₃₃𝑎̅₁₃)-2|𝑎₂₂|²𝑅𝑒(𝑎₁₁𝑎̅₃₁𝑎₃₃𝑎̅₁₃)-2|𝑎₂₃|²𝑅𝑒(𝑎₁₁𝑎̅₃₁𝑎₃₂𝑎̅₁₂)
-2|𝑎₃₁|²𝑅𝑒(𝑎₁₂𝑎̅₂₂𝑎₂₃𝑎̅₁₃)-2|𝑎₃₂|²𝑅𝑒(𝑎₁₁𝑎̅₂₁𝑎₂₃𝑎̅₁₃)-2|𝑎₃₃|²𝑅𝑒(𝑎₁₁𝑎̅₂₁𝑎₂₂𝑎̅₁₂)
+2𝑅𝑒(𝑎₁₁𝑎̅₂₁𝑎₂₃𝑎̅₃₃𝑎₃₂𝑎̅₁₂)+2𝑅𝑒(𝑎₁₂𝑎̅₂₂𝑎₂₁𝑎̅₃₁𝑎₃₃𝑎̅₁₃)+2𝑅𝑒(𝑎₁₃𝑎̅₂₃𝑎₂₂𝑎̅₃₂𝑎₃₁𝑎̅₁₁)
+2𝑅𝑒(𝑎₁₁𝑎̅₃₁𝑎₃₃𝑎̅₂₃𝑎₂₂𝑎̅₁₂)+2𝑅𝑒(𝑎₁₂𝑎̅₃₂𝑎₃₁𝑎̅₂₁𝑎₂₃𝑎̅₁₃)+2𝑅𝑒(𝑎₁₃𝑎̅₃₃𝑎₃₂𝑎̅₂₂𝑎₂₁𝑎̅₁₁)
となります。

他の成分についても、
(𝐴⁻¹)₁₂=(𝑆𝑑𝑒𝑡(𝐴₁₂𝑎̅₁₂-(𝑎̅₂₂(|𝑎₃₃|²𝑎₂₁-𝑎₂₃𝑎̅₃₃𝑎₃₁)𝑎̅₁₁+𝑎̅₃₂(|𝑎₂₃|²𝑎₃₁-𝑎₃₃𝑎̅₂₃𝑎₂₁)𝑎̅₁₁
+𝑎̅₂₂(|𝑎₃₁|²𝑎₂₃-𝑎₂₁𝑎̅₃₁𝑎₃₃)𝑎̅₁₃+𝑎̅₃₂(|𝑎₂₁|²𝑎₃₃-𝑎₃₁𝑎̅₂₁𝑎₂₃)𝑎̅₁₃))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₁₃=(𝑆𝑑𝑒𝑡(𝐴₁₃𝑎̅₁₃-(𝑎̅₂₃(|𝑎₃₂|²𝑎₂₁-𝑎₂₂𝑎̅₃₂𝑎₃₁)𝑎̅₁₁+𝑎̅₃₃(|𝑎₂₂|²𝑎₃₁-𝑎₃₂𝑎̅₂₂𝑎₂₁)𝑎̅₁₁
+𝑎̅₂₃(|𝑎₃₁|²𝑎₂₂-𝑎₂₁𝑎̅₃₁𝑎₃₂)𝑎̅₁₂+𝑎̅₃₃(|𝑎₂₁|²𝑎₃₂-𝑎₃₁𝑎̅₂₁𝑎₂₂)𝑎̅₁₂))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₂₁=(𝑆𝑑𝑒𝑡(𝐴₂₁𝑎̅₂₁-(𝑎̅₁₁(|𝑎₃₃|²𝑎₁₂-𝑎₁₃𝑎̅₃₃𝑎₃₂)𝑎̅₂₂+𝑎̅₃₁(|𝑎₁₃|²𝑎₃₂-𝑎₃₃𝑎̅₁₃𝑎₁₂)𝑎̅₂₂
+𝑎̅₁₁(|𝑎₃₂|²𝑎₁₃-𝑎₁₂𝑎̅₃₂𝑎₃₃)𝑎̅₂₃+𝑎̅₃₁(|𝑎₁₂|²𝑎₃₃-𝑎₃₂𝑎̅₁₂𝑎₁₃)𝑎̅₂₃))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₂₂=(𝑆𝑑𝑒𝑡(𝐴₂₂𝑎̅₂₂-(𝑎̅₁₂(|𝑎₃₃|²𝑎₁₁-𝑎₁₃𝑎̅₃₃𝑎₃₁)𝑎̅₂₁+𝑎̅₃₂(|𝑎₁₃|²𝑎₃₁-𝑎₃₃𝑎̅₁₃𝑎₁₁)𝑎̅₂₁
+𝑎̅₁₂(|𝑎₃₁|²𝑎₁₃-𝑎₁₁𝑎̅₃₁𝑎₃₃)𝑎̅₂₃+𝑎̅₃₂(|𝑎₁₁|²𝑎₃₃-𝑎₃₁𝑎̅₁₁𝑎₁₃)𝑎̅₂₃))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₂₃=(𝑆𝑑𝑒𝑡(𝐴₂₃𝑎̅₂₃-(𝑎̅₁₃(|𝑎₃₂|²𝑎₁₁-𝑎₁₂𝑎̅₃₂𝑎₃₁)𝑎̅₂₁+𝑎̅₃₃(|𝑎₁₂|²𝑎₃₁-𝑎₃₂𝑎̅₁₂𝑎₁₁)𝑎̅₂₁
+𝑎̅₁₃(|𝑎₃₁|²𝑎₁₂-𝑎₁₁𝑎̅₃₁𝑎₃₂)𝑎̅₂₂+𝑎̅₃₃(|𝑎₁₁|²𝑎₃₂-𝑎₃₁𝑎̅₁₁𝑎₁₂)𝑎̅₂₂))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₃₁=(𝑆𝑑𝑒𝑡(𝐴₃₁𝑎̅₃₁-(𝑎̅₁₁(|𝑎₂₃|²𝑎₁₂-𝑎₁₃𝑎̅₂₃𝑎₂₂)𝑎̅₃₂+𝑎̅₂₁(|𝑎₁₃|²𝑎₂₂-𝑎₂₃𝑎̅₁₃𝑎₁₂)𝑎̅₃₂
+𝑎̅₁₁(|𝑎₂₂|²𝑎₁₃-𝑎₁₂𝑎̅₂₂𝑎₂₃)𝑎̅₃₃+𝑎̅₂₁(|𝑎₁₂|²𝑎₂₃-𝑎₂₂𝑎̅₁₂𝑎₁₃)𝑎̅₃₃))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₃₂=(𝑆𝑑𝑒𝑡(𝐴₃₂𝑎̅₃₂-(𝑎̅₁₂(|𝑎₂₃|²𝑎₁₁-𝑎₁₃𝑎̅₂₃𝑎₂₁)𝑎̅₃₁+𝑎̅₂₂(|𝑎₁₃|²𝑎₂₁-𝑎₂₃𝑎̅₁₃𝑎₁₁)𝑎̅₃₁
+𝑎̅₁₂(|𝑎₂₁|²𝑎₁₃-𝑎₁₁𝑎̅₂₁𝑎₂₃)𝑎̅₃₃+𝑎̅₂₂(|𝑎₁₁|²𝑎₂₃-𝑎₂₁𝑎̅₁₁𝑎₁₃)𝑎̅₃₃))/𝑆𝑑𝑒𝑡(𝐴)
(𝐴⁻¹)₃₃=(𝑆𝑑𝑒𝑡(𝐴₃₃𝑎̅₃₃-(𝑎̅₁₃(|𝑎₂₂|²𝑎₁₁-𝑎₁₂𝑎̅₂₂𝑎₂₁)𝑎̅₃₁+𝑎̅₂₃(|𝑎₁₂|²𝑎₂₁-𝑎₂₂𝑎̅₁₂𝑎₁₁)𝑎̅₃₁
+𝑎̅₁₃(|𝑎₂₁|²𝑎₁₂-𝑎₁₁𝑎̅₂₁𝑎₂₂)𝑎̅₃₂+𝑎̅₂₃(|𝑎₁₁|²𝑎₂₂-𝑎₂₁𝑎̅₁₁𝑎₁₂)𝑎'₃₂))/𝑆𝑑𝑒𝑡(𝐴)
となります。

3×3のエルミート行列H
[𝑥₁₁ 𝑥₁₂ 𝑥₁₃]
[𝑥₂₁ 𝑥₂₂ 𝑥₂₃]
[𝑥₃₁ 𝑥₃₂ 𝑥₃₃]
𝑥₁₁=𝑥̅₁₁,𝑥₂₂=𝑥̅₂₂,𝑥₃₃=𝑥̅₃₃,𝑥̅₁₂=𝑥₂₁,𝑥̅₂₃=𝑥₃₂,𝑥̅₃₁=𝑥₁₃
についてMooreの行列式は、
𝑀𝑑𝑒𝑡(𝑋)
=𝑥₁₁𝑥₂₂𝑥₃₃-𝑥₁₁𝑥₂₃𝑥₃₂-𝑥₁₃𝑥₃₁𝑥₂₂-𝑥₁₂𝑥₂₁𝑥₃₃+𝑥₁₂𝑥₂₃𝑥₃₁+𝑥₁₃𝑥₃₂𝑥₂₁
=𝑥₁₁𝑥₂₂𝑥₃₃-𝑥₁₁|𝑥₂₃|²-𝑥₂₂|𝑥₃₁|²-𝑥₃₃|𝑥₁₂|²+𝑥₁₂𝑥₂₃𝑥₃₁+𝑥̅₁₃𝑥̅₂₁𝑥̅₃₂
=𝑥₁₁𝑥₂₂𝑥₃₃-𝑥₁₁|𝑥₂₃|²-𝑥₂₂|𝑥₃₁|²-𝑥₃₃|𝑥₁₂|²+2𝑅𝑒(𝑥₁₂𝑥₂₃𝑥₃₁)
と定義できて、3×3行列Aを
[𝑎₁₁ 𝑎₁₂ 𝑎₁₃]
[𝑎₂₁ 𝑎₂₂ 𝑎₂₃]
[𝑎₃₁ 𝑎₃₂ 𝑎₃₃]
とすると、Aのエルミート行列𝐴*との積𝐴𝐴*は、
[𝑎₁₁𝑎̅₁₁+𝑎₁₂𝑎̅₁₂+𝑎₁₃𝑎̅₁₃ 𝑎₁₁𝑎̅₂₁+𝑎₁₂𝑎̅₂₂+𝑎₁₃𝑎̅₂₃ 𝑎₁₁𝑎̅₃₁+𝑎₁₂𝑎̅₃₂+𝑎₁₃𝑎̅₃₃]
[𝑎₂₁𝑎̅₁₁+𝑎₂₂𝑎̅₁₂+𝑎₂₃𝑎̅₁₃ 𝑎₂₁𝑎̅₂₁+𝑎₂₂𝑎̅₂₂+𝑎₂₃𝑎̅₂₃ 𝑎₂₁𝑎̅₃₁+𝑎₂₂𝑎̅₃₂+𝑎₂₃𝑎̅₃₃]
[𝑎₃₁𝑎̅₁₁+𝑎₃₂𝑎̅₁₂+𝑎₃₃𝑎̅₁₃ 𝑎₃₁𝑎̅₂₁+𝑎₃₂𝑎̅₂₂+𝑎₃₃𝑎̅₂₃ 𝑎₃₁𝑎̅₃₁+𝑎₃₂𝑎̅₃₂+𝑎₃₃𝑎̅₃₃]
でエルミート行列であり、Mooreの行列式は、
𝑀𝑑𝑒𝑡(𝐴𝐴*)
=(|𝑎₁₁|²+|𝑎₁₂|²+|𝑎₁₃|²)(|𝑎₂₁|²+|𝑎₂₂|²+|𝑎₂₃|²)(|𝑎₃₁|²+|𝑎₃₂|²+|𝑎₃₃|²)
-(|𝑎₁₁|²+|𝑎₁₂|²+|𝑎₁₃|²)(𝑎₂₁𝑎̅₃₁+𝑎₂₂𝑎̅₃₂+𝑎₂₃𝑎̅₃₃)(𝑎₃₁𝑎̅₂₁+𝑎₃₂𝑎̅₂₂+𝑎₃₃𝑎̅₂₃)
-(|𝑎₂₁|²+|𝑎₂₂|²+|𝑎₂₃|²)(𝑎₁₁𝑎̅₃₁+𝑎₁₂𝑎̅₃₂+𝑎₁₃𝑎̅₃₃)(𝑎₃₁𝑎̅₁₁+𝑎₃₂𝑎̅₁₂+𝑎₃₃𝑎̅₁₃)
-(|𝑎₃₁|²+|𝑎₃₂|²+|𝑎₃₃|²)(𝑎₁₁𝑎̅₂₁+𝑎₁₂𝑎̅₂₂+𝑎₁₃𝑎̅₂₃)(𝑎₂₁𝑎̅₁₁+𝑎₂₂𝑎̅₁₂+𝑎₂₃𝑎̅₁₃)
+(𝑎₁₁𝑎̅₂₁+𝑎₁₂𝑎̅₂₂+𝑎₁₃𝑎̅₂₃)(𝑎₂₁𝑎̅₃₁+𝑎₂₂𝑎̅₃₂+𝑎₂₃𝑎̅₃₃)(𝑎₃₁𝑎̅₁₁+𝑎₃₂𝑎̅₁₂+𝑎₃₃𝑎̅₁₃)
+(𝑎₁₁𝑎̅₃₁+𝑎₁₂𝑎̅₃₂+𝑎₁₃𝑎̅₃₃)(𝑎₃₁𝑎̅₂₁+𝑎₃₂𝑎̅₂₂+𝑎₃₃𝑎̅₂₃)(𝑎₂₁𝑎̅₁₁+𝑎₂₂𝑎̅₁₂+𝑎₂₃𝑎̅₁₃)
=|𝑎₁₁|²|𝑎₂₂|²|𝑎₃₃|²+|𝑎₁₁|²|𝑎₂₃|²|𝑎₃₂|²+|𝑎₁₂|²|𝑎₂₁|²|𝑎₃₃|²
+|𝑎₁₂|²|𝑎₂₃|²|𝑎₃₁|²+|𝑎₁₃|²|𝑎₂₁|²|𝑎₃₂|²+|𝑎₁₃|²|𝑎₂₂|²|𝑎₃₁|²
-2|𝑎₁₁|²𝑅𝑒(𝑎₂₂𝑎̅₃₂𝑎₃₃𝑎̅₂₃)-2|𝑎₁₂|²𝑅𝑒(𝑎₂₁𝑎̅₃₁𝑎₃₃𝑎̅₂₃)-2|𝑎₁₃|²𝑅𝑒(𝑎₂₁𝑎̅₃₁𝑎₃₂𝑎̅₂₂)
-2|𝑎₂₁|²𝑅𝑒(𝑎₁₂𝑎̅₃₂𝑎₃₃𝑎̅₁₃)-2|𝑎₂₂|²𝑅𝑒(𝑎₁₁𝑎̅₃₁𝑎₃₃𝑎̅₁₃)-2|𝑎₂₃|²𝑅𝑒(𝑎₁₁𝑎̅₃₁𝑎₃₂𝑎̅₁₂)
-2|𝑎₃₁|²𝑅𝑒(𝑎₁₂𝑎̅₂₂𝑎₂₃𝑎̅₁₃)-2|𝑎₃₂|²𝑅𝑒(𝑎₁₁𝑎̅₂₁𝑎₂₃𝑎̅₁₃)-2|𝑎₃₃|²𝑅𝑒(𝑎₁₁𝑎̅₂₁𝑎₂₂𝑎̅₁₂)
+2𝑅𝑒(𝑎₁₁𝑎̅₂₁𝑎₂₃𝑎̅₃₃𝑎₃₂𝑎̅₁₂)+2𝑅𝑒(𝑎₁₂𝑎̅₂₂𝑎₂₁𝑎̅₃₁𝑎₃₃𝑎̅₁₃)+2𝑅𝑒(𝑎₁₃𝑎̅₂₃𝑎₂₂𝑎̅₃₂𝑎₃₁𝑎̅₁₁)
+2𝑅𝑒(𝑎₁₁𝑎̅₃₁𝑎₃₃𝑎̅₂₃𝑎₂₂𝑎̅₁₂)+2𝑅𝑒(𝑎₁₂𝑎̅₃₂𝑎₃₁𝑎̅₂₁𝑎₂₃𝑎̅₁₃)+2𝑅𝑒(𝑎₁₃𝑎̅₃₃𝑎₃₂𝑎̅₂₂𝑎₂₁𝑎̅₁₁)
=𝑆𝑑𝑒𝑡(𝐴)
となります。

解がたくさんありそうでしたので、プログラムを作って調べました。
これが正しければ、ちょっと解が多すぎですね。
# 6と9はマッチ棒6本として考えました。
(1)
2724-26=2698
2724-28=2696
(2)
2723-25=2698
2725-29=2696
2727-29=2698
3024-25=2999
3024-29=2995
(3)
2034-25=2009
2034-29=2005
2064-25=2039
2064-29=2035
2324-26=2298
2324-28=2296
2620-25=2595
2624-35=2589
2624-39=2585
2624-85=2539
2624-89=2535
2634-25=2609
2634-29=2605
2664-25=2639
2664-29=2635
2722-26=2696
2723-28=2695
2724-66=2658
2724-68=2656
2725-26=2699
2727-28=2699
2729-33=2696
2734-36=2698
2734-38=2696
2781-85=2696
2831-25=2806
2861-25=2836
2921-23=2898
2921-35=2886
2921-85=2836
3724-26=3698
3724-28=3696
8721-25=8696

お～
プログラムで探せるんだ！
ちょっと考えていたんだがやり方が難しく諦めていた。
すみませんが
9+6=7
で2本の移動で等式を作れば何通り可能ですか？
(ただし"+"も2本のマッチ棒で作られているものと考え"-"の演算も可能になるものとする。)

プログラムが正しければ、
9-6=3
の1通りだけだと思います。
ちなみに3本では
0+5=5
3+0=3
5+0=5
8-5=3
の4通りになります。

> "らすかる"さんが書かれました:
> プログラムが正しければ、
> 9-6=3
> の1通りだけだと思います。

13-6=7
3+8=11
も作れませんか？

桁数を増やせるかどうかはマッチ棒では不明ですので、桁数は変えない前提で調べました。
（特に「＝」の直後に桁が追加できるかどうか）

あとで秘訣をご教示下さい。

第1行が
1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0
ですがこれは
1(1)=10
10(10)=1001
1001(1001)=10010110
10010110(10010110)=1001011001101001
1001011001101001(1001011001101001)=10010110011010010110100110010110
10010110011010010110100110010110(10010110011010010110100110010110)=
1001011001101001011010011001011001101001100101101001011001101001
となるので最後の1をカットして
63個の中に1が31個（0は32個)であるものを配置しております。
あとはこれを一個ずつ右ローテーションして構成しております。
こうして63×63の行列にしてみたら、すべての行、列のdigitsweight=31
のものが結果的に構成されました。

GAI さん
秘訣をありがとうございます！！！

まさかの Thue-Morse列 なのですね！！！！！

これを巡回させると！！！！！！！

前回の 5 すくみよりも、
勝率が平準化されました。

A = (1, 13, 20, 24, 7)
B = (25, 9, 2, 11, 18)
C = (12, 16, 23, 10, 4)
D = (8, 5, 14, 17, 21)
E = (19, 22, 6, 3, 15)

B → A ∣ (13 : 12)
C → B ∣ (13 : 12)
D → C ∣ (13 : 12)
E → D ∣ (13 : 12)
A → E ∣ (13 : 12)
A → C ∣ (13 : 12)
B → D ∣ (13 : 12)
C → E ∣ (13 : 12)
D → A ∣ (13 : 12)
E → B ∣ (13 : 12)

似たようなことを４すくみで試したら
勝率が ALL 1/2 となりました。
それって非推移的じゃあないですよねえ。(苦笑)　これはこれで面白いですけれども。

なんと。７すくみサイコロが商品化されていました。以下のそれぞれは、３面ですが、残りの３面にも同じ数をあてます。

(7,10,16)
(5,13,15)
(3,9,21)
(1,12,20)
(6,8,19)
(4,11,18)
(2,14,17)

綺麗な７すくみになってまして、(対角線含め)
強いほうと弱いほうの勝率の比は全て
5:4
となっています。

丙ひとりだけが仕組みを知っていて
甲と乙に、七つのうちひとつをそれぞれ選ばせます。
丙はそのサイコロをみて、それらよりも強いサイコロを選択します。
という３人ゲームの、イカサマ？
ができるように作ったみたいです。

7竦みダイスまで商品化されているとはすごいですね。
3,4,5,7竦みとあると6竦みダイスもできそうですね。

偶数すくみ、難しい印象があります。オリジナル(車輪の再発明？) ができたことがありません。なにかこつでもあるのでしょうか？

ヘカテーさんから 5 すくみの
Grime のダイスを教えてもらいました。

①:4,4,4,4,4,9
②:3,3,3,3,8,8
③:2,2,2,7,7,7
④:1,1,6,6,6,6
⑤:0,5,5,5,5,5

自作のものに比べて勝率が高いです。

1 → 2 ∣ (26 : 10)
2 → 3 ∣ (24 : 12)
3 → 4 ∣ (24 : 12)
4 → 5 ∣ (26 : 10)
5 → 1 ∣ (25 : 11)

1 → 3 ∣ (21 : 15)
3 → 5 ∣ (21 : 15)
5 → 2 ∣ (20 : 16)
2 → 4 ∣ (20 : 16)
4 → 1 ∣ (20 : 16)

ようやく私も偶数個ひとくみの非推移的ダイスを作れました。

A = (01, 10, 11, 12, 20, 22)
B = (02, 07, 09, 16, 19, 23)
C = (04, 06, 08, 14, 18, 24)
D = (03, 05, 13, 15, 17, 21)

※いかにも手作りっぽいですね。野蛮なことにヤマカンの積み重ねです。

性質①:非推移的な勝率。そして「ひらたい確率」です。
P(A>B) = P(B>C) = P(C>D) = P(D>A) = P(A>C) = P(B>D) = 19/36

性質②: 1 から 24 までの数が勢揃い。趣味的です。

6竦みダイスでとりあえず思いついたものですが、
ダイスA～Fの出目を
A:(a1,a2,a3,a4,a5,a6)
B:(b1,b2,b3,b4,b5,b6)
C:(c1,c2,c3,c4,c5,c6)
D:(d1,d2,d3,d4,d5,d6)
E:(e1,e2,e3,e4,e5,e6)
F:(f1,f2,f3,f4,f5,f6)
として、
a1<b1<c1<d1<e1<f1<f2<a2<b2<c2<d2<e2<e3<f3<a3<b3<c3<d3<
d4<e4<f4<a4<b4<c4<c5<d5<e5<f5<a5<b5<b6<c6<d6<e6<f6<a6
として、とりあえず、a1～f6に1～36を割り当てると、
A:(1,8,15,22,29,36)
B:(2,9,16,23,30,31)
C:(3,10,17,24,25,32)
D:(4,11,18,19,26,33)
E:(5,12,13,20,27,34)
F:(6,7,14,21,28,35)
で、A<B<C<D<E<F<A,A<C<E<A,B<D<F<Bで強い方の勝率が19/36で、AとD、BとE、CとFについてはヘカテさんの4竦みダイスと同じように勝率が1/2となります。

カイパーベルトさん！！！
まさしくコレ！！！

これからヘカテーさんに急いでタレこみます。

kuiperbelt さん。
「A<B<C<D<E<F<A, A<C<E<A, B<D<F<B で強い方の勝率が19/36で」ではなかったみたいです。

B → A ∣ (20 : 16)
C → B ∣ (20 : 16)
D → C ∣ (20 : 16)
E → D ∣ (20 : 16)
F → E ∣ (20 : 16)
A → F ∣ (20 : 16)

C → A ∣ (19 : 17)
D → B ∣ (19 : 17)
E → C ∣ (19 : 17)
F → D ∣ (19 : 17)
A → E ∣ (19 : 17)
B → F ∣ (19 : 17)

A → D ∣ (18 : 18)
B → E ∣ (18 : 18)
C → F ∣ (18 : 18)

追伸:
kuiperbelt さんのやり方で
八面体８個の対称性の高い非推移的ダイスを簡単に作ることができました。

列を埋め終わったら横滑りするのですね。

途中図1
01,
02,
03,
04,
05,
06,
07,
08,09,


途中図2
01,10,
02,11,
03,12,
04,13,
05,14,
06,
07,
08,09,

途中図3
01,10,
02,11,
03,12,
04,13,
05,14,
06,15,
07,16,17,
08,09,

最終図
①01,10,19,28,37,46,55,64
②02,11,20,29,38,47,56,57
③03,12,21,30,39,48,49,58
④04,13,22,31,40,41,50,59
⑤05,14,23,32,33,42,51,60
⑥06,15,24,25,34,43,52,61
⑦07,16,17,26,35,44,53,62
⑧08,09,18,27,36,45,54,63

2 → 1 ∣ (35 : 29)
3 → 2 ∣ (35 : 29)
4 → 3 ∣ (35 : 29)
5 → 4 ∣ (35 : 29)
6 → 5 ∣ (35 : 29)
7 → 6 ∣ (35 : 29)
8 → 7 ∣ (35 : 29)
1 → 8 ∣ (35 : 29)

3 → 1 ∣ (34 : 30)
4 → 2 ∣ (34 : 30)
5 → 3 ∣ (34 : 30)
6 → 4 ∣ (34 : 30)
7 → 5 ∣ (34 : 30)
8 → 6 ∣ (34 : 30)
1 → 7 ∣ (34 : 30)
2 → 8 ∣ (34 : 30)

4 → 1 ∣ (33 : 31)
5 → 2 ∣ (33 : 31)
6 → 3 ∣ (33 : 31)
7 → 4 ∣ (33 : 31)
8 → 5 ∣ (33 : 31)
1 → 6 ∣ (33 : 31)
2 → 7 ∣ (33 : 31)
3 → 8 ∣ (33 : 31)

1 → 5 ∣ (32 : 32)
2 → 6 ∣ (32 : 32)
3 → 7 ∣ (32 : 32)
4 → 8 ∣ (32 : 32)

次は４個の４面体ダイスの出目であって出目の期待値はともに 60 。各面の数は全て素数。非推移的ダイスとなっています。

P( A < B ) = P( B < C ) = P( C < D ) = P( D < A ) = 9/16
P( A < C ) = P( B < D ) = 1/2

A = ( 007, 037, 083, 113 )
B = ( 013, 041, 089, 097 )
C = ( 017, 047, 073, 103 )
D = ( 023, 031, 079, 107 )

※素数にしたのは完全に虚仮威しですけれども、定和にするにはどうしたらよいのか不明でした。期待値を等しくしたかった……

なるほど、これは勉強になりました。
サイクリックに翻訳できましたのでお礼に。

[
"0,1,1,1,0,0,0,0,1,0,1,0,0,1,1",
"1,0,1,1,1,0,0,0,0,1,0,1,0,0,1",
"1,1,0,1,1,1,0,0,0,0,1,0,1,0,0",
"0,1,1,0,1,1,1,0,0,0,0,1,0,1,0",
"0,0,1,1,0,1,1,1,0,0,0,0,1,0,1",
"1,0,0,1,1,0,1,1,1,0,0,0,0,1,0",
"0,1,0,0,1,1,0,1,1,1,0,0,0,0,1",
"1,0,1,0,0,1,1,0,1,1,1,0,0,0,0",
"0,1,0,1,0,0,1,1,0,1,1,1,0,0,0",
"0,0,1,0,1,0,0,1,1,0,1,1,1,0,0",
"0,0,0,1,0,1,0,0,1,1,0,1,1,1,0",
"0,0,0,0,1,0,1,0,0,1,1,0,1,1,1",
"1,0,0,0,0,1,0,1,0,0,1,1,0,1,1",
"1,1,0,0,0,0,1,0,1,0,0,1,1,0,1",
"1,1,1,0,0,0,0,1,0,1,0,0,1,1,0",
];

Dengan kesaktian Indukmu さんの投稿行列をみて、例えば次のような31×31のものが構成できれば
31個の金貨と31人の検査官で15個ずつの硬貨を調査していき、問題の硬貨を発見できるということなんでしょうか？
内容をまだよく理解できてなくて頓珍漢な質問になると思いますが･･･

[0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0]
[0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0]
[0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1]
[1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0]
[0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1]
[1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1]
[1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0]
[0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0]
[0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1]
[1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1]
[1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0]
[0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1]
[1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0]
[0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0]
[0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1]
[1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0]
[0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1]
[1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1]
[1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0]
[0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1]
[1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0]
[0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0]
[0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1]
[1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1]
[1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0]
[0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0]
[0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1]
[1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0]
[0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1]
[1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1]
[1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0]

GAI さん、今拝見しました。驚きました。お時間ください。

GAI さん。
ちょっと見では、
この計測ですと
嘘つきの検査官が最大５人までいても偽金貨を特定できるようですね。1/3 が嘘ついても大丈夫ってすごいことです。

とりあえず速報まで。

P.S. 1/3 が嘘をついても、、というのは私の間違いでした。申し訳ありません

31人の技術者に1～9,A～H,J～N,P～Xの名前をつけて、31個の金貨に、「あ」～「ま」の名前をつけて、それぞれを以下のようにGF(2)上の4次元射影空間内の31個の点と31枚の超平面に対応させます。各超平面内の15個の点が、該当する金貨を測定する15人の技術者に相当します。

1:(0,0,0,0,1) 2:(1,0,0,0,1) 3:(0,1,0,0,1) 4:(1,1,0,0,1)
5:(0,0,1,0,1) 6:(1,0,1,0,1) 7:(0,1,1,0,1) 8:(1,1,1,0,1)
9:(0,0,0,1,1) A:(1,0,0,1,1) B:(0,1,0,1,1) C:(1,1,0,1,1)
D:(0,0,1,1,1) E:(1,0,1,1,1) F:(0,1,1,1,1) G:(1,1,1,1,1)
H:(1,0,0,0,0) J:(0,1,0,0,0) K:(1,1,0,0,0)
L:(0,0,1,0,0) M:(1,0,1,0,0) N:(0,1,1,0,0) P:(1,1,1,0,0)
Q:(0,0,0,1,0) R:(1,0,0,1,0) S:(0,1,0,1,0) T:(1,1,0,1,0)
U:(0,0,1,1,0) V:(1,0,1,1,0) W:(0,1,1,1,0) X:(1,1,1,1,0)

あ：1,2,3,4,5,6,7,8,H,J,K,L,M,N,P
い：1,2,3,4,9,A,B,C,H,J,K,Q,R,S,T
う：1,2,5,6,9,A,D,E,H,L,M,Q,R,U,V
え：1,3,5,7,9,B,D,F,J,L,N,Q,S,U,W
お：9,A,B,C,D,E,F,G,H,J,K,L,M,N,P
か：5,6,7,8,D,E,F,G,H,J,K,Q,R,S,T
き：3,4,7,8,B,C,F,G,H,L,M,Q,R,S,T
く：2,4,6,8,A,C,E,G,J,L,N,Q,S,U,W
け：1,4,5,8,9,C,D,G,K,L,P,Q,T,U,X
こ：1,3,6,8,9,B,E,G,J,M,P,Q,S,V,X
さ：1,2,7,8,9,A,F,G,H,N,P,Q,R,W,X
し：1,3,5,7,A,C,E,G,J,L,N,R,T,V,X
す：1,2,5,6,B,C,F,G,H,L,M,S,T,W,X
せ：1,2,3,4,D,E,F,G,H,J,K,U,V,W,X
そ：2,3,6,7,A,B,E,F,K,L,P,Q,T,U,X
た：2,4,5,7,A,C,D,F,J,M,P,Q,S,V,X
ち：3,4,5,6,B,C,D,E,H,N,P,Q,R,W,X
つ：2,4,6,8,9,B,D,F,J,L,N,R,T,V,X
て：3,4,7,8,9,A,D,E,H,L,M,S,T,W,X
と：5,6,7,8,9,A,B,C,H,J,K,U,V,W,X
な：1,4,6,7,9,C,E,F,K,M,N,Q,T,V,W
に：1,4,5,8,A,B,E,F,K,L,P,R,S,V,W
ぬ：1,3,6,8,A,C,D,F,J,M,P,R,T,U,W
ね：1,2,7,8,B,C,D,E,H,N,P,S,T,U,V
の：2,3,5,8,A,B,D,G,K,M,N,Q,T,V,W
は：2,3,6,7,9,C,D,G,K,L,P,R,S,V,W
ひ：2,4,5,7,9,B,E,G,J,M,P,R,T,U,W
ふ：3,4,5,6,9,A,F,G,H,N,P,S,T,U,V
へ：1,4,6,7,A,B,D,G,K,M,N,R,S,U,X
ほ：2,3,5,8,9,C,E,F,K,M,N,R,S,U,X
ま：H,J,K,L,M,N,P,Q,R,S,T,U,V,W,X

対応する31ビット符号は以下のようになりますが、最小ハミング距離は16で、最大7人までが偽りの報告をしても偽金貨を特定できます。
[1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0],
[1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0],
[1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0],
[1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0],
[0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0],
[0,0,0,0,1,1,1,1,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0],
[0,0,1,1,0,0,1,1,0,0,1,1,0,0,1,1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0],
[0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0],
[1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,1],
[1,0,1,0,0,1,0,1,1,0,1,0,0,1,0,1,0,1,0,0,1,0,1,1,0,1,0,0,1,0,1],
[1,1,0,0,0,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0,1,1],
[1,0,1,0,1,0,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,1,0,1,0,1,0,1],
[1,1,0,0,1,1,0,0,0,0,1,1,0,0,1,1,1,0,0,1,1,0,0,0,0,1,1,0,0,1,1],
[1,1,1,1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,1,1,1,1],
[0,1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,0,1,1,0,0,1,1,0,0,1,1,0,0,1],
[0,1,0,1,1,0,1,0,0,1,0,1,1,0,1,0,0,1,0,0,1,0,1,1,0,1,0,0,1,0,1],
[0,0,1,1,1,1,0,0,0,0,1,1,1,1,0,0,1,0,0,0,0,1,1,1,1,0,0,0,0,1,1],
[0,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0,1,0,1,0,1,0,0,1,0,1,0,1,0,1],
[0,0,1,1,0,0,1,1,1,1,0,0,1,1,0,0,1,0,0,1,1,0,0,0,0,1,1,0,0,1,1],
[0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,1,1,1,1],
[1,0,0,1,0,1,1,0,1,0,0,1,0,1,1,0,0,0,1,0,1,1,0,1,0,0,1,0,1,1,0],
[1,0,0,1,1,0,0,1,0,1,1,0,0,1,1,0,0,0,1,1,0,0,1,0,1,1,0,0,1,1,0],
[1,0,1,0,0,1,0,1,0,1,0,1,1,0,1,0,0,1,0,0,1,0,1,0,1,0,1,1,0,1,0],
[1,1,0,0,0,0,1,1,0,0,1,1,1,1,0,0,1,0,0,0,0,1,1,0,0,1,1,1,1,0,0],
[0,1,1,0,1,0,0,1,0,1,1,0,1,0,0,1,0,0,1,0,1,1,0,1,0,0,1,0,1,1,0],
[0,1,1,0,0,1,1,0,1,0,0,1,1,0,0,1,0,0,1,1,0,0,1,0,1,1,0,0,1,1,0],
[0,1,0,1,1,0,1,0,1,0,1,0,0,1,0,1,0,1,0,0,1,0,1,0,1,0,1,1,0,1,0],
[0,0,1,1,1,1,0,0,1,1,0,0,0,0,1,1,1,0,0,0,0,1,1,0,0,1,1,1,1,0,0],
[1,0,0,1,0,1,1,0,0,1,1,0,1,0,0,1,0,0,1,0,1,1,0,0,1,1,0,1,0,0,1],
[0,1,1,0,1,0,0,1,1,0,0,1,0,1,1,0,0,0,1,0,1,1,0,0,1,1,0,1,0,0,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

31人の技術者に1～9,A～H,J～N,P～Xの名前をつけて、31個の金貨に、「あ」～「ま」の名前をつけて、それぞれを以下のようにGF(5)上の射影平面内の31個の点と31本の直線に対応させた場合も考えてみました。各直線内の6個の点が、該当する金貨を測定する6人の技術者に相当します。

1:(0,0,1) 2:(1,0,1) 3:(2,0,1) 4:(3,0,1) 5:(4,0,1)
6:(0,1,1) 7:(1,1,1) 8:(2,1,1) 9:(3,1,1) A:(4,1,1)
B:(0,2,1) C:(1,2,1) D:(2,2,1) E:(3,2,1) F:(4,2,1)
G:(0,3,1) H:(1,3,1) J:(2,3,1) K:(3,3,1) L:(4,3,1)
M:(0,4,1) N:(1,4,1) P:(2,4,1) Q:(3,4,1) R:(4,4,1)
S:(1,0,0) T:(4,1,0) U:(3,1,0) V:(2,1,0) W:(1,1,0) X:(0,1,0)

あ：1,2,3,4,5,S
い：6,7,8,9,A,S
う：B,C,D,E,F,S
え：G,H,J,K,L,S
お：M,N,P,Q,R,S
か：1,A,E,J,N,T
き：2,6,F,K,P,T
く：3,7,B,L,Q,T
け：4,8,C,M,R,T
こ：5,9,D,H,M,T
さ：1,9,C,L,P,U
し：2,A,D,G,Q,U
す：3,6,E,H,R,U
せ：4,7,F,J,M,U
そ：5,8,B,K,N,U
た：1,8,F,H,Q,V
ち：2,9,B,J,R,V
つ：3,A,C,K,M,V
て：4,6,D,L,N,V
と：5,7,E,G,P,V
な：1,7,D,K,R,W
に：2,8,E,L,M,W
ぬ：3,9,F,G,N,W
ね：4,A,B,H,P,W
の：5,6,C,J,Q,W
は：1,6,B,G,M,X
ひ：2,7,C,H,N,X
ふ：3,8,D,J,P,X
へ：4,9,E,K,Q,X
ほ：5,A,F,L,R,X
ま：S,T,U,V,W,X

1直線上には6点が存在し、どの2直線も1点を共有するので、1点を共有する2直線には互いに異なる5点があることになります。対応する31ビット符号は以下のようになりますが、最小ハミング距離は10で、最大4人までが偽りの報告をしても偽金貨を特定できます。
[1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
[0,0,0,0,0,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,0,1,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,0,0,0,0,0],
[1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0],
[0,1,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,0],
[0,0,1,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,1,0,0,0,0],
[0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0],
[0,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0,0,0,1,0,0,0,0],
[1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1,0,0,0],
[0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0],
[0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0],
[0,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0,0],
[0,0,0,0,1,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,1,0,0,0],
[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,1,0,0],
[0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,1,0,0],
[0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,1,0,0],
[0,0,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,0],
[0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0],
[1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,1,0],
[0,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,1,0],
[0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0],
[0,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,1,0],
[0,0,0,0,1,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1,0],
[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1],
[0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,1],
[0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,1],
[0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1],
[0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1]

流速が増大していて
なかなか追いつけませんが。

[2267]の GAI さんの31の解、
不思議でなりません。
ブロックデザインとしてどのような位置づけなのか？
巡回していますよね。
この手の解のデータベースをあたったのですが登録されていませんでした。
新発見？