《CINTA》第一章 课后练习题

第一章练习题

 

程序题

1.用C语言编程实现判断输入为偶数的函数，即如果输入为偶数，返回True， 否则返回 False。

程序中 isOdd(int num) 函数正是所求函数，自行选择阅读。

/* 一个测试奇偶性的程序 (假定输入的整数不溢出)
 * 输入：一个不大于 MAXNUM 的整数
 * 输出：带有对奇偶性进行判断的语句
 */

#include<stdio.h>

enum { true = 1, false = 0 };

typedef _Bool bool;

bool isOdd(int num)
{
	if (num & 1) return true;
	else return false;
}

int main()
{
	int num = 0;
	//设置数据
	printf("Please enter a number to test if it's odd or not:");
	scanf("%d", &num);
	//设置输入

if (isOdd((int) num))
	printf("Yes, %d is an odd number!\n", num);
else
	printf("No, %d isn't an odd number!\n", num);

return 0;
}

2.给定一个整数 v， 判断 v 是否 $2$ 的某次方？ 比如 $v=4=2^2$ ，返回 True ； $v=9=2^3+1$ 并非 $2$ 的次方，返回 False。请写一个C语言的函数来实现以上功能。

程序中 isPowOf2(int num) 函数正是所求函数，自行选择阅读。

/* 一个测试整数是否为 2 的某次方 (假定输入的整数不溢出)
 * 输入：一个整数
 * 输出：与求解的结果对应的判断的语句
 * 思路：检查 2 进制下的整数中有多少个 1，如果 1 的个数多于一个，那么整数必然不是 2 的某次方
 */

#include<stdio.h>

typedef _Bool bool;

bool isPowOf2(int num)
{
	int nOfOne = 0;
	while (num > 0 && nOfOne <= 1) {
		if (num & 1) nOfOne++;
		num >>= 1;
	}
	return (nOfOne == 1);
}
int main()
{
	int num = 0;
	printf("Please enter a number: ");
	
	scanf("%d", &num);
	if (isPowOf2(num))
		printf("Yes, %d is some power of 2.\n", num);
	else
		printf("No, %d isn't some power of 2.\n", num);

	return 0;
}

3.用C语言实现一种迭代版本的简单乘法。

如下 multiply(int na, int nb)函数即为所求函数，自行选择阅读。

/* 简单乘法器(程序默认输入，输出均不会发生溢出)
 * 输入：两个整数 na, nb
 * 输出：na * nb 的结果
 */

#include<stdio.h>

typedef long long ll;
ll multiply(int na, int nb)
{
	ll ans = 0;
	do {
		if (nb & 1) ans += na;
		na *= 2;
	} while (nb >>= 1);

	return ans;
}
int main()
{
	int na = 0, nb = 0;
	ll mul = 0;
	printf("Please enter 2 numbers to get them multiplied: ");
	scanf("%d%d", &na, &nb);

	mul = multiply(na, nb);
	printf("The answer of %d * %d is: %d", na, nb, mul);

	return 0;
}

---

 

证明题

 

4.证明命题 1.1

证明：

第一部分

设 $\exists k,k_0\in \mathbb{Z}$，使得 $b=ka,c=k_{0}b$，

显然

​ $c=k_{0}ka，k_{0}k\in \mathbb{Z}$。

证毕。

第二部分

设 $\exists k,k_0\in \mathbb{Z}$，使得 $a=kc,b=k_{0}c$，

显然

​ $ma+nb=mkc+n{k}_{0}c=(mk+n{k}_0)c，mk+n{k}_0\in \mathbb{Z}$

证毕。
 

5.完成定理 1.1 的证明（除法算法）

证明：

存在性

构造集合

​ S = { a − b k : k ∈ Z 且 a − b k ≥ 0 } . S = \{ a-bk:k \in \Z 且 a-bk \geq 0 \}. S={a−bk:k∈Z且a−bk≥0}.

显然，集合 $S$ 非空。由良序原则， 存在一个最小元 $ r \in S$ ，且 $r=a-qb$。因此， $a=qb+r,r\ge 0$ 。

为证明 $0\le r<b$ ，设 $r\in S且r为S中的最小元以及r\ge b$。则有 $r=q_{0}b+r_0,r_0<b,q\in \mathbb{Z}$ 。

$a=qb+r=qb+q_{0}b+r_0=(q+q_0)b+r_0$ ，显然，$\exists r_0<b\le r$，矛盾。

唯一性

设对于整数对 $q,r\in \mathbb{Z}$， $\exists q_0\ne q,r_0\ne r\in \mathbb{Z}$ ，使得对于任意给定 $a,b>0\in \mathbb{Z},使得a=qb+r,a=q_{0}b+r_0$ 同时成立。
显然， $\exists k\in \mathbb{Z},$ 使得 $k=q-q_0$，
故有 $a=qb+r=(q_0+k)b+r=q_{0}b+kb+r=q_{0}b+r_0$。
显然 $r_0=kb+r$。
$k>0时，r_0\ge b;k<0时，r_0<0;$
当且仅当 $k=0时，0\le r=r_0<b$。
显然，此时 $q=q_0$。
证毕。
 

6.检验朴素除法与简单除法的正确性，并分别给出他们的算法效率，假定输入为n比特整数。

正确性自证。

假定输入均为n比特整数，则对于朴素除法，循环次数最大可达到

$2^n-2^{n-1}=2^{n-1}$， 该算法该是 $O(2^n)$ 的。

对于简单除法，显然是 $O(n)$ 的