wiki_research

commit 9edec31490cd0b8828eef89f440a120546f79404
parent edf92ca8c40012c91db219066984361f2f84b42d
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun, 22 Feb 2026 22:23:19 +0100

Merge remote-tracking branch 'origin/master'

Diffstat:
automaton_repair
 | 
7
+++++++
feedback_vertex_set
 | 
6
++++--
graph_directed
 | 
2
+-
graph_modification
 | 
3
++-
packing_problem
 | 
2
++
provenance
 | 
1
+
repair_notions
 | 
2
++

7 files changed, 19 insertions(+), 4 deletions(-)
diff --git a/automaton_repair b/automaton_repair
@@ -0,0 +1,7 @@
+# Automaton repair
+
+Modify a [word] so that it is accepted by an [automaton]
+
+See also: [granada2026formal], [automaton_explanation], [automaton_word_distance]
+
+Up: [repair_notions]
diff --git a/feedback_vertex_set b/feedback_vertex_set
@@ -1,6 +1,6 @@
 # Feedback vertex set
 
-for [graph_undirected] or [graph_directed]
+Can be defined for [undirected_graphs] or for [directed_graphs]
 
 set of [vertices] whose removal turns [graph] into [acyclic_graph]
 
@@ -8,4 +8,6 @@ set of [vertices] whose removal turns [graph] into [acyclic_graph]
 
 Up: [width_measure]
 
-See also: [feedback_arc_set], [erdos_posa], [feedback_edge_number]
+See also: [feedback_arc_set], [erdos_posa], [feedback_edge_number], [Younger's_conjecture]
+
+Aliases: feedback vertex sets
diff --git a/graph_directed b/graph_directed
@@ -10,4 +10,4 @@ Up: [graph]
 
 See also: [graph_undirected], [directed_edge], [graph_oriented]
 
-Aliases: directed graph, directed graphs
+Aliases: directed graph, directed graphs, digraph, digraphs
diff --git a/graph_modification b/graph_modification
@@ -6,6 +6,7 @@ An [update] on [graphs]
 - [edge_deletion]
   - [eulerian_edge_deletion]
 - [vertex_deletion]
+- [edge_reversal]
 
 - [graph_modification_problem]
 
@@ -13,4 +14,4 @@ Up: [graph]
 
 See also: [graph_removal_lemma], [database_repairs], [database_modification], [update_word]
 
-Aliases: graph modifications
+Aliases: graph modifications, graph edit, graph edits
diff --git a/packing_problem b/packing_problem
@@ -15,3 +15,5 @@
 Up: [computational_geometry]
 
 See also: [graph_packing], [packing_coloring]
+
+Aliases: packing
diff --git a/provenance b/provenance
@@ -19,6 +19,7 @@ In various settings, e.g., [query_languages] and [types_of_data]:
 - For [CQs]: [provenance_optimal_joins]
   - Specifically for [triangles]: [provenance_triangle]
 - On [treelike_data]: [provenance_treelike_data]
+- For [automata]: [provenance_automata]
 
 Formalisms:
 - [provenance_expression]
diff --git a/repair_notions b/repair_notions
@@ -5,3 +5,5 @@
 - can also do [insertions] of [tuples] in some cases
 
 Up: [database_repairs]
+
+See also: [automaton_repair]