1. 设计递归算法，计算两个非负整数的最小公倍数，并列出求解递归方程。 2. 试说明如何修改快速排序算法，使它在最坏情况下的计算时间复杂度为O（nlogn），并说明用队列技术能否实现快速排序。

1. 计算两个非负整数a和b的最小公倍数（LCM）的一个递归算法可以这样设计：
假设已知a和b的最大公约数（GCD）可以用gcd(a, b)表示，那么最小公倍数可以通过下面的递归关系式求得：

   def lcm(a, b):
       if b == 0:
           return a
       else:
           return lcm(b, a % b)

这里的递归方程就是lcm(a, b) = lcm(b, a mod b)，当b为0时，a即为它们的最小公倍数。

2. 要让快速排序在最坏情况下的时间复杂度降低到O(nlogn)，一种常见的改进方法是使用“三向切分”版本的快速排序。原始快速排序在最坏情况下（输入已经有序或逆序）可能会退化成O(n^2)。三向切分则能更好地处理近乎有序的情况：
- 它分为三个区间：小于、等于和大于枢轴值的部分。
- 然后对等于枢轴的区间单独处理，因为它不会影响性能。

但是，使用队列来实现快速排序的原版形式不太自然，因为快速排序的核心在于直接交换元素。不过，在某些现代实现中，如基于堆栈的优化版本，确实可能利用队列作为临时存储空间来管理递归调用，但这不是快速排序的基本思想。队列在这里更多的是作为一种辅助数据结构，而不是改变算法本质的方式。