wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

matrix_mortality (290B)

      1 # Matrix mortality
      2 
      3 - given a set of [square_matrices], test if there is a way to multiply them to get the [zero_matrix]
      4 - results in [benameur2024complexity]
      5   - [undecidable] already for 3 by 3 matrices
      6   - for [Boolean_matrices], [pspace_complete]
      7 
      8 Up: [matrix]
      9 
     10 See also: [mortal_word]