scholarly journals An algorithmic analysis of Flood-It and Free-Flood-It on graph powers

2014 ◽  
Vol Vol. 16 no. 3 (Analysis of Algorithms) ◽  
Author(s):  
Uéverton dos Santos Souza ◽  
Fábio Protti ◽  
Maise Silva
Keyword(s):  
Polynomial Time ◽  
Analysis Of Algorithms ◽  
Np Hard ◽  
Colored Graph ◽  
Combinatorial Game ◽  
Polynomial Time Algorithms ◽  
Minimum Number ◽  
International Audience ◽  
Algorithmic Analysis

Analysis of Algorithms International audience Flood-it is a combinatorial game played on a colored graph G whose aim is to make the graph monochromatic using the minimum number of flooding moves, relatively to a fixed pivot. Free-Flood-it is a variant where the pivot can be freely chosen for each move of the game. The standard versions of Flood-it and Free-Flood-it are played on m ×n grids. In this paper we analyze the behavior of these games when played on other classes of graphs, such as d-boards, powers of cycles and circular grids. We describe polynomial time algorithms to play Flood-it on C2n (the second power of a cycle on n vertices), 2 ×n circular grids, and some types of d-boards (grids with a monochromatic column). We also show that Free-Flood-it is NP-hard on C2n and 2 ×n circular grids.

scholarly journals Preferences Single-Peaked on a Tree: Multiwinner Elections and Structural Results

2022 ◽  
Vol 73 ◽  
pp. 231-276
Author(s):  
Dominik Peters ◽  
Lan Yu ◽  
Hau Chan ◽  
Edith Elkind
Keyword(s):  
Polynomial Time ◽  
Scoring Function ◽  
Large Family ◽  
Np Hard ◽  
Scoring Functions ◽  
Winner Determination ◽  
Polynomial Time Algorithms ◽  
Minimum Number ◽  
Number Of Leaves ◽  
Positive Results

A preference profile is single-peaked on a tree if the candidate set can be equipped with a tree structure so that the preferences of each voter are decreasing from their top candidate along all paths in the tree. This notion was introduced by Demange (1982), and subsequently Trick (1989b) described an efficient algorithm for deciding if a given profile is single-peaked on a tree. We study the complexity of multiwinner elections under several variants of the Chamberlin–Courant rule for preferences single-peaked on trees. We show that in this setting the egalitarian version of this rule admits a polynomial-time winner determination algorithm. For the utilitarian version, we prove that winner determination remains NP-hard for the Borda scoring function; indeed, this hardness results extends to a large family of scoring functions. However, a winning committee can be found in polynomial time if either the number of leaves or the number of internal vertices of the underlying tree is bounded by a constant. To benefit from these positive results, we need a procedure that can determine whether a given profile is single-peaked on a tree that has additional desirable properties (such as, e.g., a small number of leaves). To address this challenge, we develop a structural approach that enables us to compactly represent all trees with respect to which a given profile is single-peaked. We show how to use this representation to efficiently find the best tree for a given profile for use with our winner determination algorithms: Given a profile, we can efficiently find a tree with the minimum number of leaves, or a tree with the minimum number of internal vertices among trees on which the profile is single-peaked. We then explore the power and limitations of this framework: we develop polynomial-time algorithms to find trees with the smallest maximum degree, diameter, or pathwidth, but show that it is NP-hard to check whether a given profile is single-peaked on a tree that is isomorphic to a given tree, or on a regular tree.

scholarly journals On paths, trails and closed trails in edge-colored graphs

2012 ◽  
Vol Vol. 14 no. 2 (Graph Theory) ◽  
Author(s):  
Laurent Gourvès ◽  
Adria Lyra ◽  
Carlos A. Martinhon ◽  
Jérôme Monnot
Keyword(s):  
Polynomial Time ◽  
Optimal Solution ◽  
Colored Graph ◽  
Edge Disjoint ◽  
Colored Graphs ◽  
International Audience ◽  
Np Complete ◽  
T Path ◽  
Vertex Disjoint

Graph Theory International audience In this paper we deal from an algorithmic perspective with different questions regarding properly edge-colored (or PEC) paths, trails and closed trails. Given a c-edge-colored graph G(c), we show how to polynomially determine, if any, a PEC closed trail subgraph whose number of visits at each vertex is specified before hand. As a consequence, we solve a number of interesting related problems. For instance, given subset S of vertices in G(c), we show how to maximize in polynomial time the number of S-restricted vertex (resp., edge) disjoint PEC paths (resp., trails) in G(c) with endpoints in S. Further, if G(c) contains no PEC closed trails, we show that the problem of finding a PEC s-t trail visiting a given subset of vertices can be solved in polynomial time and prove that it becomes NP-complete if we are restricted to graphs with no PEC cycles. We also deal with graphs G(c) containing no (almost) PEC cycles or closed trails through s or t. We prove that finding 2 PEC s-t paths (resp., trails) with length at most L > 0 is NP-complete in the strong sense even for graphs with maximum degree equal to 3 and present an approximation algorithm for computing k vertex (resp., edge) disjoint PEC s-t paths (resp., trails) so that the maximum path (resp., trail) length is no more than k times the PEC path (resp., trail) length in an optimal solution. Further, we prove that finding 2 vertex disjoint s-t paths with exactly one PEC s-t path is NP-complete. This result is interesting since as proved in Abouelaoualim et. al.(2008), the determination of two or more vertex disjoint PEC s-t paths can be done in polynomial time. Finally, if G(c) is an arbitrary c-edge-colored graph with maximum vertex degree equal to four, we prove that finding two monochromatic vertex disjoint s-t paths with different colors is NP-complete. We also propose some related problems.

