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)
"Załóżmy, że A, B \in \mathcal{I} i |A|<|B|." -> "Przy założeniu, że n\ge1, rodzina \mathcal{I} zawiera co najmniej 2 elementy -- zbiór pusty i singleton złożony z dowolnej kolumny macierzy T. Wybierzmy dowolne A, B \in \mathcal{I} takie, że |A|<|B|."
"nie-wprost" -> "nie wprost"
dopisać na końcu: "Uzyskana sprzeczność dowodzi istnienia kolumny x\in B\setminus A liniowo niezależnej z kolumnami z A, dlatego A\cup{x}\in\mathcal{I}."
"Załóżmy, że A, B \in \mathcal{I} i |A|<|B|." -> "Przy założeniu, że n\ge1, rodzina \mathcal{I} zawiera co najmniej 2 elementy -- zbiór pusty i singleton złożony z dowolnej kolumny macierzy T. Wybierzmy dowolne A, B \in \mathcal{I} takie, że |A|<|B|." "nie-wprost" -> "nie wprost" dopisać na końcu: "Uzyskana sprzeczność dowodzi istnienia kolumny x\in B\setminus A liniowo niezależnej z kolumnami z A, dlatego A\cup{x}\in\mathcal{I}."