【芯片验证】面试题·对深度为60的数组进行复杂约束

朋友发给我的芯片验证笔试题，觉得很有意思。如果验证手撕代码的题目都是这个水平，那还真的是很难了，故而分享一下题目和解答思路。

面试题目
class A中一个长度为60的随机数组rand int arr[60]，如何写约束使得：
1.每个元素的值都在(0,100]之间，且互不相等；
2.最少有三个元素满足勾股数要求，比如数组中包含3,4,5三个点；
请以解约束最快的角度，完成class A的简单代码示意。
解题思路