00:00:20.745,00:00:23.745
Лъчезар Любомиров: ок сме

00:00:59.827,00:01:02.827
Ирина Атанасова: в крайна сметка семестъра е до края на юни нали

00:01:00.726,00:01:03.726
Йонко Йонков: за алгоритъма за силно свързани компоненти има ли нужда да пишем кода на алгоритъма на Тарджан или е достатъчно само да кажем, че използваме него за топсорт

00:01:25.914,00:01:28.914
Александър Караиванов: На мен ми излезе въпрос за неравенството на триъгълника.
Защо ако няма път s->x това да е същото като
да няма път s->y?

00:06:48.111,00:06:51.111
Минко Марков: такава инварианта е смислена?

00:09:06.872,00:09:09.872
Александър Караиванов: Може би съм се объркал но ми се стори че има случаи в които не е така.


00:09:13.843,00:09:16.843
Александър Караиванов: Като ориентиран граф с единствени ребра (x,y) и (s,y) ??
Няма път s->x, но има s->y 

00:10:02.609,00:10:05.609
Александър Караиванов: Да това вече да

00:10:56.138,00:10:59.138
Минко Марков: инвар: при всяко дост. на while, за върховете в S ``знаем истината''

00:11:47.824,00:11:50.824
Минко Марков: ??

00:12:06.930,00:12:09.930
Даниел Георгиев: не е ли нужно да се каже че става въпрос за индуцирания подграф от върховете в S

00:13:05.837,00:13:08.837
Христо Терзийски: нали върховете, които не са достижими от s изобщо не ги "пипаме"

00:13:20.241,00:13:23.241
Христо Терзийски: не аз питам по принцип

00:13:31.192,00:13:34.192
Христо Терзийски: просто дали съм разбрал

00:14:44.713,00:14:47.713
Христо Терзийски: какво точно ще рече такъв че x.d е минимална

00:15:24.523,00:15:27.523
Христо Терзийски: ок

00:15:26.839,00:15:29.839
Минко Марков: ok?

00:15:31.059,00:15:34.059
Минко Марков: ??

00:15:31.444,00:15:34.444
Христо Терзийски: да

00:23:58.445,00:24:01.445
Минко Марков: въпроси??

00:24:01.175,00:24:04.175
Минко Марков: ??

00:25:45.084,00:25:48.084
Христо Терзийски: ако y съвпада с v се достига равенство

00:27:26.827,00:27:29.827
Ангел Димитров: да

00:27:30.225,00:27:33.225
Минко Марков: 12.7?

00:27:48.676,00:27:51.676
Христо Терзийски: но от куде идва това

00:27:53.938,00:27:56.938
Христо Терзийски: *къде

00:28:59.512,00:29:02.512
Христо Терзийски: da

00:29:06.058,00:29:09.058
Христо Терзийски: ние го искаме

00:29:10.453,00:29:13.453
Христо Терзийски: а не го знаем

00:29:30.529,00:29:33.529
Минко Марков: v е първият сбъркан връх

00:29:46.153,00:29:49.153
Христо Терзийски: да

00:30:05.612,00:30:08.612
Минко Марков: v \not\in S

00:30:26.482,00:30:29.482
Минко Марков: x = v

00:30:59.985,00:31:02.985
Минко Марков: v.d е минимална спрямо върховете извън S

00:31:23.853,00:31:26.853
Минко Марков: v.d <= y.d

00:31:25.307,00:31:28.307
Христо Терзийски: да но нали той е след y

00:31:42.689,00:31:45.689
Христо Терзийски: 12.6 ни казва обратното

00:32:09.106,00:32:12.106
Христо Терзийски: обърнат е знака

00:32:16.777,00:32:19.777
Минко Марков: !( v.d <= y.d) == v.d > y.d

00:32:30.873,00:32:33.873
Христо Терзийски: значи ние не сме в противоречие с 12.6

00:32:46.349,00:32:49.349
Христо Терзийски: аа а от двете заключаваме, че са равни

00:33:06.181,00:33:09.181
Христо Терзийски: понеже алгоритъма го взима

00:34:22.107,00:34:25.107
Христо Терзийски: мисля, че да

00:34:22.245,00:34:25.245
Минко Марков: ok??

00:38:12.007,00:38:15.007
Габриела Тошева: няма цикли

00:38:14.795,00:38:17.795
Минко Марков: отрицателни тегла не са проблем при дагове?

00:41:01.758,00:41:04.758
Минко Марков: въпроси?

00:41:15.932,00:41:18.932
Минко Марков: почивка до 14:15