The Complexity of Knapsack in Graph Groups

From MaRDI portal



Abstract: Myasnikov et al. have introduced the knapsack problem for arbitrary finitely generated groups. In previous work, the authors proved that for each graph group, the knapsack problem can be solved in mathsfNP. Here, we determine the exact complexity of the problem for every graph group. While the problem is mathsfTC0-complete for complete graphs, it is mathsfLogCFL-complete for each (non-complete) transitive forest. For every remaining graph, the problem is mathsfNP-complete.












This page was built for publication: The Complexity of Knapsack in Graph Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636653)