De get_colors methode om een map te maken van de vertices per kleur is nu niet meer nodig. De graaf heeft zelf deze map bij zich en update die wanneer nodig, ook wordt deze gerevert wanneer nodig.
De tijden van Torus144_0-6 was op de huidige master 9.717 seconden voor fast en 3.78 seconden voor normaal color refinen (geen idee waarom de fast hier langer duurt). De tijden op deze branch na de wijzigingen zijn 2.79 seconden voor fast en 3.69 voor normaal color refinen.
De tijden van Cubes6_2-3 is op de huidige master 140 seconden voor fast color refinement (voor normaal duurt het nog langer, maar heb ik niet op gewacht). De tijden op de branch na de wijzigingen zijn 48 seconden voor fast en 61 seconden voor normaal color refinen.
Het scheelt dus wel een hoop tijd, maar vooral op grote grafen die al lang duren. Op kleinere grafen heb ik het niet specifiek uitgezocht hoeveel tijd het scheelt
De get_colors methode om een map te maken van de vertices per kleur is nu niet meer nodig. De graaf heeft zelf deze map bij zich en update die wanneer nodig, ook wordt deze gerevert wanneer nodig. De tijden van Torus144_0-6 was op de huidige master 9.717 seconden voor fast en 3.78 seconden voor normaal color refinen (geen idee waarom de fast hier langer duurt). De tijden op deze branch na de wijzigingen zijn 2.79 seconden voor fast en 3.69 voor normaal color refinen. De tijden van Cubes6_2-3 is op de huidige master 140 seconden voor fast color refinement (voor normaal duurt het nog langer, maar heb ik niet op gewacht). De tijden op de branch na de wijzigingen zijn 48 seconden voor fast en 61 seconden voor normaal color refinen. Het scheelt dus wel een hoop tijd, maar vooral op grote grafen die al lang duren. Op kleinere grafen heb ik het niet specifiek uitgezocht hoeveel tijd het scheelt