请实现一个函数，将给定链表中每 k 个节点为一组进行反转，并返回修改后的链表头节点。要求说明算法思路，并分析时间与空间复杂度。

回答思路

1. 能清晰描述分组反转的边界条件，如节点数不足 k 时保持原序
2. 实现正确，包含链表头尾连接与指针更新
3. 能说明使用递归或迭代的优劣，并正确分析时间复杂度 O(n) 与空间复杂度 O(n/k) 或 O(1)