-
PDCCH Scheduling via Maximum Independent Set
Authors:
Lorenzo Maggi,
Alvaro Valcarce Rial,
Aloïs Herzog,
Suresh Kalyanasundaram,
Rakshak Agrawal
Abstract:
In 5G, the Physical Downlink Control CHannel (PDCCH) carries crucial information enabling the User Equipment (UE) to connect in UL and DL. UEs are unaware of the frequency location at which PDCCH is encoded, hence they need to perform blind decoding over a limited set of possible candidates. We address the problem faced by the gNodeB of selecting PDCCH candidates for each UE to optimize data trans…
▽ More
In 5G, the Physical Downlink Control CHannel (PDCCH) carries crucial information enabling the User Equipment (UE) to connect in UL and DL. UEs are unaware of the frequency location at which PDCCH is encoded, hence they need to perform blind decoding over a limited set of possible candidates. We address the problem faced by the gNodeB of selecting PDCCH candidates for each UE to optimize data transmission. We formulate it as a Maximum Weighted Independent Set (MWIS) problem, that is known to be an NP-hard problem and cannot even be approximated. A solution method called Weight-to-Degree Ratio (WDR) Greedy emerges as a strong contender for practical implementations due to its favorable performance-to-complexity trade-off and theoretical performance guarantees.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
The Complexity of Optimizing Atomic Congestion
Authors:
Cornelius Brand,
Robert Ganian,
Subrahmanyam Kalyanasundaram,
Fionn Mc Inerney
Abstract:
Atomic congestion games are a classic topic in network design, routing, and algorithmic game theory, and are capable of modeling congestion and flow optimization tasks in various application areas. While both the price of anarchy for such games as well as the computational complexity of computing their Nash equilibria are by now well-understood, the computational complexity of computing a system-o…
▽ More
Atomic congestion games are a classic topic in network design, routing, and algorithmic game theory, and are capable of modeling congestion and flow optimization tasks in various application areas. While both the price of anarchy for such games as well as the computational complexity of computing their Nash equilibria are by now well-understood, the computational complexity of computing a system-optimal set of strategies -- that is, a centrally planned routing that minimizes the average cost of agents -- is severely understudied in the literature. We close this gap by identifying the exact boundaries of tractability for the problem through the lens of the parameterized complexity paradigm. After showing that the problem remains highly intractable even on extremely simple networks, we obtain a set of results which demonstrate that the structural parameters which control the computational (in)tractability of the problem are not vertex-separator based in nature (such as, e.g., treewidth), but rather based on edge separators. We conclude by extending our analysis towards the (even more challenging) min-max variant of the problem.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Extremal Results on Conflict-free Coloring
Authors:
Sriram Bhyravarapu,
Shiwali Gupta,
Subrahmanyam Kalyanasundaram,
Rogers Mathew
Abstract:
A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighbor…
▽ More
A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighborhood instead of open neighborhood, we obtain the analogous notions of conflict-free closed neighborhood (CFCN) coloring, and CFCN chromatic number (denoted by $χ_{CN}(G)$). The notion of conflict-free coloring was introduced in 2002, and has since received considerable attention.
In this paper, we study some extremal questions related to CFON and CFCN coloring.
△ Less
Submitted 5 January, 2024; v1 submitted 4 May, 2023;
originally announced May 2023.
-
Conflict-free coloring on open neighborhoods of claw-free graphs
Authors:
Sriram Bhyravarapu,
Subrahmanyam Kalyanasundaram,
Rogers Mathew
Abstract:
The `Conflict-Free Open (Closed) Neighborhood coloring', abbreviated CFON (CFCN) coloring, of a graph $G$ using $r$ colors is a coloring of the vertices of $G$ such that every vertex sees some color exactly once in its open (closed) neighborhood. The minimum $r$ such that $G$ has a CFON (CFCN) coloring using $r$ colors is called the `CFON chromatic number' (`CFCN chromatic number') of $G$. This is…
▽ More
The `Conflict-Free Open (Closed) Neighborhood coloring', abbreviated CFON (CFCN) coloring, of a graph $G$ using $r$ colors is a coloring of the vertices of $G$ such that every vertex sees some color exactly once in its open (closed) neighborhood. The minimum $r$ such that $G$ has a CFON (CFCN) coloring using $r$ colors is called the `CFON chromatic number' (`CFCN chromatic number') of $G$. This is denoted by $χ_{CF}^{ON}(G)$ ($χ_{CF}^{CN}(G)$). D\k ebski and Przybyło in [J. Graph Theory, 2021] showed that if $G$ is a line graph with maximum degree $Δ$, then $χ_{CF}^{CN}(G) = O(\ln Δ)$. As an open question, they asked if the result could be extended to claw-free ($K_{1,3}$-free) graphs, which are a superclass of line graphs. For $k\geq 3$, we show that if $G$ is $K_{1,k}$-free, then $χ_{CF}^{ON}(G) = O(k^2\ln Δ)$. Since it is known that the CFCN chromatic number of a graph is at most twice its CFON chromatic number, this answers the question posed by Dębski and Przybyło.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Conflict-Free Coloring: Graphs of Bounded Clique Width and Intersection Graphs
Authors:
Sriram Bhyravarapu,
Tim A. Hartmann,
Hung P. Hoang,
Subrahmanyam Kalyanasundaram,
I. Vinod Reddy
Abstract:
A conflict-free coloring of a graph $G$ is a (partial) coloring of its vertices such that every vertex $u$ has a neighbor whose assigned color is unique in the neighborhood of $u$. There are two variants of this coloring, one defined using the open neighborhood and one using the closed neighborhood. For both variants, we study the problem of deciding whether the conflict-free coloring of a given g…
▽ More
A conflict-free coloring of a graph $G$ is a (partial) coloring of its vertices such that every vertex $u$ has a neighbor whose assigned color is unique in the neighborhood of $u$. There are two variants of this coloring, one defined using the open neighborhood and one using the closed neighborhood. For both variants, we study the problem of deciding whether the conflict-free coloring of a given graph $G$ is at most a given number $k$.
In this work, we investigate the relation of clique-width and minimum number of colors needed (for both variants) and show that these parameters do not bound one another. Moreover, we consider specific graph classes, particularly graphs of bounded clique-width and types of intersection graphs, such as distance hereditary graphs, interval graphs and unit square and disk graphs. We also consider Kneser graphs and split graphs. We give (often tight) upper and lower bounds and determine the complexity of the decision problem on these graph classes, which improve some of the results from the literature. Particularly, we settle the number of colors needed for an interval graph to be conflict-free colored under the open neighborhood model, which was posed as an open problem.
△ Less
Submitted 11 March, 2024; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Pliable Index Coding via Conflict-Free Colorings of Hypergraphs
Authors:
Prasad Krishnan,
Rogers Mathew,
Subrahmanyam Kalyanasundaram
Abstract:
In the pliable index coding (PICOD) problem, a server is to serve multiple clients, each of which possesses a unique subset of the complete message set as side information and requests a new message which it does not have. The goal of the server is to do this using as few transmissions as possible. This work presents a hypergraph coloring approach to the scalar PICOD problem. A \textit{conflict-fr…
▽ More
In the pliable index coding (PICOD) problem, a server is to serve multiple clients, each of which possesses a unique subset of the complete message set as side information and requests a new message which it does not have. The goal of the server is to do this using as few transmissions as possible. This work presents a hypergraph coloring approach to the scalar PICOD problem. A \textit{conflict-free coloring} of a hypergraph is known from literature as an assignment of colors to its vertices so that each hyperedge of the graph contains one uniquely colored vertex. For a given PICOD problem represented by a hypergraph consisting of messages as vertices and request-sets as hyperedges, we present achievable PICOD schemes using conflict-free colorings of the PICOD hypergraph. Various graph theoretic parameters arising out of such colorings (and some new coloring variants) then give a number of upper bounds on the optimal PICOD length, which we study in this work. Suppose the PICOD hypergraph has $m$ vertices and $n$ hyperedges, where every hyperedge overlaps with at most $Γ$ other hyperedges. We show easy to implement randomized algorithms for the following: (a) For the single request case, we give a PICOD of length $O(\log^2Γ)$. This result improves over known achievability results for some parameter ranges, (b) For the $t$-request case, we give an MDS code of length $\max(O(\log Γ\log m), O(t \log m))$. Further if the hyperedges (request sets) are sufficiently large, we give a PICOD of the same length as above, which is not based on MDS construction. In general, this gives an improvement over prior achievability results. Our codes are of near-optimal length (up to a multiplicative factor of $\log t$).
△ Less
Submitted 26 December, 2022; v1 submitted 3 February, 2021;
originally announced February 2021.
-
Conflict-free coloring on closed neighborhoods of bounded degree graphs
Authors:
Sriram Bhyravarapu,
Subrahmanyam Kalyanasundaram,
Rogers Mathew
Abstract:
The closed neighborhood conflict-free chromatic number of a graph $G$, denoted by $χ_{CN}(G)$, is the minimum number of colors required to color the vertices of $G$ such that for every vertex, there is a color that appears exactly once in its closed neighborhood. Pach and Tardos [Combin. Probab. Comput. 2009] showed that $χ_{CN}(G) = O(\log^{2+\varepsilon} Δ)$, for any $\varepsilon > 0$, where…
▽ More
The closed neighborhood conflict-free chromatic number of a graph $G$, denoted by $χ_{CN}(G)$, is the minimum number of colors required to color the vertices of $G$ such that for every vertex, there is a color that appears exactly once in its closed neighborhood. Pach and Tardos [Combin. Probab. Comput. 2009] showed that $χ_{CN}(G) = O(\log^{2+\varepsilon} Δ)$, for any $\varepsilon > 0$, where $Δ$ is the maximum degree. In [Combin. Probab. Comput. 2014], Glebov, Szabó and Tardos showed existence of graphs $G$ with $χ_{CN}(G) = Ω(\log^2Δ)$. In this paper, we bridge the gap between the two bounds by showing that $χ_{CN}(G) = O(\log^2 Δ)$.
△ Less
Submitted 23 April, 2020; v1 submitted 12 March, 2020;
originally announced March 2020.
-
Conflict-Free Coloring on Open Neighborhoods
Authors:
Sriram Bhyravarapu,
Subrahmanyam Kalyanasundaram
Abstract:
In an undirected graph, a conflict-free coloring (with respect to open neighborhoods) is an assignment of colors to the vertices of the graph $G$ such that every vertex in $G$ has a uniquely colored vertex in its open neighborhood. The conflict-free coloring problem asks to find the smallest number of colors required for a conflict-free coloring.
The conflict-free coloring problem is NP-complete…
▽ More
In an undirected graph, a conflict-free coloring (with respect to open neighborhoods) is an assignment of colors to the vertices of the graph $G$ such that every vertex in $G$ has a uniquely colored vertex in its open neighborhood. The conflict-free coloring problem asks to find the smallest number of colors required for a conflict-free coloring.
The conflict-free coloring problem is NP-complete. From results in Abel et. al. [SODA 2017], it can be inferred that every planar graph has a conflict-free coloring with at most nine colors. As the best known lower bound for planar graphs is four colors, it was asked in the same paper if fewer colors would suffice. We make progress in answering this question, by showing that every planar graph can be colored using at most six colors. The same proof idea is used to show that every outerplanar graph can be colored using at most five colors. Using a different approach, we further show that every outerplanar graph can be colored using at most four colors.
Finally, we study the problem on Kneser graphs. We show that $k+2$ colors are necessary and sufficient to color the Kneser graph $K(n,k)$ when $n\geq k(k+1)^2 + 1$.
△ Less
Submitted 2 October, 2019;
originally announced October 2019.
-
Bipartitioning Problems on Graphs with Bounded Tree-Width
Authors:
N. R. Aravind,
Subrahmanyam Kalyanasundaram,
Anjeneya Swami Kare
Abstract:
For an undirected graph G, we consider the following problems: given a fixed graph H, can we partition the vertices of G into two non-empty sets A and B such that neither the induced graph G[A] nor G[B] contain H (i) as a subgraph? (ii) as an induced subgraph? These problems are NP-complete and are expressible in monadic second order logic (MSOL). The MSOL formulation, together with Courcelle's th…
▽ More
For an undirected graph G, we consider the following problems: given a fixed graph H, can we partition the vertices of G into two non-empty sets A and B such that neither the induced graph G[A] nor G[B] contain H (i) as a subgraph? (ii) as an induced subgraph? These problems are NP-complete and are expressible in monadic second order logic (MSOL). The MSOL formulation, together with Courcelle's theorem implies linear time solvability on graphs with bounded tree-width. This approach yields algorithms with running time f(|phi|, t) * n, where |phi| is the length of the MSOL formula, t is the tree-width of the graph and n is the number of vertices of the graph. The dependency of f(|phi|, t) on |phi| can be as bad as a tower of exponentials.
In this paper, we present explicit combinatorial algorithms for these problems for graphs G whose tree-width is bounded. We obtain 2^{O(t^r)} * n time algorithms when H is any fixed graph of order r. In the special case when H = K_r, a complete graph on r vertices, we get an 2^{O(t+r \log t)} * n time algorithm.
The techniques can be extended to provide FPT algorithms to determine the smallest number q such that V can be partitioned into q parts such that none of the parts have H as a subgraph (induced subgraph).
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
On the Tractability of (k,i)-Coloring
Authors:
Sriram Bhyravarapu,
Saurabh Joshi,
Subrahmanyam Kalyanasundaram,
Anjeneya Swami Kare
Abstract:
In an undirected graph, a proper (k,i)-coloring is an assignment of a set of k colors to each vertex such that any two adjacent vertices have at most i common colors. The (k,i)-coloring problem is to compute the minimum number of colors required for a proper (k,i)-coloring. This is a generalization of the classic graph coloring problem. We show a parameterized algorithm for the (k,i)-coloring prob…
▽ More
In an undirected graph, a proper (k,i)-coloring is an assignment of a set of k colors to each vertex such that any two adjacent vertices have at most i common colors. The (k,i)-coloring problem is to compute the minimum number of colors required for a proper (k,i)-coloring. This is a generalization of the classic graph coloring problem. We show a parameterized algorithm for the (k,i)-coloring problem with the size of the feedback vertex set as a parameter. Our algorithm does not use tree-width machinery, thus answering a question of Majumdar, Neogi, Raman and Tale [CALDAM 2017]. We also give a faster and simpler exact algorithm for (k, k-1)-coloring. From the hardness perspective, we show that the (k,i)-coloring problem is NP-complete for any fixed values i, k, whenever i<k, thereby settling a conjecture of Mendez-Diaz and Zabala [1999] and again asked by Majumdar, Neogi, Raman and Tale. The NP-completeness result improves the partial NP-completeness shown in the preliminary version of this paper published in CALDAM 2018.
△ Less
Submitted 17 June, 2018; v1 submitted 10 February, 2018;
originally announced February 2018.
-
Algorithms and hardness results for happy coloring problems
Authors:
N. R. Aravind,
Subrahmanyam Kalyanasundaram,
Anjeneya Swami Kare,
Juho Lauri
Abstract:
In a vertex-colored graph, an edge is happy if its endpoints have the same color. Similarly, a vertex is happy if all its incident edges are happy. Motivated by the computation of homophily in social networks, we consider the algorithmic aspects of the following Maximum Happy Edges (k-MHE) problem: given a partially k-colored graph G, find an extended full k-coloring of G maximizing the number of…
▽ More
In a vertex-colored graph, an edge is happy if its endpoints have the same color. Similarly, a vertex is happy if all its incident edges are happy. Motivated by the computation of homophily in social networks, we consider the algorithmic aspects of the following Maximum Happy Edges (k-MHE) problem: given a partially k-colored graph G, find an extended full k-coloring of G maximizing the number of happy edges. When we want to maximize the number of happy vertices, the problem is known as Maximum Happy Vertices (k-MHV). We further study the complexity of the problems and their weighted variants. For instance, we prove that for every k >= 3, both problems are NP-complete for bipartite graphs and k-MHV remains hard for split graphs. In terms of exact algorithms, we show both problems can be solved in time O*(2^n), and give an even faster O*(1.89^n)-time algorithm when k = 3. From a parameterized perspective, we give a linear vertex kernel for Weighted k-MHE, where edges are weighted and the goal is to obtain happy edges of at least a specified total weight. Finally, we prove both problems are solvable in polynomial-time when the graph has bounded treewidth or bounded neighborhood diversity.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Multi-threaded Graph Coloring Algorithm for Shared Memory Architecture
Authors:
Nandini Singhal,
Sathya Peri,
Subrahmanyam Kalyanasundaram
Abstract:
In this paper, we present multi-threaded algorithms for graph coloring suitable to the shared memory programming model. We modify an existing algorithm widely used in the literature and prove the correctness of the modified algorithm. We also propose a new approach to solve the problem of coloring using locks. Using datasets from real world graphs, we evaluate the performance of the algorithms on…
▽ More
In this paper, we present multi-threaded algorithms for graph coloring suitable to the shared memory programming model. We modify an existing algorithm widely used in the literature and prove the correctness of the modified algorithm. We also propose a new approach to solve the problem of coloring using locks. Using datasets from real world graphs, we evaluate the performance of the algorithms on the Intel platform. We compare the performance of the sequential approach v/s our proposed approach and analyze the speedup obtained against the existing algorithm from the literature. The results show that the speedup obtained is consequential. We also provide a direction for future work towards improving the performance further in terms of different metrics.
△ Less
Submitted 4 October, 2015; v1 submitted 28 September, 2015;
originally announced September 2015.