-
Minimum $k$-critical-bipartite graphs: the irregular Case
Authors:
Sylwia Cichacz,
Agieszka Görlich,
Karol Suchan
Abstract:
We study the problem of finding a minimum $k$-critical-bipartite graph of order $(n,m)$: a bipartite graph $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical-bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical-bipartite if deleting at most…
▽ More
We study the problem of finding a minimum $k$-critical-bipartite graph of order $(n,m)$: a bipartite graph $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical-bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical-bipartite if deleting at most $k=n-m$ vertices from $U$ yields $G'$ that has a complete matching, i.e., a matching of size $m$. Cichacz and Suchan solved the problem for biregular bipartite graphs. Here, we extend their results to bipartite graphs that are not biregular. We also prove tight lower bounds on the connectivity of $k$-critical-bipartite graphs.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
$k$-fault-tolerant graphs for $p$ disjoint complete graphs of order $c$
Authors:
Sylwia Cichacz,
Agnieszka Görlich,
Karol Suchan
Abstract:
Vertex-fault-tolerance was introduced by Hayes~\cite{Hayes1976} in 1976, and since then it has been systematically studied in different aspects. In this paper we study $k$-vertex-fault-tolerant graphs for $p$ disjoint complete graphs of order $c$, i.e., graphs in which removing any $k$ vertices leaves a graph that has $p$ disjoint complete graphs of order $c$ as a subgraph. The main contribution i…
▽ More
Vertex-fault-tolerance was introduced by Hayes~\cite{Hayes1976} in 1976, and since then it has been systematically studied in different aspects. In this paper we study $k$-vertex-fault-tolerant graphs for $p$ disjoint complete graphs of order $c$, i.e., graphs in which removing any $k$ vertices leaves a graph that has $p$ disjoint complete graphs of order $c$ as a subgraph. The main contribution is to describe such graphs that have the smallest possible number of edges for $k=1$, $p \geq 1$, and $c \geq 3$. Moreover, we analyze some properties of such graphs for any value of $k$.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Multi-Stage Phase-Segregation of Mixed Halide Perovskites under Illumination: A Quantitative Comparison of Experimental Observations and Thermodynamic Models
Authors:
Klara Suchan,
Justus Just,
Pascal Becker,
Carolin Rehermann,
Aboma Merdasa,
Roland Mainz,
Ivan G. Scheblykin,
Eva Unger
Abstract:
Photo- and charge-carrier induced ion migration is a major challenge when utilizing metal halide perovskite semiconductors for optoelectronic applications. For mixed iodide/bromide perovskites, the compositional instability due to light- or electrical bias induced phase- segregation restricts the exploitation of the entire bandgap range. Previous experimental and theoretical work suggests that exc…
▽ More
Photo- and charge-carrier induced ion migration is a major challenge when utilizing metal halide perovskite semiconductors for optoelectronic applications. For mixed iodide/bromide perovskites, the compositional instability due to light- or electrical bias induced phase- segregation restricts the exploitation of the entire bandgap range. Previous experimental and theoretical work suggests that excited states or charge-carriers trigger the process but the exact mechanism is still under debate. To identify the mechanism and cause of light-induced phase-segregation phenomena we investigate the full compositional range of methylammonium lead bromide/iodide samples, MAPb(Br$_x$I$_{1-x}$)$_3$ with $x = 0\ldots 1$, by simultaneous in-situ X-ray diffraction and photoluminescence spectroscopy during illumination. The quantitative comparison of composition-dependent in-situ XRD and PL shows that at excitation densities of 1 sun, only the initial stage of photo-segregation can be rationalized with the previously established thermodynamic models. However, we observe a progression of the phase-segregation that can only be rationalized by considering long-lived accumulative photo-induced material alterations. We suggest that (additional) photo-induced defects, possibly halide vacancies and interstitials, need to be considered to fully rationalize light-induced phase-segregation and anticipate our findings to provide crucial insight for the development of more sophisticated models.
△ Less
Submitted 22 May, 2022;
originally announced May 2022.
-
Zero-sum partitions of Abelian groups and their applications to magic-type labelings
Authors:
Sylwia Cichacz,
Karol Suchan
Abstract:
The following problem has been known since the 80s. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $\{S_i\}_{i=1}^{t}$ such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every…
▽ More
The following problem has been known since the 80s. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $\{S_i\}_{i=1}^{t}$ such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $1 \leq i \leq t$. Such a subset partition is called a \textit{zero-sum partition}.
$|I(Γ)|\neq 1$, where $I(Γ)$ is the set of involutions in $Γ$, is a necessary condition for the existence of zero-sum partitions. In this paper, we show that the additional condition of $m_i\geq 4$ for every $1 \leq i \leq t$, is sufficient. Moreover, we present some applications of zero-sum partitions to magic-type labelings of graphs.
△ Less
Submitted 24 April, 2024; v1 submitted 17 March, 2022;
originally announced March 2022.
-
Zero-sum partitions of Abelian groups of order $2^n$
Authors:
Sylwia Cichacz,
Karol Suchan
Abstract:
The following problem has been known since the 80's. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $m_i$, $1 \leq i \leq t$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $S_i$, $1 \leq i \leq t$, such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ f…
▽ More
The following problem has been known since the 80's. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $m_i$, $1 \leq i \leq t$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $S_i$, $1 \leq i \leq t$, such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $i$, $1 \leq i \leq t$. It is easy to check that $m_i\geq 2$ (for every $i$, $1 \leq i \leq t$) and $|I(Γ)|\neq 1$ are necessary conditions for the existence of such partitions, where $I(Γ)$ is the set of involutions of $Γ$. It was proved that the condition $m_i\geq 2$ is sufficient if and only if $|I(Γ)|\in\{0,3\}$. For other groups (i.e., for which $|I(Γ)|\neq 3$ and $|I(Γ)|>1$), only the case of any group $Γ$ with $Γ\cong(Z_2)^n$ for some positive integer $n$ has been analyzed completely so far, and it was shown independently by several authors that $m_i\geq 3$ is sufficient in this case. Moreover, recently Cichacz and Tuza proved that, if $|Γ|$ is large enough and $|I(Γ)|>1$, then $m_i\geq 4$ is sufficient. In this paper we generalize this result for every Abelian group of order $2^n$. Namely, we show that the condition $m_i\geq 3$ is sufficient for $Γ$ such that $|I(Γ)|>1$ and $|Γ|=2^n$, for every positive integer $n$. We also present some applications of this result to graph magic- and anti-magic-type labelings.
△ Less
Submitted 27 February, 2023; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Broad Distribution of Local I/Br Ratio in Illuminated Mixed Halide Perovskite Films Revealed by Correlative X-ray Diffraction and Photoluminescence
Authors:
Klara Suchan,
Justus Just,
Pascal Becker,
Carolin Rehermann,
Aboma Merdasa,
Roland Mainz,
Ivan G. Scheblykin,
Eva L. Unger
Abstract:
Photo-induced phase-segregation in mixed halide perovskite MAPb(BrxI1-x)3 is investigated in the full compositional range by correlative X-ray diffraction and photo-luminescence experiments.
Photo-induced phase-segregation in mixed halide perovskite MAPb(BrxI1-x)3 is investigated in the full compositional range by correlative X-ray diffraction and photo-luminescence experiments.
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
Territory Design for Dynamic Multi-Period Vehicle Routing Problem with Time Windows
Authors:
Hernán Lespay,
Karol Suchan
Abstract:
This study introduces the Territory Design for Dynamic Multi-Period Vehicle Routing Problem with Time Windows (TD-DMPVRPTW), motivated by a real-world application at a food company's distribution center. This problem deals with the design of contiguous and compact territories for delivery of orders from a depot to a set of customers, with time windows, over a multi-period planning horizon. Custome…
▽ More
This study introduces the Territory Design for Dynamic Multi-Period Vehicle Routing Problem with Time Windows (TD-DMPVRPTW), motivated by a real-world application at a food company's distribution center. This problem deals with the design of contiguous and compact territories for delivery of orders from a depot to a set of customers, with time windows, over a multi-period planning horizon. Customers and their demands vary dynamically over time. The problem is modeled as a mixed-integer linear program (MILP) and solved by a proposed heuristic. The heuristic solutions are compared with the proposed MILP solutions on a set of small artificial instances and the food company's solutions on a set of real-world instances. Computational results show that the proposed algorithm can yield high-quality solutions within moderate running times.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
A case study of Consistent Vehicle Routing Problem with Time Windows
Authors:
Hernán Lespay,
Karol Suchan
Abstract:
We develop a heuristic for the Consistent Vehicle Routing Problem with Time Windows (ConVRPTW), which is motivated by a real-world application at a food company's distribution center. Besides standard VRPTW restrictions, ConVRPTW assigns each customer just one driver to fulfill their orders during the whole multi-period planning horizon. For each driver and period, a route is sought to serve all t…
▽ More
We develop a heuristic for the Consistent Vehicle Routing Problem with Time Windows (ConVRPTW), which is motivated by a real-world application at a food company's distribution center. Besides standard VRPTW restrictions, ConVRPTW assigns each customer just one driver to fulfill their orders during the whole multi-period planning horizon. For each driver and period, a route is sought to serve all their customers with positive demand. For each customer, the number of periods between consecutive orders and the ordered quantities are highly irregular. This causes difficulties in the daily routing, negatively impacting the service level of the company. Similar problems have been studied as ConVRP, where the number of drivers is fixed a priori, and only the total travel time is minimized. Moreover, the clients present no time window constraints, but the visits should be scheduled with a small arrival time variation. In our model, the objective is to minimize the number of drivers. We impose hard time windows but do not consider time consistency in more detail. We compare solutions given by the heuristic with solutions of a MILP model on a set of small artificial instances and solutions used by the food company on real-world instances. The results show the effectiveness of the heuristic. For the company, we obtain significant improvements in the routing plans, with a lower number of vehicles and a higher rate of orders delivered within the prescribed time window.
△ Less
Submitted 6 December, 2020; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Minimum k-critical bipartite graphs
Authors:
Sylwia Cichacz,
Karol Suchan
Abstract:
We study the problem of Minimum $k$-Critical Bipartite Graph of order $(n,m)$ - M$k$CBG-$(n,m)$: to find a bipartite $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical bipartite if deleti…
▽ More
We study the problem of Minimum $k$-Critical Bipartite Graph of order $(n,m)$ - M$k$CBG-$(n,m)$: to find a bipartite $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical bipartite if deleting at most $k=n-m$ vertices from $U$ creates $G'$ that has a complete matching, i.e., a matching of size $m$. We show that, if $m(n-m+1)/n$ is an integer, then a solution of the M$k$CBG-$(n,m)$ problem can be found among $(a,b)$-regular bipartite graphs of order $(n,m)$, with $a=m(n-m+1)/n$, and $b=n-m+1$. If $a=m-1$, then all $(a,b)$-regular bipartite graphs of order $(n,m)$ are $k$-critical bipartite. For $a<m-1$, it is not the case. We characterize the values of $n$, $m$, $a$, and $b$ that admit an $(a,b)$-regular bipartite graph of order $(n,m)$, with $b=n-m+1$, and give a simple construction that creates such a $k$-critical bipartite graph whenever possible. Our techniques are based on Hall's marriage theorem, elementary number theory, linear Diophantine equations, properties of integer functions and congruences, and equations involving them.
△ Less
Submitted 6 December, 2020; v1 submitted 10 July, 2019;
originally announced July 2019.
-
k-Gap Interval Graphs
Authors:
Fedor V. Fomin,
Serge Gaspers,
Petr Golovach,
Karol Suchan,
Stefan Szeider,
Erik Jan van Leeuwen,
Martin Vatshelle,
Yngve Villanger
Abstract:
We initiate the study of a new parameterization of graph problems. In a multiple interval representation of a graph, each vertex is associated to at least one interval of the real line, with an edge between two vertices if and only if an interval associated to one vertex has a nonempty intersection with an interval associated to the other vertex. A graph on n vertices is a k-gap interval graph if…
▽ More
We initiate the study of a new parameterization of graph problems. In a multiple interval representation of a graph, each vertex is associated to at least one interval of the real line, with an edge between two vertices if and only if an interval associated to one vertex has a nonempty intersection with an interval associated to the other vertex. A graph on n vertices is a k-gap interval graph if it has a multiple interval representation with at most n+k intervals in total. In order to scale up the nice algorithmic properties of interval graphs (where k=0), we parameterize graph problems by k, and find FPT algorithms for several problems, including Feedback Vertex Set, Dominating Set, Independent Set, Clique, Clique Cover, and Multiple Interval Transversal. The Coloring problem turns out to be W[1]-hard and we design an XP algorithm for the recognition problem.
△ Less
Submitted 16 December, 2011; v1 submitted 14 December, 2011;
originally announced December 2011.
-
Towards optimal kernel for connected vertex cover in planar graphs
Authors:
Lukasz Kowalik,
Marcin Pilipczuk,
Karol Suchan
Abstract:
We study the parameterized complexity of the connected version of the vertex cover problem, where the solution set has to induce a connected subgraph. Although this problem does not admit a polynomial kernel for general graphs (unless NP is a subset of coNP/poly), for planar graphs Guo and Niedermeier [ICALP'08] showed a kernel with at most 14k vertices, subsequently improved by Wang et al. [MFCS'…
▽ More
We study the parameterized complexity of the connected version of the vertex cover problem, where the solution set has to induce a connected subgraph. Although this problem does not admit a polynomial kernel for general graphs (unless NP is a subset of coNP/poly), for planar graphs Guo and Niedermeier [ICALP'08] showed a kernel with at most 14k vertices, subsequently improved by Wang et al. [MFCS'11] to 4k. The constant 4 here is so small that a natural question arises: could it be already an optimal value for this problem? In this paper we answer this quesion in negative: we show a (11/3)k-vertex kernel for Connected Vertex Cover in planar graphs. We believe that this result will motivate further study in search for an optimal kernel.
△ Less
Submitted 10 October, 2011;
originally announced October 2011.
-
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Authors:
Florent Becker,
Adrian Kosowski,
Nicolas Nisse,
Ivan Rapaport,
Karol Suchan
Abstract:
In this work we study the computational power of graph-based models of distributed computing in which each node additionally has access to a global whiteboard. A node can read the contents of the whiteboard and, when activated, can write one message of O(log n) bits on it. When the protocol terminates, each node computes the output based on the final contents of the whiteboard. We consider several…
▽ More
In this work we study the computational power of graph-based models of distributed computing in which each node additionally has access to a global whiteboard. A node can read the contents of the whiteboard and, when activated, can write one message of O(log n) bits on it. When the protocol terminates, each node computes the output based on the final contents of the whiteboard. We consider several scheduling schemes for nodes, providing a strict ordering of their power in terms of the problems which can be solved with exactly one activation per node. The problems used to separate the models are related to Maximal Independent Set, detection of cycles of length 4, and BFS spanning tree constructions.
△ Less
Submitted 29 September, 2011;
originally announced September 2011.
-
Adding a referee to an interconnection network: What can(not) be computed in one round
Authors:
Florent Becker,
Martín Matamala,
Nicolas Nisse,
Ivan Rapaport,
Karol Suchan,
Ioan Todinca
Abstract:
In this paper we ask which properties of a distributed network can be computed from a little amount of local information provided by its nodes. The distributed model we consider is a restriction of the classical CONGEST (distributed) model and it is close to the simultaneous messages (communication complexity) model defined by Babai, Kimmel and Lokam. More precisely, each of these n nodes -which o…
▽ More
In this paper we ask which properties of a distributed network can be computed from a little amount of local information provided by its nodes. The distributed model we consider is a restriction of the classical CONGEST (distributed) model and it is close to the simultaneous messages (communication complexity) model defined by Babai, Kimmel and Lokam. More precisely, each of these n nodes -which only knows its own ID and the IDs of its neighbors- is allowed to send a message of O(log n) bits to some central entity, called the referee. Is it possible for the referee to decide some basic structural properties of the network topology G? We show that simple questions like, "does G contain a square?", "does G contain a triangle?" or "Is the diameter of G at most 3? cannot be solved in general. On the other hand, the referee can decode the messages in order to have full knowledge of G when G belongs to many graph classes such as planar graphs, bounded treewidth graphs and, more generally, bounded degeneracy graphs. We leave open questions related to the connectivity of arbitrary graphs.
△ Less
Submitted 5 October, 2010; v1 submitted 22 September, 2010;
originally announced September 2010.
-
Complexity of Splits Reconstruction for Low-Degree Trees
Authors:
Serge Gaspers,
Mathieu Liedloff,
Maya Stein,
Karol Suchan
Abstract:
Given a vertex-weighted tree T, the split of an edge xy in T is min{s_x(xy), s_y(xy)} where s_u(uv) is the sum of all weights of vertices that are closer to u than to v in T. Given a set of weighted vertices V and a multiset of splits S, we consider the problem of constructing a tree on V whose splits correspond to S. The problem is known to be NP-complete, even when all vertices have unit weight…
▽ More
Given a vertex-weighted tree T, the split of an edge xy in T is min{s_x(xy), s_y(xy)} where s_u(uv) is the sum of all weights of vertices that are closer to u than to v in T. Given a set of weighted vertices V and a multiset of splits S, we consider the problem of constructing a tree on V whose splits correspond to S. The problem is known to be NP-complete, even when all vertices have unit weight and the maximum vertex degree of T is required to be no more than 4. We show that the problem is strongly NP-complete when T is required to be a path, the problem is NP-complete when all vertices have unit weight and the maximum degree of T is required to be no more than 3, and it remains NP-complete when all vertices have unit weight and T is required to be a caterpillar with unbounded hair length and maximum degree at most 3. We also design polynomial time algorithms for the variant where T is required to be a path and the number of distinct vertex weights is constant, and the variant where all vertices have unit weight and T has a constant number of leaves. The latter algorithm is not only polynomial when the number of leaves, k, is a constant, but also fixed-parameter tractable when parameterized by k. Finally, we shortly discuss the problem when the vertex weights are not given but can be freely chosen by an algorithm.
The considered problem is related to building libraries of chemical compounds used for drug design and discovery. In these inverse problems, the goal is to generate chemical compounds having desired structural properties, as there is a strong correlation between structural properties, such as the Wiener index, which is closely connected to the considered problem, and biological activity.
△ Less
Submitted 18 October, 2011; v1 submitted 10 July, 2010;
originally announced July 2010.