να βοηθήσει στην αλγόριθμο του Donalds Β Τζόνσον, δεν μπορώ να καταλάβω τον κωδικό ψευδο (ΜΕΡΟΣ ΙΙ)

Είχα υποβληθούν οι μια επεξεργασία αιτήματος για κωδικό @ trashgod να καθορίσει την εξαίρεση ρίχνονται μέσα unblock(). Ουσιαστικά, ο αλγόριθμος δηλώνει ότι το στοιχείο w(το οποίο είναι όχι ένας δείκτης) πρέπει να αφαιρεθεί από τον κατάλογο. Ο κωδικός ανωτέρω χρησιμοποιείται list.remove(w), η οποία αντιμετωπίζει wως δείκτη.

Μου να επεξεργαστείτε το αίτημα απορρίφθηκε! Δεν είμαι σίγουρος γιατί, επειδή έχω δοκιμάσει το παραπάνω με την τροποποίηση μου σε ένα δίκτυο 20.000 κόμβους και 70.000 άκρες και δεν συντριβή.

Έχω, επίσης, τροποποιημένο αλγόριθμο Τζόνσον να είναι περισσότερο προσαρμοσμένα στην μη κατευθυνόμενη γραφήματα. Αν κάποιος θέλει αυτές τις αλλαγές, παρακαλούμε επικοινωνήστε μαζί μου.

Παρακάτω είναι ο κωδικός μου unblock().

private void unblock(int u) {
    blocked[u] = false;
    List<Integer> list = b.get(u);
    int w;
    for (int iw=0; iw < list.size(); iw++) {
        w = Integer.valueOf(list.get(iw));
        //delete w from B(u);
        list.remove(iw);
        if (blocked[w]) {
            unblock(w);
        }
    }
}

@trashgod, δείγμα εξόδου σας περιέχει κύκλο που είναι κυκλική μετάθεση. Για παράδειγμα 0-1-0 και 1-0-1 είναι ίδιες Στην πραγματικότητα η έξοδος θα πρέπει να περιέχει μόνο 5 κύκλο δηλαδή 0 1 0, 0 2 0, 0 1 2 0, 0 2 1 0, 1 2 1,

χαρτί Johnson εξηγεί τι ένας κύκλος είναι: «Δύο στοιχειώδη κυκλώματα είναι διαφορετικά, αν κάποιος δεν είναι μια κυκλική μετάθεση του άλλου. «Κάποιος μπορεί επίσης να ελέγξετε τη σελίδα Wolfram: Αυτό επίσης εξόδου 5 κύκλο για την ίδια είσοδο.

http://demonstrations.wolfram.com/EnumeratingCyclesOfADirectedGraph/

Η ακόλουθη παραλλαγή παράγει μοναδικά κύκλους. Με βάση αυτό το παράδειγμα , αυτό είναι προσαρμοσμένη από μία απάντηση που παρέχεται από @ user1406062 .

Κώδικας:

import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.Stack;

/**
 * @see https://en.wikipedia.org/wiki/Johnson%27s_algorithm
 * @see https://stackoverflow.com/questions/2908575
 * @see https://stackoverflow.com/questions/2939877
 * @see http://en.wikipedia.org/wiki/Adjacency_matrix
 * @see http://en.wikipedia.org/wiki/Adjacency_list
 */
public final class CircuitFinding {

    final Stack<Integer> stack = new Stack<Integer>();
    final Map<Integer, List<Integer>> a;
    final List<List<Integer>> b;
    final boolean[] blocked;
    final int n;
    Integer s;

    public static void main(String[] args) {
        List<List<Integer>> a = new ArrayList<List<Integer>>();
        a.add(new ArrayList<Integer>(Arrays.asList(1, 2)));
        a.add(new ArrayList<Integer>(Arrays.asList(0, 2)));
        a.add(new ArrayList<Integer>(Arrays.asList(0, 1)));
        CircuitFinding cf = new CircuitFinding(a);
        cf.find();
    }

    /**
     * @param a adjacency structure of strong component K with least vertex in
     * subgraph of G induced by {s, s + 1, n};
     */
    public CircuitFinding(List<List<Integer>> A) {
        this.a = new HashMap<Integer, List<Integer>>(A.size());
        for (int i = 0; i < A.size(); i++) {
            this.a.put(i, new ArrayList<Integer>());
            for (int j : A.get(i)) {
                this.a.get(i).add(j);
            }
        }
        n = a.size();
        blocked = new boolean[n];
        b = new ArrayList<List<Integer>>();
        for (int i = 0; i < n; i++) {
            b.add(new ArrayList<Integer>());
        }
    }

    private void unblock(int u) {
        blocked[u] = false;
        List<Integer> list = b.get(u);
        for (int w : list) {
            //delete w from B(u);
            list.remove(Integer.valueOf(w));
            if (blocked[w]) {
                unblock(w);
            }
        }
    }

    private boolean circuit(int v) {
        boolean f = false;
        stack.push(v);
        blocked[v] = true;
        L1:
        for (int w : a.get(v)) {
            if (w == s) {
                //output circuit composed of stack followed by s;
                for (int i : stack) {
                    System.out.print(i + " ");
                }
                System.out.println(s);
                f = true;
            } else if (!blocked[w]) {
                if (circuit(w)) {
                    f = true;
                }
            }
        }
        L2:
        if (f) {
            unblock(v);
        } else {
            for (int w : a.get(v)) {
                //if (v∉B(w)) put v on B(w);
                if (!b.get(w).contains(v)) {
                    b.get(w).add(v);
                }
            }
        }
        v = stack.pop();
        return f;
    }

    public void find() {
        s = 0;
        while (s < n) {
            if (!a.isEmpty()) {
                //s := least vertex in V;
                L3:
                for (int i : a.keySet()) {
                    b.get(i).clear();
                    blocked[i] = false;
                }
                circuit(s);
                a.remove(s);
                for (Integer j : a.keySet()) {
                    if (a.get(j).contains(s)) {
                        a.get(j).remove(s);
                    }
                }
                s++;
            } else {
                s = n;
            }
        }
    }
}

Παραγωγή:

0 1 0
0 1 2 0
0 2 0
0 2 1 0
1 2 1

Όλες οι κύκλοι, για αναφορά:

0 1 0
0 1 2 0
0 2 0
0 2 1 0
1 0 1
1 0 2 1
1 2 0 1
1 2 1
2 0 1 2
2 0 2
2 1 0 2
2 1 2