《大数据：互联网大规模数据挖掘与分布式处理》（第二版）第三章习题答案

参考书籍：《大数据：互联网大规模数据挖掘与分布式处理》（第二版）

原版英文书籍：Mining of Massive Datasets

注：答案为本人自己做的，并非标准答案，仅供参考。
如有错误，请私信我，我将及时修改。

《大数据：互联网大规模数据挖掘与分布式处理》（第二版）第三章习题答案

注：本书包含大量习题，较难的习题或习题中较难的部分都会用！标记，最难的习题用！！标记。

习题3.1.1

设A={1, 2, 3, 4}，B={2, 3, 5, 7}，C={2, 4, 6}。

则，SIM(A, B)=2/6=1/3，SIM(A, C)=2/5，SIM(B, C)=1/6。

习题3.1.2

设A={1, 1, 1, 2}，B={1, 1, 2, 2, 3}，C={1, 2, 3, 4}。

则，SIM(A, B)=3/9=1/3，SIM(A, C)=2/8=1/4，SIM(B, C)=3/9=1/3。

!!习题3.1.3

习题3.2.1

3.2节的第一句话的前10个3-shingle是：{“The”, "he “, “e m”, " mo”, “mos”, “ost”, "st “, “t e”, " ef”, “eff” }。

若采用基于词的构造方法，则为：{“The most effective”, “most effective way”, “effective way to”, “way to represent”, “to represent documents”, “represent documents as”, “documents as sets”, “as sets for”, “sets for the”, “for the purpose”}。

习题3.2.2

若采用3.2.4节所示的基于停用词的shingle的表示方法，3.2节的第一句话的shingle有：{“The most effective”, “way to represent”, “as sets for”, “for the purpose”, “the purpose of”, “of identifying lexically”, “is to construct”, “to construct from”, “the document the”, “the set of”, “set of short”, “of short strings”, “it If we”, “If we do”, “we do so”, “do so then”, “so then documents”, “as short as”, “as sentences or”, “or even phrases”, “in their sets”, “if those sentences”, “in different orders”, “in the two”, “the two documents”, “two documents In”, “In this section”, “we introduce the”, “the simplest and”, “and most common”, “as well as”, “as an interesting”, “an interesting variation”}。

习题3.2.3

长度为n个字节的文档中k-shingle最多有2^4*n个。

习题3.3.1

(a)

组合	Jaccard相似度
S1-S2	0.4
S1-S3	0.4
S1-S4	0.4
S2-S3	0.3
S2-S4	0.3
S3-S4	0.4

!(b)

组合	比例
S1-S2	0.4
S1-S3	0.4
S1-S4	0.4
S2-S3	0.3
S2-S4	0.3
S3-S4	0.4

习题3.3.2

哈希函数：

行	S1	S2	S3	S4	x+1 mod 5	3x+1 mod 5	2x+4 mod 5	3x-1 mod 5
0	1	0	0	1	1	1	4	-1
1	0	0	1	0	2	4	1	2
2	0	1	0	1	3	2	3	0
3	1	0	1	1	4	0	0	3
4	0	0	1	0	0	3	2	1

1. 初始化签名矩阵：

   	S1	S2	S3	S4
   h1	∞	∞	∞	∞
   h2	∞	∞	∞	∞
   h3	∞	∞	∞	∞
   h4	∞	∞	∞	∞

2. 考虑第0行：

   	S1	S2	S3	S4
   h1	1	∞	∞	1
   h2	1	∞	∞	1
   h3	4	∞	∞	4
   h4	-1	∞	∞	-1

3. 考虑第1行：

   	S1	S2	S3	S4
   h1	1	∞	2	1
   h2	1	∞	4	1
   h3	4	∞	1	4
   h4	-1	∞	2	-1

4. 考虑第2行：

   	S1	S2	S3	S4
   h1	1	3	2	1
   h2	1	2	4	1
   h3	4	3	1	3
   h4	-1	0	2	-1

