Researcher profile

Attila Bernáth

Attila Bernáth contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2015arXiv

A note on $\mathtt{V}$-free $2$-matchings

Motivated by a conjecture of Liang [Y.-C. Liang. {\em Anti-magic labeling of graphs}. PhD thesis, National Sun Yat-sen University, 2013.], we introduce a restricted path packing problem in bipartite graphs that we call a $\mathtt{V}$-free $2$-matching. We verify the conjecture through a weakening of the hypergraph matching problem. We close the paper by showing that it is NP-complete to decide whether one of the color classes of a bipartite graph can be covered by a $\mathtt{V}$-free $2$-matching.

preprint2015arXiv

Blocking optimal $k$-arborescences

Given a digraph $D=(V,A)$ and a positive integer $k$, an arc set $F\subseteq A$ is called a \textbf{$k$-arborescence} if it is the disjoint union of $k$ spanning arborescences. The problem of finding a minimum cost $k$-arborescence is known to be polynomial-time solvable using matroid intersection. In this paper we study the following problem: find a minimum cardinality subset of arcs that contains at least one arc from every minimum cost $k$-arborescence. For $k=1$, the problem was solved in [A. Bernáth, G. Pap , Blocking optimal arborescences, IPCO 2013]. In this paper we give an algorithm for general $k$ that has polynomial running time if $k$ is fixed.

preprint2015arXiv

Blocking optimal arborescences

The problem of covering minimum cost common bases of two matroids is NP-complete, even if the two matroids coincide, and the costs are all equal to 1. In this paper we show that the following special case is solvable in polynomial time: given a digraph $D=(V,A)$ with a designated root node $r\in V$ and arc-costs $c:A\to \mathbb{R}$, find a minimum cardinality subset $H$ of the arc set $A$ such that $H$ intersects every minimum $c$-cost $r$-arborescence. By an $r$-arborescence we mean a spanning arborescence of root $r$. The algorithm we give solves a weighted version as well, in which a nonnegative weight function $w:A\to \mathbb{R}_+$ (unrelated to $c$) is also given, and we want to find a subset $H$ of the arc set such that $H$ intersects every minimum $c$-cost $r$-arborescence, and $w(H)=\sum_{a\in H}w(a)$ is minimum. The running time of the algorithm is $O(n^3T(n,m))$, where $n$ and $m$ denote the number of nodes and arcs of the input digraph, and $T(n,m)$ is the time needed for a minimum $s-t$ cut computation in this digraph. A polyhedral description is not given, and seems rather challenging.

preprint2015arXiv

Blocking unions of arborescences

Given a digraph $D=(V,A)$ and a positive integer $k$, a subset $B\subseteq A$ is called a \textbf{$k$-union-arborescence}, if it is the disjoint union of $k$ spanning arborescences. When also arc-costs $c:A\to \mathbb{R}$ are given, minimizing the cost of a $k$-union-arborescence is well-known to be tractable. In this paper we take on the following problem: what is the minimum cardinality of a set of arcs the removal of which destroys every minimum $c$-cost $k$-union-arborescence. Actually, the more general weighted problem is also considered, that is, arc weights $w:A\to \mathbb{R}_+$ (unrelated to $c$) are also given, and the goal is to find a minimum weight set of arcs the removal of which destroys every minimum $c$-cost $k$-union-arborescence. An equivalent version of this problem is where the roots of the arborescences are fixed in advance. In an earlier paper [A. Bernáth and Gy. Pap, \emph{Blocking optimal arborescences}, Integer Programming and Combinatorial Optimization, Springer, 2013] we solved this problem for $k=1$. This work reports on other partial results on the problem. We solve the case when both $c$ and $w$ are uniform -- that is, find a minimum size set of arcs that covers all $k$-union-arbosercences. Our algorithm runs in polynomial time for this problem. The solution uses a result of [M. Bárász, J. Becker, and A. Frank, \emph{An algorithm for source location in directed graphs}, Oper. Res. Lett. \textbf{33} (2005)] saying that the family of so-called insolid sets (sets with the property that every proper subset has a larger in-degree) satisfies the Helly-property, and thus can be (efficiently) represented as a subtree hypergraph. We also give an algorithm for the case when only $c$ is uniform but $w$ is not. This algorithm is only polynomial if $k$ is not part of the input.

preprint2015arXiv

The complexity of the Clar number problem and an FPT algorithm

The Clar number of a (hydro)carbon molecule, introduced by Clar [E. Clar, \emph{The aromatic sextet}, (1972).], is the maximum number of mutually disjoint resonant hexagons in the molecule. Calculating the Clar number can be formulated as an optimization problem on 2-connected planar graphs. Namely, it is the maximum number of mutually disjoint even faces a perfect matching can simultaneously alternate on. It was proved by Abeledo and Atkinson [H. G. Abeledo and G. W. Atkinson, \emph{Unimodularity of the clar number problem}, Linear algebra and its applications \textbf{420} (2007), no. 2, 441--448] that the Clar number can be computed in polynomial time if the plane graph has even faces only. We prove that calculating the Clar number in general 2-connected plane graphs is NP-hard. We also prove NP-hardness of the maximum independent set problem for 2-connected plane graphs with odd faces only, which may be of independent interest. Finally, we give an FPT algorithm that determines the Clar number of a given 2-connected plane graph. The parameter of the algorithm is the length of the shortest odd join in the planar dual graph. For fullerenes this is not yet a polynomial algorithm, but for certain carbon nanotubes it gives an efficient algorithm.

preprint2014arXiv

On the tractability of some natural packing, covering and partitioning problems

In this paper we fix 7 types of undirected graphs: paths, paths with prescribed endvertices, circuits, forests, spanning trees, (not necessarily spanning) trees and cuts. Given an undirected graph $G=(V,E)$ and two "object types" $\mathrm{A}$ and $\mathrm{B}$ chosen from the alternatives above, we consider the following questions. \textbf{Packing problem:} can we find an object of type $\mathrm{A}$ and one of type $\mathrm{B}$ in the edge set $E$ of $G$, so that they are edge-disjoint? \textbf{Partitioning problem:} can we partition $E$ into an object of type $\mathrm{A}$ and one of type $\mathrm{B}$? \textbf{Covering problem:} can we cover $E$ with an object of type $\mathrm{A}$, and an object of type $\mathrm{B}$? This framework includes 44 natural graph theoretic questions. Some of these problems were well-known before, for example covering the edge-set of a graph with two spanning trees, or finding an $s$-$t$ path $P$ and an $s'$-$t'$ path $P'$ that are edge-disjoint. However, many others were not, for example can we find an $s$-$t$ path $P\subseteq E $ and a spanning tree $T\subseteq E$ that are edge-disjoint? Most of these previously unknown problems turned out to be NP-complete, many of them even in planar graphs. This paper determines the status of these 44 problems. For the NP-complete problems we also investigate the planar version, for the polynomial problems we consider the matroidal generalization (wherever this makes sense).