commit e6ad6e9ec9cde5de4da422c8405a31872b791cf3
parent 50dc86c8ce45b0501bbe5333aac77816d169863a
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 3 Dec 2025 19:02:24 +0100
commit with codex
Diffstat:
3 files changed, 9 insertions(+), 1 deletion(-)
diff --git a/circuit b/circuit
@@ -18,6 +18,7 @@
- [circuit_monotone]
- [circuit_positive]
- [circuit_homogeneous]
+- [circuit_symmetric]
## Problems
diff --git a/circuit_symmetric b/circuit_symmetric
@@ -0,0 +1,7 @@
+# Symmetric circuit
+
+cf [dawar2025notions]
+
+Up: [circuit]
+
+Aliases: symmetric circuit, symmetric circuits
diff --git a/tree_evaluation_problem b/tree_evaluation_problem
@@ -2,7 +2,7 @@
You have a [tree] and you want to evaluate a [bottom_up_nondeterministic_tree_automaton] on the tree, in a [nonuniform] sense where each [node] is labeled by the transition function
-It is in O(log n log log n), cf [cook2023tree]
+It is in O(log n log log n), cf [cook2023tree] and [goldreich2024cook]
Up: [computational_problem] on [tree]
