3,657 research outputs found
Computing Graph Roots Without Short Cycles
Graph G is the square of graph H if two vertices x, y have an edge in G if
and only if x, y are of distance at most two in H. Given H it is easy to
compute its square H2, however Motwani and Sudan proved that it is NP-complete
to determine if a given graph G is the square of some graph H (of girth 3). In
this paper we consider the characterization and recognition problems of graphs
that are squares of graphs of small girth, i.e. to determine if G = H2 for some
graph H of small girth. The main results are the following. - There is a graph
theoretical characterization for graphs that are squares of some graph of girth
at least 7. A corollary is that if a graph G has a square root H of girth at
least 7 then H is unique up to isomorphism. - There is a polynomial time
algorithm to recognize if G = H2 for some graph H of girth at least 6. - It is
NP-complete to recognize if G = H2 for some graph H of girth 4. These results
almost provide a dichotomy theorem for the complexity of the recognition
problem in terms of girth of the square roots. The algorithmic and graph
theoretical results generalize previous results on tree square roots, and
provide polynomial time algorithms to compute a graph square root of small
girth if it exists. Some open questions and conjectures will also be discussed
Walking Through Waypoints
We initiate the study of a fundamental combinatorial problem: Given a
capacitated graph , find a shortest walk ("route") from a source to a destination that includes all vertices specified by a set
: the \emph{waypoints}. This waypoint routing problem
finds immediate applications in the context of modern networked distributed
systems. Our main contribution is an exact polynomial-time algorithm for graphs
of bounded treewidth. We also show that if the number of waypoints is
logarithmically bounded, exact polynomial-time algorithms exist even for
general graphs. Our two algorithms provide an almost complete characterization
of what can be solved exactly in polynomial-time: we show that more general
problems (e.g., on grid graphs of maximum degree 3, with slightly more
waypoints) are computationally intractable
Static Output Feedback: On Essential Feasible Information Patterns
In this paper, for linear time-invariant plants, where a collection of
possible inputs and outputs are known a priori, we address the problem of
determining the communication between outputs and inputs, i.e., information
patterns, such that desired control objectives of the closed-loop system (for
instance, stabilizability) through static output feedback may be ensured.
We address this problem in the structural system theoretic context. To this
end, given a specified structural pattern (locations of zeros/non-zeros) of the
plant matrices, we introduce the concept of essential information patterns,
i.e., communication patterns between outputs and inputs that satisfy the
following conditions: (i) ensure arbitrary spectrum assignment of the
closed-loop system, using static output feedback constrained to the information
pattern, for almost all possible plant instances with the specified structural
pattern; and (ii) any communication failure precludes the resulting information
pattern from attaining the pole placement objective in (i).
Subsequently, we study the problem of determining essential information
patterns. First, we provide several necessary and sufficient conditions to
verify whether a specified information pattern is essential or not. Further, we
show that such conditions can be verified by resorting to algorithms with
polynomial complexity (in the dimensions of the state, input and output).
Although such verification can be performed efficiently, it is shown that the
problem of determining essential information patterns is in general NP-hard.
The main results of the paper are illustrated through examples
Some results on triangle partitions
We show that there exist efficient algorithms for the triangle packing
problem in colored permutation graphs, complete multipartite graphs,
distance-hereditary graphs, k-modular permutation graphs and complements of
k-partite graphs (when k is fixed). We show that there is an efficient
algorithm for C_4-packing on bipartite permutation graphs and we show that
C_4-packing on bipartite graphs is NP-complete. We characterize the cobipartite
graphs that have a triangle partition
- …