税込100円のコーヒーがあります。3個買いました。合計は税込でいくらでしょう？→答え 合計301円

1 ：１３２人目の素数さん：2019/09/19(木) 09:06:50.67 ID:gqoijsFd.net

セブン‐イレブン 計算方法変更で税込み300円が301円に
2019年9月18日 0時12分
消費税率の引き上げを前にセブン‐イレブンは16日に、レジでの支払金額の計算方法を変更しました。その結果、税込みの支払額がこれまでよりも突然、増えてしまう事態が起き、会社では「利用客への周知が足りなかった」として店頭で説明しています。

セブン‐イレブンは、来月１日の消費税率の引き上げを前に、支払金額の計算方法を変更しました。

これまでは購入した商品ごとの税込み価格を足し上げて合計金額を出していましたが、購入した商品の税抜き価格を足し上げて、最後に８％の税率をかける方法に変えました。

例えば、税抜き価格が93円、税込み価格が100円のコーヒー３つを同時に買った場合、これまでは、合計の税込み価格は300円でした。

ところが16日からはコーヒー３つの税抜き価格を合計した279円に８％の消費税率をかけると301円になり、支払額が１円増えることになってしまいました。

ネット上などでは、突然、支払額が増えたことに驚きや不満の声があがっています。

これについてセブン‐イレブンの本部は「利用客への周知が足りていなかった」と話し、店頭に計算方法を変更したことを記した文書などを張り出して、説明を続けています。

2019年9月18日 0時12分
https://www3.nhk.or.jp/news/html/20190918/k10012086721000.html
https://www3.nhk.or.jp/news/html/20190918/K10012086721_1909180006_1909180012_01_02.jpg

2 ：１３２人目の素数さん：2019/09/19(木) 21:32:11.90 ID:sC33aYLd.net

３回に分けて買う貧乏人

3 ：イナ ：2019/09/19(木) 22:50:09.19 ID:C/n4SGtn.net

セブンにパシリで先輩二人と自分の100円コーヒー買いにきたパシリが悲しいかな一円負担てこと？

4 ：１３２人目の素数さん：2019/09/19(木) 22:54:06.92 ID:mlS86TUu.net

何が貧しいってその発想こそ貧困そのもの

5 ：１３２人目の素数さん：2019/09/20(金) 10:38:07.66 ID:nJXrThlS.net

うちの近所のパン屋なんてもっとひどいよ
税抜合計×1.08にして
さらにその税込合計の小数点まで切り上げだもん
信じられないせこさｗ
もうパンおいしくてもかわんし
人をバカにしすぎ

6 ：イナ ：2019/09/20(金) 12:18:33.30 ID:WUyp0FDI.net

前>>3
>>4国が発想したことやもんでね。

7 ：１３２人目の素数さん：2019/09/20(金) 13:19:25.50 ID:KyAOfC1j.net

1930
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
https://twitter.com/dy_dt_dt_dx
(deleted an unsolicited ad)

8 ：１３２人目の素数さん：2019/09/22(日) 10:59:24.82 ID:CNDNfKCA.net

給料2％あげてくれよ

9 ：イナ ：2019/09/22(日) 13:01:58.12 ID:24Yz/DuI.net

前>>6
消費税導入するか否か議論したときに導入するってなったんだから仕方ないね。

富める者からも貧しき者からも累進課税にするよりはほとんど同額を徴収することができるってことだ。

贅沢品のほうが額に差があるけど、生活必需品にはそんなに差がないから。

10 ：１３２人目の素数さん：2019/10/02(水) 04:05:18.93 ID:fijXzmoK.net

ゆるさねえぞ

11 ：１３２人目の素数さん：2019/10/14(月) 18:41:27.81 ID:f0juS2QN.net

>>5
それはセコいんじゃなくて当たり前
銭の通貨は存在しないからな

12 ：１３２人目の素数さん：2019/11/06(水) 05:56:58.52 ID:Hdr4pd4y.net

100円の商品に「20円引きシール」が貼ってあり
レジに行くと108円20円=88円。
つまり税金を引いたことになるよね。
（１００�２０）×1.08=86.4円切り上げて87円。

。。。セコくない？

13 ：１３２人目の素数さん：2019/11/07(木) 20:05:44 ID:eZP5BZQK.net

>>12
セコクない
単なる計算規則の制約によるものに過ぎない

