wiki_research

commit febee38fb9ce8560ef525a7b786c83f2367588d9
parent 382ccbafb30c8b251329c2e7118f64822ee7c459
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 17 Dec 2025 16:52:45 +0100

commit with codex

Diffstat:
dnnf
 | 
3
+--
property_testing
 | 
2
+-
property_testing_tolerant
 | 
9
+++++++++
separating_automaton
 | 
2
++
strahler_number
 | 
2
++

5 files changed, 15 insertions(+), 3 deletions(-)
diff --git a/dnnf b/dnnf
@@ -2,8 +2,7 @@
 
 [decomposable] [negation_normal_form]
 
-Open: whether [sharp_dnnf] admits an [fpras]
-- [FPRAS] claimed: [meel2024fpras]
+[sharp_dnnf] admits an [FPRAS] according to [meel2024fpras]
 
 Special cases:
 - [ordered_dnnf], cf [context_free_grammar]
diff --git a/property_testing b/property_testing
@@ -6,4 +6,4 @@
 
 Up: [computational_problem]
 
-See also: [model_checking], [Approximate_membership]
+See also: [model_checking], [Approximate_membership], [tolerant_property_testing]
diff --git a/property_testing_tolerant b/property_testing_tolerant
@@ -0,0 +1,9 @@
+# Tolerant property testing
+
+[parnas2006tolerant]
+
+Up: [property_testing]
+
+Aliases: tolerant property testing
+
+See also: [distance_approximation]
diff --git a/separating_automaton b/separating_automaton
@@ -2,4 +2,6 @@
 
 cf https://en.wikipedia.org/wiki/Separating_words_problem
 
+cf [chase2020separating]
+
 Up: [automata]
diff --git a/strahler_number b/strahler_number
@@ -2,6 +2,8 @@
 
 https://en.wikipedia.org/wiki/Strahler_number
 
+cf [esparza2016brief]
+
 Up: [parameter] on [tree]
 
 See also: [cantor_bendixson_rank]