-
The Cost and Complexity of Minimizing Envy in House Allocation
Authors:
Jayakrishnan Madathil,
Neeldhara Misra,
Aditi Sethia
Abstract:
We study almost-envy-freeness in house allocation, where $m$ houses are to be allocated among $n$ agents so that every agent receives exactly one house. An envy-free allocation need not exist, and therefore we may have to settle for relaxations of envy-freeness. But typical relaxations such as envy-free up to one good do not make sense for house allocation, as every agent is required to receive ex…
▽ More
We study almost-envy-freeness in house allocation, where $m$ houses are to be allocated among $n$ agents so that every agent receives exactly one house. An envy-free allocation need not exist, and therefore we may have to settle for relaxations of envy-freeness. But typical relaxations such as envy-free up to one good do not make sense for house allocation, as every agent is required to receive exactly one house. Hence we turn to different aggregate measures of envy as markers of fairness. In particular, we define the amount of envy experienced by an agent $a$ w.r.t. an allocation to be the number of agents that agent $a$ envies under that allocation. We quantify the envy generated by an allocation using three different metrics: 1) the number of agents who are envious; 2) the maximum amount of envy experienced by any agent; and 3) the total amount of envy experienced by all agents, and look for allocations that minimize one of the three metrics. We thus study three computational problems corresponding to each of the three metrics and prove a host of algorithmic and hardness results. We also suggest practical approaches for these problems via integer linear program (ILP) formulations and report the findings of our experimental evaluation of ILPs. Finally, we study the price of fairness (PoF), which quantifies the loss of welfare we must suffer due to the fairness requirements, and we prove a number of results on PoF, including tight bounds as well as algorithms that simultaneously optimize both welfare and fairness.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
A Little Aggression Goes a Long Way
Authors:
Jyothi Krishnan,
Neeldhara Misra,
Saraswati Girish Nanoti
Abstract:
Aggression is a two-player game of troop placement and attack played on a map (modeled as a graph). Players take turns deploying troops on a territory (a vertex on the graph) until they run out. Once all troops are placed, players take turns attacking enemy territories. A territory can be attacked if it has $k$ troops and there are more than $k$ enemy troops on adjacent territories. At the end of…
▽ More
Aggression is a two-player game of troop placement and attack played on a map (modeled as a graph). Players take turns deploying troops on a territory (a vertex on the graph) until they run out. Once all troops are placed, players take turns attacking enemy territories. A territory can be attacked if it has $k$ troops and there are more than $k$ enemy troops on adjacent territories. At the end of the game, the player who controls the most territories wins. In the case of a tie, the player with more surviving troops wins. The first player to exhaust their troops in the placement phase leads the attack phase.
We study the complexity of the game when the graph along with an assignment of troops and the sequence of attacks planned by the second player. Even in this restrained setting, we show that the problem of determining an optimal sequence of first player moves is NP-complete. We then analyze the game for when the input graph is a matching or a cycle.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
On the Complexity of the Eigenvalue Deletion Problem
Authors:
Neeldhara Misra,
Harshil Mittal,
Saket Saurabh,
Dhara Thakkar
Abstract:
For any fixed positive integer $r$ and a given budget $k$, the $r$-\textsc{Eigenvalue Vertex Deletion} ($r$-EVD) problem asks if a graph $G$ admits a subset $S$ of at most $k$ vertices such that the adjacency matrix of $G\setminus S$ has at most $r$ distinct eigenvalues. The edge deletion, edge addition, and edge editing variants are defined analogously. For $r = 1$, $r$-EVD is equivalent to the V…
▽ More
For any fixed positive integer $r$ and a given budget $k$, the $r$-\textsc{Eigenvalue Vertex Deletion} ($r$-EVD) problem asks if a graph $G$ admits a subset $S$ of at most $k$ vertices such that the adjacency matrix of $G\setminus S$ has at most $r$ distinct eigenvalues. The edge deletion, edge addition, and edge editing variants are defined analogously. For $r = 1$, $r$-EVD is equivalent to the Vertex Cover problem. For $r = 2$, it turns out that $r$-EVD amounts to removing a subset $S$ of at most $k$ vertices so that $G\setminus S$ is a cluster graph where all connected components have the same size.
We show that $r$-EVD is NP-complete even on bipartite graphs with maximum degree four for every fixed $r > 2$, and FPT when parameterized by the solution size and the maximum degree of the graph. We also establish several results for the special case when $r = 2$. For the vertex deletion variant, we show that $2$-EVD is NP-complete even on triangle-free and $3d$-regular graphs for any $d\geq 2$, and also NP-complete on $d$-regular graphs for any $d\geq 8$. The edge deletion, addition, and editing variants are all NP-complete for $r = 2$. The edge deletion problem admits a polynomial time algorithm if the input is a cluster graph, while the edge addition variant is hard even when the input is a cluster graph. We show that the edge addition variant has a quadratic kernel. The edge deletion and vertex deletion variants are FPT when parameterized by the solution size alone.
Our main contribution is to develop the complexity landscape for the problem of modifying a graph with the aim of reducing the number of distinct eigenvalues in the spectrum of its adjacency matrix. It turns out that this captures, apart from Vertex Cover, also a natural variation of the problem of modifying to a cluster graph as a special case, which we believe may be of independent interest.
△ Less
Submitted 1 October, 2023;
originally announced October 2023.
-
A Note On Simultaneous Estimation of Order Restricted Location Parameters of a General Bivariate Symmetric Distribution Under a General Loss Function
Authors:
Naresh Garg,
Neeraj Misra
Abstract:
The problem of simultaneous estimation of order restricted location parameters $θ_1$ and $θ_2$ ($-\infty<θ_1\leq θ_2<\infty$) of a bivariate location symmetric distribution, under a general loss function, is being considered. In the literature, many authors have studied this problem for specific probability models and specific loss functions. In this paper, we unify these results by considering a…
▽ More
The problem of simultaneous estimation of order restricted location parameters $θ_1$ and $θ_2$ ($-\infty<θ_1\leq θ_2<\infty$) of a bivariate location symmetric distribution, under a general loss function, is being considered. In the literature, many authors have studied this problem for specific probability models and specific loss functions. In this paper, we unify these results by considering a general bivariate symmetric model and a quite general loss function. We use the Stein and the Kubokawa (or IERD) techniques to derive improved estimators over any location equivariant estimator under a general loss function. We see that the improved Stein type estimator is robust with respect to the choice of a bivariate symmetric distribution and the loss function, as it only requires the loss function to satisfy some generic conditions. A simulation study is carried out to validate the findings of the paper. A real-life data analysis is also provided.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
On improved estimation of the larger location parameter
Authors:
Naresh Garg,
Lakshmi Kanta Patra,
Neeraj Misra
Abstract:
This paper investigates the problem of estimating the larger location parameter of two general location families from a decision-theoretic perspective. In this estimation problem, we use the criteria of minimizing the risk function and the Pitman closeness under a general bowl-shaped loss function. Inadmissibility of a general location and equivariant estimators is provided. We prove that a natura…
▽ More
This paper investigates the problem of estimating the larger location parameter of two general location families from a decision-theoretic perspective. In this estimation problem, we use the criteria of minimizing the risk function and the Pitman closeness under a general bowl-shaped loss function. Inadmissibility of a general location and equivariant estimators is provided. We prove that a natural estimator (analogue of the BLEE of unordered location parameters) is inadmissible, under certain conditions on underlying densities, and propose a dominating estimator. We also derive a class of improved estimators using the Kubokawa's IERD approach and observe that the boundary estimator of this class is the Brewster-Zidek type estimator. Additionally, under the generalized Pitman criterion, we show that the natural estimator is inadmissible and obtain improved estimators. The results are implemented for different loss functions, and explicit expressions for the dominating estimators are provided. We explore the applications of these results to for exponential and normal distribution under specified loss functions. A simulation is also conducted to compare the risk performance of the proposed estimators. Finally, we present a real-life data analysis to illustrate the practical applications of the paper's findings.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Parameterized Aspects of Distinct Kemeny Rank Aggregation
Authors:
Koustav De,
Harshil Mittal,
Palash Dey,
Neeldhara Misra
Abstract:
The Kemeny method is one of the popular tools for rank aggregation. However, computing an optimal Kemeny ranking is NP-hard. Consequently, the computational task of finding a Kemeny ranking has been studied under the lens of parameterized complexity with respect to many parameters. We first present a comprehensive relationship, both theoretical and empirical, among these parameters. Further, we st…
▽ More
The Kemeny method is one of the popular tools for rank aggregation. However, computing an optimal Kemeny ranking is NP-hard. Consequently, the computational task of finding a Kemeny ranking has been studied under the lens of parameterized complexity with respect to many parameters. We first present a comprehensive relationship, both theoretical and empirical, among these parameters. Further, we study the problem of computing all distinct Kemeny rankings under the lens of parameterized complexity. We consider the target Kemeny score, number of candidates, average distance of input rankings, maximum range of any candidate, and unanimity width as our parameters. For all these parameters, we already have FPT algorithms. We find that any desirable number of Kemeny rankings can also be found without substantial increase in running time. We also present FPT approximation algorithms for Kemeny rank aggregation with respect to these parameters.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Spartan Bipartite Graphs are Essentially Elementary
Authors:
Neeldhara Misra,
Saraswati Girish Nanoti
Abstract:
We study a two-player game on a graph between an attacker and a defender. To begin with, the defender places guards on a subset of vertices. In each move, the attacker attacks an edge. The defender must move at least one guard across the attacked edge to defend the attack. The defender wins if and only if the defender can defend an infinite sequence of attacks. The smallest number of guards with w…
▽ More
We study a two-player game on a graph between an attacker and a defender. To begin with, the defender places guards on a subset of vertices. In each move, the attacker attacks an edge. The defender must move at least one guard across the attacked edge to defend the attack. The defender wins if and only if the defender can defend an infinite sequence of attacks. The smallest number of guards with which the defender has a winning strategy is called the eternal vertex cover number of a graph $G$ and is denoted by $evc(G)$. It is clear that $evc(G)$ is at least $mvc(G)$, the size of a minimum vertex cover of $G$. We say that $G$ is Spartan if $evc(G) = mvc(G)$. The characterization of Spartan graphs has been largely open. In the setting of bipartite graphs on $2n$ vertices where every edge belongs to a perfect matching, an easy strategy is to have $n$ guards that always move along perfect matchings in response to attacks. We show that these are essentially the only Spartan bipartite graphs.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
The Price of Equity with Binary Valuations and Few Agent Types
Authors:
Umang Bhaskar,
Neeldhara Misra,
Aditi Sethia,
Rohit Vaish
Abstract:
In fair division problems, the notion of price of fairness measures the loss in welfare due to a fairness constraint. Prior work on the price of fairness has focused primarily on envy-freeness up to one good (EF1) as the fairness constraint, and on the utilitarian and egalitarian welfare measures. Our work instead focuses on the price of equitability up to one good (EQ1) (which we term price of eq…
▽ More
In fair division problems, the notion of price of fairness measures the loss in welfare due to a fairness constraint. Prior work on the price of fairness has focused primarily on envy-freeness up to one good (EF1) as the fairness constraint, and on the utilitarian and egalitarian welfare measures. Our work instead focuses on the price of equitability up to one good (EQ1) (which we term price of equity) and considers the broad class of generalized $p$-mean welfare measures (which includes utilitarian, egalitarian, and Nash welfare as special cases). We derive fine-grained bounds on the price of equity in terms of the number of agent types (i.e., the maximum number of agents with distinct valuations), which allows us to identify scenarios where the existing bounds in terms of the number of agents are overly pessimistic.
Our work focuses on the setting with binary additive valuations, and obtains upper and lower bounds on the price of equity for $p$-mean welfare for all $p \leqslant 1$. For any fixed $p$, our bounds are tight up to constant factors. A useful insight of our work is to identify the structure of allocations that underlie the upper (respectively, the lower) bounds simultaneously for all $p$-mean welfare measures, thus providing a unified structural understanding of price of fairness in this setting. This structural understanding, in fact, extends to the more general class of binary submodular (or matroid rank) valuations. We also show that, unlike binary additive valuations, for binary submodular valuations the number of agent types does not provide bounds on the price of equity.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Inadmissibility of invariant estimator of function of scale parameter of several exponential distributions
Authors:
Lakshmi Kanta Patra,
Shrajal Bajpai,
Neeraj Misra
Abstract:
In various applied areas such as reliability engineering, molecular biology, finance, etc., the measure of uncertainty of a probability distribution plays an important role. In the present work, we consider the estimation of a function of the scale parameter, namely entropy of many exponential distributions having unknown and unequal location parameters with a common scale parameter. For this esti…
▽ More
In various applied areas such as reliability engineering, molecular biology, finance, etc., the measure of uncertainty of a probability distribution plays an important role. In the present work, we consider the estimation of a function of the scale parameter, namely entropy of many exponential distributions having unknown and unequal location parameters with a common scale parameter. For this estimation problem, we have considered bowl-shaped location invariant loss functions. The inadmissibility of the minimum risk invariant estimator (MRIE) is proved by proposing a non-smooth improved estimator. Also, we have obtained a smooth estimator which improves upon the MRIE. As an application, we have obtained explicit expressions of improved estimators for two well-known loss functions namely squared error loss and linex loss. Further, we have shown that these estimators can be derived for other important censored sampling schemes. At first, we obtained the results for the complete and i.i.d. sample. We have seen that the results can be applied for (i) record values, (ii) type-II censoring, and (iii) progressive Type-II censoring. Finally, a simulation study has been carried out to compare the risk performance of the proposed improved estimators.
△ Less
Submitted 8 February, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
On Estimating the Selected Treatment Mean under a Two-Stage Adaptive Design
Authors:
Masihuddin,
Neeraj Misra
Abstract:
Adaptive designs are commonly used in clinical and drug development studies for optimum utilization of available resources. In this article, we consider the problem of estimating the effect of the selected (better) treatment using a two-stage adaptive design. Consider two treatments with their effectiveness characterized by two normal distributions having different unknown means and a common unkno…
▽ More
Adaptive designs are commonly used in clinical and drug development studies for optimum utilization of available resources. In this article, we consider the problem of estimating the effect of the selected (better) treatment using a two-stage adaptive design. Consider two treatments with their effectiveness characterized by two normal distributions having different unknown means and a common unknown variance. The treatment associated with the larger mean effect is labeled as the better treatment. In the first stage of the design, each of the two treatments is independently administered to different sets of $n_1$ subjects, and the treatment with the larger sample mean is chosen as the better treatment. In the second stage, the selected treatment is further administered to $n_2$ additional subjects. In this article, we deal with the problem of estimating the mean of the selected treatment using the above adaptive design. We extend the result of \cite{cohen1989two} by obtaining the uniformly minimum variance conditionally unbiased estimator (UMVCUE) of the mean effect of the selected treatment when multiple observations are available in the second stage. We show that the maximum likelihood estimator (a weighted sample average based on the first and the second stage data) is minimax and admissible for estimating the mean effect of the selected treatment. We also propose some plug-in estimators obtained by plugging in the pooled sample variance in place of the common variance $σ^2$, in some of the estimators proposed by \cite{misra2022estimation} for the situations where $σ^2$ is known. The performances of various estimators of the mean effect of the selected treatment are compared via a simulation study. For the illustration purpose, we also provide a real-data application.
△ Less
Submitted 22 January, 2023;
originally announced January 2023.
-
Isotonic Regression Estimators For Simultaneous Estimation of Order Restricted Location/Scale Parameters of a Bivariate Distribution: A Unified Study
Authors:
Naresh Garg,
Neeraj Misra
Abstract:
The problem of simultaneous estimation of location/scale parameters $θ_1$ and $θ_2$ of a general bivariate location/scale model, when the ordering between the parameters is known apriori (say, $θ_1\leq θ_2$), has been considered. We consider isotonic regression estimators based on the best location/scale equivariant estimators (BLEEs/BSEEs) of $θ_1$ and $θ_2$ with general weight functions. Let…
▽ More
The problem of simultaneous estimation of location/scale parameters $θ_1$ and $θ_2$ of a general bivariate location/scale model, when the ordering between the parameters is known apriori (say, $θ_1\leq θ_2$), has been considered. We consider isotonic regression estimators based on the best location/scale equivariant estimators (BLEEs/BSEEs) of $θ_1$ and $θ_2$ with general weight functions. Let $\mathcal{D}$ denote the corresponding class of isotonic regression estimators of $(θ_1,θ_2)$. Under the sum of the weighted squared error loss function, we characterize admissible estimators within the class $\mathcal{D}$, and identify estimators that dominate the BLEE/BSEE of ($θ_1$,$θ_2$). Our study unifies several studies reported in the literature for specific probability distributions having independent marginals. We also report a generalized version of the Katz (1963) result on the inadmissibility of certain estimators under a loss function that is weighted sum of general loss functions for component problems. A simulation study is also carried out to validate the findings of the paper.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
Romeo and Juliet Meeting in Forest Like Regions
Authors:
Neeldhara Misra,
Manas Mulpuri,
Prafullkumar Tale,
Gaurav Viramgami
Abstract:
The game of rendezvous with adversaries is a game on a graph played by two players: Facilitator and Divider. Facilitator has two agents and Divider has a team of $k \ge 1$ agents. While the initial positions of Facilitator's agents are fixed, Divider gets to select the initial positions of his agents. Then, they take turns to move their agents to adjacent vertices (or stay put) with Facilitator's…
▽ More
The game of rendezvous with adversaries is a game on a graph played by two players: Facilitator and Divider. Facilitator has two agents and Divider has a team of $k \ge 1$ agents. While the initial positions of Facilitator's agents are fixed, Divider gets to select the initial positions of his agents. Then, they take turns to move their agents to adjacent vertices (or stay put) with Facilitator's goal to bring both her agents at same vertex and Divider's goal to prevent it. The computational question of interest is to determine if Facilitator has a winning strategy against Divider with $k$ agents. Fomin, Golovach, and Thilikos [WG, 2021] introduced this game and proved that it is PSPACE-hard and co-W[2]-hard parameterized by the number of agents.
This hardness naturally motivates the structural parameterization of the problem. The authors proved that it admits an FPT algorithm when parameterized by the modular width and the number of allowed rounds. However, they left open the complexity of the problem from the perspective of other structural parameters. In particular, they explicitly asked whether the problem admits an FPT or XP-algorithm with respect to the treewidth of the input graph. We answer this question in the negative and show that Rendezvous is co-NP-hard even for graphs of constant treewidth. Further, we show that the problem is co-W[1]-hard when parameterized by the feedback vertex set number and the number of agents, and is unlikely to admit a polynomial kernel when parameterized by the vertex cover number and the number of agents. Complementing these hardness results, we show that the Rendezvous is FPT when parameterized by both the vertex cover number and the solution size. Finally, for graphs of treewidth at most two and girds, we show that the problem can be solved in polynomial time.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
A unified study for estimation of order restricted location/scale parameters under the generalized Pitman nearness criterion
Authors:
Naresh Garg,
Neeraj Misra
Abstract:
We consider component-wise estimation of order restricted location/scale parameters of a general bivariate location/scale distribution under the generalized Pitman nearness criterion (GPN). We develop some general results that, in many situations, are useful in finding improvements over location/scale equivariant estimators. In particular, under certain conditions, these general results provide im…
▽ More
We consider component-wise estimation of order restricted location/scale parameters of a general bivariate location/scale distribution under the generalized Pitman nearness criterion (GPN). We develop some general results that, in many situations, are useful in finding improvements over location/scale equivariant estimators. In particular, under certain conditions, these general results provide improvements over the unrestricted Pitman nearest location/scale equivariant estimators and restricted maximum likelihood estimators. The usefulness of the obtained results is illustrated through their applications to specific probability models. A simulation study has been considered to compare how well different estimators perform under the GPN criterion with a specific loss function.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Shrinkage Estimators Dominating Some Naive Estimators of the Selected Entropy
Authors:
Masihuddin,
Neeraj Misra
Abstract:
Consider two populations characterized by independent random variables $X_1$ and $X_2$ such that $X_i, i=1,2,$ follows a gamma distribution with an unknown scale parameter $θ_i>0$, and known shape parameter $α>0$ (the same shape parameter for both the populations). Here $(X_1,X_2)$ may be an appropriate minimal sufficient statistic based on independent random samples from the two populations. The…
▽ More
Consider two populations characterized by independent random variables $X_1$ and $X_2$ such that $X_i, i=1,2,$ follows a gamma distribution with an unknown scale parameter $θ_i>0$, and known shape parameter $α>0$ (the same shape parameter for both the populations). Here $(X_1,X_2)$ may be an appropriate minimal sufficient statistic based on independent random samples from the two populations. The population associated with the larger (smaller) Shannon entropy is referred to as the "worse" ("better") population. For the goal of selecting the worse (better) population, a natural selection rule is the one that selects the population corresponding to $\max\{X_1,X_2\} ~(\min\{X_1,X_2\})$ as the worse (better) population. This natural selection rule is known to possess several optimum properties. We consider the problem of estimating the Shannon entropy of the population selected using the natural selection rule (to be referred to as the selected entropy) under the mean squared error criterion. In order to improve upon various naive estimators of the selected entropy, we derive a class of shrinkage estimators that shrink various naive estimators towards the central entropy. For this purpose, we first consider a class of naive estimators comprising linear, scale and permutation equivariant estimators and identify optimum estimators within this class. The class of naive estimators considered by us contains three natural plug-in estimators. To further improve upon the optimum naive estimators, we consider a general class of equivariant estimators and obtain dominating shrinkage estimators. We also present a simulation study on the performances of various competing estimators. A real data analysis is also reported to illustrate the applicability of proposed estimators.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Estimation of the Selected Treatment Mean in Two-Stage Drop-the-Losers Design
Authors:
Masihuddin,
Neeraj Misra
Abstract:
A common problem faced in clinical studies is that of estimating the effect of the most effective (e.g., the one having the largest mean) treatment among $k~(\geq2)$ available treatments. The most effective treatment is adjudged based on numerical values of some statistic corresponding to the $k$ treatments. A proper design for such problems is the so-called "Drop-the-Losers Design (DLD)". We cons…
▽ More
A common problem faced in clinical studies is that of estimating the effect of the most effective (e.g., the one having the largest mean) treatment among $k~(\geq2)$ available treatments. The most effective treatment is adjudged based on numerical values of some statistic corresponding to the $k$ treatments. A proper design for such problems is the so-called "Drop-the-Losers Design (DLD)". We consider two treatments whose effects are described by independent Gaussian distributions having different unknown means and a common known variance. To select the more effective treatment, the two treatments are independently administered to $n_1$ subjects each and the treatment corresponding to the larger sample mean is selected. To study the effect of the adjudged more effective treatment (i.e., estimating its mean), we consider the two-stage DLD in which $n_2$ subjects are further administered the adjudged more effective treatment in the second stage of the design. We obtain some admissibility and minimaxity results for estimating the mean effect of the adjudged more effective treatment. The maximum likelihood estimator is shown to be minimax and admissible. We show that the uniformly minimum variance conditionally unbiased estimator (UMVCUE) of the selected treatment mean is inadmissible and obtain an improved estimator. In this process, we also derive a sufficient condition for inadmissibility of an arbitrary location and permutation equivariant estimator and provide dominating estimators in cases where this sufficient condition is satisfied. The mean squared error and the bias performances of various competing estimators are compared via a simulation study. A real data example is also provided for illustration purposes.
△ Less
Submitted 18 September, 2022;
originally announced September 2022.
-
Some Unified Results on Isotonic Regression Estimators of Order Restricted Parameters of a General Bivariate Location/Scale Model
Authors:
Naresh Garg,
Neeraj Misra
Abstract:
We consider component-wise estimation of order restricted location/scale parameters $θ_1$ and $θ_2$ ($θ_1\leq θ_2$) of a general bivariate distribution under the squared error loss function. To find improvements over the best location/scale equivariant estimators (BLEE/BSEE) of $θ_1$ and $θ_2$, we study isotonic regression of suitable location/scale equivariant estimators (LEE/SEE) of $θ_1$ and…
▽ More
We consider component-wise estimation of order restricted location/scale parameters $θ_1$ and $θ_2$ ($θ_1\leq θ_2$) of a general bivariate distribution under the squared error loss function. To find improvements over the best location/scale equivariant estimators (BLEE/BSEE) of $θ_1$ and $θ_2$, we study isotonic regression of suitable location/scale equivariant estimators (LEE/SEE) of $θ_1$ and $θ_2$ with general weights. Let $\mathcal{D}_{1,ν}$ and $\mathcal{D}_{2,β}$ denote suitable classes of isotonic regression estimators of $θ_1$ and $θ_2$, respectively. Under the squared error loss function, we characterize admissible estimators within classes $\mathcal{D}_{1,ν}$ and $\mathcal{D}_{2,β}$, and identify estimators that dominate the BLEE/BSEE of $θ_1$ and $θ_2$. Our study unifies and extends several studies reported in the literature for specific probability distributions having independent marginals. Additionally, some new and interesting results are obtained. A simulation study is also considered to compare the risk performances of various estimators.
△ Less
Submitted 2 July, 2022;
originally announced July 2022.
-
Chess is hard even for a single player
Authors:
N. R. Aravind,
Neeldhara Misra,
Harshil Mittal
Abstract:
We introduce a generalization of "Solo Chess", a single-player variant of the game that can be played on chess.com. The standard version of the game is played on a regular 8 x 8 chessboard by a single player, with only white pieces, using the following rules: every move must capture a piece, no piece may capture more than 2 times, and if there is a King on the board, it must be the final piece. Th…
▽ More
We introduce a generalization of "Solo Chess", a single-player variant of the game that can be played on chess.com. The standard version of the game is played on a regular 8 x 8 chessboard by a single player, with only white pieces, using the following rules: every move must capture a piece, no piece may capture more than 2 times, and if there is a King on the board, it must be the final piece. The goal is to clear the board, i.e, make a sequence of captures after which only one piece is left.
We generalize this game to unbounded boards with $n$ pieces, each of which have a given number of captures that they are permitted to make. We show that Generalized Solo Chess is NP-complete, even when it is played by only rooks that have at most two captures remaining. It also turns out to be NP-complete even when every piece is a queen with exactly two captures remaining in the initial configuration. In contrast, we show that solvable instances of Generalized Solo Chess can be completely characterized when the game is: a) played by rooks on a one-dimensional board, and b) played by pawns with two captures left on a 2D board.
Inspired by Generalized Solo Chess, we also introduce the Graph Capture Game, which involves clearing a graph of tokens via captures along edges. This game subsumes Generalized Solo Chess played by knights. We show that the Graph Capture Game is NP-complete for undirected graphs and DAGs.
△ Less
Submitted 30 March, 2022; v1 submitted 28 March, 2022;
originally announced March 2022.
-
Eternal Vertex Cover on Bipartite and Co-Bipartite Graphs
Authors:
Neeldhara Misra,
Saraswati Nanoti
Abstract:
Eternal Vertex Cover problem is a dynamic variant of the vertex cover problem. We have a two player game in which guards are placed on some vertices of a graph. In every move, one player (the attacker) attacks an edge. In response to the attack, the second player (defender) moves the guards along the edges of the graph in such a manner that at least one guard moves along the attacked edge. If such…
▽ More
Eternal Vertex Cover problem is a dynamic variant of the vertex cover problem. We have a two player game in which guards are placed on some vertices of a graph. In every move, one player (the attacker) attacks an edge. In response to the attack, the second player (defender) moves the guards along the edges of the graph in such a manner that at least one guard moves along the attacked edge. If such a movement is not possible, then the attacker wins. If the defender can defend the graph against an infinite sequence of attacks, then the defender wins.
The minimum number of guards with which the defender has a winning strategy is called the Eternal Vertex Cover Number of the graph G. On general graphs, the computational problem of determining the minimum eternal vertex cover number is NP-hard and admits a 2-approximation algorithm and an exponential kernel. The complexity of the problem on bipartite graphs is open, as is the question of whether the problem admits a polynomial kernel.
We settle both these questions by showing that Eternal Vertex Cover is NP-hard and does not admit a polynomial compression even on bipartite graphs of diameter six. We also show that the problem admits a polynomial time algorithm on the class of cobipartite graphs.
△ Less
Submitted 17 January, 2024; v1 submitted 11 January, 2022;
originally announced January 2022.
-
On Fair Division with Binary Valuations Respecting Social Networks
Authors:
Neeldhara Misra,
Debanuj Nayak
Abstract:
We study the computational complexity of finding fair allocations of indivisible goods in the setting where a social network on the agents is given. Notions of fairness in this context are "localized", that is, agents are only concerned about the bundles allocated to their neighbors, rather than every other agent in the system. We comprehensively address the computational complexity of finding loc…
▽ More
We study the computational complexity of finding fair allocations of indivisible goods in the setting where a social network on the agents is given. Notions of fairness in this context are "localized", that is, agents are only concerned about the bundles allocated to their neighbors, rather than every other agent in the system. We comprehensively address the computational complexity of finding locally envy-free and Pareto efficient allocations in the setting where the agents have binary valuations for the goods and the underlying social network is modeled by an undirected graph. We study the problem in the framework of parameterized complexity.
We show that the problem is computationally intractable even in fairly restricted scenarios, for instance, even when the underlying graph is a path. We show NP-hardness for settings where the graph has only two distinct valuations among the agents. We demonstrate W-hardness with respect to the number of goods or the size of the vertex cover of the underlying graph. We also consider notions of proportionality that respect the structure of the underlying graph and show that two natural versions of this notion have different complexities: allocating according to the notion that accounts for locality to the greatest degree turns out to be computationally intractable, while for other notions, the allocation problem can be modeled as a structured ILP which can be solved efficiently.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Estimation of Order Restricted Location/Scale Parameters of a General Bivariate Distribution Under General Loss function: Some Unified results
Authors:
Naresh Garg,
Neeraj Misra
Abstract:
We consider component-wise equivariant estimation of order restricted location/scale parameters of a general bivariate distribution under quite general conditions on underlying distributions and the loss function. This paper unifies various results in the literature dealing with sufficient conditions for finding improvments over arbitrary location/scale equivariant estimators. The usefulness of th…
▽ More
We consider component-wise equivariant estimation of order restricted location/scale parameters of a general bivariate distribution under quite general conditions on underlying distributions and the loss function. This paper unifies various results in the literature dealing with sufficient conditions for finding improvments over arbitrary location/scale equivariant estimators. The usefulness of these results is illustrated through various examples. A simulation study is considered to compare risk performances of various estimators under bivariate normal and independent gamma probability models. A real-life data analysis is also performed to demonstrate applicability of the derived results.
△ Less
Submitted 2 July, 2022; v1 submitted 1 November, 2021;
originally announced November 2021.
-
Equivariant Estimation of the Selected Guarantee Time
Authors:
Masihuddin,
Neeraj Misra
Abstract:
Consider two independent exponential populations having different unknown location parameters and a common unknown scale parameter. Call the population associated with the larger location parameter as the "best" population and the population associated with the smaller location parameter as the "worst" population. For the goal of selecting the best (worst) population a natural selection rule, that…
▽ More
Consider two independent exponential populations having different unknown location parameters and a common unknown scale parameter. Call the population associated with the larger location parameter as the "best" population and the population associated with the smaller location parameter as the "worst" population. For the goal of selecting the best (worst) population a natural selection rule, that has many optimum properties, is the one which selects the population corresponding to the larger (smaller) minimal sufficient statistic. In this article, we consider the problem of estimating the location parameter of the population selected using this natural selection rule. For estimating the location parameter of the selected best population, we derive the uniformly minimum variance unbiased estimator (UMVUE) and show that the analogue of the best affine equivariant estimators (BAEEs) of location parameters is a generalized Bayes estimator. We provide some admissibility and minimaxity results for estimators in the class of linear, affine and permutation equivariant estimators, under the criterion of scaled mean squared error. We also derive a sufficient condition for inadmissibility of an arbitrary affine and permutation equivariant estimator. We provide similar results for the problem of estimating the location parameter of the selected population when the selection goal is that of selecting the worst exponential population. Finally, we provide a simulation study to compare, numerically, the performances of some of the proposed estimators.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
U-statistic based on overlap** sample spacings
Authors:
Rahul Singh,
Neeraj Misra
Abstract:
For testing goodness of fit, we consider a class of U-statistics of overlap** spacings of order two, and investigate their asymptotic properties. The standard U-statistic theory is not directly applicable here as the overlap** spacings form a dependent random sequence. The asymptotic distribution of the statistics under the null hypothesis and under a sequence of local alternatives are derived…
▽ More
For testing goodness of fit, we consider a class of U-statistics of overlap** spacings of order two, and investigate their asymptotic properties. The standard U-statistic theory is not directly applicable here as the overlap** spacings form a dependent random sequence. The asymptotic distribution of the statistics under the null hypothesis and under a sequence of local alternatives are derived. In terms of the Pitman ARE, the U-statistic based on Gini's mean square difference of overlap** spacings is found to be the asymptotically locally most powerful. Interestingly, this test has the same efficacy as the Greenwood test based on overlap** spacings.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Componentwise Equivariant Estimation of Order Restricted Location and Scale Parameters In Bivariate Models: A Unified Study
Authors:
Naresh Garg,
Neeraj Misra
Abstract:
The problem of estimating location (scale) parameters $θ_1$ and $θ_2$ of two distributions when the ordering between them is known apriori (say, $θ_1\leq θ_2$) has been extensively studied in the literature. Many of these studies are centered around deriving estimators that dominate the best location (scale) equivariant estimators, for the unrestricted case, by exploiting the prior information tha…
▽ More
The problem of estimating location (scale) parameters $θ_1$ and $θ_2$ of two distributions when the ordering between them is known apriori (say, $θ_1\leq θ_2$) has been extensively studied in the literature. Many of these studies are centered around deriving estimators that dominate the best location (scale) equivariant estimators, for the unrestricted case, by exploiting the prior information that $θ_1 \leq θ_2$. Several of these studies consider specific distributions such that the associated random variables are statistically independent. This paper considers a general bivariate model and general loss function and unifies various results proved in the literature. We also consider applications of these results to a bivariate normal and a Cheriyan and Ramabhadran's bivariate gamma model. A simulation study is also considered to compare the risk performances of various estimators under bivariate normal and Cheriyan and Ramabhadran's bivariate gamma models.
△ Less
Submitted 2 July, 2022; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Some multivariate goodness of fit tests based on data depth
Authors:
Rahul Singh,
Subhajit Dutta,
Neeraj Misra
Abstract:
Using the fact that some depth functions characterize certain family of distribution functions, and under some mild conditions, distribution of the depth is continuous, we have constructed several new multivariate goodness of fit tests based on existing univariate GoF tests. Since exact computation of depth is difficult, depth is computed with respect to a large random sample drawn from the null d…
▽ More
Using the fact that some depth functions characterize certain family of distribution functions, and under some mild conditions, distribution of the depth is continuous, we have constructed several new multivariate goodness of fit tests based on existing univariate GoF tests. Since exact computation of depth is difficult, depth is computed with respect to a large random sample drawn from the null distribution. It has been shown that test statistic based on estimated depth is close to that based on true depth for a large random sample from the null distribution. Some two sample tests for scale difference, based on data depth are also discussed. These tests are distribution-free under the null hypothesis. Finite sample properties of the tests are studied through several numerical examples. A real data example is discussed to illustrate usefulness of the proposed tests.
△ Less
Submitted 8 May, 2021;
originally announced May 2021.
-
Some parametric tests based on sample spacings
Authors:
Rahul Singh,
Neeraj Misra
Abstract:
Assume that we have a random sample from an absolutely continuous distribution (univariate, or multivariate) with a known functional form and some unknown parameters. In this paper, we have studied several parametric tests based on statistics that are symmetric functions of $m$-step disjoint sample spacings. Asymptotic properties of these tests have been investigated under the simple null hypothes…
▽ More
Assume that we have a random sample from an absolutely continuous distribution (univariate, or multivariate) with a known functional form and some unknown parameters. In this paper, we have studied several parametric tests based on statistics that are symmetric functions of $m$-step disjoint sample spacings. Asymptotic properties of these tests have been investigated under the simple null hypothesis and under a sequence of local alternatives converging to the null hypothesis. The asymptotic properties of the proposed tests have also been studied under the composite null hypothesis. We observed that these tests have similar asymptotic properties as the likelihood ratio test. Finite sample performances of the proposed tests are assessed numerically. A data analysis based on real data is also reported. The proposed tests provide alternative to similar tests based on simple spacings (i.e., $m=1$), that were proposed earlier in the literature. These tests also provide an alternative to likelihood ratio tests in situations where likelihood function may be unbounded and hence, likelihood ratio tests do not exist.
△ Less
Submitted 3 June, 2022; v1 submitted 10 February, 2021;
originally announced February 2021.
-
Equitable Division of a Path
Authors:
Neeldhara Misra,
Chinmay Sonar,
P. R. Vaidyanathan,
Rohit Vaish
Abstract:
We study fair resource allocation under a connectedness constraint wherein a set of indivisible items are arranged on a path and only connected subsets of items may be allocated to the agents. An allocation is deemed fair if it satisfies equitability up to one good (EQ1), which requires that agents' utilities are approximately equal. We show that achieving EQ1 in conjunction with well-studied meas…
▽ More
We study fair resource allocation under a connectedness constraint wherein a set of indivisible items are arranged on a path and only connected subsets of items may be allocated to the agents. An allocation is deemed fair if it satisfies equitability up to one good (EQ1), which requires that agents' utilities are approximately equal. We show that achieving EQ1 in conjunction with well-studied measures of economic efficiency (such as Pareto optimality, non-wastefulness, maximum egalitarian or utilitarian welfare) is computationally hard even for binary additive valuations. On the algorithmic side, we show that by relaxing the efficiency requirement, a connected EQ1 allocation can be computed in polynomial time for any given ordering of agents, even for general monotone valuations. Interestingly, the allocation computed by our algorithm has the highest egalitarian welfare among all allocations consistent with the given ordering. On the other hand, if efficiency is required, then tractability can still be achieved for binary additive valuations with interval structure. On our way, we strengthen some of the existing results in the literature for other fairness notions such as envy-freeness up to one good (EF1), and also provide novel results for negatively-valued items or chores.
△ Less
Submitted 26 January, 2021; v1 submitted 24 January, 2021;
originally announced January 2021.
-
Red-Blue Point Separation for Points on a Circle
Authors:
Neeldhara Misra,
Harshil Mittal,
Aditi Sethia
Abstract:
Given a set R of red points and a set B of blue points in the plane, the Red-Blue point separation problem asks if there are at most k lines that separate R from B, that is, each cell induced by the lines of the solution is either empty or monochromatic (containing points of only one color). A common variant of the problem is when the lines are required to be axis-parallel. The problem is known to…
▽ More
Given a set R of red points and a set B of blue points in the plane, the Red-Blue point separation problem asks if there are at most k lines that separate R from B, that is, each cell induced by the lines of the solution is either empty or monochromatic (containing points of only one color). A common variant of the problem is when the lines are required to be axis-parallel. The problem is known to be NP-complete for both scenarios, and W[1]-hard parameterized by k in the former setting and FPT in the latter. We demonstrate a polynomial-time algorithm for the special case when the points lie on a circle. Further, we also demonstrate the W-hardness of a related problem in the axis-parallel setting, where the question is if there are p horizontal and q vertical lines that separate R from B. The hardness here is shown in the parameter p.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Imbalance Parameterized by Twin Cover Revisited
Authors:
Neeldhara Misra,
Harshil Mittal
Abstract:
We study the problem of Imbalance parameterized by the twin cover of a graph. We show that Imbalance is XP parameterized by twin cover, and FPT when parameterized by the twin cover and the size of the largest clique outside the twin cover. In contrast, we introduce a notion of succinct representations of graphs in terms of their twin cover and demonstrate that Imbalance is NP-hard in the setting o…
▽ More
We study the problem of Imbalance parameterized by the twin cover of a graph. We show that Imbalance is XP parameterized by twin cover, and FPT when parameterized by the twin cover and the size of the largest clique outside the twin cover. In contrast, we introduce a notion of succinct representations of graphs in terms of their twin cover and demonstrate that Imbalance is NP-hard in the setting of succinct representations, even for graphs that have a twin cover of size one.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
A Parameterized Perspective on Attacking and Defending Elections
Authors:
Kishen N. Gowda,
Neeldhara Misra,
Vraj Patel
Abstract:
We consider the problem of protecting and manipulating elections by recounting and changing ballots, respectively. Our setting involves a plurality-based election held across multiple districts, and the problem formulations are based on the model proposed recently by~[Elkind et al, IJCAI 2019]. It turns out that both of the manipulation and protection problems are NP-complete even in fairly simple…
▽ More
We consider the problem of protecting and manipulating elections by recounting and changing ballots, respectively. Our setting involves a plurality-based election held across multiple districts, and the problem formulations are based on the model proposed recently by~[Elkind et al, IJCAI 2019]. It turns out that both of the manipulation and protection problems are NP-complete even in fairly simple settings. We study these problems from a parameterized perspective with the goal of establishing a more detailed complexity landscape. The parameters we consider include the number of voters, and the budgets of the attacker and the defender. While we observe fixed-parameter tractability when parameterizing by number of voters, our main contribution is a demonstration of parameterized hardness when working with the budgets of the attacker and the defender.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
On the complexity of Winner Verification and Candidate Winner for Multiwinner Voting Rules
Authors:
Chinmay Sonar,
Palash Dey,
Neeldhara Misra
Abstract:
The Chamberlin-Courant and Monroe rules are fundamental and well-studied rules in the literature of multi-winner elections. The problem of determining if there exists a committee of size k that has a Chamberlin-Courant (respectively, Monroe) score of at most r is known to be NP-complete. We consider the following natural problems in this setting: a) given a committee S of size k as input, is it an…
▽ More
The Chamberlin-Courant and Monroe rules are fundamental and well-studied rules in the literature of multi-winner elections. The problem of determining if there exists a committee of size k that has a Chamberlin-Courant (respectively, Monroe) score of at most r is known to be NP-complete. We consider the following natural problems in this setting: a) given a committee S of size k as input, is it an optimal k-sized committee, and b) given a candidate c and a committee size k, does there exist an optimal k-sized committee that contains c?
In this work, we resolve the complexity of both problems for the Chamberlin-Courant and Monroe voting rules in the settings of rankings as well as approval ballots. We show that verifying if a given committee is optimal is coNP-complete whilst the latter problem is complete for $Θ_{2}^{P}$. We also demonstrate efficient algorithms for the second problem when the input consists of single-peaked rankings. Our contribution fills an essential gap in the literature for these important multi-winner rules.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
On the Inhibition of COVID-19 Protease by Indian Herbal Plants: An In Silico Investigation
Authors:
Ambrish Kumar Srivastava,
Abhishek Kumar,
Neeraj Misra
Abstract:
COVID-19 has quickly spread across the globe, becoming a pandemic. This disease has a variable impact in different countries depending on their cultural norms, mitigation efforts and health infrastructure. In India, a majority of people rely upon traditional Indian medicine to treat human maladies due to less-cost, easier availability and without any side-effect. These medicines are made by herbal…
▽ More
COVID-19 has quickly spread across the globe, becoming a pandemic. This disease has a variable impact in different countries depending on their cultural norms, mitigation efforts and health infrastructure. In India, a majority of people rely upon traditional Indian medicine to treat human maladies due to less-cost, easier availability and without any side-effect. These medicines are made by herbal plants. This study aims to assess the Indian herbal plants in the pursuit of potential COVID-19 inhibitors using in silico approaches. We have considered 18 extracted compounds of 11 different species of these plants. Our calculated lipophilicity, aqueous solubility and binding affinity of the extracted compounds suggest that the inhibition potentials in the order; harsingar > aloe vera > giloy > turmeric > neem > ashwagandha > red onion > tulsi > cannabis > black pepper. On comparing the binding affinity with hydroxychloroquine, we note that the inhibition potentials of the extracts of harsingar, aloe vera and giloy are very promising. Therefore, we believe that these findings will open further possibilities and accelerate the works towards finding an antidote for this malady.
△ Less
Submitted 5 April, 2020;
originally announced April 2020.
-
In Silico Investigations on the Potential Inhibitors for COVID-19 Protease
Authors:
Ambrish Kumar Srivastava,
Abhishek Kumar,
Gargi Tiwari,
Ratnesh Kumar,
Neeraj Misra
Abstract:
A novel strain of coronavirus, namely, COVID-19 has been identified in Wuhan city of China in December 2019. There are no specific therapies available and investigations regarding the treatment of the COVID-19 are still lacking. This prompted us to perform a preliminary in silico study on the COVID-19 protease with anti-malarial compounds in the search of potential inhibitor. We have calculated lo…
▽ More
A novel strain of coronavirus, namely, COVID-19 has been identified in Wuhan city of China in December 2019. There are no specific therapies available and investigations regarding the treatment of the COVID-19 are still lacking. This prompted us to perform a preliminary in silico study on the COVID-19 protease with anti-malarial compounds in the search of potential inhibitor. We have calculated log P and log S values in addition to molecular docking and PASS predictions. Among the seven studied compounds, mepacrine appears as the potential inhibitor of the COVID-19 followed by chloroquine, hydroxychloroquine and phomarin. Therefore, these anti-malarial drugs may be potential drug candidate for the treatment of this novel coronavirus. A detailed analysis on these inhibitors is currently in progress and clinical studies are invited to investigate their potential medicinal use for the COVID-19.
△ Less
Submitted 15 April, 2020; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Deleting to Structured Trees
Authors:
Pratyush Dayal,
Neeldhara Misra
Abstract:
We consider a natural variant of the well-known Feedback Vertex Set problem, namely the problem of deleting a small subset of vertices or edges to a full binary tree. This version of the problem is motivated by real-world scenarios that are best modeled by full binary trees. We establish that both versions of the problem are NP-hard, which stands in contrast to the fact that deleting edges to obta…
▽ More
We consider a natural variant of the well-known Feedback Vertex Set problem, namely the problem of deleting a small subset of vertices or edges to a full binary tree. This version of the problem is motivated by real-world scenarios that are best modeled by full binary trees. We establish that both versions of the problem are NP-hard, which stands in contrast to the fact that deleting edges to obtain a forest or a tree is equivalent to the problem of finding a minimum cost spanning tree, which can be solved in polynomial time. We also establish that both problems are FPT by the standard parameter.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
Coherent systems with dependent and identically distributed components: A study of relative ageing based on cumulative hazard and cumulative reversed hazard rate functions
Authors:
Nil Kamal Hazra,
Neeraj Misra
Abstract:
The relative ageing is an important notion which is useful to measure how a system ages relative to another one. Among all existing stochastic orders, there are two important orders describing the relative ageing of two systems, namely, ageing faster orders in the cumulative hazard and the cumulative reversed hazard rate functions. In this paper, we give some sufficient conditions under which one…
▽ More
The relative ageing is an important notion which is useful to measure how a system ages relative to another one. Among all existing stochastic orders, there are two important orders describing the relative ageing of two systems, namely, ageing faster orders in the cumulative hazard and the cumulative reversed hazard rate functions. In this paper, we give some sufficient conditions under which one coherent system ages faster than another one with respect to the aforementioned stochastic orders. Further, we show that the proposed sufficient conditions are satisfied for $k$-out-of-$n$ systems. Moreover, some numerical examples are given to illustrate the developed results.
△ Less
Submitted 20 June, 2019;
originally announced June 2019.
-
On Relative Ageing of Coherent Systems with Dependent Identically Distributed Components
Authors:
Nil Kamal Hazra,
Neeraj Misra
Abstract:
Relative ageing describes how a system ages with respect to another one. The ageing faster orders are the ones which compare the relative ageings of two systems. Here, we study ageing faster orders in the hazard and the reversed hazard rates. We provide some sufficient conditions for proving that one coherent system dominates another system with respect to ageing faster orders. Further, we investi…
▽ More
Relative ageing describes how a system ages with respect to another one. The ageing faster orders are the ones which compare the relative ageings of two systems. Here, we study ageing faster orders in the hazard and the reversed hazard rates. We provide some sufficient conditions for proving that one coherent system dominates another system with respect to ageing faster orders. Further, we investigate whether the active redundancy at the component level is more effective than that at the system level with respect to ageing faster orders, for a coherent system. Furthermore, a used coherent system and a coherent system made out of used components are compared with respect to ageing faster orders.
△ Less
Submitted 20 June, 2019;
originally announced June 2019.
-
A Parameterized Perspective on Protecting Elections
Authors:
Palash Dey,
Neeldhara Misra,
Swaprava Nath,
Garima Shakya
Abstract:
We study the parameterized complexity of the optimal defense and optimal attack problems in voting. In both the problems, the input is a set of voter groups (every voter group is a set of votes) and two integers $k_a$ and $k_d$ corresponding to respectively the number of voter groups the attacker can attack and the number of voter groups the defender can defend. A voter group gets removed from the…
▽ More
We study the parameterized complexity of the optimal defense and optimal attack problems in voting. In both the problems, the input is a set of voter groups (every voter group is a set of votes) and two integers $k_a$ and $k_d$ corresponding to respectively the number of voter groups the attacker can attack and the number of voter groups the defender can defend. A voter group gets removed from the election if it is attacked but not defended. In the optimal defense problem, we want to know if it is possible for the defender to commit to a strategy of defending at most $k_d$ voter groups such that, no matter which $k_a$ voter groups the attacker attacks, the outcome of the election does not change. In the optimal attack problem, we want to know if it is possible for the attacker to commit to a strategy of attacking $k_a$ voter groups such that, no matter which $k_d$ voter groups the defender defends, the outcome of the election is always different from the original (without any attack) one.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
On Structural Parameterizations of Firefighting
Authors:
Bireswar Das,
Murali Krishna Enduri,
Neeldhara Misra,
I. Vinod Reddy
Abstract:
The Firefighting problem is defined as follows. At time $t=0$, a fire breaks out at a vertex of a graph. At each time step $t \geq 0$, a firefighter permanently defends (protects) an unburned vertex, and the fire then spread to all undefended neighbors from the vertices on fire. This process stops when the fire cannot spread anymore. The goal is to find a sequence of vertices for the firefighter t…
▽ More
The Firefighting problem is defined as follows. At time $t=0$, a fire breaks out at a vertex of a graph. At each time step $t \geq 0$, a firefighter permanently defends (protects) an unburned vertex, and the fire then spread to all undefended neighbors from the vertices on fire. This process stops when the fire cannot spread anymore. The goal is to find a sequence of vertices for the firefighter that maximizes the number of saved (non burned) vertices.
The Firefighting problem turns out to be NP-hard even when restricted to bipartite graphs or trees of maximum degree three. We study the parameterized complexity of the Firefighting problem for various structural parameterizations. All our parameters measure the distance to a graph class (in terms of vertex deletion) on which the firefighting problem admits a polynomial time algorithm. Specifically, for a graph class $\mathcal{F}$ and a graph $G$, a vertex subset $S$ is called a modulator to $\mathcal{F}$ if $G \setminus S$ belongs to $\mathcal{F}$. The parameters we consider are the sizes of modulators to graph classes such as threshold graphs, bounded diameter graphs, disjoint unions of stars, and split graphs.
To begin with, we show that the problem is W[1]-hard when parameterized by the size of a modulator to diameter at most two graphs and split graphs. In contrast to the above intractability results, we show that Firefighting is fixed parameter tractable (FPT) when parameterized by the size of a modulator to threshold graphs and disjoint unions of stars, which are subclasses of diameter at most two graphs. We further investigate the kernelization complexity of these problems to find that firefighting admits a polynomial kernel when parameterized by the size of a modulator to a clique, while it is unlikely to admit a polynomial kernel when parameterized by the size of a modulator to a disjoint union of stars.
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
The Parameterized Complexity of Happy Colorings
Authors:
Neeldhara Misra,
I. Vinod Reddy
Abstract:
Consider a graph $G = (V,E)$ and a coloring $c$ of vertices with colors from $[\ell]$. A vertex $v$ is said to be happy with respect to $c$ if $c(v) = c(u)$ for all neighbors $u$ of $v$. Further, an edge $(u,v)$ is happy if $c(u) = c(v)$. Given a partial coloring $c$ of $V$, the Maximum Happy Vertex (Edge) problem asks for a total coloring of $V$ extending $c$ to all vertices of $V$ that maximises…
▽ More
Consider a graph $G = (V,E)$ and a coloring $c$ of vertices with colors from $[\ell]$. A vertex $v$ is said to be happy with respect to $c$ if $c(v) = c(u)$ for all neighbors $u$ of $v$. Further, an edge $(u,v)$ is happy if $c(u) = c(v)$. Given a partial coloring $c$ of $V$, the Maximum Happy Vertex (Edge) problem asks for a total coloring of $V$ extending $c$ to all vertices of $V$ that maximises the number of happy vertices (edges). Both problems are known to be NP-hard in general even when $\ell = 3$, and is polynomially solvable when $\ell = 2$. In [IWOCA 2016] it was shown that both problems are polynomially solvable on trees, and for arbitrary $k$, it was shown that MHE is \NPH{} on planar graphs and is \FPT{} parameterized by the number of precolored vertices and branchwidth.
We continue the study of this problem from a parameterized prespective. Our focus is on both structural and standard parameterizations. To begin with, we establish that the problems are \FPT{} when parameterized by the treewidth and the number of colors used in the precoloring, which is a potential improvement over the total number of precolored vertices. Further, we show that both the vertex and edge variants of the problem is \FPT{} when parameterized by vertex cover and distance-to-clique parameters. We also show that the problem of maximizing the number of happy edges is \FPT{} when parameterized by the standard parameter, the number of happy edges. We show that the maximum happy vertex (edge) problem is \NPH{} on split graphs and bipartite graphs and polynomially solvable on cographs.
△ Less
Submitted 13 August, 2017;
originally announced August 2017.
-
Application of Superhalogens in the Design of Organic Superconductors
Authors:
Ambrish K. Srivastava,
Abhishek Kumar,
Sugriva N. Tiwari,
Neeraj Misra
Abstract:
Bechgaard salts, (TMTSF)2X (TMTSF = tetramethyl tetraselenafulvalene and X = complex anion), form the most popular series of organic superconductors. In these salts, TMTSF molecules act as super-electron donor and X as acceptor. We computationally examine the electronic structure and properties of X in commonly used (TMTSF)2X (X = NO3, BF4, ClO4, PF6) superconductors and notice that they belong to…
▽ More
Bechgaard salts, (TMTSF)2X (TMTSF = tetramethyl tetraselenafulvalene and X = complex anion), form the most popular series of organic superconductors. In these salts, TMTSF molecules act as super-electron donor and X as acceptor. We computationally examine the electronic structure and properties of X in commonly used (TMTSF)2X (X = NO3, BF4, ClO4, PF6) superconductors and notice that they belong to the class of superhalogens due to their higher vertical detachment energy than halogen anions. This prompted us to choose other superhalogens such as X = BO2, BH4, B2F7, AuF6 and study their (TMTSF)2X complexes. Our findings suggest that these complexes behave more or less similar to those of established (TMTSF)2X superconductors, particularly for X = BO2 and B2F7. We, therefore, believe that the concept of superhalogen can be successfully applied in the design of novel organic superconductors.
△ Less
Submitted 30 July, 2017;
originally announced July 2017.
-
Saving Critical Nodes with Firefighters is FPT
Authors:
Jayesh Choudhari,
Anirban Dasgupta,
Neeldhara Misra,
M. S. Ramanujan
Abstract:
We consider the problem of firefighting to save a critical subset of nodes. The firefighting game is a turn-based game played on a graph, where the fire spreads to vertices in a breadth-first manner from a source, and firefighters can be placed on yet unburnt vertices on alternate rounds to block the fire. In this work, we consider the problem of saving a critical subset of nodes from catching fir…
▽ More
We consider the problem of firefighting to save a critical subset of nodes. The firefighting game is a turn-based game played on a graph, where the fire spreads to vertices in a breadth-first manner from a source, and firefighters can be placed on yet unburnt vertices on alternate rounds to block the fire. In this work, we consider the problem of saving a critical subset of nodes from catching fire, given a total budget on the number of firefighters. We show that the problem is para-NP-hard when parameterized by the size of the critical set. We also show that it is fixed-parameter tractable on general graphs when parameterized by the number of firefighters. We also demonstrate improved running times on trees and establish that the problem is unlikely to admit a polynomial kernelization (even when restricted to trees). Our work is the first to exploit the connection between the firefighting problem and the notions of important separators and tight separator sequences. Finally, we consider the spreading model of the firefighting game, a closely related problem, and show that the problem of saving a critical set parameterized by the number of firefighters is W[2]-hard, which contrasts our FPT result for the non-spreading model.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
On the Exact Amount of Missing Information that makes Finding Possible Winners Hard
Authors:
Palash Dey,
Neeldhara Misra
Abstract:
We consider election scenarios with incomplete information, a situation that arises often in practice. There are several models of incomplete information and accordingly, different notions of outcomes of such elections. In one well-studied model of incompleteness, the votes are given by partial orders over the candidates. In this context we can frame the problem of finding a possible winner, which…
▽ More
We consider election scenarios with incomplete information, a situation that arises often in practice. There are several models of incomplete information and accordingly, different notions of outcomes of such elections. In one well-studied model of incompleteness, the votes are given by partial orders over the candidates. In this context we can frame the problem of finding a possible winner, which involves determining whether a given candidate wins in at least one completion of a given set of partial votes for a specific voting rule.
The possible winner problem is well-known to be NP-complete in general, and it is in fact known to be NP-complete for several voting rules where the number of undetermined pairs in every vote is bounded only by some constant. In this paper, we address the question of determining precisely the smallest number of undetermined pairs for which the possible winner problem remains NP-complete. In particular, we find the exact values of $t$ for which the possible winner problem transitions to being NP-complete from being in P, where $t$ is the maximum number of undetermined pairs in every vote. We demonstrate tight results for a broad subclass of scoring rules which includes all the commonly used scoring rules (such as plurality, veto, Borda, $k$-approval, and so on), Copeland$^α$ for every $α\in[0,1]$, maximin, and Bucklin voting rules. A somewhat surprising aspect of our results is that for many of these rules, the possible winner problem turns out to be hard even if every vote has at most one undetermined pair of candidates.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Alkalized Borazine: A Simple Recipe to Design Superalkali Species
Authors:
Ambrish Kumar Srivastava,
Neeraj Misra
Abstract:
We propose a simple yet effective route to the design of superalkalis, by successive alkali metal substitution in borazine (B3N3H6). Using Li atoms, our density functional calculations demonstrate that the vertical ionization energy (VIE) of B3N3H6-xLix decreases with the increase in x for x equals 1-6. For x equals 4, the VIE of B3N3H6-xLix becomes lower than that of Li atom, thereby indicating t…
▽ More
We propose a simple yet effective route to the design of superalkalis, by successive alkali metal substitution in borazine (B3N3H6). Using Li atoms, our density functional calculations demonstrate that the vertical ionization energy (VIE) of B3N3H6-xLix decreases with the increase in x for x equals 1-6. For x equals 4, the VIE of B3N3H6-xLix becomes lower than that of Li atom, thereby indicating their superalkali nature. More interestingly, all these species are planar such that NICSzz value at the rings center is reduced. These novel superalkalis are expected to stimulate further interests in this field.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
Competition between Alkalide Characteristics and Nonlinear Optical Properties in OLi3-M-Li3O (M=Li, Na and K) Complexes
Authors:
Ambrish Kumar Srivastava,
Neeraj Misra
Abstract:
Alkalides possess enhanced nonlinear optical (NLO) responses due to localization of excess electrons on alkali metals. We have proposed a new class of alkalides by sandwiching alkali atoms (M) between two Li3O superalkali clusters at MP2/6-311++G(d,p) level. We notice a competition between alkalide characteristics and NLO properties in OLi3-M-Li3O (M=Li, Na and K) isomers. For instance, the atomic…
▽ More
Alkalides possess enhanced nonlinear optical (NLO) responses due to localization of excess electrons on alkali metals. We have proposed a new class of alkalides by sandwiching alkali atoms (M) between two Li3O superalkali clusters at MP2/6-311++G(d,p) level. We notice a competition between alkalide characteristics and NLO properties in OLi3-M-Li3O (M=Li, Na and K) isomers. For instance, the atomic charge on M (qM) in D2h structure is -0.58e for M=Li and its first static mean hyperpolarizablity (\b{eta}o) is 1 a.u., but in C2v structure, qM=-0.12e and \b{eta}o= 3.4*103 a.u. More interestingly, the \b{eta}o value for M=K (C2v) increases to 1.9*104 a.u. in which qM=0.24e. These findings may provide new insights into the design of alkalides, an unusual class of salts and consequently, lead to further researches in this direction.
△ Less
Submitted 24 April, 2016;
originally announced April 2016.
-
Preference Elicitation For Single Crossing Domain
Authors:
Palash Dey,
Neeldhara Misra
Abstract:
Eliciting the preferences of a set of agents over a set of alternatives is a problem of fundamental importance in social choice theory. Prior work on this problem has studied the query complexity of preference elicitation for the unrestricted domain and for the domain of single peaked preferences. In this paper, we consider the domain of single crossing preference profiles and study the query comp…
▽ More
Eliciting the preferences of a set of agents over a set of alternatives is a problem of fundamental importance in social choice theory. Prior work on this problem has studied the query complexity of preference elicitation for the unrestricted domain and for the domain of single peaked preferences. In this paper, we consider the domain of single crossing preference profiles and study the query complexity of preference elicitation under various settings. We consider two distinct situations: when an ordering of the voters with respect to which the profile is single crossing is known versus when it is unknown. We also consider different access models: when the votes can be accessed at random, as opposed to when they are coming in a pre-defined sequence. In the sequential access model, we distinguish two cases when the ordering is known: the first is that sequence in which the votes appear is also a single-crossing order, versus when it is not.
The main contribution of our work is to provide polynomial time algorithms with low query complexity for preference elicitation in all the above six cases. Further, we show that the query complexities of our algorithms are optimal up to constant factors for all but one of the above six cases. We then present preference elicitation algorithms for profiles which are close to being single crossing under various notions of closeness, for example, single crossing width, minimum number of candidates | voters whose deletion makes a profile single crossing.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
Elicitation for Preferences Single Peaked on Trees
Authors:
Palash Dey,
Neeldhara Misra
Abstract:
In multiagent systems, we often have a set of agents each of which have a preference ordering over a set of items and one would like to know these preference orderings for various tasks, for example, data analysis, preference aggregation, voting etc. However, we often have a large number of items which makes it impractical to ask the agents for their complete preference ordering. In such scenarios…
▽ More
In multiagent systems, we often have a set of agents each of which have a preference ordering over a set of items and one would like to know these preference orderings for various tasks, for example, data analysis, preference aggregation, voting etc. However, we often have a large number of items which makes it impractical to ask the agents for their complete preference ordering. In such scenarios, we usually elicit these agents' preferences by asking (a hopefully small number of) comparison queries --- asking an agent to compare two items. Prior works on preference elicitation focus on unrestricted domain and the domain of single peaked preferences and show that the preferences in single peaked domain can be elicited by much less number of queries compared to unrestricted domain. We extend this line of research and study preference elicitation for single peaked preferences on trees which is a strict superset of the domain of single peaked preferences. We show that the query complexity crucially depends on the number of leaves, the path cover number, and the distance from path of the underlying single peaked tree, whereas the other natural parameters like maximum degree, diameter, pathwidth do not play any direct role in determining query complexity. We then investigate the query complexity for finding a weak Condorcet winner for preferences single peaked on a tree and show that this task has much less query complexity than preference elicitation. Here again we observe that the number of leaves in the underlying single peaked tree and the path cover number of the tree influence the query complexity of the problem.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
Complexity of Manipulation with Partial Information in Voting
Authors:
Palash Dey,
Neeldhara Misra,
Y. Narahari
Abstract:
The Coalitional Manipulation problem has been studied extensively in the literature for many voting rules. However, most studies have focused on the complete information setting, wherein the manipulators know the votes of the non-manipulators. While this assumption is reasonable for purposes of showing intractability, it is unrealistic for algorithmic considerations. In most real-world scenarios,…
▽ More
The Coalitional Manipulation problem has been studied extensively in the literature for many voting rules. However, most studies have focused on the complete information setting, wherein the manipulators know the votes of the non-manipulators. While this assumption is reasonable for purposes of showing intractability, it is unrealistic for algorithmic considerations. In most real-world scenarios, it is impractical for the manipulators to have accurate knowledge of all the other votes. In this paper, we investigate manipulation with incomplete information. In our framework, the manipulators know a partial order for each voter that is consistent with the true preference of that voter. In this setting, we formulate three natural computational notions of manipulation, namely weak, opportunistic, and strong manipulation. We say that an extension of a partial order is if there exists a manipulative vote for that extension.
1. Weak Manipulation (WM): the manipulators seek to vote in a way that makes their preferred candidate win in at least one extension of the partial votes of the non-manipulators.
2. Opportunistic Manipulation (OM): the manipulators seek to vote in a way that makes their preferred candidate win in every viable extension of the partial votes of the non-manipulators.
3. Strong Manipulation (SM): the manipulators seek to vote in a way that makes their preferred candidate win in every extension of the partial votes of the non-manipulators.
We consider several scenarios for which the traditional manipulation problems are easy (for instance, Borda with a single manipulator). For many of them, the corresponding manipulative questions that we propose turn out to be computationally intractable. Our hardness results often hold even when very little information is missing, or in other words, even when the instances are quite close to the complete information setting.
△ Less
Submitted 12 July, 2017; v1 submitted 15 April, 2016;
originally announced April 2016.
-
Superhalogens as Building Blocks of Complex Hydrides for Hydrogen Storage
Authors:
Ambrish Kumar Srivastava,
Neeraj Misra
Abstract:
Superhalogens are species whose electron affinity (EA) or vertical detachment energy (VDE) exceed to those of halogen. These species typically consist of a central electropositive atom with electronegative ligands. The EA or VDE of species can be further increased by using superhalogen as ligands, which are termed as hyperhalogen. Having established BH4- as a superhalogen, we have studied BH4-x(BH…
▽ More
Superhalogens are species whose electron affinity (EA) or vertical detachment energy (VDE) exceed to those of halogen. These species typically consist of a central electropositive atom with electronegative ligands. The EA or VDE of species can be further increased by using superhalogen as ligands, which are termed as hyperhalogen. Having established BH4- as a superhalogen, we have studied BH4-x(BH4)x- (x = 1 to 4) hyperhalogen anions and their Li-complexes, LiBH4-x(BH4)x using density functional theory. The VDE of these anions is larger than that of BH4-, which increases with the increase in the number of peripheral BH4 moieties (x). The hydrogen storage capacity of LiBH4-x(BH4)x complexes is higher but binding energy is smaller than that of LiBH4, a typical complex hydride. The linear correlation between dehydrogenation energy of LiBH4-x(BH4)x complexes and VDE of BH4-x(BH4)x- anions is established. These complexes are found to be thermodynamically stable against dissociation into LiBH4 and borane. This study not only demonstrates the role of superhalogen in designing new materials for hydrogen storage, but also motivates experimentalists to synthesize LiBH4-x(BH4)x (x = 1 to 4) complexes.
△ Less
Submitted 2 April, 2016;
originally announced April 2016.
-
Designing New Electrolytes for Lithium Ion Batteries Using Superhalogen Anions
Authors:
Ambrish Kumar Srivastava,
Neeraj Misra
Abstract:
The electrolytes used in Lithium Ion Batteries (LIBs) such as LiBF4, LiPF6 etc. are Li-salts of some complex anions, BF4-, PF6- etc. The investigation shows that the vertical detachment energy (VDE) of these anions exceeds to that of halogen, and therefore they behave as superhalogen anions. Consequently, it might be possible to design new electrolytic salts using other superhalogen anions. We hav…
▽ More
The electrolytes used in Lithium Ion Batteries (LIBs) such as LiBF4, LiPF6 etc. are Li-salts of some complex anions, BF4-, PF6- etc. The investigation shows that the vertical detachment energy (VDE) of these anions exceeds to that of halogen, and therefore they behave as superhalogen anions. Consequently, it might be possible to design new electrolytic salts using other superhalogen anions. We have explored this possibility using Li-salts of various superhalogen anions such as BO2-, AlH4-, TiH5- and VH6- as well as hyperhalogen anions, BH4-y(BH4)y-(y = 1 to 4). Our density functional calculations show that Li-salts of these complex anions possess similar characteristics as those of electrolytic salts in LIBs. Note that they all are halogen free and hence, non-toxic and safer than LiBF4, LiPF6 etc. In particular, LiB4H13 and LiB5H16 are two potential candidates for electrolytic salt due to their smaller Li-dissociation energy (ΔE) than those of LiBF4, LiPF6 etc. We have also noticed that ΔE of LiBH4-y(BH4)y varies inversely with the VDE of BH4-y(BH4)y- anions, which increases with the increase in y. These findings may guide experimentalists and future researchers to design and synthesize more efficient and environment friendly electrolytic salts for LIBs.
△ Less
Submitted 1 April, 2016;
originally announced April 2016.
-
The Runaway Rectangle Escape Problem
Authors:
Aniket Basu Roy,
Anil Maheshwari,
Sathish Govindarajan,
Neeldhara Misra,
Subhas C Nandy,
Shreyas Shetty
Abstract:
Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to extend these rectangles to one of the four sides of $R$. Define the density of a point $p$ in $R$ as the number of extended rectangles that contain $p$. The question…
▽ More
Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to extend these rectangles to one of the four sides of $R$. Define the density of a point $p$ in $R$ as the number of extended rectangles that contain $p$. The question is then to find an extension with the smallest maximum density.
We consider the problem of maximizing the number of rectangles that can be extended when the maximum density allowed is at most $d$. It is known that this problem is polynomially solvable for $d = 1$, and NP-hard for any $d \geq 2$. We consider approximation and exact algorithms for fixed values of $d$. We also show that a very special case of this problem, when all the rectangles are unit squares from a grid, continues to be NP-hard for $d = 2$.
△ Less
Submitted 15 March, 2016; v1 submitted 14 March, 2016;
originally announced March 2016.
-
On Choosing Committees Based on Approval Votes in the Presence of Outliers
Authors:
Palash Dey,
Neeldhara Misra,
Y. Narahari
Abstract:
We study the computational complexity of committee selection problem for several approval-based voting rules in the presence of outliers. Our first result shows that outlier consideration makes committee selection problem intractable for approval, net approval, and minisum approval voting rules. We then study parameterized complexity of this problem with five natural parameters, namely the target…
▽ More
We study the computational complexity of committee selection problem for several approval-based voting rules in the presence of outliers. Our first result shows that outlier consideration makes committee selection problem intractable for approval, net approval, and minisum approval voting rules. We then study parameterized complexity of this problem with five natural parameters, namely the target score, the size of the committee (and its dual parameter, the number of candidates outside the committee), the number of outliers (and its dual parameter, the number of non-outliers). For net approval and minisum approval voting rules, we provide a dichotomous result, resolving the parameterized complexity of this problem for all subsets of five natural parameters considered (by showing either FPT or W[1]-hardness for all subsets of parameters). For the approval voting rule, we resolve the parameterized complexity of this problem for all subsets of parameters except one.
We also study approximation algorithms for this problem. We show that there does not exist any alpha(.) factor approximation algorithm for approval and net approval voting rules, for any computable function alpha(.), unless P=NP. For the minisum voting rule, we provide a pseudopolynomial (1+eps) factor approximation algorithm.
△ Less
Submitted 13 November, 2015;
originally announced November 2015.