14 ：１３２人目の素数さん：2019/11/09(土) 13:13:44.99 ID:LkQoj5ib.net

いや、脱税というか税金は常に8%で値引きできないから。
どうしても88円にしたいなら19円か18円引きにするしかない。

15 ：１３２人目の素数さん：2019/11/29(金) 08:13:56.58 ID:YXl4x2oh.net

うまい棒が10円から10.8円に値上げか
お子さんには地味に痛いな

16 ：１３２人目の素数さん：2019/11/29(金) 15:54:08.57 ID:S9AOqp2A.net

・1円分、多目入れればよい。そもそも
・一杯150mlだから、1.5mlで税込1円
　液体への消費税課税は不可思議
　液体は連続体で自然数でないから。

17 ：１３２人目の素数さん：2019/11/29(金) 19:58:18.92 ID:S9AOqp2A.net

その計算も、数学的にアリエナイ

(100-x)*1.08=87の厳密解はx=19.444…
値引額は、セコいが微小に大袈裟
この大袈裟表示は、合法的商法

この手法の流行可能性は、無限大
コンビニおにぎりは、美味い
消費税率は、250‰upでもキニシナイ

18 ：１３２人目の素数さん：2019/11/30(土) 18:14:02.61 ID:9FoZS0vL.net

地球人は、数学能力がダメ
数学能力は、マイナス無限大だから。

宇宙知的生命体のポクなら、

・1杯の税引前価格をxとおき
・3杯の税引後価格をyとおく

題意より　99 < 1.08x < 101
題意より　y-1 < 3x・1.08 < y+1
この2元連立式を解くと、次の通り

297 < x < 303
ちょっとマテよ、ここは、霊感で
297 ≦ x ≦ 303　だ。

おバカな地球人に、数学教えてアゲル
「3杯なら1円誤差は、3倍になる。」

でも、統計学的には
3杯なら概ね誤差が√3倍になる。

19 ：>>18：2019/11/30(土) 19:55:27 ID:9FoZS0vL.net

訂正
✕ 297 < x < 303　○ 297 < y < 303
✕ 297 ≦x≦ 303 ○ 297 ≦y≦ 303

20 ：１３２人目の素数さん：2019/12/03(火) 13:58:05 ID:iJxcKrki.net

??○

21 ：１３２人目の素数さん：2019/12/03(火) 13:58:24 ID:iJxcKrki.net

??

22 ：１３２人目の素数さん：2019/12/03(火) 13:59:52 ID:iJxcKrki.net

?

23 ：１３２人目の素数さん：2019/12/03(火) 14:04:19 ID:iJxcKrki.net

?〇×

24 ：１３２人目の素数さん：2019/12/03(火) 14:06:03 ID:iJxcKrki.net

x?y

25 ：１３２人目の素数さん：2019/12/03(火) 14:10:24 ID:iJxcKrki.net

〇?・＿〇?・＿〇?・＿
?・＿〇?・＿〇?・＿
・＿〇?・＿〇?・＿
＿〇?・＿〇?・＿

26 ：１３２人目の素数さん：2019/12/03(火) 14:10:57 ID:iJxcKrki.net

○×

27 ：１３２人目の素数さん：2019/12/03(火) 14:12:17 ID:iJxcKrki.net

○×?中＿

28 ：１３２人目の素数さん：2019/12/03(火) 14:14:24 ID:iJxcKrki.net

○?

29 ：１３２人目の素数さん：2019/12/03(火) 14:18:49.96 ID:iJxcKrki.net

;//／／&＆１９３１1931サンプルデータ
CPOP 范暁萱（メイビス・ファン）&#20320;的甜蜜 ?的甜蜜
Mavis Fan - 你的甜蜜 (官方版MV)
https://www.youtube.com/watch?v=zGgwjBtwS4U&index=1&list=RDzGgwjBtwS4U

『国民老婆林小梦』。「林小梦(林小夢 Lin xi?o meng リン・シャオモン)はみんなのお母さん」と1931ファンは言った。
小梦は韓国の男性アイドルグループBTS（????? 防?少年?）が大好きで、微博には今でもBTSの話題が溢れてる。
この方が微博で紹介してた中国のバンドの曲の中に、方糖泡泡(ファンタンパオパオ FangTangPaoPao) の曲があった。
https://www.youtube.com/watch?v=8ZkZI6i9VQk&index=25&list=PLB6dkQQ3FmkSBVsXvfBn3x0xumfjX1cSL

