-
Ramsey multiplicity of apices of trees
Authors:
Daniel Kral,
Matjaz Krnc,
Ander Lamaison
Abstract:
A graph $H$ is common if its Ramsey multiplicity, i.e., the minimum number of monochromatic copies of $H$ contained in any $2$-edge-coloring of $K_n$, is asymptotically the same as the number of monochromatic copies in the random $2$-edge-coloring of $K_n$. Erdős conjectured that every complete graph is common, which was disproved by Thomason in the 1980s. Till today, a classification of common gr…
▽ More
A graph $H$ is common if its Ramsey multiplicity, i.e., the minimum number of monochromatic copies of $H$ contained in any $2$-edge-coloring of $K_n$, is asymptotically the same as the number of monochromatic copies in the random $2$-edge-coloring of $K_n$. Erdős conjectured that every complete graph is common, which was disproved by Thomason in the 1980s. Till today, a classification of common graphs remains a widely open challenging problem. Grzesik, Lee, Lidický and Volec [Combin. Prob. Comput. 31 (2022), 907--923] conjectured that every $k$-apex of any connected Sidorenko graph is common. We prove for $k\le 5$ that the $k$-apex of any tree is common.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star
Authors:
Clément Dallard,
Matjaž Krnc,
O-joung Kwon,
Martin Milanič,
Andrea Munaro,
Kenny Štorgel,
Sebastian Wiederrecht
Abstract:
Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their result also implies a characterization of graph classes defined by finitely many forbidden induced subgraphs that are $(tw,ω)$-bounded, that is, treewidth can onl…
▽ More
Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their result also implies a characterization of graph classes defined by finitely many forbidden induced subgraphs that are $(tw,ω)$-bounded, that is, treewidth can only be large due to the presence of a large clique. This condition is known to be satisfied for any graph class with bounded tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. conjectured that $(tw,ω)$-boundedness is actually equivalent to bounded tree-independence number. We address this conjecture in the context of graph classes defined by finitely many forbidden induced subgraphs and prove it for the case of graph classes excluding an induced star. We also prove it for subclasses of the class of line graphs, determine the exact values of the tree-independence numbers of line graphs of complete graphs and line graphs of complete bipartite graphs, and characterize the tree-independence number of $P_4$-free graphs, which implies a linear-time algorithm for its computation. Applying the algorithmic framework provided in a previous paper of the series leads to polynomial-time algorithms for the Maximum Weight Independent Set problem in an infinite family of graph classes.
△ Less
Submitted 20 February, 2024; v1 submitted 17 February, 2024;
originally announced February 2024.
-
Growing Trees and Amoebas' Replications
Authors:
Vladimir Gurvich,
Matjaž Krnc,
Mikhail Vyalyi
Abstract:
An amoeba is a tree with a number assigned to each vertex. We describe a natural process of growing trees from a given amoeba and discuss conditions for such a process to be finite.
An amoeba is a tree with a number assigned to each vertex. We describe a natural process of growing trees from a given amoeba and discuss conditions for such a process to be finite.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Fair Allocation Algorithms for Indivisible Items under Structured Conflict Constraints
Authors:
Nina Chiarelli,
Matjaž Krnc,
Martin Milanič,
Ulrich Pferschy,
Joachim Schauer
Abstract:
We consider the fair allocation of indivisible items to several agents with additional conflict constraints. These are represented by a conflict graph where each item corresponds to a vertex of the graph and edges in the graph represent incompatible pairs of items which should not be allocated to the same agent. This setting combines the issues of Partition and Independent Set and can be seen as a…
▽ More
We consider the fair allocation of indivisible items to several agents with additional conflict constraints. These are represented by a conflict graph where each item corresponds to a vertex of the graph and edges in the graph represent incompatible pairs of items which should not be allocated to the same agent. This setting combines the issues of Partition and Independent Set and can be seen as a partial coloring of the conflict graph. In the resulting optimization problem each agent has its own valuation function for the profits of the items. We aim at maximizing the lowest total profit obtained by any of the agents. In a previous paper this problem was shown to be strongly \NP-hard for several well-known graph classes, e.g., bipartite graphs and their line graphs. On the other hand, it was shown that pseudo-polynomial time algorithms exist for the classes of chordal graphs, cocomparability graphs, biconvex bipartite graphs, and graphs of bounded treewidth. In this contribution we extend this line of research by develo** pseudo-polynomial time algorithms that solve the problem for the class of convex bipartite conflict graphs, graphs of bounded clique-width, and graphs of bounded tree-independence number. The algorithms are based on dynamic programming and also permit fully polynomial-time approximation schemes (FPTAS).
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Avoidability beyond paths
Authors:
Vladimir Gurvich,
Matjaž Krnc,
Martin Milanič,
Mikhail Vyalyi
Abstract:
The concept of avoidable paths in graphs was introduced by Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius in 2019 as a common generalization of avoidable vertices and simplicial paths. In 2020, Bonamy, Defrain, Hatzel, and Thiebaut proved that every graph containing an induced path of order $k$ also contains an avoidable induced path of the same order. They also asked whether one could gene…
▽ More
The concept of avoidable paths in graphs was introduced by Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius in 2019 as a common generalization of avoidable vertices and simplicial paths. In 2020, Bonamy, Defrain, Hatzel, and Thiebaut proved that every graph containing an induced path of order $k$ also contains an avoidable induced path of the same order. They also asked whether one could generalize this result to other avoidable structures, leaving the notion of avoidability up to interpretation. In this paper we address this question: we specify the concept of avoidability for arbitrary graphs equipped with two terminal vertices. We provide both positive and negative results, some of which appear to be related to the recent work by Chudnovsky, Norin, Seymour, and Turcotte [arXiv:2301.13175].
△ Less
Submitted 18 October, 2023; v1 submitted 26 August, 2022;
originally announced August 2022.
-
Sprague-Grundy values and complexity for LCTR
Authors:
Eric Gottlieb,
Matjaž Krnc,
Peter Muršič
Abstract:
Given an integer partition of $n$, we consider the impartial combinatorial game LCTR in which moves consist of removing either the left column or top row of its Young diagram. We show that for both normal and misère play, the optimal strategy can consist mostly of mirroring the opponent's moves. We also establish that both LCTR and Downright are domestic as well as returnable, and on the other han…
▽ More
Given an integer partition of $n$, we consider the impartial combinatorial game LCTR in which moves consist of removing either the left column or top row of its Young diagram. We show that for both normal and misère play, the optimal strategy can consist mostly of mirroring the opponent's moves. We also establish that both LCTR and Downright are domestic as well as returnable, and on the other hand neither tame nor forced. For both games, those structural observations allow for computing the Sprague-Grundy value any position in $O(\log(n))$ time, assuming that the time unit allows for reading an integer, or performing a basic arithmetic operation. This improves on the previously known bound of $O(n)$ due to Ilić (2019). We also cover some other complexity measures of both games, such as state-space complexity, and number of leaves and nodes in the corresponding game tree.
△ Less
Submitted 17 November, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Some results on LCTR, an impartial game on partitions
Authors:
Eric Gottlieb,
Jelena Ilić,
Matjaž Krnc
Abstract:
We apply the Sprague-Grundy Theorem to LCTR, a new impartial game on partitions in which players take turns removing either the Left Column or the Top Row of the corresponding Young diagram. We establish that the Sprague-Grundy value of any partition is at most $2$, and determine Sprague-Grundy values for several infinite families of partitions. Finally, we devise a dynamic programming approach wh…
▽ More
We apply the Sprague-Grundy Theorem to LCTR, a new impartial game on partitions in which players take turns removing either the Left Column or the Top Row of the corresponding Young diagram. We establish that the Sprague-Grundy value of any partition is at most $2$, and determine Sprague-Grundy values for several infinite families of partitions. Finally, we devise a dynamic programming approach which, for a given partition $λ$ of $n$, determines the corresponding Sprague-Grundy value in $O(n)$ time.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Graphs where Search Methods are Indistinguishable
Authors:
Matjaž Krnc,
Nevena Pivač
Abstract:
Graph searching is one of the simplest and most widely used tools in graph algorithms. Every graph search method is defined using some particular selection rule, and the analysis of the corresponding vertex orderings can aid greatly in devising algorithms, writing proofs of correctness, or recognition of various graph families. We study graphs where the sets of vertex orderings produced by two dif…
▽ More
Graph searching is one of the simplest and most widely used tools in graph algorithms. Every graph search method is defined using some particular selection rule, and the analysis of the corresponding vertex orderings can aid greatly in devising algorithms, writing proofs of correctness, or recognition of various graph families. We study graphs where the sets of vertex orderings produced by two different search methods coincide. We characterise such graph families for ten pairs from the best-known set of graph searches: Breadth First Search (BFS), Depth First Search (DFS), Lexicographic Breadth First Search (LexBFS) and Lexicographic Depth First Search (LexDFS), and Maximal Neighborhood Search (MNS).
△ Less
Submitted 6 September, 2021; v1 submitted 31 August, 2021;
originally announced September 2021.
-
Graphs with at most two moplexes
Authors:
Clément Dallard,
Robert Ganian,
Meike Hatzel,
Matjaž Krnc,
Martin Milanič
Abstract:
A moplex is a natural graph structure that arises when lifting Dirac's classical theorem from chordal graphs to general graphs. While every non-complete graph has at least two moplexes, little is known about structural properties of graphs with a bounded number of moplexes. The study of these graphs is, in part, motivated by the parallel between moplexes in general graphs and simplicial modules in…
▽ More
A moplex is a natural graph structure that arises when lifting Dirac's classical theorem from chordal graphs to general graphs. While every non-complete graph has at least two moplexes, little is known about structural properties of graphs with a bounded number of moplexes. The study of these graphs is, in part, motivated by the parallel between moplexes in general graphs and simplicial modules in chordal graphs: unlike in the moplex setting, properties of chordal graphs with a bounded number of simplicial modules are well understood. For instance, chordal graphs having at most two simplicial modules are interval.
In this work, we initiate an investigation of $k$-moplex graphs, which are defined as graphs containing at most $k$ moplexes. Of particular interest is the smallest nontrivial case $k=2$, which forms a counterpart to the class of interval graphs. As our main structural result, we show that, when restricted to connected graphs, the class of $2$-moplex graphs is sandwiched between the classes of proper interval graphs and cocomparability graphs; moreover, both inclusions are tight for hereditary classes. From a complexity theoretic viewpoint, this leads to the natural question of whether the presence of at most two moplexes guarantees a sufficient amount of structure to efficiently solve problems that are known to be intractable on cocomparability graphs, but not on proper interval graphs. We develop new reductions that answer this question negatively for two prominent problems fitting this profile, namely Graph Isomorphism and Max-Cut. On the other hand, we prove that every connected $2$-moplex graph contains a Hamiltonian path, generalising the same property of connected proper interval graphs.
△ Less
Submitted 31 January, 2023; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Towards characterizing locally common graphs
Authors:
Robert Hancock,
Daniel Kral,
Matjaz Krnc,
Jan Volec
Abstract:
A graph H is common if the number of monochromatic copies of H in a 2-edge-coloring of the complete graph is asymptotically minimized by the random coloring. The classification of common graphs is one of the most intriguing problems in extremal graph theory. We study the notion of weakly locally common graphs considered by Csóka, Hubai and Lovász [arXiv:1912.02926], where the graph is required to…
▽ More
A graph H is common if the number of monochromatic copies of H in a 2-edge-coloring of the complete graph is asymptotically minimized by the random coloring. The classification of common graphs is one of the most intriguing problems in extremal graph theory. We study the notion of weakly locally common graphs considered by Csóka, Hubai and Lovász [arXiv:1912.02926], where the graph is required to be the minimizer with respect to perturbations of the random 2-edge-coloring. We give a complete analysis of the 12 initial terms in the Taylor series determining the number of monochromatic copies of H in such perturbations and classify graphs H based on this analysis into three categories: graphs of Class I are weakly locally common, graphs of Class II are not weakly locally common, and graphs of Class III cannot be determined to be weakly locally common or not based on the initial 12 terms. As a corollary, we obtain new necessary conditions on a graph to be common and new sufficient conditions on a graph to be not common.
△ Less
Submitted 26 April, 2022; v1 submitted 4 November, 2020;
originally announced November 2020.
-
Fast recognition of some parametric graph families
Authors:
Nina Klobas,
Matjaž Krnc
Abstract:
We identify all $[1, λ, 8]$-cycle regular $I$-graphs and all $[1, λ, 8]$-cycle regular double generalized Petersen graphs. As a consequence we describe linear recognition algorithms for these graph families.
Using structural properties of folded cubes we devise a $o(N \log N)$ recognition algorithm for them.
We also study their $[1,λ,4]$, $[1,λ,6]$ and $[2, λ, 6]$-cycle regularity and settle t…
▽ More
We identify all $[1, λ, 8]$-cycle regular $I$-graphs and all $[1, λ, 8]$-cycle regular double generalized Petersen graphs. As a consequence we describe linear recognition algorithms for these graph families.
Using structural properties of folded cubes we devise a $o(N \log N)$ recognition algorithm for them.
We also study their $[1,λ,4]$, $[1,λ,6]$ and $[2, λ, 6]$-cycle regularity and settle the value of parameter $λ$.
△ Less
Submitted 5 December, 2020; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Shifting paths to avoidable ones
Authors:
Vladimir Gurvich,
Matjaž Krnc,
Martin Milanič,
Mikhail Vyalyi
Abstract:
An extension of an induced path $P$ in a graph $G$ is an induced path $P'$ such that deleting the endpoints of $P'$ results in $P$. An induced path in a graph is said to be avoidable if each of its extensions is contained in an induced cycle. In 2019, Beisegel, Chudovsky, Gurvich, Milanič, and Servatius conjectured that every graph that contains an induced $k$-vertex path also contains an avoidabl…
▽ More
An extension of an induced path $P$ in a graph $G$ is an induced path $P'$ such that deleting the endpoints of $P'$ results in $P$. An induced path in a graph is said to be avoidable if each of its extensions is contained in an induced cycle. In 2019, Beisegel, Chudovsky, Gurvich, Milanič, and Servatius conjectured that every graph that contains an induced $k$-vertex path also contains an avoidable induced path of the same length, and proved the result for $k = 2$. The case $k = 1$ was known much earlier, due to a work of Ohtsuki, Cheung, and Fujisawa in 1976. The conjecture was proved for all $k$ in 2020 by Bonamy, Defrain, Hatzel, and Thiebaut. In the present paper, using a similar approach, we strengthen their result from a reconfiguration point of view. Namely, we show that in every graph, each induced path can be transformed to an avoidable one by a sequence of shifts, where two induced $k$-vertex paths are shifts of each other if their union is an induced path with $k+1$ vertices. We also obtain analogous results for not necessarily induced paths and for walks. In contrast, the statement cannot be extended to trails or to isometric paths.
△ Less
Submitted 20 October, 2021; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Fair allocation of indivisible items with conflict graphs
Authors:
Nina Chiarelli,
Matjaž Krnc,
Martin Milanič,
Ulrich Pferschy,
Nevena Pivač,
Joachim Schauer
Abstract:
We consider the fair allocation of indivisible items to several agents and add a graph theoretical perspective to this classical problem. Namely, we introduce an incompatibility relation between pairs of items described in terms of a conflict graph. Every subset of items assigned to one agent has to form an independent set in this graph. Thus, the allocation of items to the agents corresponds to a…
▽ More
We consider the fair allocation of indivisible items to several agents and add a graph theoretical perspective to this classical problem. Namely, we introduce an incompatibility relation between pairs of items described in terms of a conflict graph. Every subset of items assigned to one agent has to form an independent set in this graph. Thus, the allocation of items to the agents corresponds to a partial coloring of the conflict graph. Every agent has its own profit valuation for every item. Aiming at a fair allocation, our goal is the maximization of the lowest total profit of items allocated to any one of the agents. The resulting optimization problem contains, as special cases, both Partition and Independent Set. In our contribution we derive complexity and algorithmic results depending on the properties of the given graph. We show that the problem is strongly NP-hard for bipartite graphs and their line graphs, and solvable in pseudo-polynomial time for the classes of chordal graphs, cocomparability graphs, biconvex bipartite graphs, and graphs of bounded treewidth. Each of the pseudo-polynomial algorithms can also be turned into a fully polynomial approximation scheme (FPTAS).
△ Less
Submitted 26 November, 2022; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Characterization of generalized Petersen graphs that are Kronecker covers
Authors:
Matjaž Krnc,
Tomaž Pisanski
Abstract:
The family of generalized Petersen graphs $G(n, k)$, introduced by Coxeter et al. [4] and named by Mark Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover $\mathrm{KC}(G)$ of a simple undirected graph $G$ is a a special type of bipartite covering graph of $G$, isomorphic to the dire…
▽ More
The family of generalized Petersen graphs $G(n, k)$, introduced by Coxeter et al. [4] and named by Mark Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover $\mathrm{KC}(G)$ of a simple undirected graph $G$ is a a special type of bipartite covering graph of $G$, isomorphic to the direct (tensor) product of $G$ and $K_2$. We characterize all the members of generalized Petersen graphs that are Kronecker covers, and describe the structure of their respective quotients. We observe that some of such quotients are again generalized Petersen graphs, and describe all such pairs.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
Recognizing generalized Petersen graphs in linear time
Authors:
Matjaž Krnc,
Robin J. Wilson
Abstract:
By identifying a local property which structurally classifies any edge, we show that the family of generalized Petersen graphs can be recognized in linear time.
By identifying a local property which structurally classifies any edge, we show that the family of generalized Petersen graphs can be recognized in linear time.
△ Less
Submitted 7 March, 2020; v1 submitted 20 January, 2017;
originally announced January 2017.
-
Closeness Centralization Measure for Two-mode Data of Prescribed Sizes
Authors:
Matjaž Krnc,
Jean-Sébastien Sereni,
Riste Škrekovski,
Zelealem B. Yilma
Abstract:
We confirm a conjecture by Everett, Sinclair, and Dankelmann~[Some Centrality results new and old, J. Math. Sociology 28 (2004), 215--227] regarding the problem of maximizing closeness centralization in two-mode data, where the number of data of each type is fixed. Intuitively, our result states that among all networks obtainable via two-mode data, the largest closeness is achieved by simply local…
▽ More
We confirm a conjecture by Everett, Sinclair, and Dankelmann~[Some Centrality results new and old, J. Math. Sociology 28 (2004), 215--227] regarding the problem of maximizing closeness centralization in two-mode data, where the number of data of each type is fixed. Intuitively, our result states that among all networks obtainable via two-mode data, the largest closeness is achieved by simply locally maximizing the closeness of a node. Mathematically, our study concerns bipartite graphs with fixed size bipartitions, and we show that the extremal configuration is a rooted tree of depth~$2$, where neighbors of the root have an equal or almost equal number of children.
△ Less
Submitted 14 August, 2016;
originally announced August 2016.
-
Cyclic colorings of plane graphs with independent faces
Authors:
Jernej Azarija,
Daniel Král',
Rok Erman,
Matjaz Krnc,
Ladislav Stacho
Abstract:
Let G be a plane graph with maximum face size D. If all faces of G with size four or more are vertex disjoint, then G has a cyclic coloring with D+1 colors, i.e., a coloring such that all vertices incident with the same face receive distinct colors.
Let G be a plane graph with maximum face size D. If all faces of G with size four or more are vertex disjoint, then G has a cyclic coloring with D+1 colors, i.e., a coloring such that all vertices incident with the same face receive distinct colors.
△ Less
Submitted 17 November, 2008;
originally announced November 2008.