#minizinc — Public Fediverse posts

[Перевод] Многие сложные задачи на LeetCode — это простые задачи на ограничения

Иногда впечатление от алгоритмических задач такое, будто вас просят не решать проблему, а угадать «правильный» трюк из головы автора. В этой статье мы посмотрим на те же самые leetcode-подобные задачи глазами человека, который устал изобретать стеки и динамику на собеседовании и попробовал формулировать их как задачу оптимизации для солвера ограничений. Разбираем, как привычные «найди максимум при таких-то условиях» превращаются в компактные декларативные модели, зачем вообще нужны такие упражнения, что они говорят о собеседованиях и о нашем отношении к алгоритмам — и где у подхода с MiniZinc/constraint solving проходят естественные границы. Смотреть подход

https://habr.com/ru/companies/otus/articles/970468/

#задачи #leetcode #алгоритмы #задачи_на_ограничения #временная_сложность #MiniZinc #солвер_ограничений #оптимизация_задач #собеседование_разработчика #алгоритмические_задачи

🚀 Wow, what a thrill! An article about squeezing workforce schedules into #MiniZinc. Because nothing screams excitement like cactus plots and footnotes on night shifts! 🌵🌙
https://zayenz.se/blog/post/rotating-workforce-scheduling/ #CactusPlots #WorkforceScheduling #NightShifts #ExcitingData #HackerNews #ngated

Rotating Workforce Scheduling in MiniZinc

https://zayenz.se/blog/post/rotating-workforce-scheduling/

#HackerNews #RotatingWorkforce #Scheduling #MiniZinc #Optimization #Algorithms #WorkforceManagement

Rotating Workforce Scheduling in MiniZinc

https://zayenz.se/blog/post/rotating-workforce-scheduling/

#HackerNews #RotatingWorkforce #Scheduling #MiniZinc #Optimization #Algorithms #WorkforceManagement

Rotating Workforce Scheduling in MiniZinc

https://zayenz.se/blog/post/rotating-workforce-scheduling/

#HackerNews #RotatingWorkforce #Scheduling #MiniZinc #Optimization #Algorithms #WorkforceManagement

Rotating Workforce Scheduling in MiniZinc

https://zayenz.se/blog/post/rotating-workforce-scheduling/

#HackerNews #RotatingWorkforce #Scheduling #MiniZinc #Optimization #Algorithms #WorkforceManagement

Rotating Workforce Scheduling in MiniZinc

https://zayenz.se/blog/post/rotating-workforce-scheduling/

#HackerNews #RotatingWorkforce #Scheduling #MiniZinc #Optimization #Algorithms #WorkforceManagement

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Начал изучать солверы
после какой-то статьи с лобсте.рс, с месседжем "солверы могут решать значительную часть сложного литкода (хоть и не максимально быстро и без прогнозов скорости), и решение легко адаптируется к изменению требований"

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Because of our Eureka Prize nomination, the MiniZinc team was interviewed by the ARDC. Learn about some MiniZinc projects, and our perspective on MiniZinc and its development: https://ardc.edu.au/article/shaping-research-software-an-interview-with-the-minizinc-team/

#MiniZinc #Development #SoftwareEngineering #ConstraintModelling #ORMS #Optimization

📣 MiniZinc 2.8.6 is here! 🎉

This release includes various bug fixes and improvements. See the full changelog here: https://docs.minizinc.dev/en/2.8.6/changelog.html#version-2-8-6

Upgrade now and start modelling! 🚀

#MiniZinc #ConstraintModelling #Optimization #ORMS

The full MiniZinc challenge results are now available on the website: https://www.minizinc.org/challenge/2024/results/

Thank you to all the dedicated solver creators that competed in the competition!

#MiniZinc #ConstraintModelling #Optimization

I’m excited to share that the core MiniZinc team is one of the finalists for the 2024 Eureka Prize for Excellence in Research Software. It’s an honour to be shortlisted for such a prestigious award.

https://youtu.be/a4IMa5MjAGo?si=52NzR4-LLylPuakq

#MiniZinc #ConstraintModelling #EurekaPrizes

Another MiniZinc patch release is now available. The MiniZinc package now includes the latest OR-Tools solver, and the compiler now includes fixes for many small issues to get ready for the next MiniZinc challenge. Have a look at the change log for more details.

https://www.minizinc.org/doc-2.8.5/en/changelog.html#v2-8-5

#MiniZinc #ConstraintModelling #Optimization #ORMS

#MiniZinc already works with #Gurobi 11, the newly released version. It might not, however, find it automatically. On the command line you can add the `--gurobi-dll` flag to signal where the library is located. You can also add this flag to your MiniZinc preferences so this happens automatically.

Hi Mastodon!

I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization / #orms problems. (At least if you you were to ask me).

As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.

When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.
#introduction #introductions

#MiniZinc 2.8 has been released. No big new language features, but it does include a lot of improvements to make your life easier:

- #ORTools is now part of the MiniZinc bundle.
- #HiGHS now provides intermediate solutions.
- Experimental support for propagator based meta-search, such as LNS variants.
- Commutative CSE
- Support optional version of global_cardinality, increasing, and count globals.

Find more details and many other improvements in the change log: https://www.minizinc.org/doc-2.8.0/en/changelog.html#v2.8.0

#MiniZinc #MiniZincChallenge #CompetitiveProgramming

1/ We're happy to announce that there is a program for the Workshop on Teaching Constraint Programming:

https://hsimonis.github.io/WTCP2023/ 🧑‍🏫🥳

There will be an invited talk by Carleton Coffrin, @Dekker1, Jimmy H.M. Lee, Jason Nguyen, Peter J. Stuckey, Guido Tack and Allen Zhong on Automating Solution Checking and Grading with MiniZinc.

#CP2023conf #ConstraintProgramming #Teaching #AcademicMastodon #MiniZinc #ArtificialIntelligence #AcademicMastodon #Conference #Workshop

Hi Mastodon!

I'm a computer scientist working on the #MiniZinc modelling language. The perfect way to model your #optimization / #orms problems. (At least if you you were to ask me).

As an #OPTIMA research fellow at #Monash University, I generally love research into programming languages & combinatorial optimisation methods.

When I don't have anything to say about work, you may find me posting about my hobbies, such as music, birds, cycling, and cricket, instead.

#introduction #introductions