23:40 "gdy po kolejnej iteracji żadna nowa informacja nie przybędzie, to obrazek mamy rozwiązany" Skąd to twierdzenie? Używaliśmy tylko bardzo prostych rozumowań, koncentrując się tylko na jednej linii naraz. Bez większego problemu potrafię stworzyć obrazek, który choć ma tylko jedno rozwiązanie, nie daje się rozwiązać tą metodą. Takim obrazkiem jest np. obrazek 7x7, w którym opisy wierszy są następujące: 22,22,3,3,3,22,22 i tak samo opisy kolumn są 22,22,3,3,3,22,22. Przedstawiony na wykładzie algorytm nie może wykonać nawet jednego kroku, a jednak można udowodnić, że obrazek ma tylko jedno rozwiązanie.
![[Sun'iy Intellekt uchun Matematika] Dars-3: Chiziqli Algebra: Vektor Asoslari va Vektor Algebrasi](/img/n.gif)
23:40 "gdy po kolejnej iteracji żadna nowa informacja nie przybędzie, to obrazek mamy rozwiązany"
Skąd to twierdzenie? Używaliśmy tylko bardzo prostych rozumowań, koncentrując się tylko na jednej linii naraz. Bez większego problemu potrafię stworzyć obrazek, który choć ma tylko jedno rozwiązanie, nie daje się rozwiązać tą metodą.
Takim obrazkiem jest np. obrazek 7x7, w którym opisy wierszy są następujące: 22,22,3,3,3,22,22 i tak samo opisy kolumn są 22,22,3,3,3,22,22. Przedstawiony na wykładzie algorytm nie może wykonać nawet jednego kroku, a jednak można udowodnić, że obrazek ma tylko jedno rozwiązanie.