それじゃあこのスレがどれだけ実力があるのかお題だすね
物体認識で手を認識させたときの指先のトラッキングをやってみてください
物体認識のモデルはすでに学習済みと仮定あとはカメラで写ってる指先の特徴点のポイントを取得するだけです
>>6
たしかに…無いとテストとかもできんもんな… お題：自然数nが奇数かどうかチェックする関数oddを定義せよ
c
https://ideone.com/gdiEYq
//int odd(int n) {return n & 1;}
int odd(int);
int even(int n) {return n == 0 ? 1 : odd(n - 1);}
int odd(int n) {return n == 0 ? 0 : even(n - 1);}
ocaml
https://ideone.com/LYsHsF
let rec even = function 0 -> true | n -> odd (n - 1)
and odd = function 0 -> false | n -> even (n - 1) かなり昔に寿司問題というのがあってそれが難しかった記憶だが
問題を忘れた
検索したら見つかった、これ
回転寿司にやってきた私は、コンベア上の寿司をすべて食べて帰ることにしている。
コンベアは毎秒1皿分の速度で流れ、目の前の皿を取るか取らないかを選ぶことができる。
皿取ると同時に食べ始め、食べている間は次の皿を取ることができない。
私が取る以外、皿は追加されたり無くなったりしない。
コンベアの状態が次のような文字列で与えられる。
"31_2"
数字はその皿を食べ終えるのにかかる秒数を表し、_は皿がないことを表す。1文字目が目の前にあり毎秒、左へ回転する。
例えば、"31_2"で最初の皿を食べたとき食べ終わった時の状態は、"2_1_"となる。
すべての寿司を食べ終えるまで最短何秒かかるか求めよ。
"12_3" > 6秒
"313__" > 8秒
"4_35_1264_23_434" > 60秒
"123456789123456789" > 98秒
"88967472612377988186" > 149秒
"19898693316679441672" > 170秒
"93769682716711132249893" > ?
1から3999までのローマ数字が与えられるのでそれを算用数字で表示する
例
IV -> 4
XLIX -> 49
CDXLIII -> 443
>>11
昔私が高速で求める方法を見つけたヤツだね
おぼえてます >>11
コレ多項式オーダーとかで行けるんですか？
やはり指数オーダーはかかる？ 寿司問題はやり方考えたが確認はしてない
再帰的に解けると想定
寿司2個を食べ終わる時間で寿司1個であるかのようにみなす (寿司セット)
たとえば寿司3個の場合なら、最も最短時間の寿司セットを作って寿司2個の場合に帰着させたら解けるはず
最も最短時間の寿司セットというは合ってるか不明だが、そういうやり方で少ない寿司の場合にもっていけるはず
とりあえず寿司3個の場合をランダムか総当りで生成して、2個を連結させる方法が正しいのか確認できそうだがしていない
Part9-413にコードがある
いろんな定義と証明が書いてあるメモが見つかったけど意味わからん
>>15はべつの言い方でいうと与えられたレーンで食べる順を確定させられるペアを見つけるってことだが
総時間が短いものか、空き時間が短いものか、空き時間が短いうちで最も最長のものか、そういういった組み合わせが考えられるが
正解があるかは不明 単に空の時間が少ないようにペアをあわせていけば解ける気がしてきた
空は0として "313__"の場合はこうなって解ける
2行目への変化だと1秒と3秒の寿司を食べるとして4秒の寿司へ変わる
次は4秒寿司と3秒寿司が続けて食べられて7秒寿司へ
最後は一秒まって7秒寿司をたべて8秒で終わる
31300
34000
07000
これもやってみたら手動で正解できた "123456789123456789" > 98秒
123456789123456789
303456789303456789
703056789703056789
709050789709050789
0090C07890090C0789
009000J89009000J89
0090000X90090000X9
00I0000XI0000000X0
00I0000YI000000000
00I0000Z0000000000
00W000000000000000
10以上の数値は英字で置き換えた
C 12
J 19
X 27
Y 54
Z 73
W 96
食べる、食べない＝パス、の2択で再帰じゃないの？
食う カレントが値分後方へ移動、パス連続中フラグdisable
パス カレントが1つ後方へ移動、パス連続中フラグenable、パス連続可能回数セット
パスが連続出来る回数に制限があるので有限
9からパスし続けて良いのは8回まで。9回パスしたら9を食えてるよねって話
パスした次がより少ない値ならばパス連続可能回数は少ない方で上書き
> "93769682716711132249893"
だと1番目の9はパス連続可能回数8でパスした場合、2番目の3にカレントが移りパス連続可能回数は-1されて7
3のパス連続可能回数は2、7と比較し少ない方の2が上書きされる
パスした場合3番目の7へカレントを移しパス連続可能回数1
7のパス連続可能回数6と比較し少ない1
更にパスした場合、4番目の6
6の5と0を比較しパス連続可能回数0となり、ここではパスは選べない
パス連続中フラグとパス連続可能回数の2つのステータスが要る
フラグは能動的にパスしたのか食うものが無くて次に移動したかの区別
という解釈なんだけど間違ってる？もっと良い方法あるの？
可能性としては、このアルゴリズム自体が最小値を出す可能性があるだけでかならずしも最小値ではないだとおもう
大局的なこと、試行錯誤はやらずに空レーンでの待ちが少なくなるように2個セットをつくり続けて寿司個数が少ない場合に帰着させるだけ
これで正解が出させるほうが不思議
>>31
それ自分だと9秒になるが、>>26だと8秒になるな
しかし、どうやっても8秒だと無理とおもうが
人間の試行錯誤で >>32
これじゃダメ？
1: *_22（取る）
2: _*22（食べる）
3: __22（休み）
4: __2*（取る）
5: *_2_（食べる）
6: _*2_（休み）
7: __*_（取る）
8: ___*（食べる） 今上がってる
24
26
29
が線形時間で動くコード？
空なしで連続して食べれるなら食べてしまうやり方で失敗する例が2_22か
これがあるならば待ちで0か1で食べれるのに2以上待たないと駄目な例もありそうだ
ややこしい
これリニアオーダーで動くアルゴリズムがある事実証できてるの？
>>22はリニアになるの？ 連続食いアルゴリズムだと
2_22 よりも3_22や3_23の簡単だが
9以下が言えたら8では出来ないかチェックするために
寿司の総和時間が7、8となるように元の寿司を巨大化させ再チェックすればいいか
計算量はちょっと増えるがこれで見逃しはなくなるはず
寿司をわざとデカくして連続食い優先アルゴリズムで、食べ飛ばしに対応させようとしたけど
たとえばこれだと今の寿司の時間の合計は41で、
合計が59になるように寿司増量するやり方は相当あって、その組み合わせを生成するだけでも困難な数だった
この方針は断念すべきか
"4_35_1264_23_434" > 60秒
>>26は解読できないが
これは探索しないと無理な気がしてきたが
リストが与えられたときに確実に連結させされるペアを
探索なしで静的に確定させられるならnのオーダーといえるだろうが無理な気がしてきた 今のところ>>26が最小解をリニアオーダーで与える事の証明上がってこないけど5年前は誰かその証明つけてたん？ 寿司問題ってもう5年前か
時間が経つのはあっという間だな
コレはわかんないな
なんかの基準で候補を絞ってその中で1番短いの見つけてるっぽいけど、その絞り込んだ候補の中に必ず最小元がある事の証明はコードだけではわからないよ
寿司をグループに分けるまでが肝 (メモに書いてある同値関係)
あとは簡単
2通りに場合分けして簡単な計算をするだけ
よくわからんけど全通り計算して最短出すだけじゃね？
まずレーンからわからん
数学の世界でない用語でしかも定義がないとわからん
ちゃんと文章になってたら前後の文脈から推定できたりもするけど文章じゃないからエスパーのしょうがない
ざっとみて正解を確信できん
平易な説明文であってるだろうと思わせることはできないか
どやろ
あってるっぽい香りはするけど
多分本人の備忘録に過ぎないもので元から他人に理解してもらうつもりに書いてないな
>>12 octave
https://ideone.com/In2JqK
function n = f(s)
k = 'IVXLCDM';
v = [1 5 10 50 100 500 1000];
h = @(x) v(k == x);
n = sum(arrayfun(@(c, d) [h(c) -h(c)](1 + (h(c) < h(d))), s, [s(2:end) s(end)]));
end やっぱり無理やな
おそらく“最小完備閉路”なるものが存在してその中で最小であるものは線形時間で見つかるを示すんだろうけど“最小解は必ず最小完備閉路”である事の証明が1ミリもない
せめてその証明があれば逆にその証明から“完備閉路”の意味をエスパーもできるかもしれないけど
最小完備閉路分解
×「最小完備閉路」への分解
○完備閉路分解のうち(完備閉路の)個数が最小の物
閉路 : (開始位置はどこでもいいけど)丁度n周でお寿司をたべる食べ方
完備閉路 : 効率の良い閉路
最小完備閉路分解 ＝ お寿司のグループ分け ( >>49 ) >>61
あなた筆者
ごめん、メモは全くわからないです
もうちょっと数学っぽく書けませんか？ 私の中では解決済みの問題ですので
時間をかけて厳密な記述や分かりやすい記述にしようという気力はありませんし
多くの人に理解してもらおうとも思っていません
メモは私用に書いたもので
グラフ理論の用語や独自定義の言葉などが混ざっています
気に入らないなら見なかったことにしてご自分でゼロから考えてください
しばらく消えます
では
んー最後にループをまたぐものが残ることがあってだめなのか
>>65
できる理由がわかってないが終了位置が特定できるなら良いとおもうが
検討してみる >>65
理解した、この方針でよさげ
これで出来てるのはたまたまで
終了位置は特定できないかと
修正してみる いくつかの例でうまく行ったとしてホントにそのアルゴリズムで“常に”上手くいくとは限らないからな
“常に”上手くいく事を主張するには結局数学的に証明するしかない
例えば寿司が連続9個空の部分があってそのいずれかからスタートする場合を考えるなら全ての周回で元の位置に戻ってくる時には口に何も入ってない状態になる
その場合に全ての周回で毎回「寿司を常に可能な限りとれるだけ取る」事で最小な解を与えるとは限らないやろ
あえてそのような最小解でない解をうまく組み合わせると全体としては最小になる可能性もある
>>65
指摘されるまで気づかなかったが
最小値の下限はこういう風に簡単に評価できるんだな
>>47の人も多重度とか乗ってるし考慮してるのかと
>65は最も小さくできる場合の可能性であって実現性は考慮されてなく実際できるか調整ないと 一般での証明を解説するのは諦めたけど
具体例であればアルゴリズムと証明を書いて差し上げます
1周20秒以内で1問出してくださいな
>>73はmaxvalの位置で終わることを想定してるが
問題点としては、そのような選び方が存在するか OR 終了位置がmaxvalよりも後方へずれる可能性
がある点
修正できてない >>65
最小値下限と終了位置候補がわかっているのは大きいが
実際にできるのか、そのルートを構成するしかないとおもってきてる
実際につくるとなると手間だ 例えば寿司の配置が
┓ ┏━━━━
┏━┓
┏━━━━┓
┏━━┓
┏━━┓
２１２２１２１２３３２１１
のような場合10番目のところが3なので最低でも3週目の10秒目までは絶対に終了し得ない
ミソはこの10番目で必ず食べ終えることができる寿司、上の例では上から2番目の寿司があって、必ず3週目の10秒の時点でこの寿司を食べ終える解が存在する事を示すことですな
>>78
123456789123456789 の解答は98だが
>>65>>73 だと90 となり、訪問回数を表すAの値はこれ
こういったケースだと末尾9を食べて98になるのか?どういう条件でズレが生じるかわからん
[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5] とりあえずザックリ説明
(i)多重度最大、最後尾に寄与する寿司を取り除いても最大多重度が変化しない時
(下図のような場合2番目、3番目寿司を取り除いても最大多重度は3のままである)
┓ ┏━━━━
┏━┓
┏━━━┓
┏━━┓
┏┓
┏━━┓
２２３２１２１２３３１１１
この場合、多重度最大、最後尾に寄与する寿司を取り除いた状態における最大多重度、最後尾(例えば上の例で2番目の寿司を取り除くと、最高多重度、最後尾は多重度3、最後尾は3番目の位置となる)に寄与する寿司(上の例だと5番目の寿司)を最後に食べる解が存在する、その解にいま取り除いた寿司を最後にさらに食べる事にすれば良い
(ii)多重度最大、最後尾に寄与する寿司を取り除くと最大多重度が1下がるとき
(下図のような場合2番目、3番目の寿司を取り除くと最大多重度は2になる)
┓ ┏━━━━
┏━┓
┏━━━┓
┏━━┓
┏━━┓
２１２２１２１２３３１１１
この場合、多重度最大、最後尾に寄与する寿司を取り除いた状態における最大多重度、最後尾(例えば上の例で2番目の寿司を取り除くと、最高多重度、最後尾は多重度2、最後尾は10番目の位置となる)に寄与する寿司(上の例だと3番目の寿司)を最後に食べる解が存在する、その解にいま取り除いた寿司を最後にさらに食べる事にすれば良い
>>65
ざっくりではこれでよく、ここかこれ以降の少しずらしたところが解だが
それを特定してるのが>>47か
簡単には終了位置がわからないが >>80はいまいちわかってないけど
終了位置にある寿司を取り除くというのはやってみた、かんがえてみたけど進展なし ┓ ┏━━━━ ‥①
┏━┓ ‥②
┏━━━┓ ‥③
┏━━┓ ‥④
┏┓ ‥⑤
┏━━┓ ‥⑥
２２３２１２１２３３１１１
②番目を取り除く
┓ ┏━━━━ ‥①
┏━━━┓ ‥③
┏━━┓ ‥④
┏┓ ‥⑤
┏━━┓ ‥⑥
２２３２１２１１２2１１１
⑤番目を取り除く
┓ ┏━━━━ ‥①
┏━━━┓ ‥③
┏━━┓ ‥④
┏━━┓ ‥⑥
２１２２１２１１２2１１１
③番目を取り除く
┓ ┏━━━━ ‥①
┏━━┓ ‥④
┏━━┓ ‥⑥
２１２２１１００１１１１１
⑥番目を取り除く
┓ ┏━━━━ ‥①
┏━━┓ ‥④
１０１１１１００１１１１１
④番目を取り除く
┓ ┏━━━━ ‥①
１０００００００１１１１１
よって①④⑥③⑤②と食べれば3週目の10秒目で完食できる解が見つかる
これより早く完食する解はない
>>84
それは>>73の解けるという証明?
しかし例外があるはずだが
123456789123456789 の答えは98のはずなのに
周回数の最大値の終わりを解答するプログラムでは90を返す その98は絶対正しいの？
全数検査かなんかで確認済み？
VBA + Selenium + Chrome で自動ログインをツールを作っています。
Dim Driver As New Selenium.WebDriver
ログインした後にパスワードを保存しますか？
というダイアログが出て邪魔でしょうがないです。
それを削除する為に
credentials_enable_service false
profile.password_manager_enabled false
を使うのは分かったのですが、pythonやjavaのコードばかりブログに乗っていて
VBAの文法でどう書けば良いか分かりません。
詳しい方がいたら教えてください。
すまん
確かに98やな
ちょっと直せるか考えてみる
短縮したこれでも同じだな
これと同様に最後は末尾の3を引いて12ではなく、14が正解か
"123123"
123123を変形した
303303とか306300も答えは14のはず
これはわかりやすいが
食べ終わりは2週目ラストではなく、
3週目の6がカウントする部分までだな
306300
まぁ今の問題が片付かないと次の問題出しにくいはあるから、こういう中々片付きそうもない話題が出てしまうと次が出てきにくくなる
もう寿司はやりたい人が各々考える事にして一旦保留でいいんじゃないかな
しかし5年経っても話題がつきないお題と言うのはなかなか珍しいな
普通に次のネタ振ってそれが興味深けりゃそっちに移るでしょ
次のネタもない状態で保留にしろとか過疎らせようとしてるのか？
しかし実際難しいやん
言ってる人のも怪しいしな
少なくとも数学科卒なら自分のアイデアちゃんと証明できないなんてことはないし、そうでないならできてないか、できたと勘違いしてるかもしれないし
答え出ない問題なんか数学の世界には死ぬほどあるしな
たぶん寿司問題のレベルが高くて付いていけない人が多いんだと思う
俺も付いていけてないが別に保留しなくても良いと思う
>>102
だって解ける気配なんかしないのに意味あるんかそれってレスばっかり連発してるやん >>103
寿司問題スレか難問専門スレが必要ってことかな 寿司問題、証明はできてないが正しいとおもえる予想はできた
与えられた寿司レーンで、すべての寿司に対して自身の皿を含めた訪問回数の総和配列を計算 >>73や>>65
たとえば、"220"ならば、「110」 + 「011」 → 「121」
この配列の値のどれか一つが異なるならば、その最大値とその末尾の位置を(m,i)とすると
答えは レーン長* (m-1) + i +1 >>73や>>65
配列の値がすべて一致するならば、各寿司の位置からそれを食べたときに最も2週目へ移動したものの先頭からズレを
上記の値に足したものが答え
たとえば、"053" の最長のズレは5を食べたときで3 難問でスレが消費されるならこっちのスレから難問スレに輸入していくって手もあるが
それだとこっちのスレが過疎るかな？
>>105
後半部分(配列が全一致)のとき、2週目へ進む寿司が存在しないなら、足すものはゼロ >>105
アホの「正しいと思える予想」ほど無意味な物はないということがよく分かる
>>104
難問かどうかなんてわからんぞ
今まで簡単と判断されていた問題だって
計算オーダーを大きく減らせるかもしれないし 数学の天才が1週間で作ったコード
5年たっても誰も理解出来ない
>>112
それも正しいかどうか嘘くさい
そもそも数学勉強してて数学で説明できないような奴の話し信用ならん 多分
>>72
> 一般での証明を解説するのは諦めたけど
> 具体例であればアルゴリズムと証明を書いて差し上げます
>
> 1周20秒以内で1問出してくださいな
コレ作った本人の談なんだろうけどコレは数学便所した人間なら事実上の「私できませんでした」宣言に等しい >>105 >>109 で完全解決したとおもうが
>>105の前半を最大重複度の末尾で終わらせる事(これで意味通じるとして)ということにしてこれが可能なことは分かる、しかもこれより短い終了もない
後半はその2週目にずれるその寿司を取り除くことで上の場合になる
その寿司を最後で食べない場合は、最後に食べる場合以上の時間がかかるはず
ここは証明しろといわれるとすぐできるかわからない まぁもういいのかもしれない
大体この手の“最小値を出す関数を求めよ”系は本当にそれが最小値出してくれる事は“コード”ではなく“証明”が要求される
でもココ数学板じゃないし、それを面白いと思う奴ほとんどいないやろ
そもそもできんくさいし
じゃあ数学板に持っていったらもダメやろ
数学的に面白いのは「ちゃんと答えがある」問題でないとダメ、数学の世界なんか一見解けそうに見えて実は超難題で答え出せない問題なんか山ほどある
数学的才能ってその手の解けない問題をいつまでも解けない解けないってウンウン唸る事じゃなくて数ある解けない問題の中から“解ける奴”を嗅ぎ分けて解く能力やしな
お題
座標リストと幅が渡されます
座標リストは線で結ばれるとしてその線に与えられた幅をつけた時の両側の線を作る座標リストを出力せよ
お題
座標リストが与えられます
それを文字列で描画せよ
>>129
var 座標リスト = [[1, 1], [2, 2], [3, 3]]
console.log(`(${座標リスト.join`), (`})`) >>130
var 座標リスト = [[1, 1], [2, 2], [3, 3]]
console.log(`(${座標リスト.join`)─(`})`) >>131
これは想定外
これへの対応は終了位置の確定に関する部分ですぐにはできないな
現状、不完全プログラム >>11
なんで 313__ が8秒になるのか? 10秒ではないのか?
コンベアの状態と経過秒数を1秒づつ書くとこうなるよな？
コンベア 経過秒数 状態
313__ 0 3を取る
13___ 1 3を食事中
3___1 2 3を食事中
___13 3 3を食事中
__13_ 4 空なので取れない
_13__ 5 空なので取れない
13___ 6 1を取る
3____ 7 1を食べて3を取る
_____ 8 3を食事中
_____ 9 3を食事中
_____ 10 3を食事中 >>136
意味がわからない。少なくとも最初に手に取るのは1番左の3だろう。空ではない。 >>137
問題よんでたか?
寿司スルー、食べない=空も可能
> 目の前の皿を取るか取らないかを選ぶことができる。 >>139
あー。なるほど。3を取らないのもありか。 じゃあ取ったパターンと取らなかったパターンを再帰でやるのが良さそうってことかな。
>>140
2人目登場
なんでそれでいけると思った？ イヤでも実際できそうでできない
実はNPとかいうオチもあり得る
イヤ、数学的に証明された理論に基づかないコード並べても答えにならない
コードは証明の代わりにはならない
>>152
できんよ
多分できてる言ってるやつもできてないんだろ
つまり現時点で世界のどこにも寿司問題の証明は存在しない
よって現時点では証明不能、すなわちそもそも線形時間で解けるアルゴリズム自体存在しない可能性もある >>153
「多分できてる言ってるやつもできてないんだろ
つまり現時点で世界のどこにも寿司問題の証明は存在しない」
証明してください >>156
そんな義務はない
数学の世界で証明できたできないの問題がでたら常に証明できたと言ってる人間の側にしか責任は生じない
前の方にあったコードについてたメモ書きは証明として数学の世界で認められる類のものじゃない
おまえの言ってるのは数学板で名物になってる高木つていう糖質の言ってるのとおんなじだよ VBA＋Seleniumで自動ログイン機能を実装しています。
ログインすると
「パスワードを保存しますか？」というダイアログが表示されてしまって困っています。
ネットで調べて以下の様なコードを記述していますが、出ます。
Dim Driver As New Selenium.WebDriver
Driver.AddArgument "credentials_enable_service=False"
Driver.AddArgument "profile.password_manager_enabled=False"
記述が間違っているのでしょうか？
>>158
じゃあ証明できてないおまえはアホだな
他人に伝わる証明書くのは諦めたって言ってたよな？ ・理解しようとする強い意志がある
・ある程度以上の頭がある
両方を満たす人ならわからない部分を説明しようとも思うが
全く理解しようという努力もなく頭も悪い人に対して証明するのは不可能
>>161
言い訳はいい
あんなもんただのメモ書き
もちろん数学の世界じゃ通用しないのもお前わかってるやろ？
そしてその場合証明したと言ってる側と証明できてないと言ってる側のどちらの主張が通るわかってるやろ
まぁそれがわかるレベルまでは勉強してないのかもしれんが お前の理論だと
「証明できてない」とただ単に主張するだけで
証明を無効化できるわけだ
少なくとも
いくら煽った所で
お前に何かしてやるつもりはないから
証明出来てないと言う奴は間違ってる箇所を示すなり反例出すなりしろよ
>>166
知ってるよ
お前できないんだろ、本当は？
後でメモ書き見返してみたけど結局それみても証明できなかったんだろ？
お前が“証明できた”と思ったのが幻だったんだよ 証明は出来ている
教えないけど
これで満足？
お前に教える義務はないから
>>167
きました
これなんですよ、これが数学の世界分かってない奴が必ず使ってくる反論
数学板でやったら袋叩きになるぞwww >>169
それは数学学んだ人間なら誰もがわかる“敗北宣言”ですな >>173
お前が絡んできたんやろが？
あほですか？ >>175
大丈夫だよ>>172の糖質の発言見てみろよ
「誰も反証できないからオレの証明は正しい」の連発だよww
もちろんそんなはずもない
まぁこの糖質はその手の発言をオレが知ってるだけでも3年続けてるけどな
普通の知力ある人間はそんな論が立たないのはすぐわかる >>176
だからそんなはずもないならその理由を書けって話
そんなはずもないって連呼するだけならお前も同類だと気付けよw >>177
日本語大丈夫か？
そんなはずもないってのは「反証がないから証明が正しい」って主張が認められるはずないやろって意味だよ >>178
「反証が無いなら正しい」は間違ってるが反証が無いなら正しい可能性はあるだろ
反証もできないのに間違ってるとか言うのがおかしいと言う話である事すら理解できない知能なのか？ >>180
「正しい可能性がある」など証明の代わりにならない
数学の世界には“証明された”、“反論が見つかった”、“証明されてない”の３つの状態がある
寿司問題は“証明されていない”
反証がないから“証明されている状態”であるなどと言えない
“証明できた”と主張できるのはある程度以上数学学んだ人間ならきちんと理解できるレベルの証明をあげた時のみ
あんなメモ書きでは証明とも、アウトラインであるとすら認めてもらえない >>181
> 「正しい可能性がある」など証明の代わりにならない
だれもそんなアホな事は言ってない
> 寿司問題は“証明されていない”
だから証明されてない（=否定もされてない）状態で証明出来てないと言うだけならなんの意味もないレスだろ
そんなレスして楽しいのか？ >>182
証明できてない状態でしかないのに「証明はできてる、しかし書かない」とか言ってるやつがいるんだからしょうがない
自分1人のチラ裏ワールドで証明できたと思ってる分には好きにすればいい
しかしいかに便所の落書きでも「証明はできてる、信じてくれ」など通用しない >>183
まあ証明自体を書かないアホは無視するとしてメモ書きだからダメとか言ってないでどこがダメなのかを書けって話 >>184
メモ書きというのが証明のアウトラインと呼べるものならともかく、到底そんなレベルではない
たとえばSₙ₊₁の互換の生成元σ₁‥σₙによるreduced expressionを見つけるアルゴリズムの話とかだと
定理 g∈Sₙ₊₁に対してg(i)>g(i+1)である任意のiに対してgσᵢのreduced expression の長さがgのそれより真に1小さくなるものが存在する
とかがキーになる
そしてこれが証明できれば確かに線形時間で証明ができるのは数学ちょっと学んだ人間ならすぐわかる
前の方のレスで「最後の寿司で場合分け」といっていたけどそれでは指数時間になる、ミソは“g(i)>g(i+1)である任意のiに対して”言えてるのがミソで場合分けの必要がなく以下gσᵢのreduced expressionを求める問題に還元されるので線形時間とわかる
逆に言えばこの定理の証明のキーだけ書いてあれば“アウトライン”と呼べるし、オレはこの定理の勉強した時、“なるほどそうか、なら後は自分で挑戦！”と思ってやっていい練習になったのを覚えてる
そういうのが数学の世界でアウトラインと呼んでもらえるやつ
あのメモはそのレベルにない 長々書いてる割には結論は
> あのメモはそのレベルにない
かよw
お前のレベルがよくわかるわ
>>186
ないやん？
まず他人に読ませる気なら数学の世界で一般的な用語の定義から入らんと読めない
少なくともひとつの主張の証明でもその用語を使った議論が有ればエスパーできなくはないが、あの文章にはそもそも証明と呼べるレベルの議論が何ひとつない、もちろん意味不明
なんかある性質を持ってる経路を探索するアルゴリズムらしいが、
「最短経路→その性質を持つ」の議論ゼロで以下その性質を持つ経路の探索アルゴリズムの話にはいつてる
アホかと 一般的でない用語の説明ね
まぁ論文レベルの文章読んだ事ないんやろ
読まなきゃ書き方わからんわな
しつこいね、具体的な指摘を出来ない事はよくわかったからそろそろ黙ったら？
>>189
具体的な不備の指摘ができないなら黙っとけと言うのがバカだと言ってるんだよ能無し君 もっと言うなら用語の説明がない、最小の解→なんとか言う性質持ってるの証明のアウトラインすらないというのは具体的ではないのかね？能無し君？
>>190
> 具体的な不備の指摘ができないなら黙っとけと言うのがバカだと言ってるんだよ能無し君
ならいつまでもメモガーとか言ってりゃいいんじゃね？w
>>191
> もっと言うなら用語の説明がない
どの用語かも書かないで具体的とか言われてもね
そもそもここム板なのでアルゴリズムがおかしいならそれを指摘すべきで論文の書き方を指摘したいなら他所で吠えてなさい >>193
もう読み返してみるのもアホらしいから読み返さないけど数学の勉強多少なりともした人間が自分が使った用語のどれか数学の世界でなんの説明もしないでいいかわからない時点でもうダメダメなんだよ >>193
ちなみに別に煽って証明書かせようとしてるわけでもないよ
証明できました系トンデモ君なんか数学板にはアホほどいる
高木、日高、セタ
みんな反応同じ
お前も一緒 結局具体的指摘はできずにダメダメ言うだけの人でしたw
>>196
高木そっくり
数学系トンデモ君は全部反応一緒 >>198
これもまぁ一緒
自分の数学力は相手には及ばないのがなんとなくわかった時の反応やな 簡潔明瞭なレス書かないで、ダラダラ雑談してる人は
プログラムや証明も似たようなもんだろう
× 簡潔明瞭なレス書かないで
〇 簡潔明瞭なレス書けないので
典型例 ⇒ >>185 うちの研究室にもキチガイおじさんから未解決問題といたぞ！！とかいう長文封書が数年に一回来るわｗ
それを思い出したｗ
仮にあってたとしても証明が伝わらない、理解されないなら
インドの魔術師ラマヌジャンみたいなもの
”真に驚くべき証明を見つけたが、それを書くには余白が狭すぎる...”
>>205
私は、本当に「驚くべき証明」が今でも未発掘であると妄想しているのです…ハノン ラマヌジャンでもフェルマーでもない
普通の人が1週間で考えたアルゴリズム
アルゴリズムの理解は難しくないし
理解すれば最小性の証明も簡単に思い付く
特別な事は何もない
自力でいろいろな問題を解けば
必然的にアルゴリズムが思い浮かぶ
っていうくらいの感覚
正六角形の各頂点に椅子がある
各椅子に P, Q, R, S, T, U と順不同でラベルを付けるとき
P と Q が向かい合わない組み合わせは何通りあるか
ラベルの重複は無し
>>8
Java
static boolean odd(int n) {
return n % 2 == 1;
} >>209
Haskell
https://ideone.com/7mv08x
import Data.List
import Data.Maybe
xs = [ x | x <- permutations [ 'P' .. 'U' ],
let i e es = fromJust $ elemIndex e es ,
mod ( ( i 'P' x ) - ( i 'Q' x ) ) 6 == 3 ]
main = print $ length xs >>209
何を区別するとかしないとか書かないと
数学やプログラミング以外の範疇でもめることになる 
