このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
データ構造,アルゴリズム,デザインパターン総合スレ 2
http://echo.2ch.net/test/read.cgi/tech/1362301811/
【関連スレ】
3Dアルゴリズム全般
http://toro.2ch.net/test/read.cgi/tech/1164171086/
<集大成>アルゴリズム大辞典
http://toro.2ch.net/test/read.cgi/tech/1086272325/
アルゴリズム総合スレ in ム板
http://toro.2ch.net/test/read.cgi/tech/1217773415/
アルゴリズムとデータ構造 - Kaneko Lab.
ttp://www.kkaneko.com/adp/algo/index.html
アルゴリズムとデータ構造 - ソースコード探険隊
ttp://www.codereading.com/algo_and_ds/
各種アルゴリズムの C++ による実装 - Spaghetti Source
ttp://www.prefield.com/algorithm/
アルゴリズムとデータ構造 - プログラミングスレまとめ in VIP
ttp://vipprog.net/wiki/algo_and_data_const.html
探検
データ構造,アルゴリズム,デザインパターン総合スレ 3©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2016/06/19(日) 14:47:29.63ID:5KvSKdL/
583デフォルトの名無しさん
2017/07/24(月) 01:46:14.40ID:1mGhcU0l もっと本質的な勘違いか。
AならばBはA=Bではないし、AならばBは、BならばAでもないぞ。
言ってるのはthe value, taking on all values in between だけだからな。
AならばBはA=Bではないし、AならばBは、BならばAでもないぞ。
言ってるのはthe value, taking on all values in between だけだからな。
584デフォルトの名無しさん
2017/07/24(月) 03:48:35.95ID:qy6/mYOI >>582
n については何も記述がありません。
そもそも、普通なら関数について書くときには、定義域を書くはずですが、
書いてありません。
習慣として、 n と書けば自然数の集合を動く変数ということになりますので、
そう解釈するのが妥当です。
1 + sin(n) が 0 と 2 の間のすべての値をとるのであれば、当然、
0 < 1 + 1/sqrt(2) < 2 ですので、値 1 + 1/sqrt(2) もとります。
n については何も記述がありません。
そもそも、普通なら関数について書くときには、定義域を書くはずですが、
書いてありません。
習慣として、 n と書けば自然数の集合を動く変数ということになりますので、
そう解釈するのが妥当です。
1 + sin(n) が 0 と 2 の間のすべての値をとるのであれば、当然、
0 < 1 + 1/sqrt(2) < 2 ですので、値 1 + 1/sqrt(2) もとります。
585デフォルトの名無しさん
2017/07/24(月) 03:58:43.71ID:qy6/mYOI 念のため、公式ページの正誤表を見てみましたが、書いてありませんでした。
かなり売れている本だと思いますが、飛ばし読みしている人ばかりなのでしょうか?
かなり売れている本だと思いますが、飛ばし読みしている人ばかりなのでしょうか?
586デフォルトの名無しさん
2017/07/24(月) 04:32:03.26ID:1mGhcU0l 数学の世界ならそうだろうが、数学本じゃなくてプログラミングの本なんだろ?
sin(n) と書いてあればプログラマはたいてい n をfloat型かdouble型の変数だと解釈する。
= 一つとっても大抵のプログラミング言語は等式ではなく、代入演算子と定義している。
分野が違うのだから論理的におかしいと思ったらまずは定義を疑う。数学だってブール代数で1+1=1って書く場合もあるだろう。
今のプログラミング言語は+や-の演算子すら再定義できるのだ。
仮に自然数だとしても、次に本質的な論理問題。>>583 これ。
> 0 と 2 の間のすべての値をとる
これも怪しい。take on All Value なので、on 〜の上にという意味で、日本語にするならば結果がその範囲内に収まるだろう。
All values in between take the valueではないのだ。AはBのとき、BはAか?もちろん偽。
つまり1 + sin(n) = 1 + 1/sqrt(2)を保証する記述ではない。
sin(n) と書いてあればプログラマはたいてい n をfloat型かdouble型の変数だと解釈する。
= 一つとっても大抵のプログラミング言語は等式ではなく、代入演算子と定義している。
分野が違うのだから論理的におかしいと思ったらまずは定義を疑う。数学だってブール代数で1+1=1って書く場合もあるだろう。
今のプログラミング言語は+や-の演算子すら再定義できるのだ。
仮に自然数だとしても、次に本質的な論理問題。>>583 これ。
> 0 と 2 の間のすべての値をとる
これも怪しい。take on All Value なので、on 〜の上にという意味で、日本語にするならば結果がその範囲内に収まるだろう。
All values in between take the valueではないのだ。AはBのとき、BはAか?もちろん偽。
つまり1 + sin(n) = 1 + 1/sqrt(2)を保証する記述ではない。
587デフォルトの名無しさん
2017/07/24(月) 09:36:19.03ID:yBhCO73J 馬鹿のアスペにかまうな
588デフォルトの名無しさん
2017/07/24(月) 15:13:09.34ID:BdqEvISL >>569
>「関数 n^(1 + sin(n)) の指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとる」
指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとるんじゃね?
>「関数 n^(1 + sin(n)) の指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとる」
指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとるんじゃね?
589デフォルトの名無しさん
2017/07/25(火) 00:02:25.50ID:6PSqyxlH nが自然数か何かも書いてないのに勝手に自然数だと勘違いして発狂するとか何考えてんでしょうね
590デフォルトの名無しさん
2017/07/25(火) 08:35:49.61ID:drKlbZNX sin(n) = 1/sqrt(2) のとき n = 約0.785。 degだと45度。
って、そういう話じゃなくて?
って、そういう話じゃなくて?
591デフォルトの名無しさん
2017/07/25(火) 16:29:58.97ID:GyEh+ENJ nが自然数でも問題ない
592デフォルトの名無しさん
2017/07/25(火) 16:30:50.54ID:GyEh+ENJ そもそも指数部(1 + sin(n))の話しかしてないんだから
593デフォルトの名無しさん
2017/07/26(水) 01:18:42.44ID:lXGGezLP え?
594デフォルトの名無しさん
2017/07/26(水) 09:54:26.90ID:xcmFWevw お
595デフォルトの名無しさん
2017/07/28(金) 14:53:29.74ID:+gMyuDZP 凄いことにきずいたぜ!
「ポリモーフィズム」と「ラッパー」は反対の関係にあるんだ。
これによって「メソッド名」と「中身」が 多対多の関係にできるってことだぜ。
「ポリモーフィズム」と「ラッパー」は反対の関係にあるんだ。
これによって「メソッド名」と「中身」が 多対多の関係にできるってことだぜ。
596デフォルトの名無しさん
2017/07/29(土) 09:28:33.20ID:eHtT0zBv ライブラリってログを吐いてもいいの?
597デフォルトの名無しさん
2017/08/06(日) 03:45:40.20ID:tlOocLRL シーケンス図とかスタックトレースって都庁なんだな。
おれの言いたいことが分かるか?「東京都庁」なんだよ。
おれの言いたいことが分かるか?「東京都庁」なんだよ。
598デフォルトの名無しさん
2017/08/06(日) 03:55:13.24ID:tlOocLRL 待てよ・・・ピラミッドやサクラダファミリアも同じ形をしてるじゃないか!
この世界の真実を見たぞ・・・
この世界の真実を見たぞ・・・
599デフォルトの名無しさん
2017/08/06(日) 16:19:04.74ID:J9/QEsgx ムーの読みすぎ
600デフォルトの名無しさん
2017/08/08(火) 23:50:20.23ID:/cPMGZTq つかオブジェクト名繋げないでいきなり関数とは変数とか
呼ぶやつまじでやめて。
継承した変数や関数なのか、このクラスで定義した変数や関数
のかわからないじゃん。
このクラスで定義したものだったら thisつけろよ。
呼ぶやつまじでやめて。
継承した変数や関数なのか、このクラスで定義した変数や関数
のかわからないじゃん。
このクラスで定義したものだったら thisつけろよ。
601デフォルトの名無しさん
2017/08/09(水) 01:40:35.40ID:MPlilw1q >>600
ちょっと何言ってるかよくわからない
ちょっと何言ってるかよくわからない
602デフォルトの名無しさん
2017/08/09(水) 06:04:34.33ID:Iqk5vMYz 言語なによ
603デフォルトの名無しさん
2017/08/09(水) 16:52:44.18ID:dpRGvEHE javascriptωじゃね
604デフォルトの名無しさん
2017/08/11(金) 13:57:12.96ID:Vbqo8hQM デザパタは覚えたし、クラス図やシーケンス図も読める、クラス図の通り
にコーディングもできるし、だいたい何らかのパターンに当てはめ
ればなんとか動く。
命名規則も全部決めてるからその規則通りに書けば自動的に動く
でも「なんでそうなるの?」って質問されるとさっぱりわからないんだよなぁ…
デザパタに則っていないコードとか、俺と違う命名規則の人が書いた
コードも一切理解不能(無能)。
にコーディングもできるし、だいたい何らかのパターンに当てはめ
ればなんとか動く。
命名規則も全部決めてるからその規則通りに書けば自動的に動く
でも「なんでそうなるの?」って質問されるとさっぱりわからないんだよなぁ…
デザパタに則っていないコードとか、俺と違う命名規則の人が書いた
コードも一切理解不能(無能)。
605デフォルトの名無しさん
2017/08/11(金) 14:22:23.73ID:OJhNtZ6y >>604
ただの作業員じゃん(笑)
ただの作業員じゃん(笑)
606デフォルトの名無しさん
2017/08/11(金) 16:40:01.48 >>604
なんとなくだけど、将棋弱そう
なんとなくだけど、将棋弱そう
607デフォルトの名無しさん
2017/08/11(金) 16:48:21.14ID:IcABKbyR >>604
なんとなくだけど、頭弱そう
なんとなくだけど、頭弱そう
608デフォルトの名無しさん
2017/08/11(金) 17:03:34.23ID:4Gx5aAK7 IQ90くらいだろ
609デフォルトの名無しさん
2017/08/11(金) 17:12:35.31ID:07jWFZnC そんなに煽ってやるなよ
610デフォルトの名無しさん
2017/08/11(金) 17:20:22.56ID:4bbWTV9L 372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているサイトはだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円 平凡な稼働時間の80万円の案件もある。
ユー子が求人をだしてる。名刺も渡せる。ユー子に名刺が渡せるんだぞ。夢のようだ
それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト
自称エージェントはJIETから流れてくる案件を転売してるだけだった。
JIETに加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む
473非決定性名無しさん2017/08/03(木) 15:21:30.71
JIETに加入すれば誰でも3次60万からスタートだ。フリーランスのサイトをやってる
自称エージェントもそこから案件情報を取得しきてる。サイトで60万で釣って40万から55万の
間でやらしている。
フリーランスで検索すると引っかかる零細ITがやっているサイトはだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円 平凡な稼働時間の80万円の案件もある。
ユー子が求人をだしてる。名刺も渡せる。ユー子に名刺が渡せるんだぞ。夢のようだ
それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト
自称エージェントはJIETから流れてくる案件を転売してるだけだった。
JIETに加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む
473非決定性名無しさん2017/08/03(木) 15:21:30.71
JIETに加入すれば誰でも3次60万からスタートだ。フリーランスのサイトをやってる
自称エージェントもそこから案件情報を取得しきてる。サイトで60万で釣って40万から55万の
間でやらしている。
611デフォルトの名無しさん
2017/08/11(金) 22:22:00.80ID:vOciZ7Dc >>604
キミは理想のPGだよ。
キミは理想のPGだよ。
612デフォルトの名無しさん
2017/08/11(金) 23:53:53.43ID:VT8Bdzbq >>604
いまどきデザインパターン?
いまどきデザインパターン?
613デフォルトの名無しさん
2017/08/12(土) 05:31:45.11ID:mqOU9Lu0 オートマ限定免許だな
614デフォルトの名無しさん
2017/08/12(土) 11:21:25.45ID:2oFLTBe8 ちょww俺煽られすぎwww
でも、モノは完成するようになったぜ。
要求、仕様から動作原理すっ飛ばして、命名規則だけで
モノが完成するから結構職場では役立ってるぜ。
他のプログラマはフレームワークの使い方がやっとだし
一人だけ技術力があるゴリラ野郎は人望がなくて自分の技術力が
人に盗まれるのを極力恐れているから基本的に部下に意地悪して
教えてあげれば済むことも何も教えてくれない。
社長はどんどん仕事取ってきて、だいたい半数のプロジェクトが進まずに凍結状態に
なり、ブチ切れた客をなんとかかわし続ける日々だ。
そんな状況で俺の場合動くモノを比較的完成する方だからゴリラには結構
気に入られて給料は上がったよ。会社がいつまで持つかは分からんが。
でも、モノは完成するようになったぜ。
要求、仕様から動作原理すっ飛ばして、命名規則だけで
モノが完成するから結構職場では役立ってるぜ。
他のプログラマはフレームワークの使い方がやっとだし
一人だけ技術力があるゴリラ野郎は人望がなくて自分の技術力が
人に盗まれるのを極力恐れているから基本的に部下に意地悪して
教えてあげれば済むことも何も教えてくれない。
社長はどんどん仕事取ってきて、だいたい半数のプロジェクトが進まずに凍結状態に
なり、ブチ切れた客をなんとかかわし続ける日々だ。
そんな状況で俺の場合動くモノを比較的完成する方だからゴリラには結構
気に入られて給料は上がったよ。会社がいつまで持つかは分からんが。
615デフォルトの名無しさん
2017/08/12(土) 11:28:43.73ID:WyVA8Sgg このスレは初心者スレだったな。
616デフォルトの名無しさん
2017/08/12(土) 11:55:15.14ID:NKT9PAHK >>614
どこを縦読み?
どこを縦読み?
617デフォルトの名無しさん
2017/08/12(土) 14:08:41.06ID:D9kn9WR2 戦隊もので言えばブラックじゃないですか!
618デフォルトの名無しさん
2017/09/01(金) 03:15:32.30ID:D43WgHq0 状態遷移のように汎用的に使える技術って他にも何かありますか?
619デフォルトの名無しさん
2017/09/01(金) 09:04:39.07ID:s82kToZ5 ストラテジーが最強
620デフォルトの名無しさん
2017/09/01(金) 15:05:22.49ID:D43WgHq0 デザインパターンですか?汎用性ありますかね
621デフォルトの名無しさん
2017/09/03(日) 14:32:35.28ID:8cpPGlhh622デフォルトの名無しさん
2017/09/03(日) 15:06:35.15ID:+qi04Kz7623デフォルトの名無しさん
2017/09/03(日) 17:00:04.12ID:VeRuY65E624デフォルトの名無しさん
2017/09/03(日) 21:20:14.64ID:+qi04Kz7625デフォルトの名無しさん
2017/09/03(日) 22:05:38.94ID:+qi04Kz7 https://ideone.com/mWu6mC
写経してみたけどどんな時に使えるのかいまいちわかりませんでした・・・
写経してみたけどどんな時に使えるのかいまいちわかりませんでした・・・
626デフォルトの名無しさん
2017/09/03(日) 23:18:58.10ID:SkKZ7pGs 正解です。
627デフォルトの名無しさん
2017/09/04(月) 23:07:19.92ID:NGSv2EGo628デフォルトの名無しさん
2017/09/14(木) 20:19:04.82ID:VdbIWmI2 Introduction to Algorithms 3rd Editionを読むスレ [無断転載禁止]©2ch.net
http://mevius.2ch.net/test/read.cgi/tech/1505387171/
http://mevius.2ch.net/test/read.cgi/tech/1505387171/
629デフォルトの名無しさん
2017/09/15(金) 07:54:04.88ID:gy747Xnp630デフォルトの名無しさん
2017/09/15(金) 11:43:47.38ID:NePdqYQx 隣接行列とか
631デフォルトの名無しさん
2017/09/16(土) 07:20:33.50ID:DwhIrlJj632デフォルトの名無しさん
2017/09/16(土) 09:24:14.80ID:pDAu8pHG consセル?
633デフォルトの名無しさん
2017/09/17(日) 17:09:50.02ID:7slIJ8sy Kleinberg & Tardosの本に以下のような内容の記述があります。
でも、 n > 1 のとき、 H が universal になることは決してないですよね。
u = v のとき、常に、 h(u) = h(v) なので、問題の確率は 1 ですから。
--------------------------------------------------
U を要素数の非常に多い有限集合とする。
H を U から {0, 1, ..., n-1} へのすべての写像の集合のある部分集合とする。
u, v ∈ U に対して、ランダムに選んだ h ∈ H が h(u) = h(v) を満たす確率はたかだか 1/n であるとき、
H は universal であるという。
でも、 n > 1 のとき、 H が universal になることは決してないですよね。
u = v のとき、常に、 h(u) = h(v) なので、問題の確率は 1 ですから。
--------------------------------------------------
U を要素数の非常に多い有限集合とする。
H を U から {0, 1, ..., n-1} へのすべての写像の集合のある部分集合とする。
u, v ∈ U に対して、ランダムに選んだ h ∈ H が h(u) = h(v) を満たす確率はたかだか 1/n であるとき、
H は universal であるという。
634デフォルトの名無しさん
2017/09/17(日) 17:30:37.45ID:7slIJ8sy S を #S ≦ n であるような任意の U の部分集合とする。
u を U の任意の要素とする。
X を ランダムな選択 h ∈ H に対して、値 #{s ∈ S | h(s) = h(u)} をとるようなランダム変数とする。
このとき、
E[X] ≦ 1
である。
証明:
s ∈ S に対し、
h(s) = h(u) であるならば、 1
h(s) ≠ h(u) であるならば、 0
となるようなランダム変数を X_s とする。
仮定により、 H は universal であるから、
E[X_s] = Pr[Xs = 1] ≦ 1/n
X = Σ X_s だから期待値の線形性により、
E[X] = ΣE[X_s] ≦ #S * (1/n) ≦ 1
u を U の任意の要素とする。
X を ランダムな選択 h ∈ H に対して、値 #{s ∈ S | h(s) = h(u)} をとるようなランダム変数とする。
このとき、
E[X] ≦ 1
である。
証明:
s ∈ S に対し、
h(s) = h(u) であるならば、 1
h(s) ≠ h(u) であるならば、 0
となるようなランダム変数を X_s とする。
仮定により、 H は universal であるから、
E[X_s] = Pr[Xs = 1] ≦ 1/n
X = Σ X_s だから期待値の線形性により、
E[X] = ΣE[X_s] ≦ #S * (1/n) ≦ 1
635デフォルトの名無しさん
2017/09/17(日) 17:32:48.13ID:7slIJ8sy この証明は、
u ∈ S であるとき、破綻しますよね。
u ∈ S であるとき、破綻しますよね。
636デフォルトの名無しさん
2017/09/17(日) 17:37:20.77ID:7slIJ8sy Kleinbergはネヴァンリンナ賞を受賞した人だそうですが、大丈夫な人なのでしょうか?
637デフォルトの名無しさん
2017/09/17(日) 18:52:52.16ID:qJGXQCnw ID:7slIJ8syは馬鹿アスペの松坂君
638デフォルトの名無しさん
2017/09/17(日) 23:18:40.22ID:2kxiy1Rb > u = v のとき、常に、
また勝手におれ条件を付け加えてるな。
また勝手におれ条件を付け加えてるな。
639デフォルトの名無しさん
2017/10/06(金) 23:28:50.73ID:5xvc7oH2 T(n) = Ω(g(n))
⇔
T(n) ≧ c*g(n) となる n が無限に多く存在するような定数 c が存在する。
という定義がありますが、なぜ、ほとんどすべての n ではないのでしょうか?
⇔
T(n) ≧ c*g(n) となる n が無限に多く存在するような定数 c が存在する。
という定義がありますが、なぜ、ほとんどすべての n ではないのでしょうか?
640デフォルトの名無しさん
2017/10/07(土) 08:08:49.02ID:oYr2GY5l 「B木」の「B」の由来って謎なのかよ。
641デフォルトの名無しさん
2017/10/07(土) 08:55:33.93ID:uFxBTiFA642デフォルトの名無しさん
2017/10/07(土) 10:32:49.92ID:yM1og+Z2 Binary(嘘)
Balance(へ?)
Balance(へ?)
643デフォルトの名無しさん
2017/10/07(土) 14:37:48.61ID:a6QcCG6E Boeing
644デフォルトの名無しさん
2017/10/07(土) 19:13:27.20ID:htJPCTEu バランスだろ
645デフォルトの名無しさん
2017/10/08(日) 09:18:29.57ID:IlB/Yh1D A木があるだから、その次ってことでB木だろ
646デフォルトの名無しさん
2017/10/08(日) 10:08:31.18ID:S5+imH6k C木、D木、・・・、Z木
647デフォルトの名無しさん
2017/10/08(日) 11:43:33.94ID:I0zVkG9n 乃木、高木、猪木
648デフォルトの名無しさん
2017/10/08(日) 12:52:27.73ID:u+rv4D7i Θ(f(n)) を使うべきところで、 O(f(n)) を使っているという批判をする人がいますが、
具体的にはどういう状況でしょうか?
具体的にはどういう状況でしょうか?
649デフォルトの名無しさん
2017/10/08(日) 19:44:09.13ID:bBgzVIcc シータオメガなんて数学以外で使ったことない
650デフォルトの名無しさん
2017/10/08(日) 20:36:16.81ID:IlB/Yh1D FFでよく使う
651デフォルトの名無しさん
2017/10/08(日) 20:44:05.42ID:97xX0KxU AAでまれに使う
652デフォルトの名無しさん
2017/10/09(月) 18:34:06.40ID:vbK8I5kP 浅野孝夫著『アルゴリズムの基礎とデータ構造』を読んでいます。
「上の挿入ソートの例のように、基本演算回数(比較回数)は入力サイズ n にのみ
依存するとは言えない。そこで、入力サイズ n の入力のうちでアルゴリズムが最も
多くの基本演算を必要とする入力を考えて、それに対する基本演算回数を、本書ではん、
サイズ n の入力に対するアルゴリズムの計算量(time complexity of an algorithm)と
呼ぶ。すなわち、最悪の場合を想定してアルゴリズムの計算量を定めていることになる。
このようにして定められたアルゴリズムの計算量 T はもちろん n にのみ依存する関数で
あるので T(n) と書ける。上の挿入ソートの例では T(n) = n*(n-1)/2 である。」
と書いてあります。
その後、マージソートのところには、
「マージソートの計算量は T(n) = O(n*log(n)) である」
と書いてあります。
T(n) は最悪の場合の計算量ですから、
T(n) = Θ(n*log(n)) が正しいのではないでしょうか?
ちなみに、浅野さんは、この本の最初のほうで O, Ω, Θ を定義しています。
「上の挿入ソートの例のように、基本演算回数(比較回数)は入力サイズ n にのみ
依存するとは言えない。そこで、入力サイズ n の入力のうちでアルゴリズムが最も
多くの基本演算を必要とする入力を考えて、それに対する基本演算回数を、本書ではん、
サイズ n の入力に対するアルゴリズムの計算量(time complexity of an algorithm)と
呼ぶ。すなわち、最悪の場合を想定してアルゴリズムの計算量を定めていることになる。
このようにして定められたアルゴリズムの計算量 T はもちろん n にのみ依存する関数で
あるので T(n) と書ける。上の挿入ソートの例では T(n) = n*(n-1)/2 である。」
と書いてあります。
その後、マージソートのところには、
「マージソートの計算量は T(n) = O(n*log(n)) である」
と書いてあります。
T(n) は最悪の場合の計算量ですから、
T(n) = Θ(n*log(n)) が正しいのではないでしょうか?
ちなみに、浅野さんは、この本の最初のほうで O, Ω, Θ を定義しています。
653デフォルトの名無しさん
2017/10/09(月) 18:35:57.26ID:vbK8I5kP もちろん、 f(n) ∈ Θ(n*log(n)) ⇒ f(n) ∈ O(n*log(n)) ですが。
654デフォルトの名無しさん
2017/10/09(月) 18:51:59.25ID:vbK8I5kP 浅野さんは、挿入ソートの計算量を
O(n^2)
と書いています。
これも
Θ(n^2)
と書くべきですよね。
>>652
に引用したように、
「上の挿入ソートの例では T(n) = n*(n-1)/2」
ですから。
O(n^2)
と書いています。
これも
Θ(n^2)
と書くべきですよね。
>>652
に引用したように、
「上の挿入ソートの例では T(n) = n*(n-1)/2」
ですから。
655デフォルトの名無しさん
2017/10/09(月) 20:59:07.08ID:kKYMaHZG 馬鹿アスペの連投
656デフォルトの名無しさん
2017/10/09(月) 21:39:35.32ID:HQb3QT54 ID:vbK8I5kP くらいの基地外になれば、100連投だって容易い。
657デフォルトの名無しさん
2017/10/15(日) 10:39:26.70ID:Cy7I/MU1 ソートの決定木についてですが、葉の数が「少なくとも」 n! 個あると説明されることが多いですが、
ちょうど n! 個と書かない理由は何ですか?
ちょうど n! 個と書かない理由は何ですか?
658デフォルトの名無しさん
2017/10/15(日) 10:46:56.72ID:Cy7I/MU1 既に順序が決定されているにもかかわらず、さらに無駄な比較をするようなプログラムの
ことを想定しているのでしょうか?
ことを想定しているのでしょうか?
659デフォルトの名無しさん
2017/10/15(日) 10:48:49.83ID:Cy7I/MU1 そうだとすると、決定木のある部分木で、その葉がすべて同じ順序に対応するようなものが
存在することになります。
存在することになります。
660デフォルトの名無しさん
2017/10/15(日) 10:49:46.78ID:Cy7I/MU1 ソートの決定木について厳密に論じている本はありますか?
661デフォルトの名無しさん
2017/10/15(日) 11:09:38.82ID:Cy7I/MU1 This result serves as a guide for us to know, when designing a sorting algorithm, how
well we can expect to do. For example, without such a result, one might set out to try
to design a compare-based sorting algorithm that uses half as many compares as does
mergesort, in the worst case. The lower bound in Proposition I says that such an effort
is futile?no such algorithm exists
well we can expect to do. For example, without such a result, one might set out to try
to design a compare-based sorting algorithm that uses half as many compares as does
mergesort, in the worst case. The lower bound in Proposition I says that such an effort
is futile?no such algorithm exists
662デフォルトの名無しさん
2017/10/15(日) 11:10:24.51ID:Cy7I/MU1663デフォルトの名無しさん
2017/10/15(日) 11:13:29.73ID:Cy7I/MU1 最悪時にマージソートの半分の比較しか必要でないソートのアルゴリズムが存在しないこと
は証明できるのでしょうか?
は証明できるのでしょうか?
664デフォルトの名無しさん
2017/10/15(日) 11:54:45.59ID:Cy7I/MU1665デフォルトの名無しさん
2017/10/15(日) 13:42:57.88ID:IuOQVSqs 馬鹿アスペの連投
666デフォルトの名無しさん
2017/10/21(土) 16:32:10.02ID:edOw+XtB 浅野孝夫著『アルゴリズムの基礎とデータ構造』を読んでいます。
以下の問題に対する浅野さんの解答が↓です。
「このとき根は葉ではないので左の子 v および右の子 w をもつ。」などと書いていますが、
深さ d > 0 の二分木で左の子もしくは右の子を持たないものも当然存在します。
おかしな解答ですね。
二分木において、深さ d までの葉の総数は 2^d 以下であることを示せ。
d に関する帰納法で証明できる。 d = 0 のときは根は葉になるので明らかに成立する。 d > 0 未満で
成立すると仮定し d のときを考える。このとき根は葉ではないので左の子 v および右の子 w をもつ。
v を根とする部分木の深さ d - 1 までの葉が元々の二分木の深さ d までの葉になるがそのような葉の
総数は帰納法の仮定より、 2^(d-1) 以下である。同様に w を根とする部分木の深さ d - 1 までの葉の
総数も 2^(d-1) 以下であり、したがって、元々の二分木の深さ d までの葉の総数は 2^d 以下であることが
言えた。
この問題文自体もおかしいです。
この問題の結果が本文中で使われていてそこを読めばわかるのですが、問題文の意味は、
「深さ d の二分木の葉の総数は 2^d 以下であることを示せ」です。以下のような解答が模範解答ですね。
深さ d の二分木でその葉の総数が 2^d + 1 個以上であるような二分木が存在すると仮定する。
そのような二分木のうち葉の総数が最多であるような二分木を T とする。
すべての葉の深さが d であるような二分木の葉の総数は明らかに 2^d 個である。
よって T の葉にはその深さが d 未満であるような葉が存在する。この葉に子ノードを持たせれば
深さ d の二分木で葉の総数が T の葉の総数よりも多い二分木を作ることができるがこれは矛盾である。
よって、深さ d の二分木の葉の総数は 2^d 個以下である。
以下の問題に対する浅野さんの解答が↓です。
「このとき根は葉ではないので左の子 v および右の子 w をもつ。」などと書いていますが、
深さ d > 0 の二分木で左の子もしくは右の子を持たないものも当然存在します。
おかしな解答ですね。
二分木において、深さ d までの葉の総数は 2^d 以下であることを示せ。
d に関する帰納法で証明できる。 d = 0 のときは根は葉になるので明らかに成立する。 d > 0 未満で
成立すると仮定し d のときを考える。このとき根は葉ではないので左の子 v および右の子 w をもつ。
v を根とする部分木の深さ d - 1 までの葉が元々の二分木の深さ d までの葉になるがそのような葉の
総数は帰納法の仮定より、 2^(d-1) 以下である。同様に w を根とする部分木の深さ d - 1 までの葉の
総数も 2^(d-1) 以下であり、したがって、元々の二分木の深さ d までの葉の総数は 2^d 以下であることが
言えた。
この問題文自体もおかしいです。
この問題の結果が本文中で使われていてそこを読めばわかるのですが、問題文の意味は、
「深さ d の二分木の葉の総数は 2^d 以下であることを示せ」です。以下のような解答が模範解答ですね。
深さ d の二分木でその葉の総数が 2^d + 1 個以上であるような二分木が存在すると仮定する。
そのような二分木のうち葉の総数が最多であるような二分木を T とする。
すべての葉の深さが d であるような二分木の葉の総数は明らかに 2^d 個である。
よって T の葉にはその深さが d 未満であるような葉が存在する。この葉に子ノードを持たせれば
深さ d の二分木で葉の総数が T の葉の総数よりも多い二分木を作ることができるがこれは矛盾である。
よって、深さ d の二分木の葉の総数は 2^d 個以下である。
667デフォルトの名無しさん
2017/10/21(土) 16:38:07.00ID:FeyeuQ+N >すべての葉の深さが d であるような二分木の葉の総数は明らかに 2^d 個である。
これ出しちゃったらそれで証明おしまいのような気がするが。
これ出しちゃったらそれで証明おしまいのような気がするが。
668デフォルトの名無しさん
2017/10/21(土) 16:43:21.60ID:edOw+XtB あ、問題文はおかしくないようです。
二分木において、深さ d までの葉の総数は 2^d 以下であることを示せ。
という問題でOKです。
二分木において、深さ d までの葉の総数は 2^d 以下であることを示せ。
という問題でOKです。
669デフォルトの名無しさん
2017/10/21(土) 16:51:58.42ID:edOw+XtB 二分木において、深さ d までの葉の総数が 2^d + 1 個以上である二分木が存在すると仮定する。
深さ d までの葉の総数が最多である二分木を T とする。
このとき、 T には深さ d 未満の葉が少なくとも一つ存在する。もしそうでないと仮定すると、 T の
すべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 2^d 個以下に
なってしまうが、これは矛盾である。
T の深さ d 未満の葉に子ノードを持たせれば、深さ d までの葉の総数が T よりも多い二分木が存在する
ことになってしまい矛盾が発生する。
よって、において、深さ d までの葉の総数は 2^d 個以下である。
深さ d までの葉の総数が最多である二分木を T とする。
このとき、 T には深さ d 未満の葉が少なくとも一つ存在する。もしそうでないと仮定すると、 T の
すべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 2^d 個以下に
なってしまうが、これは矛盾である。
T の深さ d 未満の葉に子ノードを持たせれば、深さ d までの葉の総数が T よりも多い二分木が存在する
ことになってしまい矛盾が発生する。
よって、において、深さ d までの葉の総数は 2^d 個以下である。
670デフォルトの名無しさん
2017/10/21(土) 18:35:04.55ID:JlJoedU7 馬鹿アスペの連投
671デフォルトの名無しさん
2017/10/21(土) 18:51:41.34ID:FeyeuQ+N 二分木じゃなくて三分木なら2^d以下ではないわけだけど、>>669の証明を二分木から三分木に変えても
論理展開に違いが出ないから明らかにおかしいだろう。
論理展開に違いが出ないから明らかにおかしいだろう。
672デフォルトの名無しさん
2017/10/21(土) 19:21:45.75ID:edOw+XtB 三分木では、
「もしそうでないと仮定すると、 T のすべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 2^d 個以下に
なってしまう」
が成り立ちません。
「もしそうでないと仮定すると、 T のすべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 2^d 個以下に
なってしまう」
が成り立ちません。
673デフォルトの名無しさん
2017/10/21(土) 19:24:01.05ID:edOw+XtB 三分木の場合の証明は以下のようになりますね。
三分木において、深さ d までの葉の総数が 3^d + 1 個以上である三分木が存在すると仮定する。
深さ d までの葉の総数が最多である三分木を T とする。
このとき、 T には深さ d 未満の葉が少なくとも一つ存在する。もしそうでないと仮定すると、 T の
すべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 3^d 個以下に
なってしまうが、これは矛盾である。
T の深さ d 未満の葉に子ノードを持たせれば、深さ d までの葉の総数が T よりも多い三分木が存在する
ことになってしまい矛盾が発生する。
よって、において、深さ d までの葉の総数は 3^d 個以下である。
三分木において、深さ d までの葉の総数が 3^d + 1 個以上である三分木が存在すると仮定する。
深さ d までの葉の総数が最多である三分木を T とする。
このとき、 T には深さ d 未満の葉が少なくとも一つ存在する。もしそうでないと仮定すると、 T の
すべての葉の深さは d 以上であるから、明らかに深さ d までの葉の総数は 3^d 個以下に
なってしまうが、これは矛盾である。
T の深さ d 未満の葉に子ノードを持たせれば、深さ d までの葉の総数が T よりも多い三分木が存在する
ことになってしまい矛盾が発生する。
よって、において、深さ d までの葉の総数は 3^d 個以下である。
674デフォルトの名無しさん
2017/10/21(土) 19:33:58.53ID:FeyeuQ+N675名無しさん@そうだ選挙に行こう! Go to vote!
2017/10/22(日) 15:43:58.38ID:PJF1xk0l 2分ヒープは完全二分木を使ったデータ構造ですが。
この完全二分木のことを半順序のついた木というのはなぜでしょうか?
この完全二分木のことを半順序のついた木というのはなぜでしょうか?
676デフォルトの名無しさん
2017/10/23(月) 05:47:03.23ID:iFI38Dlw %%%%1000%%%%
000-[HUM%58*73.1\%]/2I/3NM/61.3SNMK%?%3%51.22222222222221%
001-[[[%6/4$17.6135412α3]]]]+DOM+SIL+7%
002-UML7%[61.2[31.5[!%32∂LM17.36%!16.3!%<<<%!HSTOL7%!Q!S!=3m=<2TOL<3Q9A<2.1GHz%,DOK,HAOARA,
003-[[[HEMLOT47[<\41.2%Q,===>[MLS<DPNO<\2.3>#ESOLA!5%!3MLA!>LTOSA>7TONSA>%>%end
000-[HUM%58*73.1\%]/2I/3NM/61.3SNMK%?%3%51.22222222222221%
001-[[[%6/4$17.6135412α3]]]]+DOM+SIL+7%
002-UML7%[61.2[31.5[!%32∂LM17.36%!16.3!%<<<%!HSTOL7%!Q!S!=3m=<2TOL<3Q9A<2.1GHz%,DOK,HAOARA,
003-[[[HEMLOT47[<\41.2%Q,===>[MLS<DPNO<\2.3>#ESOLA!5%!3MLA!>LTOSA>7TONSA>%>%end
677デフォルトの名無しさん
2017/10/24(火) 00:30:44.81ID:jO+jDbIG バッチ処理, ジョブ制御に有効なデザインパターンって何?
678デフォルトの名無しさん
2017/10/24(火) 09:45:11.29ID:JWUKPJot バッジパターン
679デフォルトの名無しさん
2017/11/05(日) 08:35:59.08ID:0dKYGWWl ヤフーブログの https://blogs.yahoo.co.jp/kamyu_2010 にデザパタ解説を発見した。
680デフォルトの名無しさん
2017/11/05(日) 13:49:09.49ID:kyKiHR5g >>675
再帰的に、親は両方の子以下の数値をもつ。
左右の子の大小関係は考慮しない
ここでは説明しやすいように、配列の[0]は使わない。
[1]から始めると計算が楽。
親1, 左右の子は2, 3で、法則は、親n, 子2n, 2n+1
もし[0]から始めると、
親0, 左右の子は1, 2で、親1, 左右の子は3, 4で、
法則は、親n, 子2n+1, 2n+2、となり複雑
親[1] → 子[2, 3]
[1]3, [2]10, [3]30
[2] → [4, 5]
[4]100, [5]20
[3] → [6, 7]
[6]70, [7]200
JavaScript で、漏れが作った、2分ヒープ
http://jsdo.it/michihito/bGH5
再帰的に、親は両方の子以下の数値をもつ。
左右の子の大小関係は考慮しない
ここでは説明しやすいように、配列の[0]は使わない。
[1]から始めると計算が楽。
親1, 左右の子は2, 3で、法則は、親n, 子2n, 2n+1
もし[0]から始めると、
親0, 左右の子は1, 2で、親1, 左右の子は3, 4で、
法則は、親n, 子2n+1, 2n+2、となり複雑
親[1] → 子[2, 3]
[1]3, [2]10, [3]30
[2] → [4, 5]
[4]100, [5]20
[3] → [6, 7]
[6]70, [7]200
JavaScript で、漏れが作った、2分ヒープ
http://jsdo.it/michihito/bGH5
681デフォルトの名無しさん
2017/11/05(日) 13:58:55.54ID:lcYDevpf で、半順序はどこに登場するんですか?
682デフォルトの名無しさん
2017/11/05(日) 19:58:31.80ID:kyKiHR5g >左右の子の大小関係は考慮しない
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領、米台関係深化に向けた法案に署名 ★2 [少考さん★]
- 【初激白】松岡昌宏が語った、国分太一への思いと日テレへの疑問 「日本テレビさんのやり方はコンプライアンス違反ではないのか」 [ひかり★]
- 自民党 議員定数削減法案の了承を見送り 党内で異論相次いだため [Hitzeschleier★]
- 【芸能】元乃木坂46・松村沙友理 結婚&妊娠を発表! 「引き続き私らしくさゆりんご全開で頑張ります!」 [冬月記者★]
- 【速報】長期金利上昇、一時1.890% [蚤の市★]
- 「2万円給付は富裕層が得をする形に」「お米券で儲かるのはJA」 高市政権“21兆円経済対策”が「現金給付のほうがマシ」と言われる理由 [ぐれ★]
- 【悲報】中国、ロシア、ガチで対日同盟結成へwwww高市さあああああ [535650357]
- 【速報】トランプ「アメリカはいつも日本人から搾取され続けてきた、絶対に許さない」 [339035499]
- 野党「なんで1割削減?」高市「維新が言ってるもん」野党「いや自分の考えは?😨」高市「5割なら反対するもん🤗」 [359965264]
- 【速報】日本人「中国さん、もし日本に核を落としたら日本人は“本気”出すよ?」 [329271814]
- 【危険】金利上昇、止まらず!1.888%に!高市ピンチ [219241683]
- 【悲報】高市「日本は今、成長型経済に移行しつつあるの!😤」🤔? [359965264]
