The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.ic.2023.105132 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4390128471 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial-time theory of matrix groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Learning Weighted Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mortality for 2 ×2 Matrices Is NP-Hard / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Identity Problem for Matrix Semigroups in SL<sub>2</sub>(ℤ) is <b>NP</b>-complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability problems in quaternion matrix and rotation semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2893294 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidable and Undecidable Problems about Quantum Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: The boundedness of all products of a pair of matrices is undecidable / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the decidability of semigroup freeness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-Euclidean visibility problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some decision problems on integer matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Complexity of the Orbit Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: SL(2, Z) symmetries, supermembranes and symplectic torus bundles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetic Applications of the Hyperbolic Lattice Point Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Complexity of Nash Equilibria and Other Fixed Points / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2955006 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Membership Problem for the Modular Group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory Is Forever / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Complexity of Equivalence and Minimisation for Q-weighted Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Identity Problem for the Special Linear Group and the Heisenberg Group. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Compressed Word Problem for Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knapsack in graph groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knapsack problems in groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: TC^0 circuits for algorithmic problems in nilpotent groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: On theories with a combinatorial definition of 'equivalence' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Musical intervals and special linear transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mortality Problem for 2×2 Integer Matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Termination of Integer Linear Loops / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solvability of Matrix-Exponential Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unsolvability in 3 × 3 Matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable mixing for cat maps and quasi-morphisms of the modular group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Composition Problems for Braids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vector Reachability Problem in SL(2, Z) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of the Membership Problem for 2 <b>×</b> 2 integer matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5111259 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4154638 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5707733 / rank
 
Normal rank

Latest revision as of 15:23, 23 August 2024

scientific article; zbMATH DE number 7790926
Language Label Description Also known as
English
The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete
scientific article; zbMATH DE number 7790926

    Statements

    The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (English)
    0 references
    0 references
    0 references
    0 references
    18 January 2024
    0 references
    general linear group
    0 references
    special linear group
    0 references
    nonnumerical algorithms
    0 references
    NP-completeness
    0 references
    matrix semigroups
    0 references
    compressed data structures
    0 references
    computational group theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers