Zulip Chat Archive

Stream: graph theory

Topics:

Changing the notation for Sym2 (2 messages, latest: Dec 13 2023 at 07:28)
Proving: Decidable (g.Reachable v0 v1) (6 messages, latest: Dec 11 2023 at 05:30)
G.chromaticNumber ≤ n → G.Colorable n (20 messages, latest: Dec 07 2023 at 22:44)
Definition of planar graphs (14 messages, latest: Dec 01 2023 at 03:31)
Any low hanging fruits related to SimpleGraph? (117 messages, latest: Nov 17 2023 at 18:53)
pathGraph coloring (11 messages, latest: Nov 03 2023 at 20:52)
Turan's theorem rewrite error (15 messages, latest: Aug 29 2023 at 12:36)
edge coloring (4 messages, latest: May 08 2023 at 14:18)
max-flow min-cut help (50 messages, latest: May 03 2023 at 12:56)
Minimal or maximal structures (8 messages, latest: Apr 17 2023 at 13:23)
✔ locally injective function (2 messages, latest: Apr 05 2023 at 18:18)
Why do walks take both endpoints as indices rather than one? (7 messages, latest: Mar 03 2023 at 09:39)
Cayley graphs (again) (74 messages, latest: Feb 22 2023 at 16:32)
connectivity (130 messages, latest: Feb 21 2023 at 07:46)
Defining the ends (39 messages, latest: Jan 30 2023 at 08:21)
chromatic polynomial (16 messages, latest: Jan 01 2023 at 22:05)
Flow networks (4 messages, latest: Dec 15 2022 at 19:12)
acyclic and connectivity (4 messages, latest: Dec 08 2022 at 04:54)
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)
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: Dec 20 2023 at 11:08 UTC