Задача о рюкзаке (также задача о ранце) — NP-полная задача комбинаторной оптимизации. Своё название получила от конечной цели: уложить как можно большее число ценных вещей в рюкзак при условии, что вместимость рюкзака ограничена. С различными вариациями задачи о рюкзаке можно столкнуться в экономике, прикладной математике, криптографии и логистике.

Travis CI enables your team to test and ship your apps with confidence. Easily sync your projects with Travis CI and you'll be testing your code in minutes.

This presentation was recorded at GOTO Chicago 2019. #GOTOcon #GOTOchgo
http://gotochgo.com

Hillel Wayne - Author of Practical TLA+, Expert in Applying Formal Methods to Real-world Problems

ABSTRACT
There are many things in software we believe are true but very little we know. Maybe testing reduces bugs, or maybe it's just superstition. If we want to improve our craft, we need a way to distinguish fact from fallacy. We need to look for evidence, placing our trust in hard data.
Empirical Software Engineering is the study of what actually works in programming. Instead of trusting our instincts we collect data, run studies, and peer-review our results. This talk is all about how we empirically find the facts in software and some of the challenges we face, with a particular [...]

Download slides and read the full abstract here:
https://gotochgo.com/2019/sessions/695

https://twitter.com/GOTOchgo
https://www.facebook.com/GOTOConference
https://www.linkedin.com/company/goto-
http://gotocon.com
https://www.hille…

This presentation was recorded at GOTO Chicago 2019. #GOTOcon #GOTOchgo
http://gotochgo.com

Hillel Wayne - Author of Practical TLA+, Expert in Applying Formal Methods to Real-world Problems

ABSTRACT
There are many things in software we believe are true but very little we know. Maybe testing reduces bugs, or maybe it's just superstition. If we want to improve our craft, we need a way to distinguish fact from fallacy. We need to look for evidence, placing our trust in hard data.
Empirical Software Engineering is the study of what actually works in programming. Instead of trusting our instincts we collect data, run studies, and peer-review our results. This talk is all about how we empirically find the facts in software and some of the challenges we face, with a particular [...]

Download slides and read the full abstract here:
https://gotochgo.com/2019/sessions/695

https://twitter.com/GOTOchgo
https://www.facebook.com/GOTOConference
https://www.linkedin.com/company/goto-
http://gotocon.com
https://www.hille…