Maximum Packing of Dt - P and Dt U P with Mendelsohn Triples.

Liqun Pu,Hung-Lin Fu,Hao Shen

2009-01-01

Ars combinatoria

Abstract:In this paper, we extend the study on packing and covering of complete directed graph D(t) with Mendelsohn triples [6]. Mainly, the maximum packing of D(t) - P and D(t) boolean OR P with Mendelsohn triples are obtained respectively where P is a vertex-disjoint union of directed cycles in D(t).

What problem does this paper attempt to address?

The Path Set Packing Problem

Chenyang Xu,Guochuan Zhang

DOI: https://doi.org/10.1007/978-3-319-94776-1_26

2018-01-01

Abstract:In this paper, we study a variant of set packing, in which a set P of paths in a graph $G=(V,E)$ is given, the goal is to find a maximum number of edge-disjoint paths of P. We show that the problem is NP-hard even if each path in P contains at most three edges, while it is hard to approximate within $O(|E|^{1/2-\epsilon })$ for the general case unless $NP=ZPP$. In the positive aspect, a parameterized algorithm relying on the maximum degree and the tree-width of G is derived. For tree networks, we present a polynomial time optimal algorithm.
Packing and Covering Triangles in Bilaterally-Complete Tripartite Graphs

Naivedya Amarnani,Amaury De Burgos,Wayne Broughton

2023-07-18

Abstract:We use Menger's Theorem and König's Line Colouring Theorem to show that in any tripartite graph with two complete (bipartite) sides the maximum number of pairwise edge-disjoint triangles equals the minimum number of edges that meet all triangles. This generalizes the corresponding result for complete tripartite graphs given by Lakshmanan, et al.

Combinatorics
Maximum Packing of λ-Fold Complete 3-Uniform Hypergraph with a Special Tetrahedron

Yuzhe Zhu,Hongtao Zhao

DOI: https://doi.org/10.3390/math12101421

IF: 2.4

2024-05-07

Mathematics

Abstract:Let Kv(3)=(V,E) be the complete 3-uniform hypergraph, where the vertex set is V={x1,x2,⋯,xv}, in which the edge set E is of all triples. Let ST denote the special tetrahedron with four edges, where each edge contains three vertices of degree 2. In this paper, we consider the decomposition and packing of a complete 3-uniform hypergraph of an λ-fold special tetrahedron. Firstly, the necessary conditions for the existence of the λ-fold ST-decomposition are discussed in four distinct cases. Secondly, according to the recursive constructions, the required designs of small orders are found. For hypergraphs with large orders, they can be recursively generated using some designs of small orders. Then, it is proven that the above necessary conditions are sufficient. Finally, we prove that a maximum ST-packing of a complete 3-uniform hypergraph Kv(3) exists for all v≥6 and λ≥1

mathematics
Embeddings of Maximum Packings in Triple Systems

RW Su,HL Fu,H Shen

DOI: https://doi.org/10.1016/j.disc.2003.11.038

IF: 0.961

2004-01-01

Discrete Mathematics

Abstract:Let MPT(v,λ) denote a maximum packing of triples of order v with index λ and TS(u,λ) denote a triple system of order u with index λ. For λ>1 and v⩾6, it is proved in this paper that the necessary and sufficient conditions for the embedding of an MPT(v,λ) in a TS(u,λ) are λ(u−1)≡0(mod2), λu(u−1)≡0(mod6) and u⩾2v+1.
Near packings with restriction on degrees in graphs

Qian Yang,Yunshu Gao

DOI: https://doi.org/10.1016/j.amc.2024.128828

IF: 4.397

2024-05-23

Applied Mathematics and Computation

Abstract:In graph theory, a packing within graph G is defined as a collection H={H1,H2} , where H1 and H2 are both equivalent to G , yet they exist as edge-disjoint subgraphs within Kn . Considering a positive integer k , we introduce Dk , a set comprising graphs within G , each with a maximum degree not exceeding k . Extending the concept of a packing, a near packing that accommodates Dk in graph G emerges, realized by overlapping two iterations of G . In this configuration, the intersecting subgraph formed by edges shared in both G copies is a member of Dk . The notation m(n,Dk) represents the highest possible value of m , ensuring each graph with order n and size at most m can incorporate a near packing that accommodates Dk . A notable case is m(n,D0)=n−2 , highlighting that a near packing which admits D0 equates to a standard packing. This paper focuses on establishing the value of m(n,D1)=⌊3n−52⌋ .