あおい輝彦、1976年11月、角川映画『犬神家の一族』に佐清(スケキヨ)として出演した初代ジャニーズのメンバー。
この方が映画公開の前に出したシングル『あなただけを』が大ヒット。中国語でカバーされた曲が『流水年?』。
https://www.youtube.com/watch?v=cDssAZkEA0I&start_radio=1&list=RDcDssAZkEA0I&t=18&t=24

ジャン・ジンジン（姜京京 Ji?ng J?ngj?ng）。中国に存在していたアイドルグループ 1931女子偶像?合のメンバー。
モンゴルから歩いて広州にやってきたこの方。長身で少年的な魅力を漂わせる女性は、無事1931のオーディションに合格。
https://www.youtube.com/watch?v=v176-JNHt0g&list=PLfSW_xd_24Aj3x-U17D03BwG9OgtaRGiB&index=13

30 ：１３２人目の素数さん：2019/12/03(火) 14:19:36.10 ID:iJxcKrki.net

◎

31 ：１３２人目の素数さん：2019/12/03(火) 14:20:06.33 ID:iJxcKrki.net

��

32 ：１３２人目の素数さん：2019/12/03(火) 14:20:53.97 ID:iJxcKrki.net

○��上＿○��上＿○��上＿○��上＿
��上＿○��上＿○��上＿○��上＿
上＿○��上＿○��上＿○��上＿
＿○��上＿○��上＿○��上＿
○��上＿○��上＿○��上＿○��上＿

33 ：１３２人目の素数さん：2019/12/03(火) 14:27:08.02 ID:iJxcKrki.net

｜　○　｜　｜上○　｜　　｜　○　｜
｜��　○｜＝｜　上○｜+1∧｜��上○｜+1
｜　��○｜　｜　��○｜　　｜　　��｜

34 ：１３２人目の素数さん：2019/12/03(火) 14:28:10.87 ID:iJxcKrki.net

｜、○、｜　｜上○、｜　　｜、○、｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　｜、��○｜　　｜、、��｜

35 ：１３２人目の素数さん：2019/12/03(火) 14:29:09.99 ID:iJxcKrki.net

｜、○ 、｜　｜上○、｜　　｜、○、｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　｜、��○｜　　｜、、��｜

36 ：１３２人目の素数さん：2019/12/03(火) 14:29:51.07 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　｜、○、｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　 ｜、��○｜　　｜、、��｜

37 ：１３２人目の素数さん：2019/12/03(火) 14:30:27.37 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、○、｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　 ｜、��○｜　　　｜、、��｜

38 ：１３２人目の素数さん：2019/12/03(火) 14:31:14 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜?、○｜＝｜、上○｜+1∧｜?上○｜+1
｜、?○｜　 ｜、?○｜　　　｜、 、 ?｜

39 ：１３２人目の素数さん：2019/12/03(火) 14:40:50 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜?、○｜＝｜、上○｜+1∧｜?上○｜+1
｜、?○｜　 ｜、?○｜　　　｜、 、 ?｜

｜○○　｜　 ｜??　｜
｜?上○｜＝｜　上?｜+2

｜、 ○、｜　｜○○　｜
｜?上○｜=｜、?○｜+1
｜、 　?｜　｜、 、 ?｜

40 ：１３２人目の素数さん：2019/12/03(火) 14:42:02 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜?、○｜＝｜、上○｜+1∧｜?上○｜+1
｜、?○｜　 ｜、?○｜　　　｜、 、 ?｜

｜○○　｜　 ｜??　｜
｜?上○｜＝｜　上?｜+2

｜、 ○、｜ 　｜○○　｜
｜?上○｜=｜、?○｜+1
｜、 　?｜　 ｜、 、 ?｜

41 ：１３２人目の素数さん：2019/12/03(火) 14:45:30.52 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　 ｜、��○｜　　　｜、 、 ��｜

｜○○　 ｜　 ｜����　｜
｜��上○｜＝｜　上��｜+2

｜、 ○、 ｜　｜○○　｜
｜��上○｜=｜、��○｜+1
｜、 　�� ｜　｜、 、 ��｜

42 ：１３２人目の素数さん：2019/12/03(火) 14:46:59.10 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　 ｜、��○｜　　　｜、 、 ��｜

｜○○　 ｜　 ｜����　｜
｜��上○｜＝｜　上��｜+2

