😊出会いの泉😊

945
gp > sigma(945)-945
%485 = 975
他にも多くの過剰数は奇数の中に見つかると思います。
圧倒的に一位の数は5のパターンが起こりやすいのですが，他にも
81081
153153
207207
189189
などのそうでもないものも存在しているようです。

GAIさん、早速のお返事ありがとうございます。
二桁では、見つかりませんでした。
無謀にも、奇数の完全数が、ないことを背理法で示そうとしていました。
Ｎ＝Ｐ＾α…Ｑ＾βを奇素数の積として、
（１＋…＋Ｐ＾α）…（１＋…＋Ｑ＾β）＝2Ｎが、成り立つとき
右辺は、素因数２が、一つだけなので、左辺の一つが、奇数個、他は偶数個の素因数になることがわかりました。Ｐが奇数個として、
α＝４ｋ＋３のときは、４の倍数になり、矛盾
α＝４ｋ＋１のときは、Ｐ＝４h＋１と、４h＋３に場合分けをしましたが、それ以上は進めませんでした。

1,4,9,16,…の隣接項の差が3,5,7,…で正の奇数は2個以下の平方数で表せますので
「ある数」が奇数ならそのまま2個以下で、偶数なら奇数の平方数を足すか引くかして奇数にすることで
結局3個以下で表せますね。

（追記）
奇数は2平方数の差で表せますが、統一的に3平方数の加減で表す式を作りました。
任意の整数n（負の数も含む）に対して
(5[n/2]+17)^2-(10[n/2]+15-3n)^2-(4n+8-5[n/2])^2=n
が成り立ちます（[　]はガウス記号）。
ガウス記号を使わずに
{(10n+63+5(-1)^n)/4}^2-{(4n+25+5(-1)^n)/2}^2-{(6n+37-5(-1)^n)/4}^2=n
のようにも表せますが、少し長くなります。
（各{　}内は整数になります）
第2項のカッコ内はn=-5のときだけ0、第3項のカッコ内はn=-7のときだけ0であり、
6^2-5^2-4^2=-5, 1^2-2^2-2^2=-7が成り立つことから、
「任意の整数は(自然数)^2-(自然数)^2-(自然数)^2の形で表せる」
ことが言えます。
※符号を反転することで(自然数)^2+(自然数)^2-(自然数)^2の形でも表せることになります。

本日の日付(西暦2024年3月20日) にあわせて。平方数マイナス平方数マイナス平方数で表記。

50600817^2 -40480655^2 -30360488^2

= 20240320

なるほど強い………

らすかるさん凄い

なるほど凄い。

投稿後に、ふと思いましたが。

50600817^2 -40480655^2 -30360488^2 = 20240320

これ、
5^2 -4^2 -3^2 = 0
のピタゴラスの三平方の定理を満たす、5,4,3
の組みをちょっとずらしている感じがしました。

> 5,4,3の組みをちょっとずらしている感じがしました。
式の作り方からして結果的にそうなります。
着想は
(am+b)^2-(cm+d)^2-(em+f)^2=2m or 2m+1
から
a^2-c^2-e^2=0
ab-cd-ef=1
b^2-d^2-f^2=0 or 1
という方程式を解くことです。
プログラムを作って探索すると
(5m+3)^2-(4m+2)^2-(3m+2)^2=2m+1
(5m+9)^2-(4m+8)^2-(3m+4)^2=2m+1
(5m+17)^2-(4m+12)^2-(3m+12)^2=2m+1
(5m+17)^2-(4m+15)^2-(3m+8)^2=2m
(5m+29)^2-(4m+21)^2-(3m+20)^2=2m
(5m+35)^2-(4m+30)^2-(3m+18)^2=2m+1
(13m+9)^2-(12m+8)^2-(5m+4)^2=2m+1
(13m+17)^2-(12m+15)^2-(5m+8)^2=2m
(13m+19)^2-(12m+18)^2-(5m+6)^2=2m+1
(13m+37)^2-(12m+35)^2-(5m+12)^2=2m
(17m+5)^2-(15m+4)^2-(8m+3)^2=2m
(17m+9)^2-(15m+8)^2-(8m+4)^2=2m+1
(17m+13)^2-(15m+12)^2-(8m+5)^2=2m
(17m+35)^2-(15m+30)^2-(8m+18)^2=2m+1
(25m+19)^2-(24m+18)^2-(7m+6)^2=2m+1
(25m+33)^2-(24m+32)^2-(7m+8)^2=2m+1
(25m+37)^2-(24m+35)^2-(7m+12)^2=2m
(29m+5)^2-(21m+4)^2-(20m+3)^2=2m
(29m+17)^2-(21m+12)^2-(20m+12)^2=2m+1
(37m+13)^2-(35m+12)^2-(12m+5)^2=2m
(37m+19)^2-(35m+18)^2-(12m+6)^2=2m+1
(37m+25)^2-(35m+24)^2-(12m+7)^2=2m
(41m+33)^2-(40m+32)^2-(9m+8)^2=2m+1
のようにたくさん見つかりますが、上に書いた式は最も簡単な
(5m+17)^2-(4m+12)^2-(3m+12)^2=2m+1
(5m+17)^2-(4m+15)^2-(3m+8)^2=2m
の二つをnの偶奇どちらでも成り立つように
(5m+17)^2-(4m+27/2+(3/2)(-1)^n)-(3m+10-2(-1)^n)=n
のようにまとめ、mを[n/2]に、(-1)^nを4[n/2]-2n+1に置き換えて
整理したものなので、値は5：4：3に近くなります。
(13m+17)^2-(12m+15)^2-(5m+8)^2=2m
(13m+19)^2-(12m+18)^2-(5m+6)^2=2m+1
の二つをまとめて
(13m+18-(-1)^n)^2-(12m+33/2-(3/2)(-1)^n)^2-(5m+7+(-1)^n)^2=n
として整理した場合は
(9[n/2]+17+2n)^2-(6[n/2]+15+3n)^2-(9[n/2]+8-2n)^2=n
という式になり、これにn=20240320を代入すると
131562097^2-121441935^2-50600808^2=20240320
となって13：12：5に近くなります。

らすかるさん、素晴しい解説を有難うございます。

(1)
1+t+t^2=(t^3-1)/(t-1)でt=[3]√2とおくと
1+[3]√2+[3]√4=1/([3]√2-1)
また
1-t+t^2=(t^3+1)/(t+1)でt=[3]√2とおくと
1-[3]√2+[3]√4=3/([3]√2+1)
よって
{1-[3]√2+[3]√4}^3={3/([3]√2+1)}^3=27/(2+3[3]√4+3[3]√2+1)
=9/(1+[3]√2+[3]√4)=9([3]√2-1)
なので
[3]√(1/9)-[3]√(2/9)+[3]√(4/9)=[3]√([3]√2-1)

