-
$S$-packing colorings of distance graphs with distance sets of cardinality $2$
Authors:
Boštjan Brešar,
Jasmina Ferme,
Přemysl Holub,
Marko Jakovac,
Petra Melicharová
Abstract:
For a non-decreasing sequence $S=(s_1,s_2,\ldots)$ of positive integers, a partition of the vertex set of a graph $G$ into subsets $X_1,\ldots, X_\ell$, such that vertices in $X_i$ are pairwise at distance greater than $s_i$ for every $i\in\{1,\ldots,\ell\}$, is called an $S$-packing $\ell$-coloring of $G$. The minimum $\ell$ for which $G$ admits an $S$-packing $\ell$-coloring is called the $S$-pa…
▽ More
For a non-decreasing sequence $S=(s_1,s_2,\ldots)$ of positive integers, a partition of the vertex set of a graph $G$ into subsets $X_1,\ldots, X_\ell$, such that vertices in $X_i$ are pairwise at distance greater than $s_i$ for every $i\in\{1,\ldots,\ell\}$, is called an $S$-packing $\ell$-coloring of $G$. The minimum $\ell$ for which $G$ admits an $S$-packing $\ell$-coloring is called the $S$-packing chromatic number of $G$, denoted by $χ_S(G)$. In this paper, we consider $S$-packing colorings of distance graphs $G(\mathbb{Z},\{k,t\})$, where $k$ and $t$ are positive integers, which are the graphs whose vertex set is $\mathbb{Z}$, and two vertices $x,y\in \mathbb{Z}$ are adjacent whenever $|x-y|\in\{k,t\}$. We complement partial results from two earlier papers, thus determining all values of $χ_S(G(\mathbb{Z},\{k,t\}))$ when $S$ is any sequence with $s_i\le 2$ for all $i$. In particular, if $S=(1,1,2,2,\ldots)$, then the $S$-packing chromatic number is $2$ if $k+t$ is even, and $4$ otherwise, while if $S=(1,2,2,\ldots)$, then the $S$-packing chromatic number is $5$, unless $\{k,t\}=\{2,3\}$ when it is $6$; when $S=(2,2,2,\ldots)$, the corresponding formula is more complex.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
EOSC-LIFE WP4 TOOLBOX: Toolbox for sharing of sensitive data -- a concept description
Authors:
Jan-Willem Boiten,
Christian Ohmann,
Ayodeji Adeniran,
Steve Canham,
Monica Cano Abadia,
Gauthier Chassang,
Maria Luisa Chiusano,
Romain David,
Maddalena Fratelli,
Phil Gribbon,
Petr Holub,
Rebecca Ludwig,
Michaela Th. Mayrhofer,
Mihaela Matei,
Arshiya Merchant,
Maria Panagiotopoulou,
Luca Pireddu,
Alex Sanchez Pla,
Irene Schlünder,
George Tsamis,
Harald Wagener
Abstract:
The Horizon 2020 project EOSC-Life brings together the 13 Life Science 'ESFRI' research infrastructures to create an open, digital and collaborative space for biological and medical research. Sharing sensitive data is a specific challenge within EOSC-Life. For that reason, a toolbox is being developed, providing information to researchers who wish to share and/or use sensitive data in a cloud envi…
▽ More
The Horizon 2020 project EOSC-Life brings together the 13 Life Science 'ESFRI' research infrastructures to create an open, digital and collaborative space for biological and medical research. Sharing sensitive data is a specific challenge within EOSC-Life. For that reason, a toolbox is being developed, providing information to researchers who wish to share and/or use sensitive data in a cloud environment in general, and the European Open Science Cloud in particular. The sensitivity of the data may arise from its personal nature but can also be caused by intellectual property considerations, biohazard concerns, or the Nagoya protocol. The toolbox will not create new content, instead, it will allow researchers to find existing resources that are relevant for sharing sensitive data across all participating research infrastructures (F in FAIR). The toolbox will provide links to recommendations, procedures, and best practices, as well as to software (tools) to support data sharing and reuse. It will be based upon a tagging (categorisation) system, allowing consistent labelling and categorisation of resources. The current design document provides an outline for the anticipated toolbox, as well as its basic principles regarding content and sustainability.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Forbidden induced subgraphs for perfectness of claw-free graphs of independence number at least 4
Authors:
Christoph Brause,
Trung Duy Doan,
Přemysl Holub,
Adam Kabela,
Zdeněk Ryjáček,
Ingo Schiermeyer,
Petr Vrána
Abstract:
For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imp…
▽ More
For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imperfect graphs belonging to the class; and for every other choice of $X$, we show that there are infinitely many such graphs. In addition, for $X$ chosen as $B_{1,2}$, we describe the structure of all imperfect graphs in the class.
△ Less
Submitted 1 September, 2021; v1 submitted 17 February, 2021;
originally announced February 2021.
-
Non-repudiable provenance for clinical decision support systems
Authors:
Elliot Fairweather,
Rudolf Wittner,
Martin Chapman,
Petr Holub,
Vasa Curcin
Abstract:
Provenance templates are now a recognised methodology for the construction of data provenance records. Each template defines the provenance of a domain-specific action in abstract form, which may then be instantiated as required by a single call to the provenance template service. As data reliability and trustworthiness becomes a critical issue in an increasing number of domains, there is a corres…
▽ More
Provenance templates are now a recognised methodology for the construction of data provenance records. Each template defines the provenance of a domain-specific action in abstract form, which may then be instantiated as required by a single call to the provenance template service. As data reliability and trustworthiness becomes a critical issue in an increasing number of domains, there is a corresponding need to ensure that the provenance of that data is non-repudiable. In this paper we contribute two new, complementary modules to our template model and implementation to produce non-repudiable data provenance. The first, a module that traces the operation of the provenance template service itself, and records a provenance trace of the construction of an object-level document, at the level of individual service calls. The second, a non-repudiation module that generates evidence for the data recorded about each call, annotates the service trace accordingly, and submits a representation of that evidence to a provider-agnostic notary service. We evaluate the applicability of our approach in the context of a clinical decision support system. We first define a policy to ensure the non-repudiation of evidence with respect to a security threat analysis in order to demonstrate the suitability of our solution. We then select three use cases from within a particular system, Consult, with contrasting data provenance recording requirements and analyse the subsequent performance of our prototype implementation against three different notary providers.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Star Edge-Coloring of Square Grids
Authors:
Přemysl Holub,
Borut Lužar,
Erika Mihaliková,
Martina Mockovčiaková,
Roman Soták
Abstract:
A star edge-coloring of a graph $G$ is a proper edge-coloring without bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star edge-coloring with $k$ colors is the star chromatic index of $G$. In the seminal paper on the topic, Dvořák, Mohar, and Šámal asked if the star chromatic index of complete graphs is linear in the number of vertices and gave an almost…
▽ More
A star edge-coloring of a graph $G$ is a proper edge-coloring without bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star edge-coloring with $k$ colors is the star chromatic index of $G$. In the seminal paper on the topic, Dvořák, Mohar, and Šámal asked if the star chromatic index of complete graphs is linear in the number of vertices and gave an almost linear upper bound. Their question remains open, and consequently, to better understand the behavior of the star chromatic index, this parameter has been studied for a number of other classes of graphs. In this paper, we consider star edge-colorings of square grids; namely, the Cartesian products of paths and cycles and the Cartesian products of two cycles. We improve previously established bounds and, as a main contribution, we prove that the star chromatic index of graphs in both classes is either $6$ or $7$ except for prisms. Additionally, we give a number of exact values for many considered graphs.
△ Less
Submitted 19 August, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
$S$-packing chromatic vertex-critical graphs
Authors:
Přemysl Holub,
Marko Jakovac,
Sandi Klavžar
Abstract:
For a non-decreasing sequence of positive integers $S = (s_1,s_2,\ldots)$, the {\em $S$-packing chromatic number} $χ_S(G)$ of $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $X_i$, $i \in [k]$, where vertices in $X_i$ are pairwise at distance greater than $s_i$. In this paper we introduce $S$-packing chromatic vertex-critical graphs, $χ_{S}$-critical fo…
▽ More
For a non-decreasing sequence of positive integers $S = (s_1,s_2,\ldots)$, the {\em $S$-packing chromatic number} $χ_S(G)$ of $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $X_i$, $i \in [k]$, where vertices in $X_i$ are pairwise at distance greater than $s_i$. In this paper we introduce $S$-packing chromatic vertex-critical graphs, $χ_{S}$-critical for short, as the graphs in which $χ_{S}(G-u)<χ_{S}(G)$ for every $u\in V(G)$. This extends the earlier concept of the packing chromatic vertex-critical graphs. We show that if $G$ is $χ_{S}$-critical, then the set $\{ χ_{S}(G)-χ_{S}(G-u); \, u\in V(G) \}$ can be almost arbitrary. If $G$ is $χ_{S}$-critical and $χ_{S}(G)=k$ ($k\in \mathbb{N}$), then $G$ is called $k$-$χ_{S}$-critical. We characterize $3$-$χ_{S}$-critical graphs and partially characterize $4$-$χ_{S}$-critical graphs when $s_1>1$. We also deal with $k$-$χ_{S}$-criticality of trees and caterpillars.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
On forbidden induced subgraphs for K_{1,3}-free perfect graphs
Authors:
Christoph Brause,
Přemysl Holub,
Adam Kabela,
Zdeněk Ryjáček,
Ingo Schiermeyer,
Petr Vrána
Abstract:
Considering connected $K_{1,3}$-free graphs with independence number at least $3$, Chudnovsky and Seymour (2010) showed that every such graph, say $G$, is $2ω$-colourable where $ω$ denotes the clique number of $G$. We study $(K_{1,3}, Y)$-free graphs, and show that the following three statements are equivalent.
(1) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and…
▽ More
Considering connected $K_{1,3}$-free graphs with independence number at least $3$, Chudnovsky and Seymour (2010) showed that every such graph, say $G$, is $2ω$-colourable where $ω$ denotes the clique number of $G$. We study $(K_{1,3}, Y)$-free graphs, and show that the following three statements are equivalent.
(1) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and which has independence number at least $3$ is perfect.
(2) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and which has independence number at least $3$ is $ω$-colourable.
(3) $Y$ is isomorphic to an induced subgraph of $P_5$ or $Z_2$ (where $Z_2$ is also known as hammer).
Furthermore, for connected $(K_{1,3}, Y)$-free graphs (without an assumption on the independence number), we show a similar characterisation featuring the graphs $P_4$ and $Z_1$ (where $Z_1$ is also known as paw).
△ Less
Submitted 22 March, 2019;
originally announced March 2019.
-
3-coloring triangle-free planar graphs with a precolored 9-cycle
Authors:
Ilkyoo Choi,
Jan Ekstein,
Přemysl Holub,
Bernard Lidický
Abstract:
Given a triangle-free planar graph G and a 9-cycle C in G, we characterize situations where a 3-coloring of C does not extend to a proper 3-coloring of G. This extends previous results when C is a cycle of length at most 8.
Given a triangle-free planar graph G and a 9-cycle C in G, we characterize situations where a 3-coloring of C does not extend to a proper 3-coloring of G. This extends previous results when C is a cycle of length at most 8.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
On packing chromatic number of subcubic outerplanar graphs
Authors:
Nicolas Gastineau,
P{ř}emysl Holub,
Olivier Togni
Abstract:
Although it has recently been proved that the packing chromatic number is unbounded on the class of subcubic graphs, there exists subclasses in which the packing chromatic number is finite (and small). These subclasses include subcubic trees, base-3 Sierpi{ń}ski graphs and hexagonal lattices.In this paper we are interested in the packing chromatic number of subcubic outerplanar graphs. We provide…
▽ More
Although it has recently been proved that the packing chromatic number is unbounded on the class of subcubic graphs, there exists subclasses in which the packing chromatic number is finite (and small). These subclasses include subcubic trees, base-3 Sierpi{ń}ski graphs and hexagonal lattices.In this paper we are interested in the packing chromatic number of subcubic outerplanar graphs. We provide asymptotic bounds depending on structural properties of the outerplanar graphs and determine sharper bounds for some classes of subcubic outerplanar graphs.
△ Less
Submitted 27 July, 2018; v1 submitted 15 March, 2017;
originally announced March 2017.
-
The Packing Coloring of Distance Graphs $D(k,t)$
Authors:
Jan Ekstein,
Přemysl Holub,
Olivier Togni
Abstract:
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that vertices of $G$ can be partitioned into disjoint classes $X_{1}, ..., X_{p}$ where vertices in $X_{i}$ have pairwise distance greater than $i$. For $k < t$ we study the packing chromatic number of infinite distance graphs $D(k, t)$, i.e. graphs with the set $\Z$ of integers as vertex set and in which two dis…
▽ More
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that vertices of $G$ can be partitioned into disjoint classes $X_{1}, ..., X_{p}$ where vertices in $X_{i}$ have pairwise distance greater than $i$. For $k < t$ we study the packing chromatic number of infinite distance graphs $D(k, t)$, i.e. graphs with the set $\Z$ of integers as vertex set and in which two distinct vertices $i, j \in \Z$ are adjacent if and only if $|i - j| \in \{k, t\}$.
We generalize results by Ekstein et al. for graphs $D (1, t)$. For sufficiently large $t$ we prove that $χ_ρ(D(k, t)) \leq 30$ for both $k$, $t$ odd, and that $χ_ρ(D(k, t)) \leq 56$ for exactly one of $k$, $t$ odd. We also give some upper and lower bounds for $χ_ρ(D(k, t))$ with small $k$ and $t$.
Keywords: distance graph; packing coloring; packing chromatic number
△ Less
Submitted 4 February, 2013;
originally announced February 2013.
-
Radio Labelings of Distance Graphs
Authors:
R. Čada,
J. Ekstein,
P. Holub,
O. Togni
Abstract:
A radio $k$-labeling of a connected graph $G$ is an assignment $c$ of non negative integers to the vertices of $G$ such that $$|c(x) - c(y)| \geq k+1 - d(x,y),$$ for any two vertices $x$ and $y$, $x\ne y$, where $d(x,y)$ is the distance between $x$ and $y$ in $G$. In this paper, we study radio labelings of distance graphs, i.e., graphs with the set $\Z$ of integers as vertex set and in which two d…
▽ More
A radio $k$-labeling of a connected graph $G$ is an assignment $c$ of non negative integers to the vertices of $G$ such that $$|c(x) - c(y)| \geq k+1 - d(x,y),$$ for any two vertices $x$ and $y$, $x\ne y$, where $d(x,y)$ is the distance between $x$ and $y$ in $G$. In this paper, we study radio labelings of distance graphs, i.e., graphs with the set $\Z$ of integers as vertex set and in which two distinct vertices $i, j \in \Z$ are adjacent if and only if $|i - j| \in D$.
△ Less
Submitted 18 March, 2013; v1 submitted 17 July, 2012;
originally announced July 2012.
-
Star subdivisions and connected even factors in the square of a graph
Authors:
Jan Ekstein,
Přemysl Holub,
Tomáš Kaiser,
Liming Xiong,
Shenggui Zhang
Abstract:
For any positive integer $s$, a $[2,2s]$-factor in a graph $G$ is a connected even factor with maximum degree at most $2s$. We prove that if every induced $S(K_{1, 2s+1})$ in a graph $G$ has at least 3 edges in a block of degree at most two, then $G^2$ has a $[2,2s]$-factor. This extends the results of Hendry and Vogler and of Abderrezzak et al.
For any positive integer $s$, a $[2,2s]$-factor in a graph $G$ is a connected even factor with maximum degree at most $2s$. We prove that if every induced $S(K_{1, 2s+1})$ in a graph $G$ has at least 3 edges in a block of degree at most two, then $G^2$ has a $[2,2s]$-factor. This extends the results of Hendry and Vogler and of Abderrezzak et al.
△ Less
Submitted 21 June, 2012;
originally announced June 2012.
-
The rainbow connection number of 2-connected graphs
Authors:
Jan Ekstein,
Přemysl Holub,
Tomáš Kaiser,
Maria Koch,
Stephan Matos Camacho,
Zdeněk Ryjáček,
Ingo Schiermeyer
Abstract:
The rainbow connection number of a graph G is the least number of colours in a (not necessarily proper) edge-colouring of G such that every two vertices are joined by a path which contains no colour twice. Improving a result of Caro et al., we prove that the rainbow connection number of every 2-connected graph with n vertices is at most the ceiling of n/2. The bound is optimal.
The rainbow connection number of a graph G is the least number of colours in a (not necessarily proper) edge-colouring of G such that every two vertices are joined by a path which contains no colour twice. Improving a result of Caro et al., we prove that the rainbow connection number of every 2-connected graph with n vertices is at most the ceiling of n/2. The bound is optimal.
△ Less
Submitted 26 October, 2011;
originally announced October 2011.
-
Packing Chromatic Number of Distance Graphs
Authors:
Jan Ekstein,
Přemysl Holub,
Bernard Lidický
Abstract:
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that vertices of $G$ can be partitioned into disjoint classes $X_1, ..., X_k$ where vertices in $X_i$ have pairwise distance greater than $i$. We study the packing chromatic number of infinite distance graphs $G(Z, D)$, i.e. graphs with the set $Z$ of integers as vertex set and in which two distinct vertices…
▽ More
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that vertices of $G$ can be partitioned into disjoint classes $X_1, ..., X_k$ where vertices in $X_i$ have pairwise distance greater than $i$. We study the packing chromatic number of infinite distance graphs $G(Z, D)$, i.e. graphs with the set $Z$ of integers as vertex set and in which two distinct vertices $i, j \in Z$ are adjacent if and only if $|i - j| \in D$. In this paper we focus on distance graphs with $D = \{1, t\}$. We improve some results of Togni who initiated the study. It is shown that $χ_ρ(G(Z, D)) \leq 35$ for sufficiently large odd $t$ and $χ_ρ(G(Z, D)) \leq 56$ for sufficiently large even $t$. We also give a lower bound 12 for $t \geq 9$ and tighten several gaps for $χ_ρ(G(Z, D))$ with small $t$.
△ Less
Submitted 27 May, 2011;
originally announced May 2011.
-
The packing chromatic number of the square lattice is at least 12
Authors:
Jan Ekstein,
Jiří Fiala,
Přemysl Holub,
Bernard Lidický
Abstract:
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set $V(G)$ can be partitioned into disjoint classes $X_1, ..., X_k$, where vertices in $X_i$ have pairwise distance greater than $i$. For the 2-dimensional square lattice $\mathbb{Z}^2$ it is proved that $χ_ρ(\mathbb{Z}^2) \geq 12$, which improves the previously known lower bound 10.
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set $V(G)$ can be partitioned into disjoint classes $X_1, ..., X_k$, where vertices in $X_i$ have pairwise distance greater than $i$. For the 2-dimensional square lattice $\mathbb{Z}^2$ it is proved that $χ_ρ(\mathbb{Z}^2) \geq 12$, which improves the previously known lower bound 10.
△ Less
Submitted 11 March, 2010;
originally announced March 2010.