wiki_research

commit b26ddd14676c406cb9e11d5b0886d0b0aa8881c1
parent febee38fb9ce8560ef525a7b786c83f2367588d9
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat, 20 Dec 2025 01:01:30 +0100

commit with codex

Diffstat:
dd
 | 
2
++
formal_language_monomial
 | 
13
+++++++++++++
homomorphism_closed
 | 
4
+++-
monotone2cnf
 | 
4
+++-
monotone_cnf
 | 
4
++++
palindrome
 | 
2
+-
sharp_dnnf
 | 
6
++++++
union_of_conjunctive_queries
 | 
2
++

8 files changed, 34 insertions(+), 3 deletions(-)
diff --git a/dd b/dd
@@ -8,3 +8,5 @@
 Up: [d], [knowledge_compilation]
 
 Aliases: dds
+
+See also: [ddnnf_vs_dd]
diff --git a/formal_language_monomial b/formal_language_monomial
@@ -0,0 +1,13 @@
+# Formal language monomial
+
+Defined in [schutzenberger1976produit] and discussed in [dartois2013two]
+
+- [formal_language_monomial_unambiguous]
+
+Generalization to other languages in [pin2022mathematical]
+
+Up: [regular_language]
+
+See also: [DA]
+
+Aliases: formal language monomials
diff --git a/homomorphism_closed b/homomorphism_closed
@@ -7,4 +7,6 @@ A [query] Q is *closed under [homomorphism]* if the following holds:
 
 Up: [closure] under [homomorphism]
 
-Aliases: closed under homomomorphism
+Aliases: closed under homomomorphism, homomorphism closed query, homomorphism closed queries
+
+See also: [infinite_UCQ]
diff --git a/monotone2cnf b/monotone2cnf
@@ -2,6 +2,8 @@
 
 A [monotone_CNF] which is a [2CNF]
 
+- [monotone2CNF_SAT]
+
 Up: [monotone_CNF], [2CNF]
 
-Aliases: monotone_2_CNF
+Aliases: monotone_2_CNF, monotone_2CNF
diff --git a/monotone_cnf b/monotone_cnf
@@ -2,4 +2,8 @@
 
 A [CNF] which is a [positive_Boolean_formula]: all [literals] are positive
 
+- [monotone_CNF_SAT]
+- [monotone_CNF_sharpSAT]
+- [monotone_2CNF]
+
 Up: [conjunctive_normal_form]
diff --git a/palindrome b/palindrome
@@ -6,6 +6,6 @@ A [word] which is equal to its [mirror]
 
 Up: [word]
 
-See also: [manachers_algorithm], [context_free_language], [palindrome_language]
+See also: [manachers_algorithm], [context_free_language], [palindrome_language], [pal2]
 
 Aliases: palindromes
diff --git a/sharp_dnnf b/sharp_dnnf
@@ -0,0 +1,6 @@
+# Sharp dnnf
+
+admits an [FPRAS] according to [meel2024fpras]
+- generalization (uses their result) in [hecher2025alternation]
+
+Up: [sharp_sat] for [dnnf]
diff --git a/union_of_conjunctive_queries b/union_of_conjunctive_queries
@@ -10,6 +10,8 @@ special case: [hk_queries]
 
 [UCQ_non_redundant]
 
+Generalization: [infinite_UCQ], which are precisely the [homomorphism_closed_queries]
+
 Up: [query_language]
 
 See also: [uc2rpq]