(2)
a=[3]√2, b=[3]√5とおくと
[3]√2+[3]√20-[3]√25=a+a^2b-b^2
(a+a^2b-b^2)^2
=a^2+a^4b^2+b^4+2a^3b-2ab^2-2a^2b^3
=a^2+2ab^2+5b+4b-2ab^2-10a^2
=9b-9a^2
=9([3]√5-[3]√4)
なので
([3]√2+[3]√20-[3]√25)/3=√([3]√5-[3]√4)

( A*x^2 + B*x*y + C*y^2 )^3 の A, B, C を適当に決めたものを用意します。
例として、( x^2 - x*y + y^2 )^3 でやります。

まず、展開します。
x^6 - 3*x^5*y + 6*x^4*y^2 - 7*x^3*y^3 + 6*x^2*y^4 - 3*x*y^5 + y^6

指数を 3 で割ったあまりが等しいものをまとめます。
( x^6 - 7*x^3*y^3 + y^6 ) + x^2*y*( - 3*x^3 + 6*y^3 ) + x*y^2*( 6*x^3 - 3*y^3 )

どこかの ( ) 内が 0 になるように x^3 と y^3 の値を決め、全ての ( ) 内に代入します。
例として、x^2*y*( - 3*x^3 + 6*y^3 ) が 0 になるように、x^3 = 2, y^3 = 1 とします。
- 9 + 9*x*y^2

これで、
( x^2 - x*y + y^2 )^3 = - 9 + 9*x*y^2
ができましたので、
x^2 - x*y + y^2 = ( - 9 + 9*x*y^2 )^(1/3)
が得られました。

残った x, y にも三乗根の形で代入し、両辺 9^(1/3) で割れば、
[3]√([3]√2 - 1) = [3]√(1/9) - [3]√(2/9) + [3]√(4/9)
が得られます。


似たような方法で同様の式がいくらでも作れますね。

DD++さんのアドバイスにより
(x^2-2*x*y+y^2)^3の展開式から
[3]√(25/9) - [3]√(80/9) + [3]√(4/9) = [3]√(7*[3]√(20) - 19)　の等式が発生

gp > sqrtn(25/9,3)-sqrtn(80/9,3)+sqrtn(4/9,3)
%45 = 0.097375599902564072029769441954982002773
gp > sqrtn(7*sqrtn(20,3)-19,3)
%47 = 0.097375599902564072029769441954982004339

------------------------------------------------
(x^2-3*x*y+y^2)^3の展開式から
- [3]√(100) + [3]√(810) - [3]√(9) = [3]√(1241 - 273*[3]√(90)) の等式が発生

gp > -sqrtn(100,3)+sqrtn(810,3)-sqrtn(9,3)
%52 = 2.6000248611968935936928541072898271257
gp > sqrtn(1241-273*sqrtn(90,3),3)
%53 = 2.6000248611968935936928541072898271256

-----------------------------------------------
(x^2-4*x*y+y^2)^3の展開式から
- [3]√(289/9) + 4*[3]√(68/9) - [3]√(16/9) = [3]√(631 - 91*[3]√(272)) の等式が発生

gp > -sqrtn(289/9,3)+4*sqrtn(68/9,3)-sqrtn(16/9,3)
%56 = 3.4591342953019819946599609819643520211
gp > sqrtn(631-91*sqrtn(272,3),3)
%55 = 3.4591342953019819946599609819643520211

天才になれたような感覚になりました。

√(n+3√n) - √(n-√n)→2

(n!)^(1/n) - (n-1)!^(1/(n-1))→1/e

などが起こりそうですが

ちょっと話題がずれますが
∞ - ∞
のテーマとして、朝永振一郎先生ほかがノーベル賞をもらった「くりこみ理論」というのを思い出しました。

御参考: http://catbirdtt.web.fc2.com/kurikomirironntohananika.html

Dengan kesaktian Indukmuさんが紹介されたリンクを読んでみて、そこに出てきた137という素数に
魅せられた人物にファインマンとパウリを思い出します。
時にパウリは若くして(58歳)膵臓癌で亡くなったというが、その時に入院していた部屋の番号が正に
興味を抱き続けていた数値にピタリ一致した137号室であったことに、自分の運命を察知したという
逸話が伝えられているという。
数学者もそうですが、物理学者もほんとに些細なことに細心の注意を払い背後に潜む関係性や法則を
ものの見事に掴む力が半端ないですね。
ボーと生きてんじゃねーよとチコちゃんに叱られそうです。

(Σ１/k)^2－Σ１/ｌｍ（ｌとｍは異なる）＝Σ１/n^2
これを、無限に計算すると、どうでしょうか？

√（n^2+2n）ー　n 　→　１

「０以外の４つの数が異なるときは、必ず１０を創ることが可能」

演算を四則演算に限って括弧の使用をゆるし、4つの数は一桁の数で、互いに相異なる、との意味ですね。

おめでとうございます。
今、頭にあるのは、
２と５を作ること。
A＋B＝１０となること
当たり前の、結果だけです。
二つ、三つ同じときのパターンんで定式化できるものを考え中です。

たとえばこういうことでしょうか？

◆を乗除算、□を加減算とし、
(a◆(b□(c÷d)))
のパターンで【のみ】メイクテンが可能なのは
以下の４通りです。

1158 (8÷(1-(1÷5)))=10
1199 (9×(1+(1÷9)))=10
1337 (3×(1+(7÷3)))=10
3478 (8×(3-(7÷4)))=10

> Dengan kesaktian Indukmuさん
1555 (5×(1＋(5÷5)))=10
1566 (5×(1＋(6÷6)))=10
1599 (5×(1＋(9÷9)))=10
2289 (2×(9－(8÷2)))=10
2477 (2×(4＋(7÷7)))=(7×(2－(4÷7)))=10
2666 (2×(6－(6÷6)))=10
3577 (5×(3－(7÷7)))=10
3588 (5×(3－(8÷8)))=10
もあるのでは？
# 「c÷dが整数になるものを除く」ということでしょうか。

らすかるさん。

(a◆(b□(c÷d)))
のパターンで【のみ】

のつもりでした。

1555 では、
(1+5÷5)*5
もありますので、【のみ】には該当しませんでした。

そういう考え方ならば、
1199は(1+1÷9)×9=10
1337は(1+7÷3)×3=10
3478は(3-7÷4)×8=10
とも書けますので、該当するのは1158だけですね。
# ◆に乗算を使うものと□に加算を使うものはすべて除外されますので、
# 条件を満たすのは(a÷(b－(c÷d)))というパターンのみになりますね。

らすかるさん。

参りました。(⁠ノ⁠^⁠_⁠^⁠)⁠ノ


#新年早々に思い込み発動でした。お恥ずかしいことです。

別件ですが、
９，９，９，９に対して、
（９×９＋９）÷９＝(９＋９×９)÷９＝１０
和と積は、交換可能であるので、１通りと数えると、
他に、１通りの数、２通り、３通り、…、□
を求む。

