commit c185c37c66546c01ad2673459b935ed1b26c9a61
parent ac02a1bd80d5d78800b3e91ad7cf5caacd83d3ef
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Fri, 28 Nov 2025 14:39:23 +0100
Merge remote-tracking branch 'origin/master'
Diffstat:
4 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/alphabet_unary b/alphabet_unary
@@ -4,6 +4,7 @@
- [language_unary]
- [automata_unary]
+- [pushdown_automaton_unary]
Up: [alphabet]
diff --git a/graph_basic_notions b/graph_basic_notions
@@ -30,6 +30,7 @@
- [adjacency_matrix]
- [adjacency_list]
- [line_graph]
+- [balanced_separator]
- [graph_product]
Up: [graph]
diff --git a/pushdown_automaton b/pushdown_automaton
@@ -6,6 +6,7 @@
Restricted cases:
- [k_turn_pushdown_automata]: limits the alternation between [push_operation] and [pop_operation]
+- [pushdown_automaton_unary]
[Computational_problems]:
- [universality_automata_pushdown]
diff --git a/sampling b/sampling
@@ -10,6 +10,7 @@
- [german_tank_problem]
- [square_root_biaised_sampling]
- [sampling_subgraph]
+- [alias_method]
Up: [algorithms]