commit ad76f3838b1c8299b12bf35faf7caa4f6d0be190
parent 91da322801ee2475a05c6cd9d1b9a192611a8526
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 5 Feb 2025 23:05:29 +0100
commit with codex
Diffstat:
4 files changed, 3 insertions(+), 15 deletions(-)
diff --git a/density_function b/density_function
@@ -12,6 +12,8 @@ possible regimes: exponential, polynomial, etc.
testing which lengths can be achieved, on [NFAs]: [potechin2020lengths]
+computing its regime on [context_free_languages]: [gawrychowski2010finding]
+
Up: [automata]
See also: [universality_automata], [sharp_automaton], [slice], [degree_of_ambiguity], [growth_rate_analysis]
diff --git a/equivalence_relation b/equivalence_relation
@@ -4,4 +4,4 @@ A [mathematics_relation] is an equivalence relation if it is [relation_symmetric
Up: [mathematics]
-See also: [equivalence_class], [quotient]
+See also: [equivalence_class], [quotient], [partition]
diff --git a/partition b/partition
@@ -1,5 +0,0 @@
-# Partition
-
-Up: [mathematics]
-
-See also: [laminar_set_family], [partition_problem], [equivalence_relation]
diff --git a/satisfiability_weighted b/satisfiability_weighted
@@ -1,9 +0,0 @@
-# Weighted satisfiability
-
-[creignou2012satisfiability]: given a [Boolean_formula] phi and [integer] k, decide if phi has a [satisfying_assignment] of [hamming_weight] exactly k
-
-- [satisfiability_weighted_monotone_cnf]
-
-Up: [sat_variants]
-
-See also: [maxsat]
