Sada jos novih, drasticnijih izmena:
• Ispravio sam dosta propusta
• Ubacio sam definicije ekvivalentnosti, uporedio ih profesorovom definicijom (tu sam ranije gresio u tumacenju njegove greske)
• Svaki primer sam resio i sa Labeled Precedence Graph, tacnom varijantom (Ullman) Oznacenog Grafa Redosleda (sa minimizacijom u koraku 2., za razliku od onog sa linka koji sam ranije postovao). To je glavni razlog za povecanje dokumenta (sa 10 na 16 strana). Ipak, ovo je jedini definitivno siguran nacin za dokazivanje (s obzirom da je sporno odredjivanje kako ekvivalentnosti tako i serijalizovanosti...)
• Dodao sam nove primere (3 ili 4)
• Napravih i prvi Dodatak koji ukratko objasnjava algoritam konstrukcije Labeled Precedence Graph, na jednom zgodnom primeru
Manje vise, to je sve, za sada
Pozdrav