｜、 ○、 ｜　｜○○　｜
｜��上○｜＝｜、��○｜+1
｜、 　�� ｜　｜、 、 ��｜

43 ：１３２人目の素数さん：2019/12/03(火) 14:47:31.85 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　 ｜、��○｜　　　｜、 、 ��｜

｜○○　 ｜　 ｜����　｜
｜��上○｜＝｜　上��｜+2

｜、 ○、 ｜　 ｜○○　｜
｜��上○｜＝｜、��○｜+1
｜、 　�� ｜　 ｜、 、 ��｜

44 ：１３２人目の素数さん：2019/12/03(火) 14:48:15.14 ID:iJxcKrki.net

｜、○ 、｜ 　｜上○、｜　　　｜、 ○、 ｜
｜��、○｜＝｜、上○｜+1∧｜��上○｜+1
｜、��○｜　 ｜、��○｜　　　｜、 、 ��｜

｜○○　 ｜　 ｜����　｜
｜��上○｜＝｜　上��｜+2

｜、 ○、 ｜　 ｜○○　 ｜
｜��上○｜＝｜、�� ○｜+1
｜、 　�� ｜　 ｜、 、 ��｜

45 ：１３２人目の素数さん：2019/12/03(火) 15:40:42.15 ID:6hyFvzbp.net

㊀◯ー、㊀◯ー、㊀◯ー、㊀◯ー、
◯ー、㊀◯ー、㊀◯ー、㊀◯ー、
ー、㊀◯ー、㊀◯ー、㊀◯ー、
、㊀◯ー、㊀◯ー、㊀◯ー、

46 ：１３２人目の素数さん：2019/12/03(火) 15:42:45.67 ID:m0EYufqJ.net

>>45

㊀◯ー　㊀◯ー　㊀◯ー　㊀◯ー　
◯ー　㊀◯ー　㊀◯ー　㊀◯ー
ー　㊀◯ー　㊀◯ー　㊀◯ー　
　㊀◯ー　㊀◯ー　㊀◯ー

47 ：１３２人目の素数さん：2019/12/03(火) 16:59:10.98 ID:pEXwJ7WH.net

A|B
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

B|C,D
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

C|E
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

E|B
　◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

D|F,G
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

F|B
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

G|H
　　　　｜　ーー
㊀㊀◯　｜　ー㊀㊀

H|I
ー　　　｜　ー◯
㊀㊀　　｜　㊀ー◯

I|B
ー◯　　｜　㊀◯
㊀ー◯　｜　ー㊀◯

48 ：１３２人目の素数さん：2019/12/03(火) 17:13:28 ID:iVtSAp4L.net

A|B (初手実行)
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

B|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

C|E(初手実行)
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

E|B(終端優先)
　◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

D|F,G(初手実行)
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

F|B(終端優先)
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

G|H(終端除去)
　　　　｜　ーー
㊀㊀◯　｜　ー㊀㊀

H|I(初手実行)
ー　　　｜　ー◯
㊀㊀　　｜　㊀ー◯

I|B(終端優先)
ー◯　　｜　㊀◯
㊀ー◯　｜　ー㊀◯

49 ：１３２人目の素数さん：2019/12/03(火) 17:27:52.50 ID:u8dLYHJm.net

�@A|B (初手実行)
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

�BC|E(初手実行)
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

�CE|B(終端優先)
　◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

�DD|F,G(初手実行)
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

�EF|B(終端優先)
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

�FG|H(終端除去)
　　　　｜　ーー
㊀㊀◯　｜　ー㊀㊀

�GH|I(初手実行)
ー　　　｜　ー◯
㊀㊀　　｜　㊀ー◯

�HI|B(終端優先)
ー◯　　｜　㊀◯
㊀ー◯　｜　ー㊀◯

50 ：１３２人目の素数さん：2019/12/03(火) 18:20:41.14 ID:hyW1oxnY.net

・初手実行の還元は実際に初手として可能な全ての分裂を行った結果の図を右辺に列挙する事によって得られる。
右辺に並ぶ図の最小駆除手数は全て左辺の手数+１であるから還元図になる。

ー例ー
�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

・終端優先の還元は左辺図内のある生物を分裂させてもその子が他の全ての生物の分裂を阻害しないとき、その分裂を優先する最小手順解があることから、その分裂を実行した図を右辺に書く事によって得られる。
やはり右辺の図の最小駆除手数は左辺の手数+１であるから還元図となる。

