アルゴリズムポータル
1学習順序
このポータルでは、
2基礎
data/lecture/information/algorithm/foundation/computational-complexity-basics.lecture.n.md
data/lecture/information/algorithm/foundation/recursion-basics.lecture.n.md
data/lecture/information/algorithm/foundation/sorting-basics.lecture.n.md
3データ構造 ・配列探索 ・グラフ探索
data/lecture/information/algorithm/data-structures/data-structures-portal.lecture.n.md
data/lecture/information/algorithm/search/linear-search.lecture.n.md
data/lecture/information/algorithm/search/binary-search.lecture.n.md
data/lecture/information/algorithm/graph/graph-algorithms-portal.lecture.n.md
data/lecture/information/algorithm/search/dfs-and-bfs-basics.lecture.n.md
4学習目標
算法 の出力仕様 と前提条件 を区別 する。不変条件 や帰納法 を用 いて正当性 を説明 する。入力規模 に対 する時間 ・空間計算量 を評価 する。
Algorithms Portal
1Learning sequence
This portal studies algorithms—finite procedures for solving problems—from the complementary perspectives of correctness and complexity. Begin with complexity and recursion, then proceed to sorting, data structures, array search, and graph traversal.
2Foundations
data/lecture/information/algorithm/foundation/computational-complexity-basics.lecture.n.md data/lecture/information/algorithm/foundation/recursion-basics.lecture.n.md data/lecture/information/algorithm/foundation/sorting-basics.lecture.n.md3Data Structures, Array Search, and Graph Traversal
data/lecture/information/algorithm/data-structures/data-structures-portal.lecture.n.md data/lecture/information/algorithm/search/linear-search.lecture.n.md data/lecture/information/algorithm/search/binary-search.lecture.n.md data/lecture/information/algorithm/graph/graph-algorithms-portal.lecture.n.md data/lecture/information/algorithm/search/dfs-and-bfs-basics.lecture.n.md4Learning objectives
- Distinguish an algorithm's output specification from its preconditions.
- Explain correctness using invariants or induction.
- Evaluate time and space complexity as functions of input size.