{"title":"冰袋突变等价的复杂性","authors":"David Soukup","doi":"10.1007/s00026-023-00668-w","DOIUrl":null,"url":null,"abstract":"<div><p>We prove <span>NP-hardness</span> results for determining whether ice quivers are mutation equivalent to quivers with given properties, specifically, determining whether an ice quiver is mutation equivalent to an ice quiver with exactly <i>k</i> arrows between any two of its vertices is <span>NP-hard</span>. Also, determining whether an ice quiver is mutation equivalent to a quiver with no edges between frozen vertices is <span>strongly NP-hard</span>. Finally, we present a characterization of mutation classes of ice quivers with two mutable vertices.</p></div>","PeriodicalId":50769,"journal":{"name":"Annals of Combinatorics","volume":"29 1","pages":"91 - 100"},"PeriodicalIF":0.6000,"publicationDate":"2023-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Complexity of Ice Quiver Mutation Equivalence\",\"authors\":\"David Soukup\",\"doi\":\"10.1007/s00026-023-00668-w\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We prove <span>NP-hardness</span> results for determining whether ice quivers are mutation equivalent to quivers with given properties, specifically, determining whether an ice quiver is mutation equivalent to an ice quiver with exactly <i>k</i> arrows between any two of its vertices is <span>NP-hard</span>. Also, determining whether an ice quiver is mutation equivalent to a quiver with no edges between frozen vertices is <span>strongly NP-hard</span>. Finally, we present a characterization of mutation classes of ice quivers with two mutable vertices.</p></div>\",\"PeriodicalId\":50769,\"journal\":{\"name\":\"Annals of Combinatorics\",\"volume\":\"29 1\",\"pages\":\"91 - 100\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-11-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annals of Combinatorics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00026-023-00668-w\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of Combinatorics","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00026-023-00668-w","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
We prove NP-hardness results for determining whether ice quivers are mutation equivalent to quivers with given properties, specifically, determining whether an ice quiver is mutation equivalent to an ice quiver with exactly k arrows between any two of its vertices is NP-hard. Also, determining whether an ice quiver is mutation equivalent to a quiver with no edges between frozen vertices is strongly NP-hard. Finally, we present a characterization of mutation classes of ice quivers with two mutable vertices.
期刊介绍:
Annals of Combinatorics publishes outstanding contributions to combinatorics with a particular focus on algebraic and analytic combinatorics, as well as the areas of graph and matroid theory. Special regard will be given to new developments and topics of current interest to the community represented by our editorial board.
The scope of Annals of Combinatorics is covered by the following three tracks:
Algebraic Combinatorics:
Enumerative combinatorics, symmetric functions, Schubert calculus / Combinatorial Hopf algebras, cluster algebras, Lie algebras, root systems, Coxeter groups / Discrete geometry, tropical geometry / Discrete dynamical systems / Posets and lattices
Analytic and Algorithmic Combinatorics:
Asymptotic analysis of counting sequences / Bijective combinatorics / Univariate and multivariable singularity analysis / Combinatorics and differential equations / Resolution of hard combinatorial problems by making essential use of computers / Advanced methods for evaluating counting sequences or combinatorial constants / Complexity and decidability aspects of combinatorial sequences / Combinatorial aspects of the analysis of algorithms
Graphs and Matroids:
Structural graph theory, graph minors, graph sparsity, decompositions and colorings / Planar graphs and topological graph theory, geometric representations of graphs / Directed graphs, posets / Metric graph theory / Spectral and algebraic graph theory / Random graphs, extremal graph theory / Matroids, oriented matroids, matroid minors / Algorithmic approaches