Jove
Visualize
联系我们
JoVE
x logofacebook logolinkedin logoyoutube logo
关于 JoVE
概览领导团队博客JoVE 帮助中心
作者
出版流程编辑委员会范围与政策同行评审常见问题投稿
图书馆员
用户评价订阅访问资源图书馆顾问委员会常见问题
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experiments存档
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教师资源中心教师网站
使用条款与条件
隐私政策
政策

相关实验视频

随机可满足性问题的分析和算法解决方案.

M Mézard1, G Parisi, R Zecchina

  • 1Laboratoire de Physique Théorique et Modèles Statistiques, CNRS and Université Paris Sud, Bât. 100, 91405 Orsay Cedex, France.

Science (New York, N.Y.)
|June 29, 2002
PubMed
概括
此摘要是机器生成的。

研究人员在随机布尔表达式中探索了K-满足性复杂性. 他们确定了一个在满足值以下的中间阶段,其特点是元稳定状态,并开发了新的算法来解决这种复杂性.

相关实验视频

相关概念视频

您也可能阅读

相关文章

通过共同作者、期刊和引用图与本文相关的文章。

排序
Same author

Meat quality of a slow-growing chicken breed fed soybean meal-free diets.

Animal : an international journal of animal bioscience·2026
Same author

Correction: Robotic uterine transposition for fertility preservation in patients undergoing pelvic radiotherapy: a narrative review of surgical evolution, technical strategies, and emerging evidence.

Journal of robotic surgery·2026
Same author

Robotic uterine transposition for fertility preservation in patients undergoing pelvic radiotherapy: a narrative review of surgical evolution, technical strategies, and emerging evidence.

Journal of robotic surgery·2026
Same author

Specific hepatic gene responses to dietary fat levels during the finisher phase in a slow-growing chicken breed.

Poultry science·2025
Same author

Quantifying Memory in Spin Glasses.

Physical review letters·2025
Same author

Aesthetic perception of patient in developmental age in interceptive orthodontic treatment.

European journal of paediatric dentistry·2024
Same journal

Erratum for the Research Article "Detecting supramolecular organic nanoparticles during heat wave".

Science (New York, N.Y.)·2026
Same journal

Local signals, systemic decline.

Science (New York, N.Y.)·2026
Same journal

The mechanics of liver regeneration.

Science (New York, N.Y.)·2026
Same journal

Computing in a memory with physics.

Science (New York, N.Y.)·2026
Same journal

Retraction.

Science (New York, N.Y.)·2026
Same journal

Making time.

Science (New York, N.Y.)·2026
查看所有相关文章

科学领域:

  • 计算机科学 计算机科学
  • 计算复杂性 计算复杂性
  • 人工智能的人工智能

背景情况:

  • K-满足性问题是计算复杂性的一个基本挑战.
  • 了解随机布尔表达式中的相位过渡对于算法设计至关重要.

研究的目的:

  • 为了研究K-满足性问题的复杂性开始.
  • 确定超稳定状态在搜索算法性能中的作用.
  • 为复杂的满足实例开发新的优化算法.

主要方法:

  • 随机布尔表达式的分析与不同的句子对变量比率 (alpha).
  • 在满足值 (alphac) 以下的中间阶段的识别.
  • 开发和测试一类新的优化算法,设计用于超稳定状态.

主要成果:

  • 确立了alphac以下的一个中间阶段的存在,在那里出现复杂性.
  • 证明了超稳定状态是导致搜索难度增加的原因.
  • 在大型K-满意度基准上成功测试了一种新的优化算法.

结论:

  • 这项研究揭示了K-满意度的关键中间阶段,影响了算法性能.
  • 新的优化算法在解决复杂的,超稳定的问题实例方面表现有前途.
  • 这些发现有助于更深入地了解计算复杂性和可满足性问题.