プログラミングのお題スレ Part21

[過去ﾛｸﾞ] プログラミングのお題スレ Part21 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

145(1): デフォルトの名無しさん [sage] 2022/11/20(日) 20:57:33.90 ID:6hu778VI(1/7) AAS
>>142

142(1): デフォルトの名無しさん [] 2022/11/20(日) 19:43:16.32 ID:0QwXT6tM(4/4) AAS
じゃあ取ったパターンと取らなかったパターンを再帰でやるのが良さそうってことかな。

しかしその方法では当然指数時間かかる

147: デフォルトの名無しさん [sage] 2022/11/20(日) 21:04:31.98 ID:6hu778VI(2/7) AAS
イヤでも実際できそうでできない
実はNPとかいうオチもあり得る

149(1): デフォルトの名無しさん [sage] 2022/11/20(日) 21:12:44.80 ID:6hu778VI(3/7) AAS
イヤ、数学的に証明された理論に基づかないコード並べても答えにならない
コードは証明の代わりにはならない

153(1): デフォルトの名無しさん [sage] 2022/11/20(日) 21:22:11.99 ID:6hu778VI(4/7) AAS
>>152

152(1): デフォルトの名無しさん [sage] 2022/11/20(日) 21:18:29.97 ID:+jNisdaJ(4/13) AAS
>>149
お前がやってもいいんだよ
証明

できんよ
多分できてる言ってるやつもできてないんだろ
つまり現時点で世界のどこにも寿司問題の証明は存在しない
よって現時点では証明不能、すなわちそもそも線形時間で解けるアルゴリズム自体存在しない可能性もある

155: デフォルトの名無しさん [sage] 2022/11/20(日) 21:24:24.09 ID:6hu778VI(5/7) AAS
>>154

154(1): デフォルトの名無しさん [sage] 2022/11/20(日) 21:23:54.84 ID:+jNisdaJ(5/13) AAS
>>153
「多分できてる言ってるやつもできてないんだろ
つまり現時点で世界のどこにも寿司問題の証明は存在しない」

証明してください

ないやん
ない事に証明はいらん

157: デフォルトの名無しさん [sage] 2022/11/20(日) 21:33:41.06 ID:6hu778VI(6/7) AAS
>>156

156(1): デフォルトの名無しさん [sage] 2022/11/20(日) 21:29:39.26 ID:+jNisdaJ(6/13) AAS
理解する努力くらいすれば？

そんな義務はない
数学の世界で証明できたできないの問題がでたら常に証明できたと言ってる人間の側にしか責任は生じない
前の方にあったコードについてたメモ書きは証明として数学の世界で認められる類のものじゃない
おまえの言ってるのは数学板で名物になってる高木つていう糖質の言ってるのとおんなじだよ

160: デフォルトの名無しさん [sage] 2022/11/20(日) 21:36:40.75 ID:6hu778VI(7/7) AAS
>>158

158(1): デフォルトの名無しさん [sage] 2022/11/20(日) 21:35:12.48 ID:+jNisdaJ(7/13) AAS
アホに証明するのは不可能

じゃあ証明できてないおまえはアホだな
他人に伝わる証明書くのは諦めたって言ってたよな？