#B3854. [语言月赛 202309] 数组与内存 EV

[语言月赛 202309] 数组与内存 EV

题目描述

一维数组常常被想象为一个线性的数列,二维数组常常被想象为一个平面上的矩阵,三维数组常常被想象为空间中的一个立方体。由于我们生存在三维宇宙中,再高维度的数组的形态难以被想象,但是我们有理由认为,nn 维数组在 nn 维空间中可以被想象为一个几何体。

但是,无论数组的维数多高,计算机的内存空间总是线性的。

  • C++ 在定义一维数组 a[N]a[N] 时,会从 a[0]a[0] 开始,在内存中连续申请 NN 个变量的连续的空间,依次分配给 a[0],a[1],,a[N1]a[0],a[1],\cdots,a[N-1]

  • 二维数组 a[N][M]a[N][M] 可以看作 NN 个大小为 MM 的一维数组连续拼接在一起。C++ 在定义二维数组 a[N][M]a[N][M] 时,会从 a[0][0]a[0][0] 开始,在内存中申请 N×MN\times M 个变量的连续的空间,先排布 a[0]a[0] 的一维数组,再依次排布 a[1],a[2],,a[N1]a[1],a[2],\cdots,a[N-1] 的一维数组。排布规则与上面一维数组的情形相同。

  • 更高维的数组以此类推。

众所周知,二维数组 a[N][M]a[N][M] 可以使用的下标范围为 a[0N1][0M1]a[0\sim N-1][0\sim M-1]。但是,当定义了数组 a[2][3]a[2][3],并使用了下标 a[0][4]a[0][4],并不会访问非法内存,而是会访问到 a[1][1]a[1][1]。这是因为数组是依托于连续线性内存的,a[0][4]a[0][4]a[1][1]a[1][1] 都是指向自 a[0][0]a[0][0] 数起的(含 a[0][0]a[0][0])第 55 个变量,它们指向的内存地址是相同的。更高维度的数组亦有相同的机制。

现在,小 F 定义了一个二维数组 a[N][M]a[N][M],并尝试访问 a[p][q]a[p][q],请问小 F 是否会访问非法内存。

输入格式

输入一行四个非负整数,依次为 N,M,p,qN,M,p,q

输出格式

输出一行一个字符串:

  • 若会访问非法内存,输出 Segmentation fault.
  • 若不会访问非法内存,输出 Program ends with return value 0.
4 2 2 3
Program ends with return value 0.
4 2 2 100
Segmentation fault.

提示

  • 对于 60%60\% 的测试数据,1N,M1041 \le N, M \le 10^4, 0p,q1040 \le p, q \le 10^4
  • 对于 100%100\% 的测试数据,1N,M1091 \le N, M \le 10^90p,q109 0 \le p, q \le 10^9