commit 71d7860d242d0ca6964e69e0428915d357932936
parent 723c34a941acf682fb7902fe97dc7df2b3b1f73a
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Mon, 21 Sep 2026 18:07:07 +0200
commit with codex
Diffstat:
14 files changed, 72 insertions(+), 8 deletions(-)
diff --git a/causal_effect b/causal_effect
@@ -0,0 +1,7 @@
+# Causal effect
+
+introduced in [salimi2016quantifying]
+
+Up: [shapley_value]
+
+See also: [banzhaf_value]
diff --git a/causal_responsibility b/causal_responsibility
@@ -8,3 +8,5 @@ For a [Boolean_query] Q and [fact] F in an input [relational_database] D, we say
- goes via [MILP]
Up: [database_theory]
+
+See also: [causal_effect]
diff --git a/closure_induced_subgraph b/closure_induced_subgraph
@@ -0,0 +1,9 @@
+# Closure induced subgraph
+
+A [graph_class] which is [graph_closed] under taking [induced_subgraphs]
+
+Up: [graph_class_hereditary], [induced_subgraph]
+
+Aliases: closure under induced subgraph, closure under induced subgraphs, hereditary induced subgraph
+
+See also: [closure_subgraph]
diff --git a/closure_subgraph b/closure_subgraph
@@ -0,0 +1,9 @@
+# Closure subgraph
+
+A [graph_class] which is [graph_closed] under taking [subgraphs]
+
+Up: [graph_class_hereditary], [subgraph]
+
+Aliases: closure under subgraph
+
+See also: [closure_induced_subgraph]
diff --git a/graph_closure b/graph_closure
@@ -0,0 +1,11 @@
+# Graph closure
+
+The *closure* of a [class_of_graphs] under some [graph_operations]
+
+- [closure_under_subgraph]
+- [closure_under_induced_subgraph]
+- [closure_under_minor]
+
+Up: [closure], [graph]
+
+Aliases: graph closing, graph closed
diff --git a/graph_family b/graph_family
@@ -55,6 +55,6 @@ May have the property of being [graph_class_hereditary]
Up: [graph]
-Aliases: graph class, graph classes, graph families
+Aliases: graph class, graph classes, graph families, class of graphs, classes of graphs
See also: [halls_theorem], [network_reliability], [robertson_seymour], [graph_radius_diameter], [turan_theorem], [graph_substructure], [graph_labeling], [erdos_posa], [graph_traversal]
diff --git a/graph_operations b/graph_operations
@@ -7,3 +7,5 @@
- [subdivision]
Up: [graph]
+
+See also: [graph_closure]
diff --git a/induced_subgraph b/induced_subgraph
@@ -4,6 +4,8 @@ A [subgraph] of a [graph] defined by taking a [subset] U of [vertices] and takin
- [induced_subgraph_isomorphism]
+- [closure_under_induced_subgraph]
+
See also: [subgraph], [graph_minor], [induced_subhypergraph], [induced_cycle], [induced_subinstance], [induced_path]
Up: [graph]
diff --git a/matching b/matching
@@ -22,6 +22,7 @@ Variants:
- [matching_variants]
- [induced_matching]
+- [stable_matching]
Also the [linear_relaxation]: see [fractional_edge_packing]
diff --git a/minor_closed b/minor_closed
@@ -0,0 +1,7 @@
+# Minor closed
+
+A [graph_class] is *minor closed* if it is [graph_closed] under taking [graph_minors]
+
+Up: [Graph_class_hereditary], [graph_minor]
+
+Aliases: closure under minor
diff --git a/shapley_value b/shapley_value
@@ -18,6 +18,12 @@ Results:
- [shapley_value_omqa]
+Generalizations:
+- [shapley_like_score]
+
+Variants:
+- [causal_effect]
+
[Computational_problem]: [Shapley_value_computation]
See also: [pqe], [explainability], [shap_score], [stable_marriage]
diff --git a/stable_marriage b/stable_marriage
@@ -1,7 +0,0 @@
-# Stable marriage
-
-- [gale_shapley_algorithm]
-
-See also: [shapley_value]
-
-Up: [TCS]
diff --git a/stable_matching b/stable_matching
@@ -0,0 +1,13 @@
+# Stable matching
+
+https://en.wikipedia.org/wiki/Stable_matching_problem
+
+Asks for a [matching] on a [bipartite_graph]
+
+- [gale_shapley_algorithm]
+
+Up: [matching]
+
+Aliases: stable marriage
+
+See also: [stable_roommates_problem], [computational_social_choice], [hospital_resident_problem], [shapley_value]
diff --git a/subgraph b/subgraph
@@ -2,6 +2,8 @@
A [graph] obtained from another [graph] by keeping the same [vertices] and a [subset] of the [edges]
+- [closure_under_subgraph]
+
Up: [graph]
Aliases: subgraphs