5. 考虑第3行：

   	S1	S2	S3	S4
   h1	1	3	2	1
   h2	0	2	0	0
   h3	0	3	0	0
   h4	-1	0	2	-1

6. 考虑第4行：

   	S1	S2	S3	S4
   h1	1	3	0	1
   h2	0	2	0	0
   h3	0	3	0	0
   h4	-1	0	1	-1

最终得到的最小哈希签名矩阵为：

	S1	S2	S3	S4
h1	1	3	0	1
h2	0	2	0	0
h3	0	3	0	0
h4	-1	0	1	-1

习题3.3.3

(a)

哈希函数：

行	S1	S2	S3	S4	2x+1 mod 6	3x+2 mod 6	5x+2 mod 6
0	0	1	0	1	1	2	2
1	0	1	0	0	3	5	1
2	1	0	0	1	5	2	0
3	0	0	1	0	1	5	5
4	0	0	1	1	3	2	4
5	1	0	0	0	5	5	3

1. 初始化签名矩阵：

   	S1	S2	S3	S4
   h1	∞	∞	∞	∞
   h2	∞	∞	∞	∞
   h3	∞	∞	∞	∞

2. 考虑第0行：

   	S1	S2	S3	S4
   h1	∞	1	∞	1
   h2	∞	2	∞	2
   h3	∞	2	∞	2

3. 考虑第1行：

   	S1	S2	S3	S4
   h1	∞	1	∞	1
   h2	∞	2	∞	2
   h3	∞	1	∞	2

4. 考虑第2行：

   	S1	S2	S3	S4
   h1	5	1	∞	1
   h2	2	2	∞	2
   h3	0	1	∞	0

5. 考虑第3行：

   	S1	S2	S3	S4
   h1	5	1	1	1
   h2	2	2	5	2
   h3	0	1	5	0

6. 考虑第4行：

   	S1	S2	S3	S4
   h1	5	1	1	1
   h2	2	2	2	2
   h3	0	1	4	0

7. 考虑第5行：

   	S1	S2	S3	S4
   h1	5	1	1	1
   h2	2	2	2	2
   h3	0	1	4	0

最终得到的最小哈希签名矩阵为：

	S1	S2	S3	S4
h1	5	1	1	1
h2	2	2	2	2
h3	0	1	4	0

(b)

这些哈希函数中只有h3是真正的排列转换。

©

Jaccard相似度	S1-S2	S1-S3	S1-S4	S2-S3	S2-S4	S3-S4
估计值	1/3	1/3	2/3	2/3	2/3	2/3
真实值	0	0	1/4	0	1/4	1/4

Jaccard相似度的估计值和真实值差距很大。

!习题3.3.4

S和T集合经随机排列之后得到的两个最小哈希值相等的概率等于S和T的Jaccard相似度。

!习题3.3.5

两列的Jaccard相似度为0，说明两列经随机排列之后得到的两个最小哈希值相等的概率为0。

故最小哈希的方法总能得到正确的估计结果。

!!习题3.3.6

S1	S2
1	0
0	1
1	1
0	0
1	1

循环排列转换得到的Jaccard相似度：3/5

真正的Jaccard相似度：1/2

!习题3.3.7

Map函数：
input：矩阵的行（或列）集合m_i（huom_j）、所有的哈希函数
output：一系列键-值对，键为(m_i,h(m_i))，即m_i和与其对应的哈希函数，值为最小哈希签名

Reduce函数：
input：按键聚合的键-值对，值为最小哈希签名的集合
output：一系列键-值对，键为行号或列号，值为最小哈希签名

习题3.4.1

#include <stdio.h>
#include <stdlib.h>
#include <math.h>
int main(void)
{
    double r = 3;
    double b = 10;
    double s[] = {0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9};
    for (int i = 0; i < 9; i++)
        printf("%lf\n", 1 - pow(1 - pow(s[i], r), b));

    system("pause");
    return 0;
}

(1) r=3, b=10

