Experimental design and behavior. A.
Example of an associative graph. Participants were never exposed to this top-down view of the graph - they learned the graph by viewing a series of pairs of neighboring images, corresponding to a walk on the graph. To aid memorisation, we asked participants to internally invent stories that connect the images. B. Each participant learned 4 graphs: two with a hexagonal lattice structure (both learned on days 1 and 2) and two with a community structure (both learned on days 3 and 4). For each structural form, there was one larger graph and one smaller graph. The nodes of graphs with approximately the same size were drawn from the same set of images. C-F. In each day of training we used four tests to probe the knowledge of the graphs, as well as to promote further learning. In all tests, participants performed above chance level on all days and improved their performance between the first and second days of learning a graph. C. Participants were asked whether an image X can appear between images Y and Z (one sided t-test against chance level (50%): hex day1 t(27) = 31.2, p < 10^-22 ; hex day2 t(27) = 35.5, p < 10^-23 ; comm day3 t(27) = 26.9, p < 10^-20 ; comm day4 t(27) = 34.2, p < 10^-23 ; paired one sided t-test between first and second day for each structural form: hex t(27) = 4.78, p < 10^-5 ; comm t(27) = 3.49, p < 10^-3). D. Participants were shown two 3-long image sequences, and were asked whether a target image can be the fourth image in the first, second or both of the sequences (one sided t-test against chance level (33.33%): hex day1 t(27) = 39.9, p < 10^-25 ; hex day2 t(27) = 42.3, p < 10^-25 ; comm day3 t(27) = 44.8, p < 10^-26 ; comm day4 t(27) = 44.2, p < 10^-26 ; paired one sided t-test between first and second day for each structural form: hex t(27) = 3.97, p < 10^-3 ; comm t(27) = 2.81, p < 10^-2). E. Participants were asked whether an image X is closer to image Y or image Z, Y and Z are not neighbors of X on the graph (one sided t-test against chance level (50%): hex day1 t(27) = 12.6, p < 10^-12 ; hex day2 t(27) = 12.5, p < 10^-12 ; comm day3 t(27) = 5.06, p < 10^-4 ; comm day4 t(27) = 7.42, p < 10^-07; paired one sided t-test between first and second day for each structural form: hex t(27) = 3.44, p < 10^-3 ; comm t(27) = 2.88, p < 10^-2). F. Participants were asked to navigate from a start image X to a target image Y. In each step, the participant had to choose between two (randomly selected) neighbors of the current image. The participant repeatedly made these choices until they arrived at the target image (paired one sided t-test between number of steps taken to reach the target in first and second day for each structural form. Left: trials with initial distance of 2 edges between start and target images: hex t(27) = 2.57, p < 10^-2 ; comm t(27) = 2.41, p < 10^-2; MIddle: initial distance of 3 edges: hex t(27) = 2.58, p < 10^-2 ; comm t(27) = 4.67, p < 10^-2; Right: trials with initial distance of 4 edges: hex t(27) = 3.02, p < 10^-2 ; comm t(27) = 3.69, p < 10^-3). Note that while feedback was given for the local tests in panels C and D, no feedback was given for the tests in panels E-F to ensure that participants were not directly exposed to any non-local relations. The location of different options on the screen was randomised for all tests. Hex: hexagonal lattice graphs. Comm: community structure graphs.