mathematics, applied
Existence of Incomplete Resolvable Minimum Coverings of Pairs by Triples

H Shen,RW Su,DM Deng

DOI: https://doi.org/10.1016/s0012-365x(03)00285-1

IF: 0.961

2004-01-01

Discrete Mathematics

Abstract:For given positive integers u and v with u≡v≡0(mod6), let IRC(u,v) denote an incomplete resolvable minimum covering of pairs by triples of order u having a hole of size v. It is proved in this paper that there exists such an IRC(u,v) if and only if u⩾3v.
Packing directed cycles of specified odd length into digraphs and alternating cycles into bipartite graphs

Shuya Chiba,Koshin Yoshida

DOI: https://doi.org/10.1016/j.disc.2024.114306

IF: 0.961

2024-11-09

Discrete Mathematics

Abstract:In this paper, we prove the following result. For given integers k≥1,t≥0 with k≥t and an odd integer l≥3 , there exists an integer n0=n0(k,t,l) satisfying the following: If D is a digraph of order n≥n0 , and if dD+(u)+dD−(v)≥n+t for every two distinct vertices u and v with (u,v)∉A(D) , then D contains k vertex-disjoint directed cycles of length l or l+1 such that at least t of them are of length l . This is a common extension of the results obtained by Brandt et al. (1997) and, Chiba and Yamashita (2018). We also discuss the relation between our result and problems on packing alternating cycles into bipartite graphs.

mathematics
Minimal abundant packings and choosability with separation

Zoltán Füredi,Alexandr Kostochka,Mohit Kumbhat

DOI: https://doi.org/10.1007/s10623-024-01484-w

IF: 1.4

2024-09-04

Designs Codes and Cryptography

Abstract:A ( v , k , t ) packing of size b is a system of b subsets (blocks) of a v -element underlying set such that each block has k elements and every t -set is contained in at most one block. P ( v , k , t ) stands for the maximum possible b . A packing is called abundant if . We give new estimates for P ( v , k , t ) around the critical range, slightly improving the Johnson bound and asymptotically determine the minimum when abundant packings exist. For a graph G and a positive integer c , let be the minimum value of k such that one can properly color the vertices of G from any assignment of lists L ( v ) such that for all and for all . Kratochvíl, Tuza and Voigt in 1998 asked to determine (if it exists). Using our bound on , we prove that the limit exists and equals 1. Given c , we find the exact value of for infinitely many n .

mathematics, applied,computer science, theory & methods
Approximately Packing Dijoins via Nowhere-Zero Flows

Gérard Cornuéjols,Siyue Liu,R. Ravi

2023-11-08

Abstract:In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects each dicut. Woodall conjectured in 1976 that in every digraph, the minimum size of a dicut is equal to the maximum number of disjoint dijoins. However, prior to our work, it was not even known whether at least $3$ disjoint dijoins exist in a digraph whose minimum dicut size is arbitrarily large. By building connections with nowhere-zero (circular) $k$-flows, we prove that every digraph with minimum dicut size $\tau$ contains $\frac{\tau}{k}$ disjoint dijoins if the underlying undirected graph admits a nowhere-zero (circular) $k$-flow. The existence of nowhere-zero $6$-flows in $2$-edge-connected graphs (Seymour 1981) directly leads to the existence of $\frac{\tau}{6}$ disjoint dijoins in any digraph with minimum dicut size $\tau$, which can be found in polynomial time as well. The existence of nowhere-zero circular $(2+\frac{1}{p})$-flows in $6p$-edge-connected graphs (Lovász et al 2013) directly leads to the existence of $\frac{\tau p}{2p+1}$ disjoint dijoins in any digraph with minimum dicut size $\tau$ whose underlying undirected graph is $6p$-edge-connected.

Combinatorics
A Tdi System And Its Application To Approximation Algorithms

Mc Cai,Xt Deng,Wn Zang

DOI: https://doi.org/10.1109/SFCS.1998.743448

1998-01-01

