Seite 1 von 1

SPL Slides mistake?

Verfasst: 19. Jul 2015 15:29
von Assax
Hello

I think there is a mistake in the SPL Set on the Slides 30 and 31.

Mainly:

^ or(Search,{BFS, DFS})

Should this not be alternative since there is an XOR between BFS , Search and DFS, Search?

This continous on the next slide:

(BFS v DFS) <=> Search where it should be ((BFS,DFS) <=> Search) ^ !(BFS ^ DFS)

Anyone else think so too?

Also why is MST defined as MST => Weighted and not as MST => Weighted ^ Undirected

Re: SPL Slides mistake?

Verfasst: 19. Jul 2015 17:49
von ddimitrov
I totally agree with you. I found the same mistakes :)