commit 6566cb181bcc288e4b4ef2964adb423031b82d1c
parent c69bad430b6b548c867f48b71dbffc422e8f5275
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Fri, 27 Jun 2025 12:09:51 +0200
commit with codex
Diffstat:
3 files changed, 14 insertions(+), 0 deletions(-)
diff --git a/matrix_boolean b/matrix_boolean
@@ -5,3 +5,5 @@
[matrix_multiplication] can then be defined in [boolean_semiring]
Up: [matrix], [boolean]
+
+Aliases: Boolean matrix, Boolean matrices
diff --git a/matrix_mortality b/matrix_mortality
@@ -0,0 +1,10 @@
+# Matrix mortality
+
+- given a set of [square_matrices], test if there is a way to multiply them to get the [zero_matrix]
+- results in [benameur2024complexity]
+ - [undecidable] already for 3 by 3 matrices
+ - for [Boolean_matrices], [pspace_complete]
+
+Up: [matrix]
+
+See also: [mortal_word]
diff --git a/matrix_square b/matrix_square
@@ -3,3 +3,5 @@
[matrix] which has as many rows as columns
Up: [matrix]
+
+Aliases: square matrix, square matrices