> 和と積は、交換可能であるので、１通りと数えると、
例えば
5÷(9÷(9+9))＝10
と
5÷9×(9+9)＝10
は１通りと数えないのでしょうか。
どこまでを１通りと考えるかがあまり簡単ではない気がします。

定義は、難しいですね。
４－２と4÷２は、記号が、異なるので別だというのは、
どうでしょうか？　
()の個数とか。
２を×か、１/２で÷かですよね。微妙

5555
5+5+5-5=10
(5+5)÷５×５＝１０
５÷５×５＋５＝１０
５×５÷５＋５＝１０
とりあえず、４通り以上？

5＋5＋5－5=10
5＋5－5＋5=10
5－5＋5＋5=10
5＋5－(5－5)=10
5－(5－5)＋5=10
5－(5－5－5)=10
5－(5－(5＋5))=10
5＋5×5÷5=10
5×5÷5＋5=10
5＋5÷5×5=10
5÷5×5＋5=10
5÷5×(5＋5)=10
5×(5＋5)÷5=10
5÷(5÷5)＋5=10
5＋5÷(5÷5)=10
5÷(5÷(5＋5))=10
(5＋5)×5÷5=10
(5＋5)÷5×5=10
(5＋5)÷(5÷5)=10
これだけある中でどれとどれを同一視するか、ということになりますね。

二通候補
２２２２
２×２×２＋２＝１０
（2＋２）×２＋２＝１０

55xy の形の4ケタの整数は、
１つの例外を除いて、１０を創ることができそうです。

5548と5584の二つ？

脱線ですが
5548 で 30 を作るの、ちょっとだけ面白いです。

1, 3, 7, 9, 11, 13, 17, 19, 21, 23, 27 (%)
で全部ですかね。

水の量を w (g) 、食塩の量を s (g) 、食塩水濃度を x% (0<x<28.20) とすると、
s/(w+s) = x/100
つまり
w = (100-x)s/x
となります。

w≦50 であれば w と s をどちらも 2 倍にした解が存在します。
そして、100-x と x が互いに素でない場合、右辺が整数になる最小の s をとれば、w≦49 の解が存在します。
よってこの場合は唯一解になりません。
したがって、100-x と x が互いに素、つまり x と 100 が互いに素な場合のみ考えれば十分です。

この場合、s は x の倍数です。
そして、s=x の解は必ず存在するので、条件を満たすには s=2x の解が存在しないことが必要十分条件になります。
すなわち 100-x>50 である必要がありますが、そもそも食塩水濃度は 0<x<28.20 しか存在し得ないので、意味のない心配でした。
よって、x は 100 と互いに素な 28.20 未満の整数が答えということで、答えは冒頭の 10 個になります。

（27%食塩水は室温じゃ存在しませんが、熱水を使った食塩水もまあ食塩水には変わりないので濃度上限を 28.20% とすることで解答に含めました）

食塩水濃度を x% (0<x<28.20) とすると
の理由がどうしてつくのかが、私は理解できないでいます。
この部分の説明をお願いします。

水１００ｇに溶ける食塩の量は、０度では３５．６ｇ（２６．３％）、２０度では３５．８ｇ（２６．４％）、
４０度では３６．３ｇ（２６．６％）、・・・、１００度では３９．３ｇ（２８．２％）であることが知られています。
従って、食塩水の濃度は、２８．２％が限界となります。食塩水の中に食塩の沈殿物があってもかまわないという観点
では、もちろんこの限りではありませんが、食塩水の問題で沈殿物を想定することは今まで経験がありません。飽和水
溶液という観点で、算数の問題は作成されていると思います。

飽和食塩水という観念が全く抜け落ちてしまっていた。
食塩水の問題を作るとき、うっかり30%の食塩水がとかの表現をしたら失笑ものになりますね。
くわばら、くわばら

管理人さんの追加の解答って、筋は通ってるんでしょうか？
片方は 9 分で片方は 10 分だと、バスの進んだ距離が変わってくるんですが……。

バスが１０分で到達した距離を速さを増した自転車が９分で到達したと考えたのですが．．．。
速度は、相対速度　バスの速度＋自転車の速度　で計算しています。

1日考えてやっと理解しました。

バス（と自転車）が１０分で到達した距離（の合計）を（バスと）速さを増した自転車が９分で到達した（ので、それぞれの相対速度を表すことで方程式を立てた）

で理解あってますか？

合っていると思います。それにしても、「バスに２０分ごとに追い越されました」という条件を使わずに解けてしまうのは何なのでしょうね？
バスの速さを分速ｕ(ｍ)、自転車の速さをｖ(ｍ)とし、ｕ、ｖ を別個に求めるには、「バスに２０分ごとに追い越されました」の条件が必要ですが、
バスの間隔 Ｌ(ｍ)を求めるだけだったら、相対速度 ｕ＋ｖ が分かれば十分で、このことは、もしかしたら灘中学の出題者の方も気がつかなかった
のかもしれないですね！

各組から 1 枚ずつ取り出して全ての数字を揃えたあと、
さらに各組残りの 3 枚から 1 枚ずつ取り出して再び全ての数字を揃え、
さらにさらに各組残りの 2 枚から 1 枚ずつ取り出して三度全ての数字を揃え、
最後に残った 1 枚ずつがまた全ての数字の組になる……

……までできそうな気がします。
ただ、証明は難しそうですね。

よく似た？問題です。

トランプ 52 枚を十分にシャッフルした後に
テーブル上に 4 行 13 列に並べて初期配置とします。

同じ数のカードは 1 対 1 で互いに位置を交換できます。こうした交換は好きなだけ行えます。

ゴールは、全ての列にスペードハートダイヤクローバーを揃えることです。

任意の初期配置について、必ずゴールすることができるのでしょうか。
もし不可能であればその組合わせの実例をあげてください。

※同じ数のカードとは、たとえば、jack どうしも含みます。

※私はこの問題についてまだよく理解していません。必ずゴールできる気がいたしますが証明といいますか、適切なアルゴリズムが不明です。

通常のトランプでDD++さんが言われる現象が起こせるものか直接わかるはずが
無かったので規模を縮小し
{1,2,3,4}の数字が各3枚ずつある計12枚のカードを
3枚ずつで4組を構成して、異なる組合わせが具体的に
どの様になるのかを調べてみました。
私のプログラムの仕方なので凄く時間がかかってしまい、
12時間ほどの時間を要して次の93通りを作れました。
全部チェック出来たわけではありませんが、ランダムに
10通りほどの別れ方で1～4の数字を3回取り出せるか
実験したら全て可能となりました。

従って1～13の数字が各4個ずつある52枚での通常のトランプで
各組を4枚ずつの13組を作ったとしても、
各組から一枚ずつ取り出すと1～13のセットを抜き出すことが
4回起こせることは十分確からしく起こせると思われました。
ただすべての組合わせが並べられるかと言えば、私のプログラム力
ではどうにもなりません。(全部で何通りか計算で求められるものなのでしょうか？)
また　
論理的に証明と言われても手も足も出ません。

