データ構造,アルゴリズム,デザインパターン総合ｽﾚ 4

**デフォルトの名無しさん** · 2020/01/27(月) 22:28:35.79

【前スレ】
データ構造,アルゴリズム,デザインパターン総合ｽﾚ 3
https://mevius.5ch.net/test/read.cgi/tech/1466315249/

【関連スレ】
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

**デフォルトの名無しさん** · 2022/09/26(月) 21:50:30.08

>>85
ありがとうございました。

**デフォルトの名無しさん** · 2022/10/17(月) 16:05:05.43

命題2.4：
始点 s から各頂点へ最短路が存在すると仮定する。このとき、 s を根とする
有向全域木 T が存在して、 T における s から頂点 v への有向路は、 s から
頂点 v への最短路となっている。

証明：
始点 s から各頂点 v への最短路（の枝集合）を P_v とし、 T = ∪_{v ∈ V} P_v とおく。
定理2.3と命題2.2より、 P_v は単純有向路としてよい。 T の要素数がちょうど n - 1 であれば、
これは有向全域木であり、各頂点への最短路を含む。一方、 T の要素数が n 以上の場合は、
以下の手順で最短路を繰り返し修正することにより、所望の有向全域木を求めることができる。
T の要素数が n 以上と仮定する。このとき、ある頂点 v_* ∈ V - {s} が存在して、 T の中には
v_* に向かう枝が2つ以上ある。
…

v_* に向かう枝が2つ以上あることの証明ですが、どのような証明が典型的なものと考えられますか？

証明：
T を無向グラフと考えたとき、 T は連結であり、 #T = n だから無向閉路が存在する。
T の作り方から s に向かう枝は存在しないから、 s はこの無向閉路上にはない。
仮に、上の v_* が存在しないと仮定する。
v を上の無向閉路上の任意の頂点とする。 T の定義により、 T の中には v へ向かう枝が存在するが、
仮定により、そのような枝は唯一つしか存在しない。ゆえに、この無向閉路を有向グラフとして考えた
とき、有向閉路である。

T の作り方から、 s から v への有向路が存在する。
ところが、 s は上の有向閉路には含まれないからこれは矛盾である。

**デフォルトの名無しさん** · 2022/10/17(月) 17:01:23.13

もっと分かりやすく書き直しました：

命題2.4：
始点 s から各頂点へ最短路が存在すると仮定する。このとき、 s を根とする
有向全域木 T が存在して、 T における s から頂点 v への有向路は、 s から
頂点 v への最短路となっている。

証明：
始点 s から各頂点 v への最短路（の枝集合）を P_v とし、 T = ∪_{v ∈ V} P_v とおく。
定理2.3と命題2.2より、 P_v は単純有向路としてよい。 T の要素数がちょうど n - 1 であれば、
これは有向全域木であり、各頂点への最短路を含む。一方、 T の要素数が n 以上の場合は、
以下の手順で最短路を繰り返し修正することにより、所望の有向全域木を求めることができる。
T の要素数が n 以上と仮定する。このとき、ある頂点 v_* ∈ V - {s} が存在して、 T の中には
v_* に向かう枝が2つ以上ある。
…

v_* に向かう枝が2つ以上あることの証明ですが、どのような証明が典型的なものと考えられますか？

証明：
T を無向グラフと考えたとき、 T は連結であり、 #T = n だから無向閉路が存在する。
仮に、上の v_* が存在しないと仮定する。
v を上の無向閉路上の任意の頂点とする。 T の定義により、 T の中には v へ向かう枝が存在するが、
仮定により、そのような枝は唯一つしか存在しない。ゆえに、この無向閉路を有向グラフとして考えた
とき、有向閉路である。この有向閉路を C とする。 T の作り方から s に向かう枝は存在しないから、
s は C 上にはない。

