wiki_research

commit 5102b8ef89ff02fdd771f9ffd46e303a277bcdc4
parent 44f39524d25366b01ba87c975307142790dd4696
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu, 18 Dec 2025 02:03:47 +0100

Merge remote-tracking branch 'origin/master'

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]