Minimum Cost Homomorphisms to Reflexive Digraphs

For digraphs $G$ and $H$, a homomorphism of $G$ to $H$ is a mapping $f:\ V(G)\dom V(H)$such that$uv\in A(G)$implies$f(u)f(v)\in A(H)$. If moreover each vertex$u \in V(G)$is associated with costs$c_i(u), i \in V(H)$, then the cost of a homomorphism$f$is$\sum_{u\in V(G)}c_{f(u)}(u)$. For each fixed digraph$H, the {\em minimum cost homomorphism problem} for H$, denoted MinHOM($H$), is the following problem. Given an input digraph$G$, together with costs$c_i(u)$,$u\in V(G)$,$i\in V(H)$, and an integer$k$, decide if$G$admits a homomorphism to$H$of cost not exceeding$k. We focus on the minimum cost homomorphism problem for {\em reflexive} digraphs H$(every vertex of$H$has a loop). It is known that the problem MinHOM($H$) is polynomial time solvable if the digraph$H has a {\em Min-Max ordering}, i.e., if its vertices can be linearly ordered by <$so that$i<j, s<r$and$ir, js \in A(H)$imply that$is \in A(H)$and$jr \in A(H)$. We give a forbidden induced subgraph characterization of reflexive digraphs with a Min-Max ordering; our characterization implies a polynomial time test for the existence of a Min-Max ordering. Using this characterization, we show that for a reflexive digraph$H$ which does not admit a Min-Max ordering, the minimum cost homomorphism problem is NP-complete. Thus we obtain a full dichotomy classification of the complexity of minimum cost homomorphism problems for reflexive digraphs

L(p,q)L(p,q)-Labeling of Graphs with Interval Representations

We provide upper bounds on the $L(p,q)$-labeling number of graphs which have interval (or circular-arc) representations via simple greedy algorithms. We prove that there exists an $L(p,q)$-labeling with span at most $\max\{2(p+q-1)\Delta-4q+2, (2p-1)\mu+(2q-1)\Delta-2q+1\}$ for interval $k$-graphs, $\max\{p,q\}\Delta$ for interval graphs, $\max\{p,q\}\Delta+p\omega$ for circular arc graphs, $2(p+q-1)\Delta-2q+1$ for permutation graphs and $(2p-1)\Delta+(2q-1)(\mu-1)$ for cointerval graphs. In particular, these improve existing bounds on $L(p,q)$-labeling of interval and circular arc graphs and $L(2,1)$-labeling of permutation graphs. Furthermore, we provide upper bounds on the coloring of the squares of aforementioned classes

Connected matchings in special families of graphs.

A connected matching in a graph is a set of disjoint edges such that, for any pair of these edges, there is another edge of the graph incident to both of them. This dissertation investigates two problems related to finding large connected matchings in graphs. The first problem is motivated by a famous and still open conjecture made by Hadwiger stating that every k-chromatic graph contains a minor of the complete graph Kk . If true, Hadwiger\u27s conjecture would imply that every graph G has a minor of the complete graph K n/a(C), where a(G) denotes the independence number of G. For a graph G with a(G) = 2, Thomassé first noted the connection between connected matchings and large complete graph minors: there exists an ? \u3e 0 such that every graph G with a( G) = 2 contains K ?+, as a minor if and only if there exists a positive constant c such that every graph G with a( G) = 2 contains a connected matching of size cn. In Chapter 3 we prove several structural properties of a vertexminimal counterexample to these statements, extending work by Blasiak. We also prove the existence of large connected matchings in graphs with clique size close to the Ramsey bound by proving: for any positive constants band c with c \u3c ¼, there exists a positive integer N such that, if G is a graph with n =: N vertices, 0\u27( G) = 2, and clique size at most bv(n log(n) )then G contains a connected matching of size cn. The second problem concerns computational complexity of finding the size of a maximum connected matching in a graph. This problem has many applications including, when the underlying graph is chordal bipartite, applications to the bipartite margin shop problem. For general graphs, this problem is NP-complete. Cameron has shown the problem is polynomial-time solvable for chordal graphs. Inspired by this and applications to the margin shop problem, in Chapter 4 we focus on the class of chordal bipartite graphs and one of its subclasses, the convex bipartite graphs. We show that a polynomial-time algorithm to find the size of a maximum connected matching in a chordal bipartite graph reduces to finding a polynomial-time algorithm to recognize chordal bipartite graphs that have a perfect connected matching. We also prove that, in chordal bipartite graphs, a connected matching of size k is equivalent to several other statements about the graph and its biadjacency matrix, including for example, the statement that the complement of the latter contains a k x k submatrix that is permutation equivalent to strictly upper triangular matrix

Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs

For digraphs $G$ and $H$, a homomorphism of $G$ to $H$ is a mapping $f:\ V(G)\dom V(H)$such that$uv\in A(G)$implies$f(u)f(v)\in A(H)$. If, moreover, each vertex$u \in V(G)$is associated with costs$c_i(u), i \in V(H)$, then the cost of a homomorphism$f$is$\sum_{u\in V(G)}c_{f(u)}(u)$. For each fixed digraph$H$, the minimum cost homomorphism problem for$H$, denoted MinHOM($H$), can be formulated as follows: Given an input digraph$G$, together with costs$c_i(u)$,$u\in V(G)$,$i\in V(H)$, decide whether there exists a homomorphism of$G$to$H$ and, if one exists, to find one of minimum cost. Minimum cost homomorphism problems encompass (or are related to) many well studied optimization problems such as the minimum cost chromatic partition and repair analysis problems. We focus on the minimum cost homomorphism problem for locally semicomplete digraphs and quasi-transitive digraphs which are two well-known generalizations of tournaments. Using graph-theoretic characterization results for the two digraph classes, we obtain a full dichotomy classification of the complexity of minimum cost homomorphism problems for both classes

On the recognition and characterization of M-partitionable proper interval graphs

For a symmetric {0, 1, ⋆ }-matrix M of size m, a graph G is said to be M-partitionable, if its vertices can be partitioned into sets V1, V2, . . . , Vm, such that two parts Vi, Vj are completely adjacent if Mi,j = 1, and completely non-adjacent if Mi,j = 0 (Vi is considered completely adjacent to itself if it induces a clique, and completely non-adjacent if it induces an independent set). The complexity problem (or the recognition problem) for a matrix M asks whether the M-partition problem is polynomial-time solvable or NP-complete. The characterization problem for a matrix M asks if all M-partitionable graphs can be characterized by the absence of a finite set of forbidden induced subgraphs. These forbidden induced subgraphs are called obstructions to M. In the literature, many results were obtained by restricting the input graphs. In this thesis, we survey these results when the questions are restricted to the class of perfect graphs. We then study the recognition problem and the characterization problem when the inputs are restricted to proper interval graphs. The recognition problem can be solved by an existing algorithm, but we simplify its proof of correctness. As our main result, we prove that all the matrices of size 3 and size 4 with constant diagonal, have finitely many minimal proper interval obstructions. We also obtain partial results about matrices of arbitrary size if they have a zero diagonal

On edge-ordered graphs with linear extremal functions

The systematic study of Tur\'an-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. in 2020. Here we characterize connected edge-ordered graphs with linear extremal functions and show that the extremal function of other connected edge-ordered graphs is $\Omega(n\log n)$. This characterization and dichotomy are similar in spirit to results of F\"uredi et al. (2020) about vertex-ordered and convex geometric graphs. We also extend the study of extremal function of short edge-ordered paths by Gerbner et al. to some longer paths.Comment: 16 pages, 3 figures, 1 tabl