Abstract:Can we efficiently compute optimal solutions to instances of a hard problem from optimal solutions to neighbor instances, that is, instances with one local modification? For example, can we efficiently compute an optimal coloring for a graph from optimal colorings for all one-edge-deleted subgraphs? Studying such questions not only gives detailed insight into the structure of the problem itself, but also into the complexity of related problems, most notably, graph theory's core notion of critical graphs (e.g., graphs whose chromatic number decreases under deletion of an arbitrary edge) and the complexity-theoretic notion of minimality problems (also called criticality problems, e.g., recognizing graphs that become 3-colorable when an arbitrary edge is deleted). We focus on two prototypical graph problems, colorability and vertex cover. For example, we show that it is -hard to compute an optimal coloring for a graph from optimal colorings for all its one-vertex-deleted subgraphs, and that this remains true even when optimal solutions for all one-edge-deleted subgraphs are given. In contrast, computing an optimal coloring from all (or even just two) one-edge-added supergraphs is in . We observe that vertex cover exhibits a remarkably different behavior, demonstrating the power of our model to delineate problems from each other more precisely on a structural level. Moreover, we provide a number of new complexity results for minimality and criticality problems. For example, we prove that Minimal -3- UnColorability is complete for (differences of sets), which was previously known only for the more amenable case of deleting vertices rather than edges. For vertex cover, we show that recognizing -vertex-critical graphs is complete for (parallel access to ), obtaining the first completeness result for a criticality problem for this class.

Neighborhood Balanced Colorings of Graphs

Neighborhood Balanced 3-Coloring

Closed Neighborhood Balanced Coloring of Graphs

Integrated Neighborhood Colorings of Graphs

NP-Completeness of Neighborhood Balanced Colorings

Partitioning 2-edge-colored graphs by monochromatic paths and cycles

Defective and Clustered Graph Colouring

Weighted and locally bounded list-colorings in split graphs, cographs, and partial k-trees

Edge-colorings of graphs avoiding complete graphs with a prescribed coloring

On balanceable and simply balanceable regular graphs

Proper conflict-free and unique-maximum colorings of planar graphs with respect to neighborhoods

Neighborhood Unions and Cyclability of Graphs

Achromatic colorings of polarity graphs

Planar Graphs Without 4- and 6-Cycles Are (7 : 2)-Colorable.

On the balanceability of some graph classes

Finding Optimal Solutions with Neighborly Help

Parameterized Algorithms for Conflict-free Colorings of Graphs

Neighborhood Stability in Assignments on Graphs

Asymmetric Colorings of Disjoint Unions of Graphs

Total, Equitable Total and Neighborhood sum distinguishing Total Colorings of Some Classes of Circulant Graphs

Majority Colorings of Sparse Digraphs