scholarly journals Equitable Coloring of Graphs. Recent Theoretical Results and New Practical Algorithms

2016 ◽  
Vol 26 (3) ◽  
pp. 281-295 ◽  
Author(s):  
Hanna Furmańczyk ◽  
Andrzej Jastrzębski ◽  
Marek Kubale
Keyword(s):  
Polynomial Time ◽  
Np Hard ◽  
Coloring Problem ◽  
Equitable Coloring ◽  
Practical Algorithms ◽  
Polynomial Time Algorithms ◽  
Sequencing And Scheduling ◽  
General Graphs ◽  
Theoretical Results

AbstractIn many applications in sequencing and scheduling it is desirable to have an underlaying graph as equitably colored as possible. In this paper we survey recent theoretical results concerning conditions for equitable colorability of some graphs and recent theoretical results concerning the complexity of equitable coloring problem. Next, since the general coloring problem is strongly NP-hard, we report on practical experiments with some efficient polynomial-time algorithms for approximate equitable coloring of general graphs.

scholarly journals On the Computation of Fully Proportional Representation

2013 ◽  
Vol 47 ◽  
pp. 475-519 ◽  
Author(s):  
N. Betzler ◽  
A. Slinko ◽  
J. Uhlmann
Keyword(s):  
Polynomial Time ◽  
Parameterized Complexity ◽  
Proportional Representation ◽  
Fixed Parameter Tractability ◽  
Np Hard ◽  
Winner Determination ◽  
Negative Results ◽  
Polynomial Time Algorithms ◽  
Fixed Parameter

We investigate two systems of fully proportional representation suggested by Chamberlin Courant and Monroe. Both systems assign a representative to each voter so that the "sum of misrepresentations" is minimized. The winner determination problem for both systems is known to be NP-hard, hence this work aims at investigating whether there are variants of the proposed rules and/or specific electorates for which these problems can be solved efficiently. As a variation of these rules, instead of minimizing the sum of misrepresentations, we considered minimizing the maximal misrepresentation introducing effectively two new rules. In the general case these "minimax" versions of classical rules appeared to be still NP-hard. We investigated the parameterized complexity of winner determination of the two classical and two new rules with respect to several parameters. Here we have a mixture of positive and negative results: e.g., we proved fixed-parameter tractability for the parameter the number of candidates but fixed-parameter intractability for the number of winners. For single-peaked electorates our results are overwhelmingly positive: we provide polynomial-time algorithms for most of the considered problems. The only rule that remains NP-hard for single-peaked electorates is the classical Monroe rule.

scholarly journals The resolving number of a graph Delia

2013 ◽  
Vol Vol. 15 no. 3 (Graph Theory) ◽  
Author(s):  
Delia Garijo ◽  
Antonio González ◽  
Alberto Márquez
Keyword(s):  
Graph Theory ◽  
Polynomial Time ◽  
Maximum Degree ◽  
Clique Number ◽  
Metric Dimension ◽  
Np Hard ◽  
Arbitrary Graph ◽  
International Audience ◽  
Graph Parameters ◽  
Two Parameters

Graph Theory International audience We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.

scholarly journals Some algorithmic results for finding compatible spanning circuits in edge-colored graphs

2020 ◽  
Vol 40 (4) ◽  
pp. 1008-1019
Author(s):  
Zhiwei Guo ◽  
Hajo Broersma ◽  
Ruonan Li ◽  
Shenggui Zhang
Keyword(s):  
Polynomial Time ◽  
Sufficient Conditions ◽  
Complete Graphs ◽  
Hamilton Cycles ◽  
Colored Graph ◽  
Colored Graphs ◽  
Complete Problem ◽  
Polynomial Time Algorithms ◽  
Np Complete ◽  
Euler Tours

Abstract A compatible spanning circuit in a (not necessarily properly) edge-colored graph G is a closed trail containing all vertices of G in which any two consecutively traversed edges have distinct colors. Sufficient conditions for the existence of extremal compatible spanning circuits (i.e., compatible Hamilton cycles and Euler tours), and polynomial-time algorithms for finding compatible Euler tours have been considered in previous literature. More recently, sufficient conditions for the existence of more general compatible spanning circuits in specific edge-colored graphs have been established. In this paper, we consider the existence of (more general) compatible spanning circuits from an algorithmic perspective. We first show that determining whether an edge-colored connected graph contains a compatible spanning circuit is an NP-complete problem. Next, we describe two polynomial-time algorithms for finding compatible spanning circuits in edge-colored complete graphs. These results in some sense give partial support to a conjecture on the existence of compatible Hamilton cycles in edge-colored complete graphs due to Bollobás and Erdős from the 1970s.