s	1-(1-sr)b
0.1	0.009955
0.2	0.077181
0.3	0.239449
0.4	0.483871
0.5	0.736924
0.6	0.912267
0.7	0.985015
0.8	0.999234
0.9	0.999998

(2) r=6, b=20

s	1-(1-sr)b
0.1	0.000020
0.2	0.001279
0.3	0.014479
0.4	0.078809
0.5	0.270187
0.6	0.615415
0.7	0.918186
0.8	0.997712
0.9	1.000000

(3) r=5, b=50

s	1-(1-sr)b
0.1	0.000020
0.2	0.001279
0.3	0.014479
0.4	0.078809
0.5	0.270187
0.6	0.615415
0.7	0.918186
0.8	0.997712
0.9	1.000000

!习题3.4.2

#include <stdio.h>
#include <stdlib.h>
#include <math.h>
int main(void)
{
    double r = 3;
    double b = 10;
    double s[] = {0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9};
    double true_s;
    double guess_s;
    for (int i = 0; i < 9; i++)
        printf("%lf\n", 1 - pow(1 - pow(s[i], r), b));

    true_s = pow(1 - pow(0.5, 1 / b), 1 / r);
    guess_s = pow(1 / b, 1 / r);
    printf("真实阈值：%lf\n", true_s);
    printf("估计阈值：%lf\n", guess_s);
    printf("误差：%lf\n", (guess_s - true_s) / true_s);
    system("pause");
    return 0;
}

(1) r=3, b=10

真实阈值：0.406088
估计阈值：0.464159
误差：0.143000

(2) r=6, b=20

真实阈值：0.569353
估计阈值：0.606962
误差：0.066055

(3) r=5, b=50

真实阈值：0.424394
估计阈值：0.457305
误差：0.077547

!习题3.4.3

当s^r趋于0时，1-(1-s^r)^b≈1-e^-sr*b。

!习题3.4.4

(a)

Map函数：

input：签名矩阵元素，每个元素都是键-值对，键为列号，值为签名
output：键-值对，键为桶号，值为签名、列号

Reduce函数：

input：键-值对，键为桶号，值为签名、列号
output：键-值对，键为桶号，值为签名、列号i、满足j>i的列组成的列表

!习题3.5.1

( a ) max(x,y)

不满足非负、点到自身为0

( b ) diff(x,y)=|x-y|

是距离测度。

( c ) sum(x,y)=x+y
不满足非负、点到自身为0、三角不等式

习题3.5.2

$L_1=|5-8|+|6-2|+|7-4|=10$

$L_2=\sqrt{(5-8{)}^2+(6-2{)}^2+(7-4{)}^2}=\sqrt{34}$

!!习题3.5.3

如果$i$和$j$是任意的正整数，且$i$<$j$，那么任意两点的$L_i$范式距离一定大于它们的$L_j$范式距离。

习题3.5.4

(a) 1-3/5=0.4

(b) 1-0/6=1

习题3.5.5

( a ) $cos([3,-1,2],[-2,3,1])=\frac{-7}{14}=-\frac{1}{2}$

( b ) $cos([1,2,3],[2,4,6])=\frac{28}{28}=1$

( c ) $cos([5,0,-4],[-1,-6,2])=\frac{-13}{41}$

( d ) $cos([0,1,1,0,1,1],[0,0,1,0,0,0])=\frac{1}{2}$

!习题3.5.6

任意两个相同维度的布尔向量之间的夹角余弦一定非负，故它们的余弦距离最多为90度。

习题3.5.7

( a ) 4
( b ) 5
( c ) 6

!习题3.5.8

( a ) 4
( b ) 4
( c ) 4

!习题3.5.9

满足非负、点到自身距离为0、对称性、三角不等式，所以是一个距离测度。

习题3.5.10

设x₁=000000，x₂=110011，x₃=010101，x₄=011100

组合	海明距离
x1-x2	4
x1-x3	3
x1-x4	3
x2-x3	3
x2-x4	5
x3-x4	2

习题3.6.1

