commit 2d3b9848dc9a9351f307887834801dfae0b17a4c
parent a0bf41709021b2dc2be3e8ced447b38b3e01e9bb
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Thu, 30 Apr 2026 12:25:30 +0200
commit with codex
Diffstat:
4 files changed, 7 insertions(+), 2 deletions(-)
diff --git a/incremental_maintenance_tuple_testing b/incremental_maintenance_tuple_testing
@@ -1,5 +1,5 @@
# Incremental maintenance tuple testing
-For sufficiently complicated problems, it is not possible in general to have [tuple_testing] in O(1) and [update] support in less than O(log n), via result on [marked_ancestor_problem]
+For sufficiently complicated problems, it is not possible in general to have [tuple_testing] in O(1) and [update] support in less than O(log n), via result on [existential_marked_ancestor_problem]
Up: [incremental_maintenance], [tuple_testing]
diff --git a/knowledge_compilation b/knowledge_compilation
@@ -1,6 +1,6 @@
# Knowledge compilation
-Classes of [circuit] ensuring tractability
+Classes of [circuits] for which some tasks are tractable
- [knowledge_compilation_classes]
- connections to [arithmetic_circuits]
@@ -11,6 +11,8 @@ Classes of [circuit] ensuring tractability
[circuit_bounds_vs_complexity_bounds]
+- [knowledge_compilation_open_problems]
+
Up: [theoretical_computer_science]
Aliases: KC
diff --git a/provenance b/provenance
@@ -32,6 +32,7 @@ Kinds of provenance:
[Computational_problems]:
- [provenance_computation]
+- [query_relevance]
[Research_questions]:
- [provenance_size]
diff --git a/query b/query
@@ -8,6 +8,8 @@
- [query_with_negation]
- [database_returning_queries]
- [query_constants] / [constant_free_query]
+- [match]
+ - [minimal_match]
## Problems
