文章基本信息

标题：Complexity of Stability
本地全文：下载
作者：Fabian Frei ; Edith Hemaspaandra ; Rothe, Jörg 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：181
页码：1-14
DOI：10.4230/LIPIcs.ISAAC.2020.19
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Graph parameters such as the clique number, the chromatic number, and the independence number are central in many areas, ranging from computer networks to linguistics to computational neuroscience to social networks. In particular, the chromatic number of a graph (i.e., the smallest number of colors needed to color all vertices such that no two adjacent vertices are of the same color) can be applied in solving practical tasks as diverse as pattern matching, scheduling jobs to machines, allocating registers in compiler optimization, and even solving Sudoku puzzles. Typically, however, the underlying graphs are subject to (often minor) changes. To make these applications of graph parameters robust, it is important to know which graphs are stable for them in the sense that adding or deleting single edges or vertices does not change them. We initiate the study of stability of graphs for such parameters in terms of their computational complexity. We show that, for various central graph parameters, the problem of determining whether or not a given graph is stable is complete for Î~â,,áµ-, a well-known complexity class in the second level of the polynomial hierarchy, which is also known as "parallel access to NP.".
关键词：Stability; Robustness; Complexity; Local Modifications; Colorability; Vertex Cover; Clique; Independent Set; Satisfiability; Unfrozenness; Criticality; DP; coDP; Parallel Access to NP