Abstract:We obtain a necessary and sufficient condition for tournaments to possess a min-max relation on packing and covering directed cycles, together with strongly polynomial time algorithms for the feedback vertex set problem and the cycle packing problem bl this class of tournaments; the condition and the algorithms are all bused on a totally dual integral (TDI) system, a theoretical framework introduced by Edmonds and Giles for establishing min-max results. As a consequence, we find a 2.5-approximation polynomial time algorithm for the feedback vertex set problem by any tournament.
The Traveling Tournament Problem: Improved Algorithms Based on Cycle Packing

Jingyang Zhao,Mingyu Xiao,Chao Xu

2024-04-17

Abstract:The Traveling Tournament Problem (TTP) is a well-known benchmark problem in the field of tournament timetabling, which asks us to design a double round-robin schedule such that each pair of teams plays one game in each other's home venue, minimizing the total distance traveled by all $n$ teams ($n$ is even). TTP-$k$ is the problem with one more constraint that each team can have at most $k$-consecutive home games or away games. In this paper, we investigate schedules for TTP-$k$ and analyze the approximation ratio of the solutions. Most previous schedules were constructed based on a Hamiltonian cycle of the graph. We will propose a novel construction based on a $k$-cycle packing. Then, combining our $k$-cycle packing schedule with the Hamiltonian cycle schedule, we obtain improved approximation ratios for TTP-$k$ with deep analysis. The case where $k=3$, TTP-3, is one of the most investigated cases. We improve the approximation ratio of TTP-3 from $(1.667+\varepsilon)$ to $(1.598+\varepsilon)$, for any $\varepsilon>0$. For TTP-$4$, we improve the approximation ratio from $(1.750+\varepsilon)$ to $(1.700+\varepsilon)$. By a refined analysis of the Hamiltonian cycle construction, we also improve the approximation ratio of TTP-$k$ from $(\frac{5k-7}{2k}+\varepsilon)$ to $(\frac{5k^2-4k+3}{2k(k+1)}+\varepsilon)$ for any constant $k\geq 5$. Our methods can be extended to solve a variant called LDTTP-$k$ (TTP-$k$ where all teams are allocated on a straight line). We show that the $k$-cycle packing construction can achieve an approximation ratio of $(\frac{3k-3}{2k-1}+\varepsilon)$, which improves the approximation ratio of LDTTP-3 from $4/3$ to $(6/5+\varepsilon)$.

Data Structures and Algorithms
Packing minor-closed families of graphs into complete graphs

Silvia Messuti,Vojtěch Rödl,Mathias Schacht

DOI: https://doi.org/10.1016/j.jctb.2016.03.003

2016-03-20

Abstract:Motivated by a conjecture of Gyárfás, recently Böttcher, Hladký, Piguet, and Taraz showed that every collection $T_1,\dots,T_t$ of trees on $n$ vertices with $\sum_{i=1}^te(T_i)\leq \binom{n}{2}$ and with bounded maximum degree, can be packed into the complete graph on $(1+o(1))n$ vertices. We generalise this result where we relax the restriction of packing families of trees to families of graphs of any given non-trivial minor-closed class of graphs.

Combinatorics
Packing even directed circuits quarter-integrally

Maximilian Gorsky,Ken-ichi Kawarabayashi,Stephan Kreutzer,Sebastian Wiederrecht

2023-12-22

Abstract:We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. Moreover, we provide an algorithm that finds one of the two outcomes of this statement in time $g(k)n^{\mathcal{O}(1)}$ for some computable function $g\colon \mathbb{N}\to\mathbb{N}$. Our result unites two deep fields of research from the algorithmic theory for digraphs: The study of the Erdős-Pósa property of digraphs and the study of the Even Dicycle Problem. The latter is the decision problem which asks if a given digraph contains an even dicycle and can be traced back to a question of Pólya from 1913. It remained open until a polynomial time algorithm was finally found by Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997). The Even Dicycle Problem is equivalent to the recognition problem of Pfaffian bipartite graphs and has applications even beyond discrete mathematics and theoretical computer science. On the other hand, Younger's Conjecture (1973), states that dicycles have the Erdős-Pósa property. The conjecture was proven more than two decades later by Reed, Robertson, Seymour, and Thomas (Combinatorica 1996) and opened the path for structural digraph theory as well as the algorithmic study of the directed feedback vertex set problem. Our approach builds upon the techniques used to resolve both problems and combines them into a powerful structural theorem that yields further algorithmic applications for other prominent problems.

