From d1f7f5e6f2d851303ae9055de5758216ca1486bc Mon Sep 17 00:00:00 2001
From: beginner1010 <vahid.sanei@gmail.com>
Date: Mon, 25 Jun 2018 12:21:15 -0500
Subject: [PATCH] Graph is updated
---
src/main/java/Algorithm/Graph.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/java/Algorithm/Graph.java b/src/main/java/Algorithm/Graph.java
index c12e21d..d539471 100644
--- a/src/main/java/Algorithm/Graph.java
+++ b/src/main/java/Algorithm/Graph.java
@@ -386,6 +386,7 @@ public class Graph {
int id = (int)(fst % shift) ;
for (int neighbor : this.AdjList.get(id)) {
if (degen [neighbor] > degen [id]) {
+ set.remove(degen [neighbor] * shift + neighbor);
degen [neighbor] -- ;
set.add(degen [neighbor] * shift + neighbor) ;
}
--
GitLab