1;[[1, 1, 1], [2, 2, 2], [3, 3, 3], [4, 4, 4]]
2;[[1, 1, 1], [2, 2, 2], [3, 3, 4], [3, 4, 4]]
3;[[1, 1, 1], [2, 2, 3], [2, 3, 3], [4, 4, 4]]
4;[[1, 1, 1], [2, 2, 3], [2, 3, 4], [3, 4, 4]]
5;[[1, 1, 1], [2, 2, 3], [2, 4, 4], [3, 3, 4]]
6;[[1, 1, 1], [2, 2, 4], [2, 3, 3], [3, 4, 4]]
7;[[1, 1, 1], [2, 2, 4], [2, 3, 4], [3, 3, 4]]
8;[[1, 1, 1], [2, 2, 4], [2, 4, 4], [3, 3, 3]]
9;[[1, 1, 1], [2, 3, 3], [2, 3, 4], [2, 4, 4]]
10;[[1, 1, 1], [2, 3, 4], [2, 3, 4], [2, 3, 4]]
11;[[1, 1, 2], [1, 2, 2], [3, 3, 3], [4, 4, 4]]
12;[[1, 1, 2], [1, 2, 2], [3, 3, 4], [3, 4, 4]]
13;[[1, 1, 2], [1, 2, 3], [2, 3, 3], [4, 4, 4]]
14;[[1, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 4]]
15;[[1, 1, 2], [1, 2, 3], [2, 4, 4], [3, 3, 4]]
16;[[1, 1, 2], [1, 2, 4], [2, 3, 3], [3, 4, 4]]
17;[[1, 1, 2], [1, 2, 4], [2, 3, 4], [3, 3, 4]]
18;[[1, 1, 2], [1, 2, 4], [2, 4, 4], [3, 3, 3]]
19;[[1, 1, 2], [1, 3, 3], [2, 2, 3], [4, 4, 4]]
20;[[1, 1, 2], [1, 3, 3], [2, 2, 4], [3, 4, 4]]
21;[[1, 1, 2], [1, 3, 3], [2, 3, 4], [2, 4, 4]]
22;[[1, 1, 2], [1, 3, 4], [2, 2, 3], [3, 4, 4]]
23;[[1, 1, 2], [1, 3, 4], [2, 2, 4], [3, 3, 4]]
24;[[1, 1, 2], [1, 3, 4], [2, 3, 3], [2, 4, 4]]
25;[[1, 1, 2], [1, 3, 4], [2, 3, 4], [2, 3, 4]]
26;[[1, 1, 2], [1, 4, 4], [2, 2, 3], [3, 3, 4]]
27;[[1, 1, 2], [1, 4, 4], [2, 2, 4], [3, 3, 3]]
28;[[1, 1, 2], [1, 4, 4], [2, 3, 3], [2, 3, 4]]
29;[[1, 1, 3], [1, 2, 2], [2, 3, 3], [4, 4, 4]]
30;[[1, 1, 3], [1, 2, 2], [2, 3, 4], [3, 4, 4]]
31;[[1, 1, 3], [1, 2, 2], [2, 4, 4], [3, 3, 4]]
32;[[1, 1, 3], [1, 2, 3], [2, 2, 3], [4, 4, 4]]
33;[[1, 1, 3], [1, 2, 3], [2, 2, 4], [3, 4, 4]]
34;[[1, 1, 3], [1, 2, 3], [2, 3, 4], [2, 4, 4]]
35;[[1, 1, 3], [1, 2, 4], [2, 2, 3], [3, 4, 4]]
36;[[1, 1, 3], [1, 2, 4], [2, 2, 4], [3, 3, 4]]
37;[[1, 1, 3], [1, 2, 4], [2, 3, 3], [2, 4, 4]]
38;[[1, 1, 3], [1, 2, 4], [2, 3, 4], [2, 3, 4]]
39;[[1, 1, 3], [1, 3, 3], [2, 2, 2], [4, 4, 4]]
40;[[1, 1, 3], [1, 3, 3], [2, 2, 4], [2, 4, 4]]
41;[[1, 1, 3], [1, 3, 4], [2, 2, 2], [3, 4, 4]]
42;[[1, 1, 3], [1, 3, 4], [2, 2, 3], [2, 4, 4]]
43;[[1, 1, 3], [1, 3, 4], [2, 2, 4], [2, 3, 4]]
44;[[1, 1, 3], [1, 4, 4], [2, 2, 2], [3, 3, 4]]
45;[[1, 1, 3], [1, 4, 4], [2, 2, 3], [2, 3, 4]]
46;[[1, 1, 3], [1, 4, 4], [2, 2, 4], [2, 3, 3]]
47;[[1, 1, 4], [1, 2, 2], [2, 3, 3], [3, 4, 4]]
48;[[1, 1, 4], [1, 2, 2], [2, 3, 4], [3, 3, 4]]
49;[[1, 1, 4], [1, 2, 2], [2, 4, 4], [3, 3, 3]]
50;[[1, 1, 4], [1, 2, 3], [2, 2, 3], [3, 4, 4]]
51;[[1, 1, 4], [1, 2, 3], [2, 2, 4], [3, 3, 4]]
52;[[1, 1, 4], [1, 2, 3], [2, 3, 3], [2, 4, 4]]
53;[[1, 1, 4], [1, 2, 3], [2, 3, 4], [2, 3, 4]]
54;[[1, 1, 4], [1, 2, 4], [2, 2, 3], [3, 3, 4]]
55;[[1, 1, 4], [1, 2, 4], [2, 2, 4], [3, 3, 3]]
56;[[1, 1, 4], [1, 2, 4], [2, 3, 3], [2, 3, 4]]
57;[[1, 1, 4], [1, 3, 3], [2, 2, 2], [3, 4, 4]]
58;[[1, 1, 4], [1, 3, 3], [2, 2, 3], [2, 4, 4]]
59;[[1, 1, 4], [1, 3, 3], [2, 2, 4], [2, 3, 4]]
60;[[1, 1, 4], [1, 3, 4], [2, 2, 2], [3, 3, 4]]
61;[[1, 1, 4], [1, 3, 4], [2, 2, 3], [2, 3, 4]]
62;[[1, 1, 4], [1, 3, 4], [2, 2, 4], [2, 3, 3]]
63;[[1, 1, 4], [1, 4, 4], [2, 2, 2], [3, 3, 3]]
64;[[1, 1, 4], [1, 4, 4], [2, 2, 3], [2, 3, 3]]
65;[[1, 2, 2], [1, 2, 3], [1, 3, 3], [4, 4, 4]]
66;[[1, 2, 2], [1, 2, 3], [1, 3, 4], [3, 4, 4]]
67;[[1, 2, 2], [1, 2, 3], [1, 4, 4], [3, 3, 4]]
68;[[1, 2, 2], [1, 2, 4], [1, 3, 3], [3, 4, 4]]
69;[[1, 2, 2], [1, 2, 4], [1, 3, 4], [3, 3, 4]]
70;[[1, 2, 2], [1, 2, 4], [1, 4, 4], [3, 3, 3]]
71;[[1, 2, 2], [1, 3, 3], [1, 3, 4], [2, 4, 4]]
72;[[1, 2, 2], [1, 3, 3], [1, 4, 4], [2, 3, 4]]
73;[[1, 2, 2], [1, 3, 4], [1, 3, 4], [2, 3, 4]]
74;[[1, 2, 2], [1, 3, 4], [1, 4, 4], [2, 3, 3]]
75;[[1, 2, 3], [1, 2, 3], [1, 2, 3], [4, 4, 4]]
76;[[1, 2, 3], [1, 2, 3], [1, 2, 4], [3, 4, 4]]
77;[[1, 2, 3], [1, 2, 3], [1, 3, 4], [2, 4, 4]]
78;[[1, 2, 3], [1, 2, 3], [1, 4, 4], [2, 3, 4]]
79;[[1, 2, 3], [1, 2, 4], [1, 2, 4], [3, 3, 4]]
80;[[1, 2, 3], [1, 2, 4], [1, 3, 3], [2, 4, 4]]
81;[[1, 2, 3], [1, 2, 4], [1, 3, 4], [2, 3, 4]]
82;[[1, 2, 3], [1, 2, 4], [1, 4, 4], [2, 3, 3]]
83;[[1, 2, 3], [1, 3, 3], [1, 4, 4], [2, 2, 4]]
84;[[1, 2, 3], [1, 3, 4], [1, 3, 4], [2, 2, 4]]
85;[[1, 2, 3], [1, 3, 4], [1, 4, 4], [2, 2, 3]]
86;[[1, 2, 4], [1, 2, 4], [1, 2, 4], [3, 3, 3]]
87;[[1, 2, 4], [1, 2, 4], [1, 3, 3], [2, 3, 4]]
88;[[1, 2, 4], [1, 2, 4], [1, 3, 4], [2, 3, 3]]
89;[[1, 2, 4], [1, 3, 3], [1, 3, 4], [2, 2, 4]]
90;[[1, 2, 4], [1, 3, 3], [1, 4, 4], [2, 2, 3]]
91;[[1, 2, 4], [1, 3, 4], [1, 3, 4], [2, 2, 3]]
92;[[1, 3, 3], [1, 3, 4], [1, 4, 4], [2, 2, 2]]
93;[[1, 3, 4], [1, 3, 4], [1, 3, 4], [2, 2, 2]]

