（推荐参数的逻辑是：回测7日行情后，结合智能算法来推荐适合近期行情的参数） 网格的具体参数： 区间最低价：市场价格低于区间最低价时，策略将不再执行下单操作。 区间最高价：市场价格高于区间最高价时，策略将不再执行下单操作。 网格数量：网格数量表示震荡区间中分割的挂单小区间数量。比如区间100-400、等差、网格数3，则是分为100-200、200-300、300-400这3个网格。 投入币种：用户可以选择是投资交易币种还是计价币种，或者两种币都投。 投入金额：在网格策略中投入的每种货币的数量。其中，每个币种的最大可用等于交易账户中目前该币种的最大可转出数量。 等差网格：每相邻两档挂单价格的差值相等（例如1、2、3、4）。 等比网格：每相邻两档挂单价格的比值相等（例如1、2、4、8）。 止盈价格：当币价上涨到该价位时，策略自动停止并卖出被占用的现货。 止损价格：当币价下跌到该价位时，策略自动停止并卖出被占用的现货。

为了验证上述三项陈述，我们需要先构建约束条件，例如： **陈述 1：**余额总和约束（验证余额总和计算结果是否正确） uts: 用户记录体量 (user trace size)，即每名用户的数据记录表的行数 sum: 总用户余额 N: 用户数量 **陈述 2：**非负约束（验证总资产是否为正） 陈述 3：包含性约束 （验证是否所有用户的资产都已包括在结果之内） 根据上述约束条件，我们创建一个记录表，通过抽样检查来提交和验证余额总和和非负性。以下是构建记录表的方法（举一个简化的例子，假设有 3 个用户，总资产价值小于 4^6 = 4096 USD）： **1）**首先创建一个 32 × 5 的表格，并将用户的资产价值和 ID 填入第 行，其中 k % 8 = 6，且 每 8 行是一个区域，用户资产信息现在在每个区域的倒数第 个位置。假设第一个用户的余额为 0，因此我们可以将其公布，以证明资产价值总和的计算不是从负值开始的。 2）将用户的资产价值逐个累加，将结果填入第 行，此处 k % 8 = 7，且 即每个区域的最后一行。