Zulip Chat Archive

Stream: graph theory

Topics:

Coloring odd loops / components (1 message, latest: May 01 2025 at 16:04)
What kind of graphs are in Mathlib already? (72 messages, latest: Apr 16 2025 at 21:05)
(Possibly) Infinite Trees (of Finite Degree) (1 message, latest: Mar 31 2025 at 05:50)
Cycle within circuit (15 messages, latest: Mar 24 2025 at 10:47)
Basic facts about diameter (10 messages, latest: Mar 19 2025 at 04:19)
Lemma about box products (8 messages, latest: Mar 18 2025 at 21:24)
Inductive graphs - how good or bad is such idea? (74 messages, latest: Mar 11 2025 at 00:04)
matchings (350 messages, latest: Mar 10 2025 at 13:15)
Andrasfai-Erdos-Sos theorem (13 messages, latest: Feb 23 2025 at 14:18)
Way ConnectedComponent definition uses Quot? (14 messages, latest: Feb 12 2025 at 16:47)
Flow networks and flow equivalent forest (111 messages, latest: Feb 09 2025 at 14:42)
Acyclic work (3 messages, latest: Feb 05 2025 at 00:20)
Excluded minors and structure theorems (5 messages, latest: Jan 22 2025 at 20:08)
Getting Started (7 messages, latest: Jan 11 2025 at 09:16)
✔ Ore's Theorem (6 messages, latest: Jan 06 2025 at 10:40)
Erdős-Stone-Simonovits (4 messages, latest: Dec 29 2024 at 07:40)
✔ Book recomendations? (4 messages, latest: Dec 22 2024 at 13:37)
edge coloring (8 messages, latest: Dec 20 2024 at 00:12)
Girth and Diameter Proof (2 messages, latest: Dec 10 2024 at 14:52)
Digraphs (34 messages, latest: Dec 10 2024 at 08:04)
graph (2 messages, latest: Dec 08 2024 at 08:49)
Labeled Transition Systems (3 messages, latest: Sep 24 2024 at 22:21)
Converse of IsTree.card_edgeFinset (6 messages, latest: Sep 01 2024 at 18:56)
chromatic polynomial (20 messages, latest: Aug 22 2024 at 13:51)
Function graph is acyclic (6 messages, latest: Aug 20 2024 at 17:23)
Spectral Graph Theory (21 messages, latest: Aug 09 2024 at 11:22)
group actions (1 message, latest: Jul 31 2024 at 12:27)
working with explicit graphs (5 messages, latest: Jul 27 2024 at 12:58)
✔ Question about the degree-sum formula (8 messages, latest: Jul 23 2024 at 17:41)
✔ Defining supposedly simple SimpleGraphs (12 messages, latest: Jul 23 2024 at 16:06)
Any low hanging fruits related to SimpleGraph? (123 messages, latest: Jul 22 2024 at 15:44)
Theorem name (21 messages, latest: Jul 09 2024 at 13:01)
Connectedness (7 messages, latest: Jun 25 2024 at 18:23)
channel events (1 message, latest: Jun 21 2024 at 01:35)
block designs (4 messages, latest: Jun 14 2024 at 14:45)
✔ Cycles lengths is at least 3 (14 messages, latest: Mar 27 2024 at 06:42)
Extremal graph theory (4 messages, latest: Mar 15 2024 at 14:43)
Definition of minors using minor maps (17 messages, latest: Mar 04 2024 at 00:25)
Hoffman-Singleton Theorem (22 messages, latest: Feb 23 2024 at 15:55)
PR reviews (2 messages, latest: Feb 13 2024 at 19:42)
G.chromaticNumber ≤ n → G.Colorable n (22 messages, latest: Feb 13 2024 at 04:03)
feat: Colors alternate in a bicolored path #9131 (1 message, latest: Feb 01 2024 at 14:31)
Changing the notation for Sym2 (4 messages, latest: Dec 24 2023 at 16:37)
Proving: Decidable (g.Reachable v0 v1) (6 messages, latest: Dec 11 2023 at 05:30)
Definition of planar graphs (14 messages, latest: Dec 01 2023 at 03:31)
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)
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)
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)
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)
✔ 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: May 02 2025 at 03:31 UTC