wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs
commit 57e7a7692793955fc2c4d88dda072ad49a2298a5
parent 7151be82d7ef7c3912678c2ff1067ca5069c6ddb
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat,  5 Sep 2026 13:07:17 +0200

commit with codex

Diffstat:

monadic_second_order_logic_1 | 2--


perfect_elimination_ordering | 2+-


2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/monadic_second_order_logic_1 b/monadic_second_order_logic_1
@@ -2,8 +2,6 @@
 
 [MSO] with [quantification] over [sets] of [vertices]
 
-also called "edge encoding"
-
 Can express that a [graph] is [3_colorable]
 
 Up: [monadic_second_order_logic]
diff --git a/perfect_elimination_ordering b/perfect_elimination_ordering
@@ -1,6 +1,6 @@
 # Perfect elimination ordering
 
-A *perfect elimination ordering* of an [undirected_graph] is a [vertex_ordering] such that for every [vertex], its higher-numbered neighbors forms a [clique]
+A *perfect elimination ordering* of an [undirected_graph] is a [vertex_ordering] such that for every [vertex], its higher-numbered neighbors form a [clique]
 
 See also: [chordal], [degeneracy]