随笔 - 260 文章 - 0 评论 - 0 阅读 - 52987

11 2024 档案

摘要：1.luby序列 2. 斐波那契 3. 卢卡斯数列 4. 斐波那契—卢卡斯数列: 斐波那契—卢卡斯递推：从第三项开始，每一项都等于前两项之和 1. luby序列 ‌Luby函数‌是一个用于生成特定序列的函数，主要用于SAT求解器中的重启策略。Luby函数通过生成一个有限子序列，使得在达到一定冲突数时阅读全文

posted @ 2024-11-26 14:39 海阔凭鱼跃越编辑