Related papers: The feasibility problem for line graphs
An infinite family of graphs ${\cal F}$ is called feasible if for any pair of integers $(n,m)$, $n \geq 1$, $0 \leq m \leq \binom{n}{2}$, there is a member $G \in {\cal F}$ such that $G$ has $n$ vertices and $m$ edges. We prove that given a…
We call a pair $(m,f)$ of integers, $m\geq 1$, $0\leq f \leq \binom{m}{2}$, \emph{absolutely avoidable} if there is $n_0$ such that for any pair of integers $(n,e)$ with $n>n_0$ and $0\leq e\leq \binom{n}{2}$ there is a graph on $n$…
For fixed integer $r\ge 2$, we call a pair $(m,f)$ of integers, $m\geq 1$, $0\leq f \leq \binom{m}{r}$, $absolutely$ $avoidable$ if there is $n_0$, such that for any pair of integers $(n,e)$ with $n>n_0$ and $0\leq e\leq \binom{n}{r}$ there…
An \textit{$(n,m)$-graph} $G$ is a graph having both arcs and edges, and its arcs (resp., edges) are labeled using one of the $n$ (resp., $m$) different symbols. An \textit{$(n,m)$-complete graph} $G$ is an $(n,m)$-graph without loops or…
Let $A=(a_1,\ldots,a_n)$ and $B=(b_1,\ldots,b_n)$ be two sequences of nonnegative integers with $a_i \le b_i$ for $1\le i\le n$. The pair $(A;B)$ is said to be realizable by a graph if there exists a simple graph $G$ with vertices…
A connected graph $G$ with at least $2m + 2n + 2$ vertices which contains a perfect matching is $E(m, n)$-{\it extendable}, if for any two sets of disjoint independent edges $M$ and $N$ with $|M| = m$ and $|N|= n$, there is a perfect…
A common model of robustness of a graph against random failures has all vertices operational, but the edges independently operational with probability $p$. One can ask for the probability that all vertices can communicate ({\em all-terminal…
For $0 \leq t \leq r$ let $m(t,r)$ be the maximum number $s$ such that every $t$-edge-connected $r$-graph has $s$ pairwise disjoint perfect matchings. There are only a few values of $m(t,r)$ known, for instance $m(3,3)=m(4,r)=1$, and…
Twin-width is a recently introduced graph parameter for finite graphs. It is an open problem to determine whether there is an $n$-vertex graph having twin-width at least $n/2$ (due to J. Ahn, K. Hendrey, D. Kim and S. Oum). In an earlier…
Polynomial algorithms are given for the following two problems: given a graph with $n$ vertices and $m$ edges, where $m \ge 3 n^{3/2}$, find a complete balanced bipartite subgraph with parts about $\ln n/(\ln (n^2/m))$, given a graph with…
A graph $G=(V,E)$ is called $(k,k')$-choosable if for any total list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a mapping…
Let $G=(V,E)$ be a matching-covered graph and $X$ be an edge set of $G$. $X$ is said to be feasible if there exist two perfect matchings $M_1$ and $M_2$ in $G$ such that $|M_1\cap X|\not \equiv|M_2\cap X|\ (\mbox{mod } 2)$. For any…
Let $G = (V, E)$ be a graph and $\lambda $ a non-negative integer. A graph $G$ is called a $(\lambda, 1)$-{\em graph} if $ (c0)$ $G$ is neither a complete graph no an edge-empty graph, $ (c1)$ every edge in $G$ belongs to exactly $\lambda$…
In this paper we explore some results concerning the spread of the line and the total graph of a given graph. In particular, it is proved that for an $(n,m)$ connected graph $G$ with $m > n \geq 4$ the spread of $G$ is less than or equal to…
A line digraph $L(G) = (A, E)$ is the digraph constructed from the digraph $G = (V, A)$ such that there is an arc $(a,b)$ in $L(G)$ if the terminal node of $a$ in $G$ is the initial node of $b$. The maximum number of arcs in a line digraph…
The celebrated Mantel's theorem states that any triangle-free graph on $n$ vertices contains at most $\left\lfloor n^2/4\right\rfloor$ edges. It is natural to ask how many triangles must exist in a graph with more than $\left\lfloor…
We construct a family of maximal linklessly embeddable graphs on $n$ vertices and $3n-5$ edges for all $n\ge 10$, and another family on $n$ vertices and $m< \frac{25n}{12}-\frac{1}{4}$ edges for all $n\ge 13$. The latter significantly…
A connected graph $G$ with at least $2m+2n+2$ vertices is said to have property $E(m,n)$ if, for any two disjoint matchings $M$ and $N$ of size $m$ and $n$ respectively, $G$ has a perfect matching $F$ such that $M\subseteq F$ and $N\cap…
We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it.…
A graph $G$ is called $(a,b)$-choosable if for any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $a$ permissible colours, there is a $b$-tuple $L$-colouring of $G$. An $(a,1)$-choosable graph is also called…