Merge pull request #163 from kmyk/lint-subset

\subset は避けて \subseteq か \subsetneq を使うようにする

Author: kmyk

_algorithms/karatsuba-algorithm.md

@@ -53,7 +53,7 @@ Karatsuba 法では、恒等式
 $$
 f _ 0 g _ 1 + f _ 1 g _ 0 = ( f _ 0 + f _ 1 ) ( g _ 0 + g _ 1 ) - f _ 0 g _ 0 - f _ 1 g _ 1
 $$
-を利用する。すると次のような疑似コードを得る。再帰呼出しの回数が $4$ 回から $3$ 回に減り、計算量が $\Theta ( N ^ { \log _ 2 3 } ) \subset O ( N ^ { 1.59 } )$ に改善する。
+を利用する。すると次のような疑似コードを得る。再帰呼出しの回数が $4$ 回から $3$ 回に減り、計算量が $\Theta ( N ^ { \log _ 2 3 } ) \subseteq O ( N ^ { 1.59 } )$ に改善する。
 
 
 ```plaintext-katex

_algorithms/strongly-connected-components.md

@@ -12,13 +12,13 @@ algorithm:
   space_complexity: $O(\lvert V \rvert + \lvert E \rvert)$
   aliases: []
   level: blue
-description: 有向グラフ $G = (V, E)$ の強連結成分 $C \subset V$ は、全ての $(u, v) \in C^2$ について $u$ から $v$ へ到達可能な極大集合である。$G$ の全ての強連結成分は $V$ の分割になり、これを強連結成分分解と呼ぶ。空間計算量、時間計算量ともに $O(\lvert V \rvert + \lvert E \rvert)$ で構成することができる。
+description: 有向グラフ $G = (V, E)$ の強連結成分 $C \subseteq V$ は、全ての $(u, v) \in C^2$ について $u$ から $v$ へ到達可能な極大集合である。$G$ の全ての強連結成分は $V$ の分割になり、これを強連結成分分解と呼ぶ。空間計算量、時間計算量ともに $O(\lvert V \rvert + \lvert E \rvert)$ で構成することができる。
 ---
 
 # 強連結成分分解
 
 ## 概要
-有向グラフ $G = (V, E)$ の強連結成分 $C \subset V$ は、全ての $(u, v) \in C^2$ について $u$ から $v$ へ到達可能な極大集合である。$G$ の全ての強連結成分は $V$ の分割になり、これを強連結成分分解と呼ぶ。空間計算量、時間計算量ともに $O(\lvert V \rvert + \lvert E \rvert)$ で構成することができる。実際に構成するアルゴリズムとして、$G$ と $G$ の転置グラフ $G ^ {\top} = (V, E ^ {\top}),\  E ^ {\top} = \lbrace (u,v) : (v, u) \in E \rbrace$ を深さ優先探索する方法[^mathtrain]と、lowlinkに着目して、構成する方法[^acl]がある。
+有向グラフ $G = (V, E)$ の強連結成分 $C \subseteq V$ は、全ての $(u, v) \in C^2$ について $u$ から $v$ へ到達可能な極大集合である。$G$ の全ての強連結成分は $V$ の分割になり、これを強連結成分分解と呼ぶ。空間計算量、時間計算量ともに $O(\lvert V \rvert + \lvert E \rvert)$ で構成することができる。実際に構成するアルゴリズムとして、$G$ と $G$ の転置グラフ $G ^ {\top} = (V, E ^ {\top}),\  E ^ {\top} = \lbrace (u,v) : (v, u) \in E \rbrace$ を深さ優先探索する方法[^mathtrain]と、lowlinkに着目して、構成する方法[^acl]がある。
 接続する2頂点が $G$の同じ強連結成分に属する全ての辺を縮約することで得られるグラフが有向非巡回グラフであるという性質がある。
 
 

scripts/lint.py

@@ -342,6 +342,11 @@ def error_by_regex(pattern: str, text: str, fix: Union[None, str, Callable[[Matc
         text=r"style: `無向辺 $x - y$` ではなく `無向辺 $\lbrace x, y \rbrace$` と書いてください。(https://github.com/kmyk/algorithm-encyclopedia/pull/44)",
     )
 
+    error_by_regex(
+        pattern=r'\\subset\b',
+        text=r"style: `\subset` ではなく `\subseteq` か `\subsetneq` を使ってください。`\subset` では等号が含まれるのかどうか曖昧です。",
+    )
+
     error_by_regex(
         pattern=r'辺用量',
         text=r"日本語: `辺用量` ではなく `辺容量` です。",