wiki_research

commit be2f86b6f7533bef524cc729ae6bf75bdc626032
parent 332948b05fe27a5b6b2f7d93306b4495a908ef90
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 16 Oct 2026 11:52:55 +0200

Merge remote-tracking branch 'origin/master'

Diffstat:
automata_self_verifying
 | 
2
+-
subset_sum
 | 
2
++

2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/automata_self_verifying b/automata_self_verifying
@@ -4,4 +4,4 @@
 
 Up: [automata_classes]
 
-Aliases: self-verifying automaton, self-verifying automata, self verifying automaton, self verifying automata, 
+Aliases: self-verifying automaton, self-verifying automata, self verifying automaton, self verifying automata, automaton self-verifying, automaton self verifying
diff --git a/subset_sum b/subset_sum
@@ -21,6 +21,8 @@ generalization: [all_subset_sums], compute all the sums
 
 - [subset_sum_counting]
 
+[ye2026subset]: improves over O(2^{0.5n})
+
 Up: [decision_problem] on [sum]
 
 See also: [subset]