Combinatorics,Discrete Mathematics
Piercing independent sets in graphs without large induced matching

Jiangdong Ai,Hong Liu,Zixiang Xu,Qiang Zhou

2024-03-29

Abstract:Given a graph $G$, denote by $h(G)$ the smallest size of a subset of $V(G)$ which intersects every maximum independent set of $G$. We prove that any graph $G$ without induced matching of size $t$ satisfies $h(G)\le \omega(G)^{3t-3+o(1)}$. This resolves a conjecture of Hajebi, Li and Spirkl (Hitting all maximum stable sets in $P_{5}$-free graphs, JCTB 2024).

Combinatorics,Computational Geometry
Packing Designs with large block size

Andrea C. Burgess,Peter Danziger,Muhammad Tariq Javed

2024-10-30

Abstract:Given positive integers $v,k,t$ and $\lambda$ with $v \geq k \geq t$, a {packing design} PD$_{\lambda}(t,k,v)$ is a pair $(V,\mathcal{B})$, where $V$ is a $v$-set and $\mathcal{B}$ is a collection of $k$-subsets of $V$ such that each $t$-subset of $V$ appears in at most $\lambda$ elements of $\mathcal{B}$. The maximum size of a PD$_{\lambda}(t,k,v)$ is called the {packing number}, denoted PDN$_{\lambda}(t,k,v)$. In this paper we consider packing designs with $t=2$ and $k$ large (linear) relative to $v$. We provide a new bound on the packing number: if $n \geq \lambda+2$ and $nk-\binom{n}{\lambda+1} \leq \lambda v < (n+1)k-\binom{n+1}{\lambda+1}$, then PDN$_{\lambda}(2,k,v) \leq n$. When $\lambda=1$ this is equivalent to the second Johnson bound. We show that this bound is met when $\lambda=1$ and $n$ is a positive integer, and when $\lambda=2$ and $2 \leq n \leq 6$. We also consider a directed variant and show that for the cases we consider, this has the same packing number as the undirected case with $\lambda=2$.

Combinatorics
A Computer Approach to Determine the Densest Translative Tetrahedron Packings

Chuanming Zong

DOI: https://doi.org/10.1080/10586458.2019.1582378

2019-01-01

Experimental Mathematics

Abstract:In 1900, as a part of his 18th problem, Hilbert proposed the question to determine the densest congruent (or translative) packings of a given solid, such as the unit ball or the regular tetrahedron of unit edges. Up to now, our knowledge about this problem is still very limited, excepting the ball case. It is conjectured that, for some particular solids such as tetrahedra, cuboctahedra, and octahedra, their maximal translative packing densities and their maximal lattice packing densities are identical. To attack this conjecture, this article suggests a computer approach to determine the maximal local translative packing density of a given polytope, by studying associated color graphs and applying optimization. In particular, all the tetrahedral case, the cuboctahedral case and the octahedral case of the conjecture have been reduced into finite numbers of manageable optimization problems.
A coarse Erdős-Pósa theorem

Jungho Ahn,J. Pascal Gollin,Tony Huynh,O-joung Kwon

2024-07-08