私が述べた内容が正しいことの証明方針が、手元では立ちました。
ただ、これを言葉で伝わるように記述するのが非常に難しい……。

> GAIさん
3枚ずつの場合は数字の種類の数1,2,3,…に対して
1, 2, 10, 93, 1417, 32152, 1016489, 42737945, 2307295021,…通り
となり、この数列は https://oeis.org/A254243 にあります。
（4番目の93がGAIさんが算出された値です。）
4枚ずつの場合は数字の種類の数1,2,3,…に対して
1, 3, 23, 465, 19834, 1532489, 193746632,…通り
となり、この数列は https://oeis.org/A268668 にあります。
（いずれも数列サイトでは「0種類」からです。）
よってA268668により、元の問題の場合では
1276433147589499725385063通り
であることがわかります。このサイトに数式が書かれていませんので、
簡単な計算で算出する方法は見つかっていないものと思いますが、
50種類の数がとんでもない大きさであることから、プログラムでうまく
算出する方法があるのでしょうね。

私の考えを記述すると何をどう書いても非常に長い文になってしまい、文字を導入した一般的な証明ではおそらく非常にイメージしにくいであろうものになってしまいます。
そのため、例示により考え方だけを書くにとどめます。
ここにいるみなさんなら、ご自身で一般的なものに書き直すのも容易だと思いますので。

GAI さんの一覧から適当に
43;[[1, 1, 3], [1, 3, 4], [2, 2, 4], [2, 3, 4]]
をお借りして、実際にやってみます。
これを、「各組の中で順番を並び替えて、任意の i に対し各組の i 番目が全て異なる数であるようにする」の手順を以下に記述します。
この「　」の操作を、以後整列と表現することにします。

まず、2 ヶ所穴あきになっている状態の解法を記載します。

———————— ここから ————————

【問題】(step 1)
[[1, 1, 3], [1, 3, 4], [2, 2, 4], [2, 3, 4]] を整列せよ。

まず、 最大数である 4 が入っている組を 1 つ選びます。
今回は、2 番目の組を選択し、その組に含まれる 4 には目印に # を付けておきます。

