给你二叉搜索树的根节点 root ，该树中的 恰好 两个节点的值被错误地交换。请在不改变其结构的情况下，恢复这棵树 。
提示：
- 树上节点的数目在范围
[2, 1000]内 -231 <= Node.val <= 231 - 1
示例 1：
输入：root = [1,3,null,null,2]
输出：[3,1,null,null,2]
解释：3 不能是 1 的左孩子，因为 3 > 1 。交换 1 和 3 使二叉搜索树有效。
示例 2：
输入：root = [3,1,4,null,null,2]
输出：[2,1,4,null,null,3]
解释：2 不能在 3 的右子树中，因为 2 < 3 。交换 2 和 3 使二叉搜索树有效。
题解：
/**
* @description: 中序遍历 TC:O(n) SC:O(n)
* @author: JunLiangWang
* @param {*} root 给定树的根节点
* @return {*}
*/
function InorderTraversal(root){
/**
* 对于一棵二叉搜索而言，其明显特性为中序遍历的元素值
* 单调递增的，因此我们可以利用该特性，定义一个数组，
* 中序遍历二叉树将节点存入数组中，如果遇到不满足单调
* 递增的元素则将其索引记录起来，由于只有两个节点被交换
* 因此我们只需要记录最后一个不满足单调递增的元素索引
*
* 最后我们遍历数组，然后将不满足单调递增的元素与数组
* 中第一个大于它的数交换即可
*
*/
//定义一个将树的节点存入数组中
let recordArray=[],
// 记录不满足递增的元素索引
index=0;
/**
* @description: 中序遍历
* @author: JunLiangWang
* @param {*} root 当前节点
* @return {*}
*/
function recursion(root){
// 如果已到最后的子节点，则直接返回
if(!root)return ;
// 中序遍历——>递归左节点
recursion(root.left)
// 如果遇到不满足单调递增的元素则将其索引记录起来，
// 由于只有两个节点被交换因此我们只需要记录最后一
// 个不满足单调递增的元素索引
if(recordArray.length>0&&recordArray[recordArray.length-1].val>root.val)
index=recordArray.length;
// 存入节点
recordArray.push(root)
// 中序遍历——>递归右节点
recursion(root.right)
}
// 执行递归
recursion(root)
// 最后我们遍历数组，然后将不满足单调递增的元素与数组
// 中第一个大于它的数交换即可
for(let i=0;i<recordArray.length;i++)
{
if(i!=index&&recordArray[i].val>recordArray[index].val)
{
let val=recordArray[index].val
recordArray[index].val=recordArray[i].val
recordArray[i].val=val
return root;
}
}
}
/**
* @description: 中序遍历优化 TC:O(n) SC:O(1)
* @author: JunLiangWang
* @param {*} root 给定树的根节点
* @return {*}
*/
function InorderTraversalOptimization(root){
/**
*
* 其实我们仔细观察可以发现，其实待交换的两个
* 节点一个是第一个不满足单调递增的节点的前一
* 个节点，另一个节点则为最后一个不满足单调递
* 增的节点，因此我们可对上述中序遍历方案进行
* 空间上的优化
*
*/
// 记录上一个节点
let lastNode=null,
// 记录最后一个不满足单调递增的节点
errNode=null,
// 第一个不满足单调递增的节点的前一个节点
errLastNode=null;
/**
* @description: 中序遍历
* @author: JunLiangWang
* @param {*} root 当前节点
* @return {*}
*/
function recursion(root){
// 如果已到最后的子节点，则直接返回
if(!root)return ;
// 中序遍历——>递归左节点
recursion(root.left)
// 当遇到不满足单调递增的节点
if(lastNode&&lastNode.val>root.val)
{
// 如果未找到第一个不满足单调递增的节点的前
// 一个节点则赋值，如果已找到则无需赋值
if(errLastNode==null)errLastNode=lastNode
// 更新最后一个不满足单调递增的节点为当前
// 节点
errNode=root
}
// 更新上一个节点为当前节点
lastNode=root
// 中序遍历——>递归右节点
recursion(root.right)
}
// 执行递归
recursion(root)
// 交换两节点值
let val=errLastNode.val
errLastNode.val=errNode.val
errNode.val=val
// 返回结果
return root;
}
来源：力扣（LeetCode）
