wiki_research

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

matrix_mortality (368B)

      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 - [potapov2017decidability]: [decidability] for 2 by 2 [nonsingular_matrices]
      8 
      9 Up: [matrix]
     10 
     11 See also: [mortal_word]