見積もりと実際の手数

---

ぺんすけ法により、HTRからLSまでに必要なR2/L2やF2/B2の回数が分かる。 また、FRの状態から必要なU2/D2の回数も分かる。 これらの合計は、HTRからLSまでに少なくとも必要な手数となる。 この合計と実際の最短手数との間にどのくらいの差があるのか気になって調べた。

スクリプト: subset_to_optimal.js

ぺんすけ法とFRによる見積もりと、実際の最短手数。

FB+RL+FR＼optimal	0	1	2	3	4	5	6	7	8	9	10	11	12	total
0	1	0	0	0	0	0	0	0	0	0	0	0	0	1
1	0	6	0	0	0	0	0	0	0	2	0	0	0	8
2	0	0	27	0	2	0	2	0	16	0	2	0	0	49
3	0	0	0	108	0	32	0	88	0	16	0	0	0	244
4	0	0	0	0	385	0	364	0	126	0	8	0	0	883
5	0	0	0	0	0	1,168	0	1,376	0	216	0	72	0	2,832
6	0	0	0	0	0	0	2,852	0	3,599	0	752	0	0	7,203
7	0	0	0	0	0	0	0	5,556	0	6,096	0	896	0	12,548
8	0	0	0	0	0	0	0	0	8,160	0	6,200	0	160	14,520
9	0	0	0	0	0	0	0	0	0	8,008	0	2,984	0	10,992
10	0	0	0	0	0	0	0	0	0	0	4,480	0	512	4,992
11	0	0	0	0	0	0	0	0	0	0	0	1,024	0	1,024
12	0	0	0	0	0	0	0	0	0	0	0	0	0	0
total	1	6	27	108	387	1,200	3,218	7,020	11,901	14,338	11,442	4,976	672	55,296

実際の最短手数ではなく、見積もりから何手増えるかを横軸に取った表。

FB+RL+FR＼diff	+0	+2	+4	+6	+8	total
0	1	0	0	0	0	1
1	6	0	0	0	2	8
2	27	2	2	16	2	49
3	108	32	88	16	0	244
4	385	364	126	8	0	883
5	1,168	1,376	216	72	0	2,832
6	2,852	3,599	752	0	0	7,203
7	5,556	6,096	896	0	0	12,548
8	8,160	6,200	160	0	0	14,520
9	8,008	2,984	0	0	0	10,992
10	4,480	512	0	0	0	4,992
11	1,024	0	0	0	0	1,024
12	0	0	0	0	0	0
total	31,775	21,165	2,240	112	4	55,296

割合。

FB+RL+FR＼diff	+0	+2	+4	+6	+8	total
0	100.0%	0.0%	0.0%	0.0%	0.0%	100.0%
1	75.0%	0.0%	0.0%	0.0%	25.0%	100.0%
2	55.1%	4.1%	4.1%	32.7%	4.1%	100.0%
3	44.3%	13.1%	36.1%	6.6%	0.0%	100.0%
4	43.6%	41.2%	14.3%	0.9%	0.0%	100.0%
5	41.2%	48.6%	7.6%	2.5%	0.0%	100.0%
6	39.6%	50.0%	10.4%	0.0%	0.0%	100.0%
7	44.3%	48.6%	7.1%	0.0%	0.0%	100.0%
8	56.2%	42.7%	1.1%	0.0%	0.0%	100.0%
9	72.9%	27.1%	0.0%	0.0%	0.0%	100.0%
10	89.7%	10.3%	0.0%	0.0%	0.0%	100.0%
11	100.0%	0.0%	0.0%	0.0%	0.0%	100.0%
12	0.0%	0.0%	0.0%	0.0%	0.0%	0.0%
total	57.5%	38.3%	4.1%	0.2%	0.0%	100.0%

見積もりが3手以内で、見積もりよりも実際の最短数が多い状態の一覧。

全てのHTR: subset_to_optimal.tsv