#include <stdio.h>
#include <stdlib.h>
#include <math.h>
int main(void)
{
    double p[] = {0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9};

    for (int i = 0; i < 9; i++)
        printf("%lf\n", pow(1-pow(1-pow(p[i],2),2),2));

    system("pause");
    return 0;
}

( a ) 2路与构造+3路或构造

p	1-(1-p2)3
0.1	0.029701
0.2	0.115264
0.3	0.246429
0.4	0.407296
0.5	0.578125
0.6	0.737856
0.7	0.867349
0.8	0.953344
0.9	0.993141

( b ) 3路或构造+2路与构造

p	(1-(1-p)3)2
0.1	0.073441
0.2	0.238144
0.3	0.431649
0.4	0.614656
0.5	0.765625
0.6	0.876096
0.7	0.946729
0.8	0.984064
0.9	0.998001

( c ) 2路与构造+2路或构造+2路与构造

p	(1-(1-p2)2)2
0.1	0.000396
0.2	0.006147
0.3	0.029550
0.4	0.086671
0.5	0.191406
0.6	0.348572
0.7	0.547452
0.8	0.757596
0.9	0.929103

( c ) 2路或构造+2路与构造+2路或构造+2路与构造

p	(1-(1-1-(1-p2)2)2)2
0.1	0.005026
0.2	0.058760
0.3	0.204800
0.4	0.424358
0.5	0.653824
0.6	0.834169
0.7	0.941774
0.8	0.987745
0.9	0.999208

上述构造方法得到的函数族都是敏感的。而且，构造次数越多，对应S-曲线越陡峭，效果越好。

习题3.6.2

( a ) 令p=1-(1-p²)³，解得：p=0.3894

( b ) 令p=(1-(1-p)³)²，解得：p=0.1516

( c ) 令p=(1-(1-p²)²)²，无解

( d ) 令p=(1-(1-1-(1-p²)²)²)²，解得：p=0.5249

!习题3.6.3

图3-10：

p	斜率
0.2	4.000000
0.3	2.078125
0.4	1.309645
0.5	0.872527
0.6	0.564789
0.7	0.317882
0.8	0.122368

最大斜率：4.000000，对应p=0.2。

图3-11：

p	斜率
0.2	7.678571
0.3	1.744033
0.4	0.721656
0.5	0.345819
0.6	0.564789
0.7	0.073766
0.8	0.026446

最大斜率：7.678571，对应p=0.2。

!!习题3.6.4

函数最大斜率的点就是函数二阶导数为0的点，且满足邻域左正右负。

例如，一个r路与构造+一个b路或构造的函数为：$1-(1-p^r{)}^b$

令其二阶导数为0：-b×(1-p^r)×(-r×p^r-1)=0，解得：$p=0$ 或 $p=1$。

习题3.7.1

设x₁=000000，x₂=110011，x₃=010101，x₄=011100。

组合	海明距离
x1-x2	4
x1-x3	3
x1-x4	3
x2-x3	3
x2-x4	5
x3-x4	2

6个函数中的3、5会判定它们是候选对。

习题3.7.2

( a ) 因为v₁*x₁=4，v₂*x₁=6，v₃*x₁=8，v₄*x₁=10，所以x₁的梗概是[+1,+1,+1,+1]。

( b ) 因为v₁*x₂=-8，v₂*x₂=10，v₃*x₂=-4，v₄*x₂=6，所以x₂的梗概是[-1,+1,-1,+1]。

( c ) 因为v₁*x₃=8，v₂*x₃=-10，v₃*x₃=4，v₄*x₃=-6，所以x₃的梗概是[+1,-1,+1,-1]。

组合	估计夹角	真实夹角
x1-x2	90°	74.9739°
x1-x3	90°	105.0261°
x2-x3	180°	180°

习题3.7.3

