2024年11月26日
用于重启的序列设计
摘要： 1.luby序列 2. 斐波那契 3. 卢卡斯数列 4. 斐波那契—卢卡斯数列: 斐波那契—卢卡斯递推：从第三项开始，每一项都等于前两项之和 1. luby序列 ‌Luby函数‌是一个用于生成特定序列的函数，主要用于SAT求解器中的重启策略。Luby函数通过生成一个有限子序列，使得在达到一定冲突数时 阅读全文
posted @ 2024-11-26 14:39 海阔凭鱼跃越 阅读(16) 评论(0) 推荐(0) 编辑