The Parameterized Complexity of Domination-type Problems and Application to Linear Codes

We study the parameterized complexity of domination-type problems. (sigma,rho)-domination is a general and unifying framework introduced by Telle: a set D of vertices of a graph G is (sigma,rho)-dominating if for any v in D, |N(v)\cap D| in sigma and for any $v\notin D, |N(v)\cap D| in rho. We mainly show that for any sigma and rho the problem of (sigma,rho)-domination is W[2] when parameterized by the size of the dominating set. This general statement is optimal in the sense that several particular instances of (sigma,rho)-domination are W[2]-complete (e.g. Dominating Set). We also prove that (sigma,rho)-domination is W[2] for the dual parameterization, i.e. when parameterized by the size of the dominated set. We extend this result to a class of domination-type problems which do not fall into the (sigma,rho)-domination framework, including Connected Dominating Set. We also consider problems of coding theory which are related to domination-type problems with parity constraints. In particular, we prove that the problem of the minimal distance of a linear code over Fq is W[2] for both standard and dual parameterizations, and W[1]-hard for the dual parameterization. To prove W[2]-membership of the domination-type problems we extend the Turing-way to parameterized complexity by introducing a new kind of non deterministic Turing machine with the ability to perform `blind' transitions, i.e. transitions which do not depend on the content of the tapes. We prove that the corresponding problem Short Blind Multi-Tape Non-Deterministic Turing Machine is W[2]-complete. We believe that this new machine can be used to prove W[2]-membership of other problems, not necessarily related to dominationComment: 19 pages, 2 figure

Genetically Engineered T-Cells for Malignant Glioma: Overcoming the Barriers to Effective Immunotherapy.

Malignant gliomas carry a dismal prognosis. Conventional treatment using chemo- and radiotherapy has limited efficacy with adverse events. Therapy with genetically engineered T-cells, such as chimeric antigen receptor (CAR) T-cells, may represent a promising approach to improve patient outcomes owing to their potential ability to attack highly infiltrative tumors in a tumor-specific manner and possible persistence of the adaptive immune response. However, the unique anatomical features of the brain and susceptibility of this organ to irreversible tissue damage have made immunotherapy especially challenging in the setting of glioma. With safety concerns in mind, multiple teams have initiated clinical trials using CAR T-cells in glioma patients. The valuable lessons learnt from those trials highlight critical areas for further improvement: tackling the issues of the antigen presentation and T-cell homing in the brain, immunosuppression in the glioma microenvironment, antigen heterogeneity and off-tumor toxicity, and the adaptation of existing clinical therapies to reflect the intricacies of immune response in the brain. This review summarizes the up-to-date clinical outcomes of CAR T-cell clinical trials in glioma patients and examines the most pressing hurdles limiting the efficacy of these therapies. Furthermore, this review uses these hurdles as a framework upon which to evaluate cutting-edge pre-clinical strategies aiming to overcome those barriers

The Hardness of Embedding Grids and Walls

The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph $G$ from some class $K$ of "pattern graphs" can be embedded into a given graph $H$ (that is, is isomorphic to a subgraph of $H$) is fixed-parameter tractable if $K$ is a class of graphs of bounded tree width and $W[1]$-complete otherwise. Towards this conjecture, we prove that the embedding problem is $W[1]$-complete if $K$ is the class of all grids or the class of all walls

The Complexity of Routing with Few Collisions

We study the computational complexity of routing multiple objects through a network in such a way that only few collisions occur: Given a graph $G$ with two distinct terminal vertices and two positive integers $p$ and $k$, the question is whether one can connect the terminals by at least $p$ routes (e.g. paths) such that at most $k$ edges are time-wise shared among them. We study three types of routes: traverse each vertex at most once (paths), each edge at most once (trails), or no such restrictions (walks). We prove that for paths and trails the problem is NP-complete on undirected and directed graphs even if $k$ is constant or the maximum vertex degree in the input graph is constant. For walks, however, it is solvable in polynomial time on undirected graphs for arbitrary $k$ and on directed graphs if $k$ is constant. We additionally study for all route types a variant of the problem where the maximum length of a route is restricted by some given upper bound. We prove that this length-restricted variant has the same complexity classification with respect to paths and trails, but for walks it becomes NP-complete on undirected graphs

Multidimensional Binary Vector Assignment problem: standard, structural and above guarantee parameterizations

In this article we focus on the parameterized complexity of the Multidimensional Binary Vector Assignment problem (called \BVA). An input of this problem is defined by $m$ disjoint sets $V^1, V^2, \dots, V^m$, each composed of $n$ binary vectors of size $p$. An output is a set of $n$ disjoint $m$-tuples of vectors, where each $m$-tuple is obtained by picking one vector from each set $V^i$. To each $m$-tuple we associate a $p$ dimensional vector by applying the bit-wise AND operation on the $m$ vectors of the tuple. The objective is to minimize the total number of zeros in these $n$ vectors. mBVA can be seen as a variant of multidimensional matching where hyperedges are implicitly locally encoded via labels attached to vertices, but was originally introduced in the context of integrated circuit manufacturing. We provide for this problem FPT algorithms and negative results ($ETH$-based results, $W$[2]-hardness and a kernel lower bound) according to several parameters: the standard parameter $k$ i.e. the total number of zeros), as well as two parameters above some guaranteed values.Comment: 16 pages, 6 figure

What About the “T’s”?: Addressing the Needs of a Transgender Student at a CCCU Member Institution

As the discussion of the LGBT community continues to evolve and inform decisions at higher education institutions, evidence suggests the “T”–transgender–discussion at CCCU institutions has remained stagnant and largely unrecognized. In June 2011 ACSD’s New Professionals Collaborative asked professionals to present a case study on how a CCCU institution would house a transgender student who had already been admitted into the institution. The authors found the literature on the subject to be sparse, and within the Christian context it is nearly nonexistent. The few precedents and best practices on housing a transgender student do not appear to align with the values of a CCCU institution. There are, however, a few viable housing options to explore, and while an exhaustive list was not created, several of the most likely are examined and discussed. Understanding that a transgender student’s situation is unique and recognizing a lack of knowledge, precedent, and expertise on the subject, the recommendation is to have a conversation with the student about institutional fit. If an agreement to live by the institution’s values is reached, the authors assert housing the student with his/her biological sex most aligns with the institution’s values. Ultimately, the most compelling conclusion and discussion is that CCCU institutions must urgently lay a philosophical and theological foundation on the transgender issue

Seven exercises planned to stimulate the flow of ideas in creative composition

Thesis (Ed.M.)--Boston Universit

On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting Set problem parameterized by the size of the solution is a well-known W[2]-complete problem in parameterized complexity theory. In this paper we investigate the complexity of Hitting Set under various structural parameterizations of the input. Our starting point is the folklore result that Hitting Set is polynomial-time solvable if there is a tree T on vertex set U such that the sets in F induce connected subtrees of T. We consider the case that there is a treelike graph with vertex set U such that the sets in F induce connected subgraphs; the parameter of the problem is a measure of how treelike the graph is. Our main positive result is an algorithm that, given a graph G with cyclomatic number k, a collection P of simple paths in G, and an integer t, determines in time 2^{5k} (|G| +|P|)^O(1) whether there is a vertex set of size t that hits all paths in P. It is based on a connection to the 2-SAT problem in multiple valued logic. For other parameterizations we derive W[1]-hardness and para-NP-completeness results.Comment: Presented at the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015. (The statement of Lemma 4 was corrected in this update.

Dimension Spectra of Lines

This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp(L) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim(a, b) is equal to the effective packing dimension Dim(a, b), then sp(L) contains a unit interval. We also show that, if the dimension dim(a, b) is at least one, then sp(L) is infinite. Together with previous work, this implies that the dimension spectrum of any line is infinite