Johnson graphs, their random subgraphs, and some of their extremal characteristics | Synapse