English
Related papers

Related papers: Simultaneous Representation of Proper and Unit Int…

200 papers

The literature on word-representable graphs is quite rich, and a number of variations of the original definition have been proposed over the years. We are initiating a systematic study of such variations based on formal languages. In our…

Discrete Mathematics · Computer Science 2024-11-06 Zhidan Feng , Henning Fernau , Pamela Fleischmann , Kevin Mann , Silas Cato Sacher

The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of…

Discrete Mathematics · Computer Science 2017-05-25 René van Bevern , Robert Bredereck , Laurent Bulteau , Jiehua Chen , Vincent Froese , Rolf Niedermeier , Gerhard J. Woeginger

We prove that triangulated IC-planar and NIC-planar graphs can be recognized in cubic time. A graph is 1-planar if it can be drawn in the plane with at most one crossing per edge. A drawing is IC-planar if, in addition, each vertex is…

Discrete Mathematics · Computer Science 2016-10-28 Franz J. Brandenburg

In this paper we study the class of bi-arc digraphs, important from two seemingly unrelated perspectives. On the one hand, they are precisely the digraphs that admit certain polymorphisms of interest in the study of constraint satisfaction…

Data Structures and Algorithms · Computer Science 2020-03-03 Pavol Hell , Akbar Rafiey , Arash Rafiey

Graphcodes were recently introduced as a technique to employ two-parameter persistence modules in machine learning tasks (Kerber and Russold, NeurIPS 2024). We show in this work that a compressed version of graphcodes yields a description…

Algebraic Topology · Mathematics 2025-03-11 Michael Kerber , Florian Russold

A cocomparability graph is a graph whose complement admits a transitive orientation. An interval graph is the intersection graph of a family of intervals on the real line. In this paper we investigate the relationships between interval and…

Discrete Mathematics · Computer Science 2016-11-08 Jérémie Dusart , Michel Habib , Derek G. Corneil

The best merge problem in industrial data science generates instances where disparate data sources place incompatible relational structures on the same set $V$ of objects. Graph vertex labelling data may include (1) missing or erroneous…

Combinatorics · Mathematics 2018-09-25 R. W. R. Darling , David G. Harris , Dev R. Phulara , John A. Proos

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

Temporal graphs are a special class of graphs for which a temporal component is added to edges, that is, each edge possesses a set of times at which it is available and can be traversed. Many classical problems on graphs can be translated…

Data Structures and Algorithms · Computer Science 2025-04-10 Lapo Cioni , Riccardo Dondi , Andrea Marino , Jason Schoeters , Ana Silva

Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a challenging task. In this paper we study the graph mining…

Logic in Computer Science · Computer Science 2016-09-01 Matthias van der Hallen , Sergey Paramonov , Michael Leuschel , Gerda Janssens

The complexity of graph isomorphism (GraphIso) is a famous unresolved problem in theoretical computer science. For graphs $G$ and $H$, it asks whether they are the same up to a relabeling of vertices. In 1981, Lubiw proved that list…

Discrete Mathematics · Computer Science 2016-11-03 Pavel Klavik , Dušan Knop , Peter Zeman

A rectangle visibility representation (RVR) of a graph consists of an assignment of axis-aligned rectangles to vertices such that for every edge there exists a horizontal or vertical line of sight between the rectangles assigned to its…

Computational Geometry · Computer Science 2019-09-04 Therese Biedl , Giuseppe Liotta , Fabrizio Montecchiani

Stick graphs are intersection graphs of horizontal and vertical line segments that all touch a line of slope -1 and lie above this line. De Luca et al. [GD'18] considered the recognition problem of stick graphs when no order is given…

Computational Geometry · Computer Science 2020-06-23 Steven Chaplick , Philipp Kindermann , Andre Löffler , Florian Thiele , Alexander Wolff , Alexander Zaft , Johannes Zink

Identifying the sets of operations that can be executed simultaneously is an important problem appearing in many parallel applications. By modeling the operations and their interactions as a graph, one can identify the independent…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-28 Ahmet Erdem Sarıyüce , Erik Saule , Ümit V. Çatalyürek

The independent set on a graph $G=(V,E)$ is a subset of $V$ such that no two vertices in the subset have an edge between them. The MIS problem on $G$ seeks to identify an independent set with maximum cardinality, i.e. maximum independent…

Data Structures and Algorithms · Computer Science 2017-05-26 Bhadrachalam Chitturi

Block graphs are graphs in which every block (biconnected component) is a clique. A graph $G=(V,E)$ is said to be an (unpartitioned) $k$-probe block graph if there exist $k$ independent sets $N_i\subseteq V$, $1\le i\le k$, such that the…

Combinatorics · Mathematics 2016-11-22 Van Bang Le , Sheng-Lung Peng

Traditional representations of graphs and their duals suggest the requirement that the dual vertices be placed inside their corresponding primal faces, and the edges of the dual graph cross only their corresponding primal edges. We consider…

Computational Geometry · Computer Science 2007-05-23 C. Erten , S. G. Kobourov

For an arbitrary word $w$ on an alphabet, we can define the alternating symbol graph, $G(w)$, as the graph in which the edge $(a, b)$ is in $E$ iff the letters $a$ and $b$ alternate in the word $w$. A graph $G = (V, E)$ is said to be…

Combinatorics · Mathematics 2018-06-14 Ameya Daigavane , Mrityunjay Singh , Benny K. George

The subgraph enumeration problem asks us to find all subgraphs of a target graph that are isomorphic to a given pattern graph. Determining whether even one such isomorphic subgraph exists is NP-complete---and therefore finding all such…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-29 Raphael Kimmig , Henning Meyerhenke , Darren Strash

Subgraph isomorphism is a well-known NP-hard problem which is widely used in many applications, such as social network analysis and knowledge graph query. Its performance is often limited by the inherent hardness. Several insightful works…

Databases · Computer Science 2021-04-21 Li Zeng , Yan Jiang , Weixin Lu , Lei Zou