Při paralelizaci numerického výpočtu vyvstala úloha, kterou je možno zformulovat v řeči teorie grafů: máme různě ohodnocené vrcholy a hledáme takové hranové ohodnocení, kdy hodnota přiřazená každé hraně odpovídá hodnotě jednoho koncového vrcholu. Ukážeme teoretické ohraničení počtu barev (myšlenku existenčního důkazu).
Na tomto pracovním semináři uvedeme problém hledání konstruktivního důkazu, který by bylo možno použít pro rychlé nalezení takového ohodnocení.
Web: graphs.vsb.cz/dimas