### （1）算法基本设计思想
要满足“|n₁−n₂|最小”且“|S₁−S₂|最大”，核心逻辑需分两步优先级处理：  
1. **优先保证|n₁−n₂|最小**：集合元素总数n分为两种情况  
   - 若n为偶数：n₁ = n₂ = n/2（两子集元素个数完全相等，差值最小为0）；  
   - 若n为奇数：n₁ = (n-1)/2，n₂ = (n+1)/2（两子集元素个数差值最小为1）。  
2. **再保证|S₁−S₂|最大**：要使两子集和差值最大，需让“元素个数少的子集（或任一个等数子集）包含所有小元素，元素个数多的子集包含所有大元素”——因为小元素总和与大元素总和的差值必然最大。  
   具体操作：先对集合A按**升序排序**，再将前n₁个最小元素归入A₁，剩余n₂个最大元素归入A₂（或反之，不影响差值绝对值）。


### （2）C语言实现代码
```c
#include <stdio.h>
#include <stdlib.h>
#include <math.h>

// 比较函数：用于qsort升序排序
int compare(const void *a, const void *b) {
    return *(int*)a - *(int*)b;
}

/**
 * 划分集合为A1和A2，满足|n1-n2|最小且|S1-S2|最大
 * @param A：输入集合（正整数数组）
 * @param n：集合元素总数
 * @param A1：输出子集1（存储小元素）
 * @param n1：输出A1的元素个数
 * @param A2：输出子集2（存储大元素）
 * @param n2：输出A2的元素个数
 */
void splitSet(int A[], int n, int A1[], int *n1, int A2[], int *n2) {
    // 步骤1：计算A1和A2的元素个数（保证|n1-n2|最小）
    *n1 = n / 2;          // 偶数n时n1=n/2，奇数n时n1=(n-1)/2
    *n2 = n - *n1;        // 偶数n时n2=n/2，奇数n时n2=(n+...