English
Related papers

Related papers: The Isomorphism Problem for Planar 3-Connected Gra…

200 papers

A graph is $k$-planar if it can be drawn in the plane such that no edge is crossed more than $k$ times. While for $k=1$, optimal $1$-planar graphs, i.e., those with $n$ vertices and exactly $4n-8$ edges, have been completely characterized,…

Computational Geometry · Computer Science 2017-03-21 Michael A. Bekos , Michael Kaufmann , Chrysanthi N. Raftopoulou

We prove a complexity dichotomy theorem for a class of Holant problems on planar 3-regular bipartite graphs. The complexity dichotomy states that for every weighted constraint function $f$ defining the problem (the weights can even be…

Computational Complexity · Computer Science 2023-03-30 Jin-Yi Cai , Austen Z. Fan

We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that…

Logic · Mathematics 2019-08-16 Samuel Coskey , Paul Ellis

We define a solvable extension of the graph 2-step nilpotent Lie algebras of [5] by adding elements corresponding to the 3-cliques of the graph. We study some of their basic properties and we prove that two such Lie algebras are isomorphic…

Rings and Algebras · Mathematics 2017-09-21 Gueo Grantcharov , Vladimir Grantcharov , Plamen Iliev

This paper presents a new graph isomorphism invariant, called $\mathfrak{w}$-labeling, that can be used to design a polynomial-time algorithm for solving the graph isomorphism problem for various graph classes. For example, all…

Data Structures and Algorithms · Computer Science 2023-01-24 Alpár Jüttner , Péter Madarasi

We show via two different algorithms that finding the length of the longest path in planar directed acyclic graph (DAG) is in unambiguous logspace UL, and also in the complement class co-UL. The result extends to toroidal DAGs as well.

Computational Complexity · Computer Science 2008-02-13 Nutan Limaye , Meena Mahajan , Prajakta Nimbhorkar

We show that the 1-planar slope number of 3-connected cubic 1-planar graphs is at most 4 when edges are drawn as polygonal curves with at most 1 bend each. This bound is obtained by drawings whose vertex and crossing resolution is at least…

Computational Geometry · Computer Science 2018-08-28 Philipp Kindermann , Fabrizio Montecchiani , Lena Schlipf , André Schulz

We prove that every 3-connected planar graph on $n$ vertices contains an induced path on $\Omega(\log n)$ vertices, which is best possible and improves the best known lower bound by a multiplicative factor of $\log \log n$. We deduce that…

Combinatorics · Mathematics 2016-12-20 Louis Esperet , Laetitia Lemoine , Frédéric Maffray

An NP-complete coloring or homomorphism problem may become polynomial time solvable when restricted to graphs with degrees bounded by a small number, but remain NP-complete if the bound is higher. For instance, 3-colorability of graphs with…

Combinatorics · Mathematics 2012-11-29 Aurosish Mishra , Pavol Hell

An $H$-graph is an intersection graph of connected subgraphs of a suitable subdivision of a fixed graph $H$. Many important classes of graphs, including interval graphs, circular-arc graphs, and chordal graphs, can be expressed as…

Data Structures and Algorithms · Computer Science 2022-06-28 Deniz Ağaoğlu Çağırıcı , Peter Zeman

An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We study the edge-identifying code problem, i.e. the identifying code…

Combinatorics · Mathematics 2014-03-19 Florent Foucaud , Sylvain Gravier , Reza Naserasr , Aline Parreau , Petru Valicov

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives…

Combinatorics · Mathematics 2014-04-23 Yangjing Long

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

An instance of the Connected Maximum Cut problem consists of an undirected graph G = (V, E) and the goal is to find a subset of vertices S $\subseteq$ V that maximizes the number of edges in the cut \delta(S) such that the induced graph…

Data Structures and Algorithms · Computer Science 2015-07-03 MohammadTaghi Hajiaghayi , Guy Kortsarz , Robert MacDavid , Manish Purohit , Kanthi Sarpatwar

In this article we investigate the structure of uniformly $k$-connected and uniformly $k$-edge-connected graphs. Whereas both types have previously been studied independent of each other, we analyze relations between these two classes. We…

Combinatorics · Mathematics 2021-03-08 Frank Göring , Tobias Hofmann , Manuel Streicher

We establish a one-to-one correspondence between 1-planar graphs and general and hole-free 4-map graphs and show that 1-planar graphs can be recognized in polynomial time if they are crossing-augmented, fully triangulated, and maximal…

Computational Geometry · Computer Science 2015-09-14 Franz J. Brandenburg

List colouring is an NP-complete decision problem even if the total number of colours is three. It is hard even on planar bipartite graphs. We give a polynomial-time algorithm for solving list colouring of permutation graphs with a bounded…

Discrete Mathematics · Computer Science 2012-06-25 Jessica Enright , Lorna Stewart , Gabor Tardos

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation…

Computational Complexity · Computer Science 2019-02-12 Massimo Equi , Roberto Grossi , Alexandru I. Tomescu , Veli Mäkinen

Building on work of Cai, F\"urer, and Immerman \cite{CFI92}, we show two hardness results for the Graph Isomorphism problem. First, we show that there are pairs of nonisomorphic $n$-vertex graphs $G$ and $H$ such that any sum-of-squares…

Computational Complexity · Computer Science 2014-01-13 Ryan O'Donnell , John Wright , Chenggang Wu , Yuan Zhou

Hypergraph matching has recently become a popular approach for solving correspondence problems in computer vision as it allows to integrate higher-order geometric information. Hypergraph matching can be formulated as a third-order…

Computer Vision and Pattern Recognition · Computer Science 2016-11-17 Quynh Nguyen , Francesco Tudisco , Antoine Gautier , Matthias Hein
‹ Prev 1 3 4 5 6 7 10 Next ›