wiki_research

commit 016cde6b1bdb4fe382bd21c2a49e93b0d094c540
parent 649fbe64bb10f53eb256950fe258f6c4161f4638
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  4 Mar 2025 12:12:58 +0100

commit with codex

Diffstat:
dynamic_membership_push_pop
 | 
5
+++++
dynamic_membership_word
 | 
3
++-
guardian_algorithm
 | 
7
+++++++
push_pop
 | 
2
++

4 files changed, 16 insertions(+), 1 deletion(-)
diff --git a/dynamic_membership_push_pop b/dynamic_membership_push_pop
@@ -0,0 +1,5 @@
+# Dynamic membership push pop
+
+- for [regular_languages]: [guardian_algorithm] in [ganardi2022low]
+
+Up: [dynamic_membership_word], [push_pop]
diff --git a/dynamic_membership_word b/dynamic_membership_word
@@ -3,7 +3,8 @@
 - [dynamic_membership_regular]
 - [incremental_maintenance_cfg]
 
-Depends on which [updates_word] are allowed
+Depends on which [updates_word] are allowed:
+- for [push_pop]: [dynamic_membership_push_pop]
 
 [Generalizations]:
 - [incremental_parsing]
diff --git a/guardian_algorithm b/guardian_algorithm
@@ -0,0 +1,7 @@
+# Guardian algorithm
+
+https://cstheory.stackexchange.com/questions/45890/constraints-on-sliding-windows/46762
+
+[ganardi2022low]
+
+Up: [algorithm] for [dynamic_membership_push_pop]
diff --git a/push_pop b/push_pop
@@ -2,6 +2,8 @@
 
 The kinds of [updates_word] where you can do [push_operations] and [pop_operations]
 
+- [dynamic_membership_push_pop]
+
 For [dynamic_membership]
 
 Up: [update_word]