ー例ー
�CE|B(終端優先)
　◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

・終端除去の還元は�Fのみである。
�F左辺の虫を除去する最小手順において左の虫をA、それが分裂したときに現れる上の虫をB、右の虫をCとする。
Bは要駆除点でなく、Bは以降のたの分裂を邪魔しないため最小手順においては分裂しない。
Cは要駆除地点にいるのでいくらか後に分裂し、その上の虫をD、右の虫をEとするとBが分裂しないのと同じ理由でD、Eも分裂しない。
よって�F左辺の最小駆除手順においてAとその子孫が分裂する回数は高々二回である。
よってその手順からAとその子孫を取り除けば図
ーー
ー㊀㊀
の駆除手順が得られ、その手順数は�F左辺のものよりちょうど2小さい。
逆に�F左辺の図において、上図の除去を行った後、AとCの分裂を行えば�F右辺の図の駆除手順となるので�F左辺の最小駆除手数は上図のそれ+2以下である。
以上により上図の最小駆除手数は�F左辺のそれよりちょうど2小さい。
さらに上図に初手還元と終端優先を行えば
㊀◯
ー㊀◯
が得られ、その最小駆除手数は上図のそれよりちょうど2だけ大きい。
以上により�Fの左辺と右辺の最小駆除手数はちょうど等しいので�Fは弱還元である。

ー例ー
�FG|H(終端除去)
　　　　｜　㊀◯
㊀㊀◯　｜　ー㊀◯

　

51 ：１３２人目の素数さん：2019/12/03(火) 18:24:14.63 ID:dJ7kbFNB.net

�@A|B (初手実行)
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

�BC|E(初手実行)
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

�CE|B(終端優先)
　◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

�DD|F,G(初手実行)
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

�EF|B(終端優先)
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

�FG|H(終端除去)
　　　　｜　㊀◯
㊀㊀◯　｜　ー㊀◯

52 ：１３２人目の素数さん：2019/12/03(火) 18:25:03.82 ID:dJ7kbFNB.net

�@A|B (初手実行)
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

�BC|E(初手実行)
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

�CE|B(終端優先)
ー ◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

�DD|F,G(初手実行)
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

�EF|B(終端優先)
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

�FG|H(終端除去)
　　　　｜　㊀◯
㊀㊀◯　｜　ー㊀◯

53 ：１３２人目の素数さん：2019/12/03(火) 18:25:34.40 ID:dJ7kbFNB.net

�@A|B (初手実行)
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

�BC|E(初手実行)
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

�CE|B(終端優先)
ー ◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

�DD|F,G(初手実行)
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

�EF|B(終端優先)
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

�FG|B(終端除去)
　　　　｜　㊀◯
㊀㊀◯　｜　ー㊀◯

54 ：１３２人目の素数さん：2019/12/03(火) 18:31:56.40 ID:0o5d3fls.net

�@によってAはBに還元されるが、�A〜�FによってBはB自信のいくつかに還元される。
すなわち
B|B,B,‥B
なる形の還元を得る。
当然左辺の最小駆除手数と右辺の最小駆除手数は等しい。
しかし右辺のBへの還元は少なくとも�F以外の還元を一回以上含むので強還元である。
よって左辺の最小駆除手数は右辺の最小駆除手順より真に大きい。
これは矛盾である。

55 ：１３２人目の素数さん：2019/12/03(火) 18:51:44.57 ID:j/sJSr+p.net

まず以下の証明の図の読み方の説明。
生命体を虫と呼ぶ。
◯は虫のいる点。
ーは虫を駆除する必要のある点、
㊀はその駆除する必要がある点に虫が現時点でいる状態である。
この虫を分裂させて㊀を消去する手順の有無を議論する。
コレらを格子状にならべた図式でAにおいて、そのような手順があるとき、その手順の最小値を最小駆除手数と呼ぶ。
存在しないときは無限大とする。
そのような図式X,A,B,C,‥においてXの最小駆除手数がA,B,C,‥の最小駆除手数の最小値以上のときXはA,B,Cに還元されると呼び、X|A,B,C,‥と表す。
左辺の最小駆除手数が右辺のそれの最小値より真に大きいとき強還元と呼ぶ。

56 ：１３２人目の素数さん：2019/12/03(火) 18:54:28.31 ID:zpKWxT6f.net