生成手順	BR (F/B)	BR (R/L)	FR	見積もり	最短手数	展開図
F2 B2 R2 F2 B2 L2 U2 F2 B2	0	0	1	1	9
F2 B2 R2 F2 B2 L2 D2 F2 B2	0	0	1	1	9
F2 B2 R2 F2 B2 L2 U2 F2 B2 U2	0	0	2	2	10
F2 B2 R2 F2 B2 L2 U2 F2 B2 D2	0	0	2	2	10
F2 B2 R2 F2 B2 L2 U2 F2	0	1	1	2	8
F2 B2 R2 F2 B2 L2 U2 B2	0	1	1	2	8
F2 B2 R2 F2 B2 L2 D2 F2	0	1	1	2	8
F2 B2 R2 F2 B2 L2 D2 B2	0	1	1	2	8
F2 B2 R2 F2 B2 U2 F2 B2	1	0	1	2	8
F2 B2 R2 F2 B2 D2 F2 B2	1	0	1	2	8
F2 B2 L2 F2 B2 U2 F2 B2	1	0	1	2	8
F2 B2 L2 F2 B2 D2 F2 B2	1	0	1	2	8
F2 B2 U2 F2 B2 R2 F2 B2	1	0	1	2	8
F2 B2 U2 F2 B2 L2 F2 B2	1	0	1	2	8
F2 B2 D2 F2 B2 R2 F2 B2	1	0	1	2	8
F2 B2 D2 F2 B2 L2 F2 B2	1	0	1	2	8
F2 R2 F2 B2 L2 U2 F2 B2	0	1	1	2	8
F2 R2 F2 B2 L2 D2 F2 B2	0	1	1	2	8
B2 R2 F2 B2 L2 U2 F2 B2	0	1	1	2	8
B2 R2 F2 B2 L2 D2 F2 B2	0	1	1	2	8
F2 B2 R2 F2 B2 L2	0	2	0	2	6
F2 R2 L2 B2 R2 L2	2	0	0	2	6
F2 R2 L2 B2	2	0	0	2	4
R2 F2 B2 L2	0	2	0	2	4
F2 B2 R2 F2 B2 L2 U2 F2 U2	0	1	2	3	9
F2 B2 R2 F2 B2 L2 U2 F2 D2	0	1	2	3	9
F2 B2 R2 F2 B2 L2 U2 B2 U2	0	1	2	3	9
F2 B2 R2 F2 B2 L2 U2 B2 D2	0	1	2	3	9
F2 B2 R2 F2 B2 U2 F2 B2 U2	1	0	2	3	9
F2 B2 R2 F2 B2 U2 F2 B2 D2	1	0	2	3	9
F2 B2 L2 F2 B2 U2 F2 B2 U2	1	0	2	3	9
F2 B2 L2 F2 B2 U2 F2 B2 D2	1	0	2	3	9
F2 B2 U2 F2 B2 R2 F2 B2 U2	1	0	2	3	9
F2 B2 U2 F2 B2 R2 F2 B2 D2	1	0	2	3	9
F2 B2 U2 F2 B2 L2 F2 B2 U2	1	0	2	3	9
F2 B2 U2 F2 B2 L2 F2 B2 D2	1	0	2	3	9
F2 R2 F2 B2 L2 U2 F2 B2 U2	0	1	2	3	9
F2 R2 F2 B2 L2 U2 F2 B2 D2	0	1	2	3	9
B2 R2 F2 B2 L2 U2 F2 B2 U2	0	1	2	3	9
B2 R2 F2 B2 L2 U2 F2 B2 D2	0	1	2	3	9
F2 B2 R2 F2 B2 L2 U2	0	2	1	3	7
F2 B2 R2 F2 B2 L2 D2	0	2	1	3	7
F2 B2 R2 F2 B2 U2 F2	1	1	1	3	7
F2 B2 R2 F2 B2 U2 B2	1	1	1	3	7
F2 B2 R2 F2 B2 D2 F2	1	1	1	3	7
F2 B2 R2 F2 B2 D2 B2	1	1	1	3	7
F2 B2 R2 F2 U2 F2 B2	1	1	1	3	7
F2 B2 R2 F2 U2 F2 R2	0	2	1	3	7
F2 B2 R2 F2 U2 B2 L2	0	2	1	3	7
F2 B2 R2 F2 D2 F2 B2	1	1	1	3	7
F2 B2 R2 F2 D2 F2 R2	0	2	1	3	7
F2 B2 R2 F2 D2 B2 L2	0	2	1	3	7
F2 B2 R2 B2 U2 F2 B2	1	1	1	3	7
F2 B2 R2 B2 U2 F2 L2	0	2	1	3	7
F2 B2 R2 B2 U2 B2 R2	0	2	1	3	7
F2 B2 R2 B2 D2 F2 B2	1	1	1	3	7
F2 B2 R2 B2 D2 F2 L2	0	2	1	3	7
F2 B2 R2 B2 D2 B2 R2	0	2	1	3	7
F2 B2 L2 F2 B2 U2 F2	1	1	1	3	7
F2 B2 L2 F2 B2 U2 B2	1	1	1	3	7
F2 B2 L2 F2 B2 D2 F2	1	1	1	3	7
F2 B2 L2 F2 B2 D2 B2	1	1	1	3	7
F2 B2 L2 F2 U2 F2 B2	1	1	1	3	7
F2 B2 L2 F2 D2 F2 B2	1	1	1	3	7
F2 B2 L2 B2 U2 F2 B2	1	1	1	3	7
F2 B2 L2 B2 D2 F2 B2	1	1	1	3	7
F2 B2 U2 F2 B2 R2 F2	1	1	1	3	7
F2 B2 U2 F2 B2 R2 B2	1	1	1	3	7
F2 B2 U2 F2 B2 L2 F2	1	1	1	3	7
F2 B2 U2 F2 B2 L2 B2	1	1	1	3	7
F2 B2 U2 F2 R2 F2 B2	1	1	1	3	7
F2 B2 U2 F2 L2 F2 B2	1	1	1	3	7
F2 B2 U2 B2 R2 F2 B2	1	1	1	3	7
F2 B2 U2 B2 L2 F2 B2	1	1	1	3	7
F2 B2 D2 F2 B2 R2 F2	1	1	1	3	7
F2 B2 D2 F2 B2 R2 B2	1	1	1	3	7
F2 B2 D2 F2 B2 L2 F2	1	1	1	3	7
F2 B2 D2 F2 B2 L2 B2	1	1	1	3	7
F2 B2 D2 F2 R2 F2 B2	1	1	1	3	7
F2 B2 D2 F2 L2 F2 B2	1	1	1	3	7
F2 B2 D2 B2 R2 F2 B2	1	1	1	3	7
F2 B2 D2 B2 L2 F2 B2	1	1	1	3	7
F2 R2 F2 B2 L2 U2 F2	0	2	1	3	7
F2 R2 F2 B2 L2 U2 B2	0	2	1	3	7
F2 R2 F2 B2 L2 D2 F2	0	2	1	3	7
F2 R2 F2 B2 L2 D2 B2	0	2	1	3	7
F2 R2 F2 B2 U2 F2 B2	1	1	1	3	7
F2 R2 F2 B2 D2 F2 B2	1	1	1	3	7
F2 R2 L2 B2 R2 L2 U2	2	0	1	3	7
F2 R2 L2 B2 R2 L2 D2	2	0	1	3	7
F2 R2 L2 B2 R2 U2 R2	2	0	1	3	7
F2 R2 L2 B2 R2 U2 L2	2	0	1	3	7
F2 R2 L2 B2 R2 D2 R2	2	0	1	3	7
F2 R2 L2 B2 R2 D2 L2	2	0	1	3	7
F2 R2 L2 B2 L2 U2 R2	2	0	1	3	7
F2 R2 L2 B2 L2 U2 L2	2	0	1	3	7
F2 R2 L2 B2 L2 D2 R2	2	0	1	3	7
F2 R2 L2 B2 L2 D2 L2	2	0	1	3	7
F2 R2 L2 B2 U2 R2 L2	2	0	1	3	7
F2 R2 L2 B2 D2 R2 L2	2	0	1	3	7
F2 R2 U2 R2 F2 R2 L2	2	0	1	3	7
F2 R2 U2 L2 B2 R2 L2	2	0	1	3	7
F2 R2 D2 R2 F2 R2 L2	2	0	1	3	7
F2 R2 D2 L2 B2 R2 L2	2	0	1	3	7
F2 L2 F2 B2 U2 F2 B2	1	1	1	3	7
F2 L2 F2 B2 D2 F2 B2	1	1	1	3	7
F2 L2 U2 R2 B2 R2 L2	2	0	1	3	7
F2 L2 U2 L2 F2 R2 L2	2	0	1	3	7
F2 L2 D2 R2 B2 R2 L2	2	0	1	3	7
F2 L2 D2 L2 F2 R2 L2	2	0	1	3	7
F2 U2 F2 B2 R2 F2 B2	1	1	1	3	7
F2 U2 F2 B2 L2 F2 B2	1	1	1	3	7
F2 D2 F2 B2 R2 F2 B2	1	1	1	3	7
F2 D2 F2 B2 L2 F2 B2	1	1	1	3	7
B2 R2 F2 B2 L2 U2 F2	0	2	1	3	7
B2 R2 F2 B2 L2 U2 B2	0	2	1	3	7
B2 R2 F2 B2 L2 D2 F2	0	2	1	3	7
B2 R2 F2 B2 L2 D2 B2	0	2	1	3	7
B2 R2 F2 B2 U2 F2 B2	1	1	1	3	7
B2 R2 F2 B2 D2 F2 B2	1	1	1	3	7
B2 L2 F2 B2 U2 F2 B2	1	1	1	3	7
B2 L2 F2 B2 D2 F2 B2	1	1	1	3	7
B2 U2 F2 B2 R2 F2 B2	1	1	1	3	7
B2 U2 F2 B2 L2 F2 B2	1	1	1	3	7
B2 D2 F2 B2 R2 F2 B2	1	1	1	3	7
B2 D2 F2 B2 L2 F2 B2	1	1	1	3	7
R2 F2 B2 L2 U2 F2 B2	0	2	1	3	7
R2 F2 B2 L2 D2 F2 B2	0	2	1	3	7
F2 B2 R2 F2 B2	1	2	0	3	5
F2 B2 L2 F2 B2	1	2	0	3	5
F2 B2 U2 F2 B2	0	2	1	3	5
F2 B2 D2 F2 B2	0	2	1	3	5
F2 R2 F2 B2 L2	0	3	0	3	5
F2 R2 L2 B2 R2	3	0	0	3	5
F2 R2 L2 B2 L2	3	0	0	3	5
F2 R2 L2 B2 U2	2	0	1	3	5
F2 R2 L2 B2 D2	2	0	1	3	5
F2 R2 U2 R2 F2	2	0	1	3	5
F2 R2 U2 L2 B2	2	0	1	3	5
F2 R2 D2 R2 F2	2	0	1	3	5
F2 R2 D2 L2 B2	2	0	1	3	5
F2 L2 U2 R2 B2	2	0	1	3	5
F2 L2 U2 L2 F2	2	0	1	3	5
F2 L2 D2 R2 B2	2	0	1	3	5
F2 L2 D2 L2 F2	2	0	1	3	5
B2 R2 F2 B2 L2	0	3	0	3	5
R2 F2 B2 L2 U2	0	2	1	3	5
R2 F2 B2 L2 D2	0	2	1	3	5
R2 F2 U2 F2 R2	0	2	1	3	5
R2 F2 U2 B2 L2	0	2	1	3	5
R2 F2 D2 F2 R2	0	2	1	3	5
R2 F2 D2 B2 L2	0	2	1	3	5
R2 B2 U2 F2 L2	0	2	1	3	5
R2 B2 U2 B2 R2	0	2	1	3	5
R2 B2 D2 F2 L2	0	2	1	3	5
R2 B2 D2 B2 R2	0	2	1	3	5
R2 L2 F2 R2 L2	2	1	0	3	5
R2 L2 B2 R2 L2	2	1	0	3	5
R2 L2 U2 R2 L2	2	0	1	3	5
R2 L2 D2 R2 L2	2	0	1	3	5

---

@kusano_k