183:
165:
A graph is trivially a quotient graph of itself (each block of the partition is a single vertex), and the graph consisting of a single point is the quotient graph of any non-empty graph (the partition consisting of a single block of all vertices). The simplest non-trivial quotient graph is one
157:) from a graph to a quotient graph, sending each vertex or edge to the equivalence class that it belongs to. Intuitively, this corresponds to "gluing together" (formally, "identifying") vertices and edges of the graph.
186:
A directed graph (blue and black) and its condensation (yellow). The strongly connected components (subsets of blue vertices within each yellow vertex) form the blocks of a partition giving rise to the
226:
formed by the contracted edges. However, for quotients more generally, the blocks of the partition giving rise to the quotient do not need to form connected subgraphs.
253:
under the covering map. However, covering maps have an additional requirement that is not true more generally of quotients, that the map be a local isomorphism.
315:
219:
134:β so its objects can be regarded as "sets with additional structure", and a quotient graph corresponds to the graph induced on the
437:
196:
192:
483:
478:
200:
123:
167:
76:
435:
Faria, L.; de
Figueiredo, C. M. H.; Mendonça, C. F. X. (2001), "Splitting number is NP-complete",
380:
150:
32:
319:
131:
446:
407:
372:
355:; Somenzi, Fabio (January 2006), "An algorithm for strongly connected component analysis in
325:
207:
171:
458:
421:
337:
454:
417:
352:
333:
119:
234:
450:
249:. The blocks of the corresponding partition are the inverse images of the vertices of
472:
412:
127:
384:
285:
154:
135:
17:
324:, Contemp. Math., vol. 588, Amer. Math. Soc., Providence, RI, pp. 1β17,
182:
270:
262:
329:
376:
199:
form the blocks of the partition. This construction can be used to derive a
181:
79:
induced by the partition, then the quotient graph has vertex set
318:; Schulz, Christian (2013), "High quality graph partitioning",
195:
of a directed graph is the quotient graph where the
130:β mapping a graph to its set of vertices makes it a
398:Gardiner, A. (1974), "Antipodal covering graphs",
170:); if the vertices are connected, this is called
8:
31:is a graph whose vertices are blocks of a
411:
321:Graph partitioning and graph clustering
307:
166:obtained by identifying two vertices (
126:of graphs. The category of graphs is
118:More formally, a quotient graph is a
7:
284:can be obtained as a quotient of a
14:
55:with respect to the edge set of
400:Journal of Combinatorial Theory
365:Formal Methods in System Design
218:, in which the blocks are the
51:is adjacent to some vertex in
1:
451:10.1016/S0166-218X(00)00220-1
197:strongly connected components
438:Discrete Applied Mathematics
413:10.1016/0095-8956(74)90072-0
500:
206:The result of one or more
377:10.1007/s10703-006-4341-z
203:from any directed graph.
178:Special types of quotient
257:Computational complexity
280:, to determine whether
245:is a quotient graph of
210:in an undirected graph
330:10.1090/conm/588/11700
201:directed acyclic graph
188:
149:. Further, there is a
185:
168:vertex identification
59:. In other words, if
43:is adjacent to block
220:connected components
77:equivalence relation
222:of the subgraph of
35:of the vertices of
189:
151:graph homomorphism
145:of its vertex set
47:if some vertex in
363:symbolic steps",
351:Bloem, Roderick;
237:of another graph
214:is a quotient of
208:edge contractions
132:concrete category
491:
484:Quotient objects
479:Graph operations
463:
461:
432:
426:
424:
415:
395:
389:
387:
353:Gabow, Harold N.
348:
342:
340:
312:
297:
279:
276:and a parameter
268:
172:edge contraction
39:and where block
499:
498:
494:
493:
492:
490:
489:
488:
469:
468:
467:
466:
434:
433:
429:
397:
396:
392:
359: log
350:
349:
345:
314:
313:
309:
304:
289:
277:
266:
259:
180:
163:
120:quotient object
99:) | (
98:
92:
87:and edge set {(
67:and vertex set
12:
11:
5:
497:
495:
487:
486:
481:
471:
470:
465:
464:
445:(1β2): 65β83,
427:
406:(3): 255β273,
390:
343:
316:Sanders, Peter
306:
305:
303:
300:
258:
255:
235:covering graph
179:
176:
162:
159:
94:
88:
22:quotient graph
13:
10:
9:
6:
4:
3:
2:
496:
485:
482:
480:
477:
476:
474:
460:
456:
452:
448:
444:
440:
439:
431:
428:
423:
419:
414:
409:
405:
401:
394:
391:
386:
382:
378:
374:
370:
366:
362:
358:
354:
347:
344:
339:
335:
331:
327:
323:
322:
317:
311:
308:
301:
299:
296:
292:
287:
283:
275:
272:
264:
256:
254:
252:
248:
244:
240:
236:
232:
227:
225:
221:
217:
213:
209:
204:
202:
198:
194:
184:
177:
175:
173:
169:
160:
158:
156:
152:
148:
144:
140:
137:
133:
129:
128:concretizable
125:
121:
116:
114:
110:
106:
102:
97:
91:
86:
82:
78:
74:
70:
66:
63:has edge set
62:
58:
54:
50:
46:
42:
38:
34:
30:
26:
23:
19:
442:
436:
430:
403:
402:, Series B,
399:
393:
371:(1): 37β56,
368:
364:
360:
356:
346:
320:
310:
294:
290:
286:planar graph
281:
273:
260:
250:
246:
242:
238:
230:
228:
223:
215:
211:
205:
193:condensation
190:
164:
155:quotient map
146:
142:
138:
136:quotient set
117:
112:
108:
104:
100:
95:
89:
84:
80:
72:
68:
64:
60:
56:
52:
48:
44:
40:
36:
28:
24:
21:
18:graph theory
15:
271:cubic graph
265:, given an
263:NP-complete
27:of a graph
473:Categories
302:References
298:vertices.
187:quotient.
107:) β
33:partition
385:11747844
269:-vertex
161:Examples
124:category
459:1804713
422:0340090
338:3074893
241:, then
122:in the
103:,
93:,
75:is the
457:
420:
383:
336:
261:It is
381:S2CID
288:with
233:is a
191:The
115:)}.
71:and
20:, a
447:doi
443:108
408:doi
373:doi
326:doi
229:If
153:(a
16:In
475::
455:MR
453:,
441:,
418:MR
416:,
404:16
379:,
369:28
367:,
334:MR
332:,
293:+
174:.
462:.
449::
425:.
410::
388:.
375::
361:n
357:n
341:.
328::
295:k
291:n
282:G
278:k
274:G
267:n
251:H
247:G
243:H
239:H
231:G
224:G
216:G
212:G
147:V
143:R
141:/
139:V
113:G
111:(
109:E
105:v
101:u
96:R
90:R
85:R
83:/
81:V
73:R
69:V
65:E
61:G
57:G
53:C
49:B
45:C
41:B
37:G
29:G
25:Q
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.