Problema satisfiabilității, prescurtată cu SAT (satisfiability), presupune existența unei atribuiri satisfiabile pentru o expresie booleană. O atribuire de valori booleene …
Structuri de date arborescente – Arbori de intervale
Un arbore de intervale este o structură de date similară cu un arbore binar, în care fiecare nod conţine informaţii …
Arbori cu rădăcină – Lowest Common Ancestor folosind Euler’s Tour
Fiind date două noduri p și q dintr-un arbore cu rădăcină, numim lowest common ancestor nodul de intersecție al lui …
Programare dinamică – Range Minimum Query
Range Minimum Query este o tehnică de programare dinamică care ne ajută să răspundem eficient la întrebări de forma „care …
Convenții de scriere a soluțiilor
Întrucât scopul acestui proiect nu este doar de a rezolva probleme și de a publica soluțiile pe site, ci de …