ID 原文 译文
783 接着设计了适用于扩展规则推理的 CCA_ER(Configuration Checking with Aspiration for Extension Rule-BasedReasoning)启发式策略，为极大项中格局信息未发生变化的变量对应文字提供一定的翻转机会。 Then a CCA_ER is designed to provide certain opportunities for the literals of variables whose configurations have not beenchanged since their last flips in maximal terms.
784 同时，为进一步提高扩展规则推理算法在 k-SAT 问题求解上的性能，设计了适用于扩展规则推理的 PAWS_ER(Pure Additive WeightingScheme for Extension Rule-Based Reasoning)策略， At the same time, in order to further improve the performance of extensionrule-based reasoning algorithm on the k-SAT problem, PAWS _ER is designed.
785 并且给出变量的 Subscore_ER(Subscore for Extension Rule-Based Rea-soning)，CScore_ER(Comprehensive Score for Extension Rule-Based Reasoning)和 HScore_ER(Hybrid Score for ExtensionRule-Based Reasoning)属性。 Then the Subscore _ER, CScore _ER andHScore_ER attributes for variables are further designed.
786 在此基础上，提出了 ERACC_IAPS(ERACC with IMOM，CCA_ER，PAWS_ER and Subscore_ER)和 CERACC_IAPS(ERACC with IMOM，CCA_ER，PAWS_ER，CScore_ER and HScore_ER)算法。 Finally, ERACC_IAPS and CERACC_ER algorithms are proposed.
787 实验结果表明:ER-ACC_IAPS 和 CERACC_IAPS 算法的效率明显优于 ERACC 算法，最高可将其求解效率提高 1000 多倍。 The experimental results show that the efficiency of ERACC_IAPS and CERACC_IAPS algorithms is obviously better than that of ERACC algorithm, and the maximum solution efficiency can be improved by more than 1000 times.
788 量子同态加密对量子态密文直接进行同态评估计算，而不是将密文解密之后再进行计算。 Quantum homomorphic cryptography directly evaluates the quantum ciphertext, rather than decrypts thequantum ciphertext and then calculates it.
789 基于相位和状态变换的 d 维通用酉算子，提出了一种 d 维(t，n)门限量子同态加密算法。 Based on a general d-dimensional unitary operator of phase and state transforma-tion, a d-dimensional (t, n)threshold quantum homomorphic encryption algorithm was proposed.
790 在该算法中，客户端将量子态密文传送给n 个服务器中的 t 个，这 t 个服务器生成评估子密钥，运行评估算法对量子态密文执行同态计算。 In this algorithm, the client sent the quantum state ciphertext to t of n servers. Each of the t servers generated the evaluation sub-keys, and then run the e-valuation algorithm on the quantum state ciphertext to complete the calculation of quantum homomorphism.
791 客户端对解密之后的量子态执行 CNOT 门操作，t + 1 个粒子的聚合值就是评估算法对量子态明文计算之后的结果。 The client per-formed CNOT gates on the quantum states after decryption, and the aggregate value of t + 1 particles was the result after e-valuation calculation on the quantum state plaintext.
792 该算法使用 Shamir (t，n)门限机制隐藏了评估密钥，保护了客户端的隐私数据。 The algorithm uses Shamir's(t, n)threshold scheme to hide the evalua-tion keys, so that it protects the client's private data.