请求翻译AMPL稀疏语法实现配对匹配算法的代码片段

下面是将原代码及注释翻译为中文后的内容，全程保留AMPL语法格式、技术术语与数学逻辑：

模型定义部分 #

set Student; # 定义学生集合，后续用于构建Student×Student的学生元组空间
set Pair within {Student, Student}; # 定义配对集合，是Student×Student笛卡尔积中的**稀疏子集**（仅包含实际允许/存在的配对）
param value {Pair}; # 定义参数value，存储每个配对(i,j)对应的匹配价值
var x {Pair} binary; # 定义二进制决策变量x[i,j]：若配对(i,j)被选中则取值1，否则取值0

# 目标函数：最大化所有选中配对的总价值
maximize total_value: sum {(i,j) in Pair} value[i,j] * x[i,j];

# 完美匹配约束：每个学生必须恰好参与一个配对（无论是作为配对的左元素还是右元素）
s.t. perfect_match {i in Student}:
    sum {(i,j) in Pair} x[i,j] + sum {(j,i) in Pair} x[j,i] = 1;

数据定义部分 #

data; # 数据段起始标记
set Student := A B C D E F G H I J; # 学生集合的具体元素（共10名学生，用字母A-J标识）
set Pair := ...（代码片段未完整） # 配对集合的具体元素（此处省略未给出的配对数据）

补充说明：这段代码采用AMPL的稀疏建模语法，通过Pair集合仅存储实际有效的配对，避免了遍历Student×Student笛卡尔积中的所有元组，能显著提升大规模问题下的计算效率，实现的是最大权完美匹配问题的建模。

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