随机向量	值
v1	[+1,+1,+1,+1]
v2	[-1,+1,+1,+1]
v3	[+1,-1,+1,+1]
v4	[+1,+1,-1,+1]
v5	[+1,+1,+1,-1]
v6	[-1,-1,+1,+1]
v7	[-1,+1,-1,+1]
v8	[-1,+1,+1,-1]
v9	[+1,-1,-1,+1]
v10	[+1,-1,+1,-1]
v11	[+1,+1,-1,-1]
v12	[-1,-1,-1,+1]
v13	[-1,-1,+1,-1]
v14	[-1,+1,-1,-1]
v15	[+1,-1,-1,-1]
v16	[-1,-1,-1,-1]

x₁的梗概是：[+1,+1,+1,+1,+1,+1,+1,+1,+1,-1,-1,-1,-1,-1,-1,-1]

x₂的梗概是：[+1,+1,-1,+1,-1,+1,+1,-1,+1,-1,+1,+1,-1,-1,-1,-1]

x₃的梗概是：[-1,-1,+1,-1,+1,-1,-1,+1,-1,+1,-1,-1,+1,+1,+1,+1]

组合	估计夹角	真实夹角	差异
x1-x2	90°	74.9739°	20.04%
x1-x3	90°	105.0261°	-14.31%
x2-x3	180°	180°	0

习题3.7.4

!(a) 条件：

1. -a+b+c+d>0
2. a-b+c+d>0
3. a+b-c+d>0
4. a+b+c-d>0

!!(b) 条件：

1. -a+b+c+d与-e+f+g+h同号
2. a-b+c+d与e-f+g+h同号
3. a+b-c+d与e+f-g+h同号
4. a+b+c-d与e+f+g-h同号

习题3.7.5

( a )

点	x方向的桶号	y方向的桶号	z方向的桶号
p1=(1,2,3)	2	3	4
p2=(0,2,4)	1	3	5
p3=(4,3,2)	5	4	3

( b )

点	x方向的桶号	y方向的桶号	z方向的桶号
p1=(1,2,3)	1	2	2
p2=(0,2,4)	1	2	3
p3=(4,3,2)	3	2	2

( c )

当a=1时，p₁和p₂是候选对。

当a=2时，p₁和p₂是候选对，p₂和p₃是候选对。

!( d )

对p₁和p₂来说，a=2或a>4时，它们是候选对。

对p₁和p₃来说，a>4时，它们是候选对。

对p₂和p₃来说，a>4时，它们是候选对。

习题3.8.1

363/365≈0.9945。

习题3.8.2

(a)

假阳率=1-(1-0.2⁶)²⁰⁴⁸=0.1228

假阴率=(1-0.2³*0.8³)²⁰⁴⁸=0.0224%

(b)

2路与构造：

假阳率=0.1228²=0.0151

假阴率=1-(1-0.0224%)²=0.0447%

可以看出，2路与构造再小幅提升假阴率的情况下，大幅度降低了假阳率。

习题3.8.3

n路或构造：

假阳率=1-(1-0.1228)ⁿ

假阴率=(0.0224%)ⁿ

习题3.8.4

(a) 假阴率=1-(1-0.0224%)²=0.0447%

(b) 假阳率=1-(1-0.2⁶)²⁰⁴⁸=0.1228

!习题3.8.5

n路或构造：

假阳率=1-(1-0.1228)ⁿ

假阴率=(0.0224%)ⁿ

设f(n)=假阳率+假阴率=1-(1-0.1228)ⁿ+(0.0224%)ⁿ

令f’(n)=0得n*(1-0.1228)^n-1+n*(0.0224%)^n-1=0，解得：n=0

且当n>0时，f’(n)>0，所以，n=2时f(n)取最小值0.2305。

习题3.9.1

(a) eqrtwy
(b) aiudfghjs

习题3.9.2

( a )

$L_t\le L_s/1-J=20/0.85=23.53$

$s$需要与排在它之后的所以长度为20、21、22、23的字符串进行比较。

( b )

$L_t\le L_s/1-J=20/0.95=21.05$

$s$需要与排在它之后的所以长度为20、21的字符串进行比较。

( c )

$L_t\le L_s/1-J=20/0.98=20.41$