A POLYNOMIAL-TIME ALGORITHM FOR COMPUTING THE RESILIENCE OF ARRANGEMENTS OF RAY SENSORS

2014 ◽  
Vol 24 (03) ◽  
pp. 225-236 ◽  
Author(s):  
DAVID KIRKPATRICK ◽  
BOTING YANG ◽  
SANDRA ZILLES
Keyword(s):  
Polynomial Time ◽  
Linear Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
The Other ◽  
Np Hard ◽  
Sensor Coverage ◽  
Entire Plane ◽  
Line Segments ◽  
Minimum Number

Given an arrangement A of n sensors and two points s and t in the plane, the barrier resilience of A with respect to s and t is the minimum number of sensors whose removal permits a path from s to t such that the path does not intersect the coverage region of any sensor in A. When the surveillance domain is the entire plane and sensor coverage regions are unit line segments, even with restricted orientations, the problem of determining the barrier resilience is known to be NP-hard. On the other hand, if sensor coverage regions are arbitrary lines, the problem has a trivial linear time solution. In this paper, we study the case where each sensor coverage region is an arbitrary ray, and give an O(n2m) time algorithm for computing the barrier resilience when there are m ⩾ 1 sensor intersections.

scholarly journals Hamiltonian Cycle in K1,r-Free Split Graphs — A Dichotomy

2021 ◽  
pp. 1-32
Author(s):  
P. Renjith ◽  
N. Sadagopan
Keyword(s):  
Polynomial Time ◽  
Maximum Degree ◽  
Optimization Problem ◽  
Hamiltonian Cycle ◽  
Hamiltonian Path ◽  
Np Hard ◽  
Polynomial Time Algorithms ◽  
Split Graphs ◽  
Np Complete ◽  
Cycle Path

For an optimization problem known to be NP-Hard, the dichotomy study investigates the reduction instances to determine the line separating polynomial-time solvable vs NP-Hard instances (easy vs hard instances). In this paper, we investigate the well-studied Hamiltonian cycle problem (HCYCLE), and present an interesting dichotomy result on split graphs. T. Akiyama et al. (1980) have shown that HCYCLE is NP-complete on planar bipartite graphs with maximum degree [Formula: see text]. We use this result to show that HCYCLE is NP-complete for [Formula: see text]-free split graphs. Further, we present polynomial-time algorithms for Hamiltonian cycle in [Formula: see text]-free and [Formula: see text]-free split graphs. We believe that the structural results presented in this paper can be used to show similar dichotomy result for Hamiltonian path problem and other variants of Hamiltonian cycle (path) problems.

scholarly journals Minimum survivable graphs with bounded distance increase

2003 ◽  
Vol Vol. 6 no. 1 ◽  
Author(s):  
Selma Djelloul ◽  
Mekkia Kouider
Keyword(s):  
Fault Tolerance ◽  
Lower Bounds ◽  
Interconnection Networks ◽  
Negative Integer ◽  
Upper And Lower Bounds ◽  
Minimum Size ◽  
Np Hard ◽  
Bounded Distance ◽  
Minimum Number ◽  
International Audience

International audience We study in graphs properties related to fault-tolerance in case a node fails. A graph G is k-self-repairing, where k is a non-negative integer, if after the removal of any vertex no distance in the surviving graph increases by more than k. In the design of interconnection networks such graphs guarantee good fault-tolerance properties. We give upper and lower bounds on the minimum number of edges of a k-self-repairing graph for prescribed k and n, where n is the order of the graph. We prove that the problem of finding, in a k-self-repairing graph, a spanning k-self-repairing subgraph of minimum size is NP-Hard.

scholarly journals Clique-transversal sets and weak 2-colorings in graphs of small maximum degree

2009 ◽  
Vol Vol. 11 no. 2 (Graph and Algorithms) ◽  
Author(s):  
Gábor Bacsó ◽  
Zsolt Tuza
Keyword(s):  
Lower Bound ◽  
Polynomial Time ◽  
Connected Graph ◽  
Maximum Degree ◽  
Free Graph ◽  
Polynomial Time Algorithms ◽  
Odd Cycle ◽  
Vertex Set ◽  
International Audience

Graphs and Algorithms International audience A clique-transversal set in a graph is a subset of the vertices that meets all maximal complete subgraphs on at least two vertices. We prove that every connected graph of order n and maximum degree three has a clique-transversal set of size left perpendicular19n/30 + 2/15right perpendicular. This bound is tight, since 19n/30 - 1/15 is a lower bound for infinitely many values of n. We also prove that the vertex set of any connected claw-free graph of maximum degree at most four, other than an odd cycle longer than three, can be partitioned into two clique-transversal sets. The proofs of both results yield polynomial-time algorithms that find corresponding solutions.

Sign in / Sign up

Export Citation Format

Share Document