Zulip Chat Archive

Stream: graph theory

Topics:

Defining the ends (39 messages, latest: Jan 30 2023 at 08:21)
chromatic polynomial (16 messages, latest: Jan 01 2023 at 22:05)
connectivity (129 messages, latest: Dec 19 2022 at 20:07)
Flow networks (4 messages, latest: Dec 15 2022 at 19:12)
acyclic and connectivity (4 messages, latest: Dec 08 2022 at 04:54)
Cayley graphs (again) (72 messages, latest: Dec 05 2022 at 12:34)
from_edge_set and add_edges (73 messages, latest: Nov 25 2022 at 17:21)
multigraph definition (198 messages, latest: Nov 24 2022 at 14:22)
Bipartite graphs (18 messages, latest: Nov 18 2022 at 15:31)
working with explicit graphs (4 messages, latest: Nov 06 2022 at 15:41)
Decidability for connected components (10 messages, latest: Oct 25 2022 at 10:10)
Refactor and quivers? (31 messages, latest: Oct 14 2022 at 15:25)
K4 is planar help (30 messages, latest: Sep 19 2022 at 08:50)
compactness for graph homomorphisms (6 messages, latest: Sep 05 2022 at 11:32)
Union of connected subgraphs (17 messages, latest: Aug 23 2022 at 12:39)
Turan's theorem rewrite error (10 messages, latest: Aug 04 2022 at 12:19)
take_until on predicate (25 messages, latest: Aug 01 2022 at 15:27)
induced graphs, cliques, coloring bounds (8 messages, latest: Jul 02 2022 at 17:04)
balanced partitions (35 messages, latest: Jun 23 2022 at 17:38)
Ruzsa-Szemerédi (2 messages, latest: May 25 2022 at 17:28)
Triangles (7 messages, latest: Apr 29 2022 at 20:39)
some extremal graph theory (max edges until triangles) (32 messages, latest: Apr 28 2022 at 22:05)
darts (11 messages, latest: Apr 10 2022 at 18:59)
Path metric (91 messages, latest: Mar 10 2022 at 22:28)
non-simple graphs (27 messages, latest: Feb 09 2022 at 17:20)
Design question on pushforward / pullback (8 messages, latest: Feb 05 2022 at 13:24)
Graph minors and contractions (41 messages, latest: Jan 21 2022 at 09:09)
graph typeclasses (52 messages, latest: Jan 20 2022 at 17:02)
coloring/partitions (48 messages, latest: Jan 19 2022 at 00:20)
What to do (5 messages, latest: Jan 05 2022 at 18:40)
matchings (342 messages, latest: Dec 30 2021 at 21:45)
✔ simple_graph API (7 messages, latest: Dec 27 2021 at 23:07)
c-sets (4 messages, latest: Dec 13 2021 at 10:44)
coloring (155 messages, latest: Nov 18 2021 at 04:05)
minors of simple graphs (4 messages, latest: Nov 11 2021 at 18:04)
Clique (18 messages, latest: Nov 10 2021 at 17:25)
k-factors (32 messages, latest: Nov 03 2021 at 00:41)
job formalising graph theory (1 message, latest: Oct 27 2021 at 12:45)
Effort of formalizing simple Lemma on Perfect Matchings? (6 messages, latest: Oct 22 2021 at 07:03)
Intro to Graph Theory in Lean (15 messages, latest: Oct 18 2021 at 20:20)
sym vs symm (3 messages, latest: Sep 11 2021 at 08:08)
adj_matrix (62 messages, latest: Sep 06 2021 at 17:19)
Trees (45 messages, latest: Aug 20 2021 at 18:15)
set {s : sym2 V // ¬s.is_diag} (15 messages, latest: Jul 18 2021 at 15:09)
bounded_lattice (simple_graph V) (25 messages, latest: Jul 16 2021 at 20:13)
Spectrum of a graph (45 messages, latest: Jul 14 2021 at 05:31)
Szemerédi's Theorem (6 messages, latest: Jul 10 2021 at 20:09)
Ramsey THeory (2 messages, latest: Jul 10 2021 at 18:15)
simple_graphs2 (182 messages, latest: Jul 10 2021 at 07:55)
directed graphs (24 messages, latest: Jul 09 2021 at 00:47)
walks (66 messages, latest: Jun 25 2021 at 02:56)
coq (1 message, latest: Apr 22 2021 at 21:44)
Creating an edge from vertices (16 messages, latest: Apr 02 2021 at 10:13)
Random graphs? (11 messages, latest: Feb 22 2021 at 23:46)
coordination/github projects (15 messages, latest: Feb 04 2021 at 18:47)
naming conventions (3 messages, latest: Jan 18 2021 at 06:06)
Hall's marriage problem (6 messages, latest: Jan 10 2021 at 01:26)
Construct path from walk? (56 messages, latest: Dec 14 2020 at 06:29)
graph theory PRs (8 messages, latest: Dec 10 2020 at 20:36)
Applications (30 messages, latest: Dec 06 2020 at 23:42)
concrete simple graph (60 messages, latest: Dec 01 2020 at 05:36)
spans (28 messages, latest: Nov 14 2020 at 02:17)
graph defs (115 messages, latest: Nov 08 2020 at 22:07)
cycles (6 messages, latest: Oct 24 2020 at 02:31)
ramsey news (1 message, latest: Sep 25 2020 at 16:12)
hedetniemi branch (21 messages, latest: Sep 15 2020 at 23:32)
category of graphs (100 messages, latest: Aug 31 2020 at 21:04)
freek 83 (31 messages, latest: Aug 29 2020 at 18:56)
3458 (3 messages, latest: Aug 24 2020 at 23:59)
meta (28 messages, latest: Aug 24 2020 at 22:23)
infinite union of graphs (10 messages, latest: Aug 22 2020 at 16:56)
subgraphs (4 messages, latest: Aug 18 2020 at 01:24)
paths (74 messages, latest: Aug 13 2020 at 18:41)
maximal paths via zorn? (153 messages, latest: Aug 13 2020 at 02:49)
making mwes (10 messages, latest: Aug 12 2020 at 17:29)
stream events (1 message, latest: Aug 12 2020 at 01:10)

Last updated: Jan 31 2023 at 21:29 UTC