A bináris fa talán nem a jó példa erre, de például az már igen, hogy egy hálózati topológiát hogy tudsz felderíteni, majd gráfként felépíteni és útvonalakat keresni benne, mindenféle constraintek figyelembevételével.
Vagy másik konkrét példa: van egy rendszered sok csomóponttal függőségi relációkkal és minden csomópontban egy-egy állapotgéppel. Generálj egy task listát, ami az egész rendszert a jelenlegi állapotból egy meghatározott végállapotba viszi, a függőségek betartásával.
Ezek konkrét feladatok voltak egy konkrét termékfejlesztésben. És még sorolhatnék sok másikat, amit nem lehetett volna matematikai alapok nélkül megtervezni. Tudjuk, mert korábban ad hoc módon próbálkoztak vele és tesztelés során mindig előjöttek lehetetlen bugok és megoldhatatlan corner case-ek, amik csak akkor tűntek el, mikor végre formalizáltan újraterveztük.
---
Régóta vágyok én, az androidok mezonkincsére már!