T の作り方から、 s から v への有向路 P が存在する。
s は C 上にはなく、 v は C 上にあることに注意する。
P 上の頂点で最初に C 上の頂点ともなる頂点を w とする。
w は s とは異なるから、 P 上には、 w の直前の頂点 u が存在する。u は w についての仮定から、
C 上の頂点ではない。 w は C 上の頂点であるから、 w へ向かう C 上の枝が存在する。
以上から、 w へ向かう少なくとも2つ以上の枝が存在することになる。これは矛盾である。

**デフォルトの名無しさん** · 2022/11/12(土) 19:54:31.16

アルゴリズムの学習で、ツリー構造のデータ詮索とか学習してるのだが。
一般的にデータってリレーショナルデータベースとか、
プログラムで利用するなら配列とかでしょ。
ツリー構造のデータってそんなあるの？

**デフォルトの名無しさん** · 2022/11/12(土) 20:16:08.76

ファイルシステムとかHTMLとかいくらでもある

**デフォルトの名無しさん** · 2022/11/12(土) 21:18:58.24

XML

**デフォルトの名無しさん** · 2022/11/12(土) 23:06:22.44

パイ毛　パイ毛　パイ毛～

**デフォルトの名無しさん** · 2022/11/12(土) 23:15:39.39

データ詮索ワロタ

**デフォルトの名無しさん** · 2023/04/30(日) 19:23:01.90

こんなスレが埋もれてるなんて信じられん
お前らもっとアルゴリズム刻めよ

**デフォルトの名無しさん** · 2023/05/03(水) 01:15:28.00

ニューラルネットワークでデータを詮索してみるか

**デフォルトの名無しさん** · 2023/05/27(土) 13:47:32.62

デザインパターンは廃れたよな

**デフォルトの名無しさん** · 2023/05/28(日) 16:34:40.65

エディタとかDBとか巨大外部リソースとのやりとりに関してのアルゴリズムはまだまだ再考の余地があると思う

**デフォルトの名無しさん** · 2023/06/28(水) 16:50:44.07

漠∞！！！！
戸∞！！！！！
廷∞！！！！！！
与∞！！！！！！！
合∞！！！！！！！！
山∞！！！！！！！！！
α∞！！！！！！！！
野∞！！！！！！！！

**デフォルトの名無しさん** · 2023/10/13(金) 19:28:46.40

では教育してやろう。”本当のオタク”の萌えに対する論理戦というものを……

**デフォルトの名無しさん** · 2023/10/29(日) 09:40:11.61

マージソートのmidの導出ですが
mid=(left+right+1)//2
ではなく
mid=(left+right)//2
なのはなぜでしょうか

この1行で正しくソートできないのです

pythonで勉強中の超初心者です
よろしくお願いします

**デフォルトの名無しさん** · 2023/10/29(日) 09:40:36.19

マージソートのmidの導出ですが
mid=(left+right+1)//2
ではなく
mid=(left+right)//2
なのはなぜでしょうか

この1行で正しくソートできないのです

pythonで勉強中の超初心者です
よろしくお願いします

**デフォルトの名無しさん** · 2023/12/23(土) 10:34:22.20

プログラムを最近勉強し始めたのですが二分探索木や赤黒木みたいなデータ構造って現場でも実際に使われているのですか？

**デフォルトの名無しさん** · 2023/12/23(土) 13:21:36.77

必要になったことはないなあ、連想配列はハッシュテーブルの方が速いし
ソートが必要ならリストを使う

**デフォルトの名無しさん** · 2023/12/23(土) 16:14:31.33

やっぱり使わないですよねぇ
今朝からAVL木練習してるんだけど、
やはり回転とかの作業分だけハッシュテーブルに比べると圧倒的に遅いんだよなぁ
当たり前だけど。

**デフォルトの名無しさん** · 2023/12/23(土) 16:22:46.85

永続化データ構造は作りやすいから.NETのイミュータブルコレクションでは使われてるよ