証明に現れる還元を全て列挙する。
コレらが還元になっている事は後で示す。
�F以外は全て強還元である。
A〜Gの図の定義も兼ねている。

�@A|B (初手実行)
ーー　　｜　㊀ー
㊀ーー　｜　ー㊀ー

�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

�BC|E(初手実行)
ー　　　｜　ー◯　　
㊀㊀　　｜　㊀ー◯

�CE|B(終端優先)
ー ◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

�DD|F,G(初手実行)
　　　　｜　　◯
㊀㊀　　｜　㊀ー◯　㊀㊀◯
　　㊀　｜　　　㊀、　　ー◯

�EF|B(終端優先)
　◯　　｜　◯ ◯
㊀ー◯　｜　ー㊀◯　
　　㊀　｜　　　㊀

�FG|B(終端除去)
　　　　｜　㊀◯
㊀㊀◯　｜　ー㊀◯

57 ：１３２人目の素数さん：2019/12/03(火) 18:58:42.89 ID:OBhXc8/Z.net

Aの図の最小駆除手数が有限とする。
�@によってAはBに還元されるらBのそれも有限である。
還元を"合成"することにより�A〜�FによってBはB自身に還元される。
すなわち
B|B
なる形の還元を得る。
当然左辺の最小駆除手数と右辺の最小駆除手数は等しい。
しかし先の"合成"において右辺のBへの還元は少なくとも�F以外の還元を一回以上含むので強還元である。
よって左辺の最小駆除手数は右辺の最小駆除手順より真に大きい。
これは矛盾である。

58 ：１３２人目の素数さん：2019/12/03(火) 18:59:39.52 ID:OBhXc8/Z.net

・初手実行の還元は実際に初手として可能な全ての分裂を行った結果の図を右辺に列挙する事によって得られる。
右辺に並ぶ図の最小駆除手数は全て左辺の手数+１であるから還元図になる。

ー例ー
�AB|C,D(初手実行)
　　　　｜　◯　　　
㊀ー　　｜　ー㊀　　㊀㊀
　㊀ー　｜　ー㊀ー、　ー㊀

・終端優先の還元は左辺図内のある生物を分裂させてもその子が他の全ての生物の分裂を阻害しないとき、その分裂を優先する最小手順解があることから、その分裂を実行した図を右辺に書く事によって得られる。
やはり右辺の図の最小駆除手数は左辺の手数+１であるから還元図となる。

ー例ー
�CE|B(終端優先)
　◯　　｜　㊀◯　　
㊀ー◯　｜　ー㊀◯

・終端除去の還元は�Fのみである。
�F左辺の虫を除去する最小手順において左の虫をA、それが分裂したときに現れる上の虫をB、右の虫をCとする。
Bは要駆除点でなく、Bは以降のたの分裂を邪魔しないため最小手順においては分裂しない。
Cは要駆除地点にいるのでいくらか後に分裂し、その上の虫をD、右の虫をEとするとBが分裂しないのと同じ理由でD、Eも分裂しない。
よって�F左辺の最小駆除手順においてAとその子孫が分裂する回数は高々二回である。
よってその手順からAとその子孫を取り除けば図
ーー
ー㊀㊀
の駆除手順が得られ、その手順数は�F左辺のものよりちょうど2小さい。
逆に�F左辺の図において、上図の除去を行った後、AとCの分裂を行えば�F右辺の図の駆除手順となるので�F左辺の最小駆除手数は上図のそれ+2以下である。
以上により上図の最小駆除手数は�F左辺のそれよりちょうど2小さい。
さらに上図に初手還元と終端優先を行えば
㊀◯
ー㊀◯
が得られ、その最小駆除手数は上図のそれよりちょうど2だけ大きい。
以上により�Fの左辺と右辺の最小駆除手数はちょうど等しいので�Fは弱還元である。

ー例ー
�FG|H(終端除去)
　　　　｜　㊀◯
㊀㊀◯　｜　ー㊀◯

59 ：１３２人目の素数さん：2019/12/04(水) 18:09:03.79 ID:oxYt+LAi.net

残念おばさんがサービスしてくれて100円よ

60 ：１３２人目の素数さん：2019/12/20(金) 02:25:53 ID:yiLw1Jz8.net

2600
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/huwa_cororon/status/1199593474128896000
(deleted an unsolicited ad)