Abstract:An \emph{induced packing} of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exists a function ${f(k) = \mathcal{O}(k \log k)}$ such that for every positive integer ${k}$, every graph $G$ contains either an induced packing of $k$ cycles or a set $X$ of at most~${f(k)}$ vertices such that the closed neighbourhood of $X$ intersects all cycles in $G$. Our proof is constructive and yields a polynomial-time algorithm finding either the induced packing of cycles or the set $X$. Furthermore, we show that for every positive integer ${d}$, if a graph $G$ does not contain two cycles at distance more than $d$, then $G$ contains sets $X_1,X_2\subseteq V(G)$ with $\lvert {X_1} \rvert \leq12(d+1)$ and $\lvert {X_2} \rvert \leq12$ such that after removing the ball of radius $2d$ around $X_1$ or the ball of radius $3d$ around $X_2$, the resulting graphs are forests. As a corollary, we prove that every graph with no $K_{1,t}$ induced subgraph and no induced packing of $k$ cycles has tree-independence number at most $\mathcal{O}(tk\log k)$, and one can construct a corresponding tree-decomposition in polynomial time. This resolves a special case of a conjecture of Dallard et al. (<a class="link-https" data-arxiv-id="2402.11222" href="https://arxiv.org/abs/2402.11222">arXiv:2402.11222</a>), and implies that on such graphs, many NP-hard problems, such as Maximum Weight Independent Set, Maximum Weight Induced Matching, Graph Homomorphism, and Minimum Weight Feedback Vertex Set, are solvable in polynomial time. On the other hand, we show that the class of all graphs with no $K_{1,3}$ induced subgraph and no two cycles at distance more than $2$ has unbounded tree-independence number.

Combinatorics
Co-density and Fractional Edge Cover Packing

Qiulan Zhao,Zhibin Chen,Jiajun Sang

DOI: https://doi.org/10.1007/s10878-020-00535-x

2020-01-01

Journal of Combinatorial Optimization

Abstract:Given a multigraph G=(V,E) , the edge cover packing problem (ECPP) on G is to find a coloring of edges of G using the maximum number of colors such that at each vertex all colors occur. ECPP can be formulated as an integer program and is NP-hard in general. In this paper, we consider the fractional edge cover packing problem , the LP relaxation of ECPP. We focus on the more general weighted setting, the weighted fractional edge cover packing problem (WFECPP), which can be formulated as the following linear program [ Maximize 1^T x; subject to Ax≤w; x≥0, ] where A is the edge–edge cover incidence matrix of G , w=(w(e): e∈ E) , and w ( e ) is a positive rational weight on each edge e of G . The weighted co-density problem , closely related to WFECPP, is to find a subset S⊆ V with |S|≥ 3 and odd, such that 2w(E^+(S))/|S|+1 is minimized, where E^+(S) is the set of all edges of G with at least one end in S and w(E^+(S)) is the total weight of all edges in E^+(S) . We present polynomial combinatorial algorithms for solving these two problems exactly.
Packings and Coverings of a Graph with 6 Vertices and 7 Edges

Youwei Du

2008-01-01

Abstract:Let λKv be the complete multigraph with v vertices and G a finite simple graph. A G-design (G-packing design, G-covering design) of λKv, denoted by (v,G,λ)-GD ((v,G,λ)-PD, (v,G,λ)-CD), is a pair (X,B) where X is the vertex set of Kv and B is a collection of subgraphs of Kv, called blocks, such that each block is isomorphic to G and any two distinct vertices in Kv are joined in exactly (at most, at least) λ blocks of B. A packing (covering) design is said to be maximum (minimum) if no other such packing (covering) design has more (fewer) blocks. In this paper, a simple graph G with 6 vertices and 7 edges is discussed, and the maximum G-PD(v) and the minimum G-CD(v) are constructed for all orders v.

Maximum Packing of Dt - P and Dt U P with Mendelsohn Triples.

The Path Set Packing Problem

Packing and Covering Triangles in Bilaterally-Complete Tripartite Graphs

Maximum Packing of λ-Fold Complete 3-Uniform Hypergraph with a Special Tetrahedron

Embeddings of Maximum Packings in Triple Systems

Near packings with restriction on degrees in graphs

Existence of Incomplete Resolvable Minimum Coverings of Pairs by Triples

Packing directed cycles of specified odd length into digraphs and alternating cycles into bipartite graphs

Minimal abundant packings and choosability with separation

Approximately Packing Dijoins via Nowhere-Zero Flows

A Tdi System And Its Application To Approximation Algorithms

The Traveling Tournament Problem: Improved Algorithms Based on Cycle Packing

Packing minor-closed families of graphs into complete graphs

Packing even directed circuits quarter-integrally

Piercing independent sets in graphs without large induced matching

Packing Designs with large block size

A Computer Approach to Determine the Densest Translative Tetrahedron Packings

A coarse Erdős-Pósa theorem

Co-density and Fractional Edge Cover Packing

Packings and Coverings of a Graph with 6 Vertices and 7 Edges