【开卷】第39期：NV（英伟达）Formal验证笔试

考试时间：12.11

（formal验证更关注逻辑思维能力，所以题目比较奇怪）

1.1将数字1到8置于立方体的8个顶点上，使得立方体的每一个面上的四个数字的和值全部相等，请问该值是多少?

Pick ONE option

A.16

B.18

C.20

D.24

2.2有多少对正整数(m,n), m>=n，满足m和n的平方差等于96?

Pick ONE option

A.3

B.4

C.5

D.6

3.3小明和小强通过同一条路从A地向B地远足。小强由于背包比较重，所以步行速度较慢。小明开始时以4km/h的速度前进，小明开始时以4km/h的速度前进，在A/B两地中点的时候，道路变得崎岖，小明改以2km/h的速度前进。到达B地后，小明马上转头以3km/h的速度返回。小明和小强在A,B之间中点相遇，请问小强的平均速度是多少?

Pick ONE option

A.12/13

B.11/12

C.1

D.13/12

4.4函数f的定义如下：

f(1)= f(2)=1

对于n>=3. f(n)=f(n-1)-(n-2)+n

请问f(2021)的值是多少?

Pick ONE option

A.2023

B.2024

C.2025

D.2026

5.5三对兄妹搭面包车。一共6个小孩被安排在面包车的2,3排落座，每排3个座位。为了避免吵闹，兄妹彼此需被安排非相邻座位。如果兄妹被安排在同一排，他们不能左右紧邻。如果兄妹被安排在不同排，他们不能前后相邻。请问有多少种安排的方法?

Pick ONE option

A.60

B.72

C.90

D.96

6.6对于无法被5整除的3位数，其中有多少数，其百位数等于个位数，而且各位数之和小于20?

Pick ONE option

A.58

B.60

C.64

D.70

7.7有人说“不想当将军的士兵不是好士兵，除非他有家有口”，假设

a代表“某人是好士兵”

b代表"某人想当将军”

C代表"某人有家有口”

请问下面逻辑表述哪些是和上面的原话表达了同样的意思?（多选）

Pick ONE OR MORE options

A. IF a THEN (b AND NOT c)

B. (IF NOT b THENNOT a)OR c

C. (NOT b)OR a OR c

D. IF(a AND NOT c)THEN b

E. b OR(NOT a)OR c

8.8已知小红，小明，小强三人中至少有一个人是说谎者，而且说谎者不一定每句话都属谎言。对于谁是说谎者，他们做如下陈述。

小红：小明和小强中至少有一个说谎者

小明：小红不是说谎者

小强：小红和小明并不都是说谎者

请问下面的情况那些是可能的?（多选）

Pick ONE OR MORE options

A.他们都是说谎者

B.小明是唯一的说谎者

C.小红和小强是说谎者，小明不是

D小强是唯一说谎者

9.9假设某商家有如下商业模型:若按货物的***100元进行销售，那么客人就一定会选择在该店铺购买；此外价格每增加1元，客人流失的可能性增加1%。那么哪个售价可以实现利润最大化?

Pick ONE option

A.120

B.150

C.175

D.200

10.10已知N个小球中有1个小球比其他球略重。使用天平，最少要多少次才能确保找到那个小球?

Pick ONE option

A.[log2N] ( []表示向上取整，下同)

B.[log2(N+1)]

C.[log3N]

D.[log3(2N+1)]