Skip to content

Commit 60bf383

Browse files
update docs
1 parent d0bff08 commit 60bf383

File tree

9 files changed

+584
-3
lines changed

9 files changed

+584
-3
lines changed

docs/Algorithm/NW.mdx

Lines changed: 246 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,246 @@
1+
---
2+
title: Smith-Waterman-Algorithm
3+
description: Smith-Waterman algorithm, a local sequence alignment algorithm
4+
tags: [algorithm, code, bioinfo]
5+
sidebar_position: 5
6+
---
7+
8+
import ReferenceList from "@site/src/components/ReferenceList";
9+
import wikipedia from "@site/static/img/icon/wikipedia.png";
10+
11+
12+
13+
## 概念
14+
15+
Smith-Waterman 算法是一种局部序列比对算法,用于在两个序列之间寻找最佳的局部相似区域。与 Needleman-Wunsch 算法类似,Smith-Waterman 算法也是基于动态规划的思想,但是它不允许负分数的出现 (负分替换为 0),因此可以找到局部相似区域。
16+
17+
## 理解
18+
19+
要找到两个序列的最佳比对,也就是说要找到一条路径,使得路径上的得分最大。
20+
21+
为什么要用动态规划的思想:
22+
23+
比如我们要找到两个城市之间的最短距离,两个城市之间有若干个中间城市,如下图所示:
24+
25+
26+
![distance](https://raw.githubusercontent.com/wjwei-handsome/wwjPic/main/img/20240430151241.png)
27+
28+
我们要找到红色点到橙色点的最短距离,可以把问题简化成红色点分别到 A,B,C 点的最短距离 (如果 Sa, Sb, Sc 相同的话), 以此往前类推,把问题分解成子问题,最后得到最优解。
29+
30+
## 步骤解释
31+
32+
### 1. 确定置换矩阵和空位罚分
33+
34+
#### 置换矩阵
35+
36+
置换矩阵赋予每一碱基对匹配或错配的分数,相同或类似则赋予正值,不同或不相似赋予 0 分或者负分。
37+
38+
以核苷酸比对为例,若匹配 (match) 为 1 分,错配 (mismatch) 为 -1 分,则置换矩阵如下:
39+
40+
| | A | T | C | G |
41+
|---|---|---|---|---|
42+
| A | 1 | -1 | -1 | -1 |
43+
| T | -1 | 1 | -1 | -1 |
44+
| C | -1 | -1 | 1 | -1 |
45+
| G | -1 | -1 | -1 | 1 |
46+
47+
也可以表示为:
48+
49+
$s(a_{i},b_{j})={\begin{cases}1,&a_{i}=b_{j}\\-1,&a_{i}\neq b_{j}\end{cases}}$
50+
51+
氨基酸序列比对的置换矩阵一般更加复杂。通常性质相似的残基对具有正分数,反之,不相似的具有负分数。
52+
53+
#### 空位罚分
54+
55+
空位罚分决定了引入或延长空位的分值。
56+
57+
空位罚分决定了插入或者删除的分值。最基本的空位罚分方式为每次插入或者删除的得分相同。
58+
59+
但是从生物学意义上来讲,插入或缺失相比碱基的错配,会带来更严重的影响,比如移码突变等,因此空位罚分一般会比错配分数更高。
60+
61+
另外,单个基因突变事件可能导致一长串空位的插入。因此,一个连续的较长的空位优于多个分散的小的空位。
62+
63+
虽然多个分散的小的空位可以产生更多匹配,但一个连续的较长的空位代表这个区域只在一个序列中出现,使用后者可以避免为了得到高分而过度匹配这段序列。
64+
65+
实现该方法只需要引入**空位起始罚分****空位延长罚分**的概念。空位起始罚分通常高于空位延长罚分。
66+
67+
##### 空位权值恒定模型
68+
69+
该模型空位的罚分正比于空位的长度。
70+
71+
##### 空位延伸罚分模型
72+
73+
$W_{k}=u(k-1)+v\quad (u>0,v>0)$
74+
75+
该模型考虑空位起始罚分和空位延长罚分,其中$v$为开始空位的罚分,$u$为每次延长空位的罚分。例如,一个长度为 2 的空位的罚分为$u+v$, 长度为 10 的空位的罚分为$9u+v$。
76+
77+
78+
### 2. 初始化得分矩阵
79+
80+
得分矩阵的长度和宽度分别为两序列的长度 +1。其首行和首列所有元素均设为 0。
81+
82+
额外的首行和首列得以让一序列从另一序列的**任意位置**开始进行比对,分值为零使其不受罚分。
83+
84+
85+
### 3. 计算得分矩阵
86+
87+
对得分矩阵的每一元素进行从左到右、从上到下的打分,考虑匹配或错配(对角线得分),引入空位(水平或垂直得分)分别带来的结果,取最高值作为该元素的分值。
88+
89+
如果分值低于 0,则该元素分值为 0。打分的同时记录下每一个分数的来源用来回溯。
90+
91+
92+
举例:
93+
94+
给定两条序列 TGTTACGG 和 GGTTGACTA. 并使用如下置换矩阵和空位罚分:
95+
96+
- $s(a_{i},b_{j})={\begin{cases}1,&a_{i}=b_{j}\\-1,&a_{i}\neq b_{j}\end{cases}}$
97+
98+
99+
- $W_{k}=kW_{1}, W_{1} = 2$
100+
101+
初始化得分矩阵,然后进行打分,前三个碱基如下图所示:
102+
103+
其中黄色表示正在计算的两个碱基,黑色箭头和箭头上的分数表示分数来源和对应分数,得到矩阵上的值为计算不同来源得到的最大值。
104+
105+
比如第一对碱基,有三个方向:
106+
107+
- 上方的箭头为$0-2=-2$
108+
- 左方的箭头为$0-2=-2$
109+
- 左上角对角线的箭头为$0-3=-2$
110+
111+
这里最大的值为$-2$, 负数取$0$
112+
113+
再比如第三张小图,为`G-G`的碱基匹配对,也有三个方向:
114+
115+
- 上方的箭头为$0-2=-2$
116+
- 左方的箭头为$0-2=-2$
117+
- 左上角对角线的箭头为$0+3=3$
118+
119+
取最大值为$3$
120+
121+
122+
![step](https://upload.wikimedia.org/wikipedia/commons/2/2c/Smith-Waterman-Algorithm-Example-Step1.png)
123+
124+
:::tip
125+
126+
横向和竖向的箭头分数都是空位罚分,对角线的箭头分数是置换矩阵所得
127+
128+
:::
129+
130+
最终以此理,我们可以得到如下的得分矩阵:
131+
132+
![matrix](https://upload.wikimedia.org/wikipedia/commons/2/28/Smith-Waterman-Algorithm-Example-Step2.png)
133+
134+
其中红色箭头代表分数的来源用于回溯,蓝色方块表示得分矩阵的最大值。
135+
136+
137+
### 2. 回溯寻找最优比对
138+
139+
通过动态规划的方法,从得分矩阵的最大分值的元素开始回溯直至分数为 0 的元素。
140+
141+
具有局部最高相似性的片段在此过程中产生,如下图所示:
142+
143+
![huishu](https://upload.wikimedia.org/wikipedia/commons/e/e6/Smith-Waterman-Algorithm-Example-Step3.png)
144+
145+
最终得到比对结果为:
146+
147+
```
148+
G T T - A C
149+
| | | | |
150+
G T T G A C
151+
```
152+
153+
:::note
154+
155+
具有第二高相似性的片段可以通过从最高相似性回溯过程之外的最高分位置开始回溯,即完成首次回溯之后,从首次回溯区域之外的最高分元素开始回溯,以得到第二个局部相似片段。
156+
157+
:::
158+
159+
160+
## 代码实现
161+
162+
用 rust 写一个该算法的得分矩阵计算的基本实现:
163+
164+
```rust
165+
166+
// 1. define the score of match, mismatch and gap
167+
const MATCH_SCORE: i64 = 3;
168+
const MISMATCH_SCORE: i64 = -3;
169+
const GAP_SCORE: i64 = -2;
170+
171+
fn smith_waterman(seq1: &str, seq2: &str) {
172+
173+
// 2. initialize the matrix
174+
let mut matrix = vec![vec![0; seq2.len() + 1]; seq1.len() + 1];
175+
176+
// 3. calculate the matrix
177+
for i in 1..=seq1.len() {
178+
for j in 1..=seq2.len() {
179+
// calculate the score from diagonal
180+
let diag_score = if seq1.chars().nth(i - 1) == seq2.chars().nth(j - 1) {
181+
MATCH_SCORE
182+
} else {
183+
MISMATCH_SCORE
184+
};
185+
186+
// compare the three possible ways to get the current cell
187+
matrix[i][j] = std::cmp::max(
188+
matrix[i - 1][j - 1] + diag_score, // diagonal
189+
std::cmp::max(matrix[i - 1][j] + GAP_SCORE, matrix[i][j - 1] + GAP_SCORE), // left and up
190+
);
191+
192+
// if matrix_score < 0, set it to 0
193+
matrix[i][j] = std::cmp::max(0, matrix[i][j]);
194+
}
195+
}
196+
// 4. display the matrix
197+
display_matrix(&matrix);
198+
}
199+
200+
// pretty print the matrix
201+
fn display_matrix(matrix: &Vec<Vec<i64>>) {
202+
for row in matrix {
203+
for cell in row {
204+
print!("{:4} ", cell);
205+
}
206+
println!();
207+
}
208+
}
209+
210+
fn main() {
211+
let seq1 = "GGTTGACTA";
212+
let seq2 = "TGTTACGG";
213+
214+
smith_waterman(seq1, seq2);
215+
}
216+
217+
```
218+
219+
可以得到如下结果:
220+
221+
```
222+
0 0 0 0 0 0 0 0 0
223+
0 0 3 1 0 0 0 3 3
224+
0 0 3 1 0 0 0 3 6
225+
0 3 1 6 4 2 0 1 4
226+
0 3 1 4 9 7 5 3 2
227+
0 1 6 4 7 6 4 8 6
228+
0 0 4 3 5 10 8 6 5
229+
0 0 2 1 3 8 13 11 9
230+
0 3 1 5 4 6 11 10 8
231+
0 1 0 3 2 7 9 8 7
232+
```
233+
234+
和我们推理得到的一致。
235+
236+
## 参考
237+
238+
<ReferenceList
239+
data={[
240+
{
241+
title: "维基百科",
242+
link: "https://en.wikipedia.org/wiki/Smith%E2%80%93Waterman_algorithm",
243+
src: wikipedia,
244+
},
245+
]}
246+
/>

docs/Algorithm/_category_.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,6 @@
55
"type": "generated-index",
66
"description": "Algorithm!",
77
"image": "/img/icon/algorithm.png"
8-
}
8+
},
9+
"collapsed": false
910
}
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
{
2+
"label": "数组和链表",
3+
"position": 2,
4+
"link": {
5+
"type": "generated-index",
6+
"description": "基本数据结构:数组和链表"
7+
},
8+
"collapsed": true
9+
}

docs/Algorithm/basic/_category_.json

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
{
2+
"label": "算法基础知识",
3+
"position": 1,
4+
"link": {
5+
"type": "generated-index",
6+
"description": "算法基础知识,概念,评估,复杂度"
7+
},
8+
"collapsed": true
9+
}
Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
---
2+
title: 算法效率评估
3+
description: 算法效率评估
4+
tags: [algorithm,]
5+
sidebar_position: 1
6+
last_update:
7+
date: 04/16/2024
8+
author: WenjieWei
9+
---
10+
11+
## 概念
12+
13+
在正确解决问题的前提下,希望找到**高效**的算法。
14+
15+
包括以下两个维度:
16+
17+
- 时间效率:算法执行所需的时间
18+
- 空间效率:算法占用内存的大小
19+
20+
简而言之,又快又省是目标。
21+
22+
## 评估方法 1: 实际测算
23+
24+
现有算法`A`和算法`B`,两者都能正确解决问题。找一台计算机,分别执行,记录时间和内存占用情况,这样可以真实反映算法的效率。但是存在两个较大的局限性:
25+
26+
- 测算环境的干扰:不同的硬件配置\编译器\操作系统等,会对测算结果产生影响。
27+
- 数据规模不完整:不同的数据量表现不同,若测试不同量的数据,耗时耗力。
28+
29+
综上,因为这些局限性,经常使用理论估算来评估算法效率。
30+
31+
## 评估方法 2: 理论估算
32+
33+
也被称为复杂度分析,complexity analysis.
34+
35+
定义:**它描述了随着输入数据大小的增加,算法执行所需时间和空间的增长趋势**
36+
37+
重点:
38+
39+
1. 划分为时间复杂度和空间复杂度
40+
2. 反映了效率与输入数据量的关系
41+
3. 关注时间空间增长的快慢
Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
---
2+
title: 空间复杂度
3+
description: 算法占用内存空间的增长趋势
4+
tags: [algorithm,]
5+
sidebar_position: 3
6+
last_update:
7+
date: 04/26/2024
8+
author: WenjieWei
9+
---
10+
11+
## 概念
12+
13+
空间复杂度(space complexity)用于衡量算法占用内存空间随着数据量变大时的增长趋势。这个概念与[时间复杂度](./time_complex)非常类似,只需将“运行时间”替换为“占用内存空间”。
14+
15+
## 使用的内存空间
16+
17+
算法运行过程中使用的内存空间包括:
18+
- 输入空间:存储输入数据
19+
- 暂存空间:存储变量\对象\函数调用等
20+
- 输出空间:存储输出数据
21+
22+
其中暂存空间进一步划分为:
23+
24+
- 暂存数据:保存常量\变量\对象
25+
- 栈帧空间:保存调用函数的上下文数据,系统在每次调用函数时都会在栈顶部创建一个栈帧,函数返回后,栈帧空间会被释放
26+
- 指令空间:用于保存编译后的程序指令,在实际统计中通常忽略不计
27+
28+
示例:
29+
30+
```rust
31+
use std::rc::Rc;
32+
use std::cell::RefCell;
33+
34+
/* 结构体 */
35+
struct Node {
36+
val: i32,
37+
next: Option<Rc<RefCell<Node>>>,
38+
}
39+
40+
/* 创建 Node 结构体 */
41+
impl Node {
42+
fn new(val: i32) -> Self {
43+
Self { val: val, next: None }
44+
}
45+
}
46+
47+
/* 函数 */
48+
fn function() -> i32 {
49+
// 执行某些操作...
50+
return 0;
51+
}
52+
53+
fn algorithm(n: i32) -> i32 { // 输入数据
54+
const a: i32 = 0; // 暂存数据(常量)
55+
let mut b = 0; // 暂存数据(变量)
56+
let node = Node::new(0); // 暂存数据(对象)
57+
let c = function(); // 栈帧空间(调用函数)
58+
return a + b + c; // 输出数据
59+
}
60+
```
61+
62+
## 推算方法
63+
64+
与时间复杂度类似

0 commit comments

Comments
 (0)