wiki_research

commit 68e3cdb5789b43de003844e163c223f15503f062
parent 6c13a9ca0a68ed6263c66cd8cbc940459ad43e56
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue, 29 Jul 2025 15:45:50 +0200

commit with codex

Diffstat:
3_dimensional_matching_numerical
 | 
6
+++---
3_partition
 | 
2
++
context_free_grammar
 | 
5
+++--
proto_word
 | 
5
+++++

4 files changed, 13 insertions(+), 5 deletions(-)
diff --git a/3_dimensional_matching_numerical b/3_dimensional_matching_numerical
@@ -2,10 +2,10 @@
 
 https://en.wikipedia.org/wiki/Numerical_3-dimensional_matching
 
-NUMERICAL 3-DIMENSIONAL MATCHING: vertices are integers and the eges are all
-triples that sum to the same value S/n where S is the sum of all the X Y Z
+NUMERICAL 3-DIMENSIONAL MATCHING: [vertices] are integers and the [edges] are
+all triples that sum to the same value S/n where S is the sum of all the X Y Z
 
-[np_complete] by reduction from 3-PARTITION [3_partition] following
+[np_complete] by reduction from [3-PARTITION] following
 http://courses.csail.mit.edu/6.892/spring19/scribe/lec2.pdf simply by adding
 large values
 
diff --git a/3_partition b/3_partition
@@ -9,3 +9,5 @@ Hardness proof: [garey_johnson] page 96
 Up: [decision_problem]
 
 See also: [partition_problem], [4_partition], [3_dimensional_matching_numerical]
+
+Aliases: 3PARTITION
diff --git a/context_free_grammar b/context_free_grammar
@@ -2,12 +2,13 @@
 
 ## Concepts
 
-- [nonterminal]
-- [terminal]
+- [nonterminals]
+- [terminals]
 - [production]
 - [axiom]
 - [derivation_tree]
 - [context_free_language]
+- [proto_word]
 
 ## Equivalence
 
diff --git a/proto_word b/proto_word
@@ -0,0 +1,5 @@
+# Proto word
+
+A *proto word* is a [word] on the extended [alphabet] consisting of [terminals] and [nonterminals]
+
+Up: [context_free_grammar]