chapter_dependencies.dot

digraph {
ranksep=3;

// Legend
subgraph legend {
    a [style=invis];
    b [style=invis];
    c [style=invis];
    d [style=invis];
    a -> b [label="Chapter dependency", color="darkgray"];
    c -> d [label="Recommended path", color="blue"];
}

// Chapter dependencies
edge[color="darkgray"]

"Basis/Interactive Proofs" -> {
    "Easy/Schnorr"
    "Basis/Commitments"
    "Graph/Nonisomorphism"
    "Graph/Isomorphism"
};
"Basis/Commitments" -> {
    "Graph/Colorability"
    "Game/Sudoku"
};
"Basis/Elliptic Curves" -> {
    "Easy/Schnorr"
    "Basis/Commitments"
};

// Recommended path
edge[color="blue", constraint=false]

"Basis/Interactive Proofs"
-> "Basis/Elliptic Curves"
-> "Easy/Schnorr"
-> "Graph/Nonisomorphism"
-> "Basis/Commitments"
-> "Game/Sudoku";

}