constraint satisfaction

2 items

RESEARCHarXiv CS.AI·vor 1T

DiBS: Diffusion-Informed Branch Selection

Der Artikel stellt DiBS vor, einen neuartigen, diffusionsmodellgesteuerten Ansatz zur Zweigauswahl beim Lösen von Sudoku, einem Problem der Nebenbedingungserfüllung. Er verbessert symbolische Löser durch die Verwendung eines Diffusionsmodells zur Steuerung der Zweiganordnung, um Vollständigkeit zu gewährleisten und Probleme bei der Langschwanzsuche zu mildern.

branch selection Diffusion Models constraint satisfaction Sudoku

RESEARCHDEV.to AI·vor 3T

Optimization hardness as transient chaos in an analog approach to constraintsatisfaction

Diese Forschung untersucht die Schwierigkeit von Optimierungsproblemen und verbindet sie mit transientem chaotischem Verhalten in einem analogen Ansatz zur Nebenbedingungserfüllung. Die Studie untersucht, wie die Dynamik solcher Systeme die Herausforderungen bei der Suche nach optimalen Lösungen beleuchten kann.

analog computing Optimization constraint satisfaction Computational Science