wojtask / CormenSol

Solutions to exercises and problems from "Introduction to Algorithms", Second Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein (in Polish)
8 stars 3 forks source link

Preferować tagowanie w wyprowadzeniach #393

Open wojtask opened 2 years ago

wojtask commented 2 years ago

Istnieje polecenie \tag, które pozwala na dopisanie dowolnego tekstu do części wzoru np. w jakimś wyprowadzeniu. Można ten mechanizm wykorzystać do bardziej precyzyjnego uzasadnienia, skąd biorą się dane przejścia. Dzięki temu może częściej warto łamać długie wyprowadzenia, np. przy każdym znaku relacji (=, <, >, \le, ge, \approx itd.)

Np. zamiast pisać że w przedostatnim przejściu długiego wyprowadzenia skorzystano z tego, że n>1, warto to ująć za pomocą taga: \begin{align} A &= B \\ &\le C \\ &\le D \tag{o ile n>1} \\ &= 1. \end{align}