$s$需要与排在它之后的所以长度为20的字符串进行比较。

习题3.9.3

( a )

$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-0.85)\times 15\rfloor +1=3$，故需要对3个前缀符号进行索引。

( b )

$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-0.95)\times 15\rfloor +1=1$，故需要对1个前缀符号进行索引。

!( c )

要满足$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-J)\times 15\rfloor +1\le 4$，

则$J$的取值范围是$[0.8,1]$。

习题3.9.4

设字符串$s$的第$i$个字符是$s_i$。

(a)

$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-0.75)\times 12\rfloor +1=4$

需要比较$(s_1,1)$，$(s_1,2)$，$(s_1,3)$，$(s_1,4)$，$(s_2,2)$，$(s_2,3)$，$(s_2,4)$，$(s_3,3)$，$(s_3,4)$，$(s_4,4)$。

(b)

$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-0.95)\times 12\rfloor +1=1$

需要比较$(s_1,1)$。

!习题3.9.5

(a)

当$J=0.9$、$L_s=L_t=9时$，$8/9<J$，
故$s$和$t$的第一个字符必须相等，$s$和$t$会被比较的概率是0.01。

(b)

当$J=0.9$、$L_s=L_t=10时$，$9/10=J$，
故$s$和$t$的第一个字符可以不相等，但随后的第二个字符必须相等，$s$和$t$会被比较的概率是$0.01+(1-0.01)\ast 0.01=0.0199$。

习题3.9.6

(a) $L_s=20$，$J=0.8$

$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-0.8)\times 20\rfloor +1=5$，所以接下来必须要考虑$s$的前5个前缀位置。

我们假定$s$的后缀长度为$p$，$t$的后缀长度为$q$。

$i=1$，这里$p=19$,因此$q\le 19$。考虑所有的$q$值。

1. $q=19$，由于$20/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3、4、5、6$
2. $q=18$，由于$19/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3、4$
3. $q=17$，由于$18/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3$
4. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
5. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
6. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

$i=2$，这里$p=18$,因此$q\le 18$。考虑所有的$q$值。

1. $q=18$，由于$19/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3、4$
2. $q=17$，由于$18/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3$
3. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
4. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
5. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

$i=3$，这里$p=17$,因此$q\le 17$。考虑所有的$q$值。

1. $q=17$，由于$18/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3$
2. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
3. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
4. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

$i=4$，这里$p=16$,因此$q\le 16$。考虑所有的$q$值。

1. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
2. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
3. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

$i=5$，这里$p=15$,因此$q\le 15$。考虑所有的$q$值。

1. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
2. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

(a) $L_s=20$，$J=0.9$

$p=\lfloor (1-J)L_s\rfloor +1=\lfloor (1-0.9)\times 20\rfloor +1=3$，所以接下来必须要考虑$3$的前5个前缀位置。

我们假定$s$的后缀长度为$p$，$t$的后缀长度为$q$。

$i=1$，这里$p=19$,因此$q\le 19$。考虑所有的$q$值。

1. $q=19$，由于$20/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3、4、5、6$
2. $q=18$，由于$19/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3、4$
3. $q=17$，由于$18/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3$
4. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
5. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
6. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

$i=2$，这里$p=18$,因此$q\le 18$。考虑所有的$q$值。

1. $q=18$，由于$19/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3、4$
2. $q=17$，由于$18/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3$
3. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
4. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
5. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。

$i=3$，这里$p=17$,因此$q\le 17$。考虑所有的$q$值。

1. $q=17$，由于$18/(19+j)\ge 0.8$，因此$j$可以等于$1、2、3$
2. $q=16$，由于$17/(19+j)\ge 0.8$，因此$j$可以等于$1、2$
3. $q=15$，由于$16/(19+j)\ge 0.8$，因此$j$可以等于$1$
4. $q=14$，由于对任意整数$j$都有$15/(19+j)<0.8$，因此此时$j$不存在。对于更小的$q$值，情况也是如此。