设计3个以上求两个自然数的最大公约数和最小公倍数的算法； 2.对设计的算法采用大O表示法进行算法的时间复杂度分析，并写出分析过程； 3.上机实现算法，并给出程序运行结果截图； 4.通过对3个算法对比分析，得出自己的结论。

1. 求最大公约数 (GCD) 和最小公倍数 (LCM) 的常见算法有多种：

- **欧几里得算法** (Euclidean Algorithm): 这是最常用的方法之一，通过反复做除法和取余操作来找到两个数的最大公约数。一旦得到 GCD，可以利用公式 LCM(a, b) = |a * b| / GCD(a, b) 来计算最小公倍数。

- **辗转相除法** (Division Method): 类似于欧几里得算法，适用于较大的数字，不过效率更高。

- **更相减损术** (Subtraction Method): 对较小的数进行连续相减，直到两个数相等，这个相同的数就是 GCD。然后根据初始数值和 GCD 计算 LCM。

2. **时间复杂度分析**:

- **欧几里得算法**: 最坏情况下需要做 log min(a, b) 次除法操作，所以时间复杂度为 O(log(min(a, b)))。

- **辗转相除法**：通常也是 O(log(min(a, b)))，因为每次迭代都把较大数缩小至原来的一半左右。

- **更相减损术**：对于较大的数，其复杂度可能是 O(a)，因为最坏情况下需要做 a 次减法，当接近 GCD 时效率才提高。

3. **上机实现** (这里无法提供截图，你需要手动编写并运行这些算法):

- 使用任何一种编程语言如 Python、Java 或 C++，实现上述算法即可。例如，在Python中：

def gcd_euclid(a, b):
    while b != 0:
        a, b = b, a % b
    return a

def lcm_euclid(a, b):
    return abs(a * b) // gcd_euclid(a, b)

def gcd_subtract(a, b):
    while a != b:
        if a > b:
            a -= b
        else:
            b -= a
    return a

# 省略实际计算部分

4. **对比分析**:

- **效率**：辗转相除法和欧几里得算法在大多数情况下更快，尤其是处理大数时。
- **简单性**：更相减损术易于理解但效率低，适合教育演示而非实际生产环境。
- **适应性**：欧几里得算法通用性强，适用于所有整数。

综上所述，选择哪种算法取决于特定的应用场景和性能需求。如果处理大数据或追求高效，推荐使用辗转相除法或欧几里得算法。