-
Open Problems in Continuous Graphs
Authors:
Alexander Grigoriev,
Katherine Faulkner
Abstract:
Inspired by notorious combinatorial optimization problems on graphs, in this paper we propose a series of related problems defined using a metric space and topology determined by a graph. Particularly, we present Independent Set, Vertex Cover, Chromatic Number and Treewidth problems on, so-called, continuous graphs where every edge is represented by a unit-length continuous interval rather than by…
▽ More
Inspired by notorious combinatorial optimization problems on graphs, in this paper we propose a series of related problems defined using a metric space and topology determined by a graph. Particularly, we present Independent Set, Vertex Cover, Chromatic Number and Treewidth problems on, so-called, continuous graphs where every edge is represented by a unit-length continuous interval rather than by a pair of vertices. If any point of any unit-interval edge is considered as a possible member of a hitting set or a cover, the classical combinatorial problems become trickier and many open questions arise. Notably, in many real-life applications, such continuous view on a graph is more natural than the classic combinatorial definition of a graph.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
Envy-free dynamic pricing schemes
Authors:
Kristóf Bérczi,
Laura Codazzi,
Julian Golak,
Alexander Grigoriev
Abstract:
A combinatorial market consists of a set of indivisible items and a set of agents, where each agent has a valuation function that specifies for each subset of items its value for the given agent. From an optimization point of view, the goal is usually to determine a pair of pricing and allocation of the items that provides an efficient distribution of the resources, i.e., maximizes the social welf…
▽ More
A combinatorial market consists of a set of indivisible items and a set of agents, where each agent has a valuation function that specifies for each subset of items its value for the given agent. From an optimization point of view, the goal is usually to determine a pair of pricing and allocation of the items that provides an efficient distribution of the resources, i.e., maximizes the social welfare, or is as profitable as possible for the seller, i.e., maximizes the revenue. To overcome the weaknesses of mechanisms operating with static prices, a recent line of research has concentrated on dynamic pricing schemes. In this model, agents arrive in an unspecified sequential order, and the prices can be updated between two agent-arrivals. Though the dynamic setting is capable of maximizing social welfare in various scenarios, the assumption that the agents arrive one after the other eliminates the standard concept of fairness.
In this paper, we study the existence of optimal dynamic prices under fairness constraints in unit-demand markets. We propose four possible notions of envy-freeness of different strength depending on the time period over which agents compare themselves to others: the entire time horizon, only the past, only the future, or only the present. For social welfare maximization, while the first definition leads to Walrasian equilibria, we give polynomial-time algorithms that always find envy-free optimal dynamic prices in the remaining three cases. In contrast, for revenue maximization, we show that the corresponding problems are APX-hard if the ordering of the agents is fixed. On the positive side, we give polynomial-time algorithms for the setting when the seller can choose the order in which agents arrive.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
Interactive Duplicate Search in Software Documentation
Authors:
D. V. Luciv,
D. V. Koznov,
A. A. Shelikhovskii,
K. Yu. Romanovsky,
G. A. Chernishev,
A. N. Terekhov,
D. A. Grigoriev,
A. N. Smirnova,
D. V. Borovkov,
A. I. Vasenina
Abstract:
Various software features such as classes, methods, requirements, and tests often have similar functionality. This can lead to emergence of duplicates in their descriptive documentation. Uncontrolled duplicates created via copy/paste hinder the process of documentation maintenance. Therefore, the task of duplicate detection in software documentation is of importance. Solving it makes planned reuse…
▽ More
Various software features such as classes, methods, requirements, and tests often have similar functionality. This can lead to emergence of duplicates in their descriptive documentation. Uncontrolled duplicates created via copy/paste hinder the process of documentation maintenance. Therefore, the task of duplicate detection in software documentation is of importance. Solving it makes planned reuse possible, as well as creating and using templates for unification and automatic generation of documentation. In this paper, we present an interactive process for duplicate detection that involves the user in order to conduct meaningful search. It includes a new formal definition of a near duplicate, a pattern-based, and the proof of its completeness. Moreover, we demonstrate the results of experimenting on a collection of documents of several industrial projects.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Knot Diagrams of Treewidth Two
Authors:
Hans L. Bodlaender,
Benjamin Burton,
Fedor V. Fomin,
Alexander Grigoriev
Abstract:
In this paper, we study knot diagrams for which the underlying graph has treewidth two. We give a linear time algorithm for the following problem: given a knot diagram of treewidth two, does it represent the unknot? We also show that for a link diagram of treewidth two we can test in linear time if it represents the unlink. From the algorithm, it follows that a diagram of the unknot of treewidth 2…
▽ More
In this paper, we study knot diagrams for which the underlying graph has treewidth two. We give a linear time algorithm for the following problem: given a knot diagram of treewidth two, does it represent the unknot? We also show that for a link diagram of treewidth two we can test in linear time if it represents the unlink. From the algorithm, it follows that a diagram of the unknot of treewidth 2 can always be reduced to the trivial diagram with at most $n$ (un)twist and (un)poke Reidemeister moves.
△ Less
Submitted 8 April, 2019; v1 submitted 5 April, 2019;
originally announced April 2019.
-
Dispersing obnoxious facilities on a graph
Authors:
Alexander Grigoriev,
Tim A. Hartmann,
Stefan Lendl,
Gerhard J. Woeginger
Abstract:
We study a continuous facility location problem on a graph where all edges have unit length and where the facilities may also be positioned in the interior of the edges. The goal is to position as many facilities as possible subject to the condition that any two facilities have at least distance $δ$ from each other. We investigate the complexity of this problem in terms of the rational parameter…
▽ More
We study a continuous facility location problem on a graph where all edges have unit length and where the facilities may also be positioned in the interior of the edges. The goal is to position as many facilities as possible subject to the condition that any two facilities have at least distance $δ$ from each other. We investigate the complexity of this problem in terms of the rational parameter $δ$. The problem is polynomially solvable, if the numerator of $δ$ is $1$ or $2$, while all other cases turn out to be NP-hard.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Combinatorial Properties and Recognition of Unit Square Visibility Graphs
Authors:
Katrin Casel,
Henning Fernau,
Alexander Grigoriev,
Markus L. Schmid,
Sue Whitesides
Abstract:
Unit square (grid) visibility graphs (USV and USGV, resp.) are described by axis-parallel visibility between unit squares placed (on integer grid coordinates) in the plane. We investigate combinatorial properties of these graph classes and the hardness of variants of the recognition problem, i.e., the problem of representing USGV with fixed visibilities within small area and, for USV, the general…
▽ More
Unit square (grid) visibility graphs (USV and USGV, resp.) are described by axis-parallel visibility between unit squares placed (on integer grid coordinates) in the plane. We investigate combinatorial properties of these graph classes and the hardness of variants of the recognition problem, i.e., the problem of representing USGV with fixed visibilities within small area and, for USV, the general recognition problem.
△ Less
Submitted 20 October, 2017; v1 submitted 19 June, 2017;
originally announced June 2017.
-
On low treewidth graphs and supertrees
Authors:
Alexander Grigoriev,
Steven Kelk,
Nela Lekic
Abstract:
Compatibility of unrooted phylogenetic trees is a well studied problem in phylogenetics. It asks to determine whether for a set of k input trees there exists a larger tree (called a supertree) that contains the topologies of all k input trees. When any such supertree exists we call the instance compatible and otherwise incompatible. It is known that the problem is NP-hard and FPT, although a const…
▽ More
Compatibility of unrooted phylogenetic trees is a well studied problem in phylogenetics. It asks to determine whether for a set of k input trees there exists a larger tree (called a supertree) that contains the topologies of all k input trees. When any such supertree exists we call the instance compatible and otherwise incompatible. It is known that the problem is NP-hard and FPT, although a constructive FPT algorithm is not known. It has been shown that whenever the treewidth of an auxiliary structure known as the display graph is strictly larger than the number of input trees, the instance is incompatible. Here we show that whenever the treewidth of the display graph is at most 2, the instance is compatible. Furthermore, we give a polynomial-time algorithm to construct a supertree in this case. Finally, we demonstrate both compatible and incompatible instances that have display graphs with treewidth 3, highlighting that the treewidth of the display graph is (on its own) not sufficient to determine compatibility.
△ Less
Submitted 28 February, 2014;
originally announced February 2014.
-
Bidimensionality of Geometric Intersection Graphs
Authors:
Alexander Grigoriev,
Athanassios Koutsonas,
Dimitrios M. Thilikos
Abstract:
Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric intersection graphs GB where each body of the collection B is represented by a vertex, and two vertices of GB are adjacent if the intersection of the correspondin…
▽ More
Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric intersection graphs GB where each body of the collection B is represented by a vertex, and two vertices of GB are adjacent if the intersection of the corresponding bodies is non-empty. For such graph classes and under natural restrictions on their maximum degree or subgraph exclusion, we prove that the relation between their treewidth and the maximum size of a grid minor is linear. These combinatorial results vastly extend the applicability of all the meta-algorithmic results of the bidimensionality theory to geometrically defined graph classes.
△ Less
Submitted 28 August, 2013;
originally announced August 2013.