[[1, 1, 3], [1, 3, 4#], [2, 2, 4], [2, 3, 4]]

選択した組以外の 4 と選択した組の 4 以外の数字を 1 対 1 で任意に入れ替えて別の問題を作ります。
入れ替えが起きたものは目印に ? を付けておきます。
（どれとどれを入れ替えたかわかるように、? の個数で区別します）

[[1, 1, 3], [4?, 4??, 4#], [2, 2, 1?], [2, 3, 3??]]

ここから、# 付きの数を含む組を削除し、? の目印を消したものを、問題名に X を付加した新しい問題として定義します。
以下、一旦新しい問題を解く過程に入ります。


【問題X】
[[1, 1, 3], [2, 2, 1], [2, 3, 3]] を整列せよ。

（ここの解法は穴あき。今回は偶然見つけた解を用いて続きを記述します）

[[1, 1, 3], [2, 2, 1], [3, 3, 2]] と整列できました。
解の一例が得られたので、問題名の末尾の X を取り除いた問題の step 2 に進みます。



【問題】(step 2)
[[1, 1, 3], [1, 3, 4], [2, 2, 4], [2, 3, 4]] を整列せよ。

step 1 で、
[[1, 1, 3], [4?, 4??, 4#], [2, 2, 1?], [2, 3, 3??]]
という別の問題を作った状態になっていました。
これに対し、条件付き整列を実行します。
すなわち、「ある i について、i 番目には ? 付きの数が存在しない」が成立しているような整列を行います。

まず、# 付きの数を含む組以外を普通に整列します。
これは、問題名に X を付加した新しい問題の解を丸ごと再現することで可能です。

[[1, 1, 3], [4?, 4??, 4#], [2, 2, 1?], [3, 3??, 2]]

このとき、# 付きの数を含む組さえ見なければ、「ある i について、i 番目には ? つきの数が存在しない」が必ず成立しています。
なぜなら、入れ替えを行なったペアの数は、各組の数字の個数よりも必ず小さいからです。
今回は i = 1 がそれに該当しています。

その後、# 付きの数を含む組を、i = 1 番目に # 付きの数が来るように順番を入れ替えます。

[[1, 1, 3], [4#, 4?, 4??], [2, 2, 1?], [3, 3??, 2]]

これで、i = 1 番目に ? つきの数がない整列ができました。
この状態で入れ替えを戻すと、元の問題の「とりあえず i = 1 番目には全て異なる数がある」状態になりました。

[[1, 1, 3], [4#, 1, 3], [2, 2, 4], [3, 4, 2]]

ここから、全ての組の i = 1 番目の数を削除したものを、問題名に Y を付加した新しい問題と定義します。
以下、一旦新しい問題を解く過程に入ります。


【問題Y】
[[1, 3], [1, 3], [2, 4], [4, 2]] を整列せよ。

（ここの解法は穴あき。今回は偶然見つけた解を用いて続きを記述します）

[[1, 3], [3, 1], [2, 4], [4, 2]] と整列できました。
解の一例が得られたので、問題名の末尾の Y を取り除いた問題の step 3 に進みます。


【問題】(step 3)
[[1, 1, 3], [1, 3, 4], [2, 2, 4], [2, 3, 4]] を整列せよ。

step 2 で、
[[1, 1, 3], [4#, 1, 3], [2, 2, 4], [3, 4, 2]]
と「とりあえず i = 1 番目には全て異なる数がある」状態になっていました。
そして、i = 1 番目以外の部分は、問題名に Y を付加した新しい問題の解を利用して整列できます。

[[1, 1, 3], [4#, 3, 1], [2, 2, 4], [3, 4, 2]]

最後に # の目印を消せば、解の一例が得られます。

[[1, 1, 3], [4, 3, 1], [2, 2, 4], [3, 4, 2]]

———————— ここまで ————————


さて、もちろんこれでは解全体は完成していません。
途中の【問題X】と【問題Y】の具体的な解き方が空白のままですからね。

しかし、【問題X】は実は最大の数がもとより 1 小さくなった整列問題なので、【問題XX】と【問題XY】部分が穴あきの同様の解法を用いることができます。
【問題Y】も同じ数の個数がもとより 1 小さくなった整列問題なので、【問題YX】と【問題YY】部分が穴あきの同様の解法を用いることができます。

さらに【問題XX】は【問題XXX】と【問題XXY】部分が穴あきの同様の解法を用いることができて……
と、この解法は再帰的に用いることが可能です。

これをどんどん繰り返していくと、そのうち穴あき部分が自明に解ける問題に行き当たります。
すなわち、
・問題名に X が 3 個含まれる問題は「1 だけでできた 1 組からなる問題」なので、自明に整列できている
・問題名に Y が 2 個含まれる問題は「各数字 1 枚ずつを各組 1 枚ずつにわけている問題」なので、自明に整列できている
の 2 種は、穴あき部分は自明に埋まります。

よって、最初の【問題】は

【問題】step 1
　【問題X】step 1
　　【問題XX】step 1
　　　【問題XXX】（自明）
　　【問題XX】step 2
　　　【問題XXY】step 1
　　　　【問題XXYX】（自明）
　　　【問題XXY】step 2
　　　　【問題XXYY】（自明）
　　　【問題XXY】step 3
　　【問題XX】step 3
　【問題X】step 2
　　【問題XY】step 1
　　　【問題XYX】step 1
　　　　【問題XYXX】（自明）
　　　【問題XYX】step 2
　　　　【問題XYXY】（自明）
　　　【問題XYX】step 3
　　【問題XY】step 2
　　　【問題XYY】（自明）
　　【問題XY】step 3
　【問題X】step 3
【問題】step 2
　【問題Y】step 1
　　【問題YX】step 1
　　　【問題YXX】step 1
　　　　【問題YXXX】（自明）
　　　【問題YXX】step 2
　　　　【問題YXXY】（自明）
　　　【問題YXX】step 3
　　【問題YX】step 2
　　　【問題YXY】（自明）
　　【問題YX】step 3
　【問題Y】step 2
　　【問題YY】（自明）
　【問題Y】step 3
【問題】step 3

という自明な問題 10 個と非自明な問題 9 個からなる 37 step を踏むことで穴あきのない完全な解答になります。


13 までの数を 4 個ずつの場合は、自明な問題 455 個と非自明な問題 454 個の 1817 step 必要になるようです。
トランプ実物を 15 組くらい用意して手作業でやる場合、X が 12 個並ぶまで待たなくても 10 個くらい並んでる問題は気合いでどうにかして短縮できそうです。
それでも数百 step は必要になるでしょうから根気がとんでもなく必要になるでしょうが。

[1774] で私が提出した問題についてです。以外では便宜のためこの問題を《デンガン》と呼称します。

デンガンにおいて初期配置が与えられカードについての所与の交換ルールに従い交換を繰り返しゴール配置に辿り着けたものとします。

ゴール配置においては13ある各列には必ずスペードが１枚づつあります。このスペードのカードたちは当然ながら１から10,J,Q,Kまでを１枚づつ含みます。
このスペードのカードの配置位置にマークをつけておいて、52枚のカードの配置を再び初期配置に戻します。
さきほどマークをつけておいた13枚分のカードの配置位置(すなわちゴールにおいてはスペードカードのみが置かれた位置)について考えますと、初期配置ではスーツがユニークにはなっておらずバラバラではあります。しかしながらその13枚分のカードの位置にあるカードたちは１から10,J,Q,Kまでを１枚づつ含みます。所与のカードの交換ルールを鑑みればこれは当然のことです。これら13枚を《ストレート》と呼ぶこととします。
以上はスペードのみについて考えましたがゴール配置におけるハート、ダイヤ、クローバーの3つのスーツについても同時に同様なことが言えます。すなわち、スペードの他にハート、ダイヤ、クローバーのストレートも得られたわけです。

さて、うえで判明した4つあるストレートは、
GAIさんの問題の解になっていることになります。すなわち、各列から同じストレートのメンバーのカードを拾い上げていけばよいのです。

初期配置によらずにデンガンの問題に常に解が存在すれば、GAIさんの問題にも常に解が存在することとなります。

一日考えましたが、デンガンの問題については列ごとにグリーディーに4スーツをそろえていくことを行いこれを繰り返せばたいがいはうまくいきそう、という感想が得られるのみでした。証明にはいたりません。

＞トランプ52枚を十分にシャッフルした後4枚ずつ13組に分ける。
＞各組から1枚だけあるトランプを抜き出して13枚のトランプで
＞1から13までの数字(マークは無視)を揃えられるのか？

必ず1から13までの数字を揃えることが可能です。
これはグラフ理論の「ホールの定理」からわかります。

4枚ずつ13組に分けたものを、
S_1, S_2, S_3, ... , S_13
としたとき，任意の A (A⊂{1,2, ... ,13}) に対して，常に，
|∪[j∈A] S_j| ≧ |A|
が成り立っています。
よって、{1,2, ... ,13} から {S_1,S_2,S_3, ... ,S_13} への
完全マッチングが存在します。

https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86

私が当初{1,1,1,2,2,2,3,3,3,4,4,4}
の12枚のカードをシャッフルし3枚ずつの4組に配布するとき
その異なる配布の組合せが93パターンになることを見つける
のに約12時間もかけていたことが、次のような考察で同じ結果が
ほんの数秒で求まることができました。

異なる4個の素数(2,3,5,7)を全て掛けた値の3乗の値
(2*3*5*7)^3=9261000
でのすべての約数の中で、3個の素数で構成されている約数(bigomega(約数)==3のタイプ)
だけを集め(全部で20個ある。)、この集合で重複を許し4個を取り出した時(全部で20H3=22C3=1540通り)
の中からその取り出す4個の積がピタリ9261000と一致できるものが何個あるのか調査する。
このチェックに合格できる数が求める値と一致できるという。


gp > S=select(x->bigomega(x)==3,divisors((2*3*5*7)^3));･････①
gp > S
%21 = [8, 12, 18, 20, 27, 28, 30, 42, 45, 50, 63, 70,
　　　75, 98, 105, 125, 147, 175, 245, 343]
gp > #S
%22 = 20
gp > {M=[];}forvec(X=[[1,#S],[1,#S],[1,#S],[1,#S]],\
M=concat(M,[vecextract(S,X)]),1);･････････････････････②
gp > #select(i->vecprod(i)==(2*3*5*7)^3,M)･･････････････････③
%24 = 93

上の実質①,②,③を組合わせれば済む。

＞私が当初{1,1,1,2,2,2,3,3,3,4,4,4}
＞の12枚のカードをシャッフルし3枚ずつの4組に配布するとき
＞その異なる配布の組合せが93パターンになることを見つける
＞のに．．．

20個の x の単項式
x^111,x^1011,x^1101,x^1110,
x^21,x^12,x^201,x^102,x^210,x^120,x^2001,x^1002,
x^2010,x^1020,x^2100,x^1200,
x^3,x^30,x^300,x^3000
の中から、重複を許して4個を、それらの積が x^3333
となるように選び出すような場合の数を数え上げても
よいですね。
この計算を Risa/Asir で実行した結果が以下です。

[0] F=(1+x^10111+x^20222+x^30333)*(1+x^11011+x^22022+x^33033)*(1+x^11101+x^22202+x^33303)*(1+x^11110+x^22220+x^33330)*(1+x^10021)*(1+x^10012)*(1+x^10201)*(1+x^10102)*(1+x^10210)*(1+x^10120)*(1+x^12001)*(1+x^11002)*(1+x^12010)*(1+x^11020)*(1+x^12100)*(1+x^11200)*(1+x^10003)*(1+x^10030)*(1+x^10300)*(1+x^13000)$coef(F,43333,x);
[1] 93

かなり強引な多項式の展開ですが、一瞬で結果を表示してくれました。

例のやり方で通常のトランプの数字だけに着目した
{1,1,1,1,2,2,2,2,･･･････,13,13,13,13}
の集合で4枚ずつ13組に分配した時の異なる数字の組の個数を求めることに
応用しようと試みていたんですが
原理的には13個の異なる素数の積(2*3*5*11*13*17*19*23*29*31*37*41)^4
が持つbigomega==4のすべての約数を取り出し、その集合での重複を許して
13個取り出すものの積が上記の素数の積を満たす場合の総数を調べればいいことになる。
但しすべての約数を並べようとすると大変なので,逆にbigomega==4になるものを作ることを
すれば
gp > P=primes(13);
%136 = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41]
gp > M1=apply(i->i^4,P)
gp > #M1=13 (pi^4型)
gp > M2={M2=[];}for(i=1,13,for(j=1,13,if(i!=j,M2=concat(M2,[P[i]^3*P[j]]))));M2
gp > #M2
%86 = 156(pi^3*pj型);13*12=156)
gp > M3={M3=[];}for(i=1,13,for(j=1,13,if(i!=j,M3=concat(M3,[P[i]^2*P[j]^2]))));M3=Set(M3)
gp > #M3
%91 = 78 (pi^2*pj^2型;binomial(13,2)=78)
gp > M4={M4=[];}forsubset([13,4],i,M4=concat(M4,[vecprod(vecextract(P,i))]));M4
gp > #M4
%139 = 715 (pi*pj*pk*pl型;binomial(13,4)=715)
gp > M5={M5=[];}for(i=1,13,for(j=1,13,for(k=1,13,if(i!=j && j>k && k!=i,\
M5=concat(M5,[P[i]^2*P[j]*P[k]]))))) ;M5=Set(M5)
gp > #M5
%141 = 858 (pi^2*pj*pk型;13*binomial(12,2)=13*66=858)

の5タイプに分かれ、これを合体して
M＝M1∪M2∪M3∪M4∪M5
#M=1820
従ってこの1820個もある集合から重複を許して13個取り出すわけですから
1820H13=1832C13=4,0291,9125,1047,1060,9784,1375,0687,2800
4澗291溝9125穰1047じょ1060垓9784京1375億687万2千8百
という物凄い場合があり、この中で条件を満たせるものがA268668では
1,2764,3314,7589,4997,2538,5063
というわけですから、約2憶5千万の調査で1個見つかるかどうかぐらいにしかヒットしない。
これではいくら時間をかけても総数を掴むことは不可能に思えた。

探す位置を絞ってやっと次の3つは発見できました。
1;[16, 81, 625, 2401, 14641, 28561, 83521, 130321, 279841, 707281, 923521, 1874161, 2825761]
2;[16, 81, 625, 2401, 14641, 28561, 83521, 130321, 279841, 707281, 923521, 2076773, 2550077]
3;[16, 81, 625, 2401, 14641, 28561, 83521, 130321, 279841, 707281, 923521, 2301289, 2301289]

atさんの方法はまだ理解していませんが、もしこれに挑戦したらどうなるんのでしょうか？

Hallの定理には解の存在定理のような印象を受けました。このままですと数え上げは難しいような？

(1)8300(分)
________(20人)________
|<--------------------->|
A--(50人)--B--(30人)--C--(50人)--D
^^^^^^^^^ |_______(20人)________|


(2)10150(分)
_______(35人)________
|<------------------->|
A--(35人)--B--(0人)--C--(35人)--D
^^^^^^^^^ |_______(35人)________|

スペースキーが無視されるので、上記のような表現になっています。

総計じゃなくて、各個人の所要時間でお願いします。

(2) は 10150/70 = 145 分で正解です。

(1) は……これどういう計算になったんでしょうか？

あ、わかりました、合計っていうのが誤解を招いたんですね。

例えば (2) の場合、
Y1→X3 のルートを通った人は、Y1 で 110+5 分、X3 で 30 分、合計 145 分
X1→Y2 のルートを通った人は、X1 で 30 分、Y2 で 110+5 分、合計 145 分
いずれの場合も所要時間の合計は 145 分。

と、合計というのはこういう意味のつもりでした。

はい。
合計って何をもっての合計だろうとずっと思っていたんですが、
各々自分の所要時間の表現があったので、全員の所要時間の合計で比較してしまいました。
後はプログラムで70人の分岐の仕方を分類し
(1)では全部で2556通りに分類でき、かかる全員のタイムの合計での集計での最小値探しを
(2)では上記のB-C間の通行が0人のパターン(全部で71通り)を集め、この中での最小値を探しました。
所要時間は何人が同じルートを選択しているかによって異なってくるので、一個人だけで最短時間のコースは
選べないからどうしても統計的処理になってしまいました。
(1)は(50+30+50)(人)*30(分)+(20+20)(人)*110(分)=8300(分)です。
また第2位は
A-B:50|B-C:31|C-D:51|A-C:20|B-D:19(人)
で(50+31)*30+51*31+(20+19)*110=8301(分)
または
A-B:51|B-C:31|C-D:50|A-C:19|B-D:20(人)
で51*31+(31+50)*30+(19+20)*110=8301(分)
の移動で起こる。
ちなみに(1)の正解は何ですか？
140(分)ということなんでしょうか？

(1) はその人数にはなりませんね。
というのは、Y1→X3 の経路を通ろうとする人は 110+30 = 140 分かかることになりますが、
X1→X2→X3 に変更すれば (30+1)+30+30 = 91 分で済み、こちらに使用経路を変更するはずだからです。


プログラムで考えるなら、こう考えてみてください。

手順 1：70 人それぞれに番号をつけ、ランダムな経路を選択する
手順 2：1 番の人から順に、「もし自分が他の経路に変更したら自分の所要時間が短くなる場合、そっちに変更する」を 70 番の人まで実行
手順 3：手順 2 で誰か 1 人でも変更があった場合、誰も変更しなくなるまでさらに手順 2 を繰り返す
手順 4 ：各々の移動時間が何分になったかを出力

もし可能であれば、X2 が完全に運休するのではなく、
・遅延で +5 分かかる場合
・遅延で +10 分かかる場合
・遅延で +15 分かかる場合
……
・遅延で + 70 分かかる場合
も出してみてください。
面白いことになります。

DD++さんの説明を十分理解していないかも知れませんが誘導に従って考えてみると
1人目は当然各駅を通るコースで
30+30+30=90分で行く。
2人目も
30+30+30=90
以下
50人目も90
51人目は条件より
31+31+31=93
52人目は
32+32+32=96
･･･････
66人目は
46+46+46=138
ここで
67人目はこのコースだと
47+47+47=141
だが
A-Cコース＋C-Dコースを選択すれば
110+30=140
なので、こちらが短時間となりコースを変更して進むことになる。
この変更を行ってもそれ以前の人はなんらコースを変更する必要は感じない。
以下68,69,70人目も当然このコースでいくことを選択する。(各自の所要時間は同じく140分)

だから70人が移動するのに140分が最小時間と考えてしまうのですが、どこの何がおかしいのでしょう？
なお70人の所要時間は皆同じでなくてもバラバラでも構わないのでしょうか？

GAI さんが誤解されているポイントは 2 つです。

1 つめ、
> 51人目は条件より
> 31+31+31=93
ですが、渋滞による遅延は自分が何人目かではなく一気に何人通ろうとしているかで決まります。
（通る人数を「70 人」ではなく「毎分 70 人」としているのはこのため）
つまり、51 人が X1-X2-X3 を選択するのは、51 人目が 93 分かかるのではなく、51 人全員が 93 分かかることを意味します。

2 つめ、
> 67人目はこのコースだと
> 47+47+47=141
> だが
> A-Cコース＋C-Dコースを選択> すれば
> 110+30=140
ですが、X3 は渋滞が発生しているので 後者は 110+47 = 157 分になりますね。
（これも、移動が「毎分 70 人」であることに注意してください）

> なお70人の所要時間は皆同じでなくてもバラバラでも構わないのでしょうか
構いませんが、しかしその場合は遅いルートから早いルートに変更したがる人がどこかにいると思います。
だから、毎分人数が非整数でもよいとすれば、結果的には全員同じ所要時間に収束するはずです。
整数人数限定で考える場合は、1 分の差は残るかもしれませんね。

考えれば考えるだけ混乱してくるんですが
66人の集団で各市を巡れば(Xの手段のみ)かかる時間は各自共通で46*3=138分ですよね。
もしYの移動手段を使えばAからD市に一人でも最低110+30=140分の時間での非効率の行き方なので
70人が一斉に移動する手段はYの手段を取り入れないのがよく、単純にXだけの移動手段で
70人が共通に50*3=150分を使えば、これが最短の所要時間になるんではないのかな？

そうです。(1) は 150 分で正解です。
全員が X を利用した場合でも 50 分なので、どんな場合でも Y を 1 回利用するより X を 2 回する方が短く済みます。
よって全員が X のみを利用することになり、所要時間は 50*3 = 150 分です。

一方で、改めて (2) の場合、145 分が正解です。
X2 が運休しているので経路が完全に分離した 2 つしかなく、渋滞がなければどちらの経路同じ時間です。
ということは全員渋滞の影響が少ない方へ行こうとするので、各経路を 35 人ずつが利用して、所要時間は 115+30 = 145 分です。

ということで。
A-D 間の交通のみを考えるなら、X2 は存在する方が交通の便が悪くなる奇妙な経路なのでした。
これがゲーム世界の話で本当に A-D 間の移動しか行われないなら、X2 は即刻撤廃すべきということになります。
現実では B 市や C 市の住人もいるでしょうから X2 撤廃とは行かないでしょうけど。

参考として。
X2 に渋滞とは別原因で遅延が発生し、所要時間が 30 分からふえた場合を 5 分刻みで計算したものがこちらです。
（毎分の人数なので、経路利用者数は非整数もアリとしています）

BC 間　　合計時間（毎分の X1-X2-X3 経路利用者数）
30 分 …… 150 分（50 人）
35 分 …… 155 分（50 人）
40 分 …… 160 分（50 人）
45 分 …… 158 分 20 秒（145/3 人）
50 分 …… 156 分 40 秒（140/3 人）
55 分 …… 155 分（45 人）
60 分 …… 153 分 20 秒（130/3 人）
65 分 …… 151 分 40 秒（125/3 人）
70 分 …… 150 分（40 人）
75 分 …… 145 分（35 人）
80 分 …… 140 分（0 〜 30 人）
85 分 …… 145 分（0 人）
90 分 …… 145 分（0 人）
95 分 …… 145 分（0 人）
以下ずっと145分（0 人）

あまりに直感的でない結果なんですが、なんでこんな現象が起こるんでしょうね？