如何将含2N个元素的数组无重复拆分为随机数对数组？

我有一个包含2N个元素的数组，例如[1,2,3,4,5,6,7,8]，需要将其拆分为由随机数对组成的数组，且元素无重复，示例结果如下：

[[1,3],[2,5],[4,8],[6,7]]

我尝试编写了如下JavaScript代码，但认为该实现不够理想，请问有没有更优的实现思路？

function arrSlice(arr) { 
  if (arr.length % 2 !== 0) return 0; 
  var newArr = [], //temp array. 
      tmpArr = []; 
  for (let i = 0; i < arr.length; i++) { 
    if (!tmpArr.includes(arr[i])) { 
      var rndIndex; 
      do { 
        rndIndex = Math.floor(Math.random() * (arr.length - (i + 1))) + (i + 1); 
      } while (tmpArr.includes(arr[rndIndex])); 
      newArr.push([arr[i], arr[rndIndex]]); 
      tmpArr.push(arr[i]); 
      tmpArr.push(arr[rndIndex]); 
    } 
  } 
  return newArr; 
} 
var arr = [1, 2, 3, 4, 5, 6, 7, 8] 
console.log(arrSlice(arr));

你的代码能实现需求，但存在几个可以优化的点：比如用tmpArr.includes()做重复检查的时间复杂度是O(n)，嵌套在循环里会让整体复杂度升到O(n²)，数组规模变大时效率会明显下降；另外随机索引的计算还存在越界风险（比如当i接近数组末尾时，可能生成超出数组长度的索引）。

这里推荐一种更高效且简洁的思路：先对数组进行随机洗牌，再按顺序两两分组。洗牌用经典的Fisher-Yates算法，它的时间复杂度是O(n)，之后分组也是O(n)，整体效率远高于原实现，而且逻辑更直观。

实现代码如下：

function randomPairSplit(arr) {
  // 校验数组长度是否为偶数，抛出错误比返回0更清晰
  if (arr.length % 2 !== 0) {
    throw new Error("数组长度必须是偶数，无法拆分出完整数对");
  }

  // 复制原数组，避免修改输入的原始数组
  const shuffledArr = [...arr];

  // Fisher-Yates 洗牌算法：从后往前遍历，将当前元素与前面随机位置的元素交换
  for (let i = shuffledArr.length - 1; i > 0; i--) {
    const randomIdx = Math.floor(Math.random() * (i + 1));
    // 交换元素
    [shuffledArr[i], shuffledArr[randomIdx]] = [shuffledArr[randomIdx], shuffledArr[i]];
  }

  // 两两分组生成结果
  const result = [];
  for (let i = 0; i < shuffledArr.length; i += 2) {
    result.push([shuffledArr[i], shuffledArr[i + 1]]);
  }

  return result;
}

// 测试示例
const testArr = [1, 2, 3, 4, 5, 6, 7, 8];
console.log(randomPairSplit(testArr));

为什么这个实现更好？ #

• 效率更高：Fisher-Yates洗牌是线性时间复杂度，分组也是线性操作，整体O(n)的复杂度在处理大数组时优势明显。
• 逻辑简洁：不需要维护额外的数组记录已使用元素，通过洗牌直接保证数对的随机性，避免了重复检查的冗余操作。
• 安全性更好：复制原数组进行操作，不会修改输入的原始数据；同时通过严谨的长度校验，避免了非法输入导致的异常。
• 无越界风险：洗牌过程中生成的随机索引始终在合法范围内，不会出现访问数组不存在元素的问题。

内容的提问来源于stack exchange，提问作者cloudyer