中文
相关论文

相关论文: Simultaneous FPQ-Ordering and Hybrid Planarity Tes…

200 篇论文

We study the computational complexity of graph planarization via edge contraction. The problem CONTRACT asks whether there exists a set $S$ of at most $k$ edges that when contracted produces a planar graph. We work with a more general…

数据结构与算法 · 计算机科学 2017-05-08 James Abello , Pavel Klavík , Jan Kratochvíl , Tomáš Vyskočil

We consider the task of detecting a hidden bipartite subgraph in a given random graph. This is formulated as a hypothesis testing problem, under the null hypothesis, the graph is a realization of an Erd\H{o}s-R\'{e}nyi random graph over $n$…

数据结构与算法 · 计算机科学 2024-03-07 Asaf Rotenberg , Wasim Huleihel , Ofer Shayevitz

A number of scientific fields rely on placing permanent magnets in order to produce a desired magnetic field. We have shown in recent work that the placement process can be formulated as sparse regression. However, binary, grid-aligned…

等离子体物理 · 物理学 2023-02-15 Alan A. Kaptanoglu , Rory Conlin , Matt Landreman

introduce {\sc Planar Disjoint Paths Completion}, a completion counterpart of the Disjoint Paths problem, and study its parameterized complexity. The problem can be stated as follows: given a, not necessarily connected, plane graph $G,$ $k$…

数据结构与算法 · 计算机科学 2015-11-18 Isolde Adler , Stavros G. Kolliopoulos , Dimitrios M. Thilikos

We present a new model for hybrid planarity that relaxes existing hybrid representations. A graph $G = (V,E)$ is $(k,p)$-planar if $V$ can be partitioned into clusters of size at most $k$ such that $G$ admits a drawing where: (i) each…

数据结构与算法 · 计算机科学 2018-09-25 Emilio Di Giacomo , William J. Lenhart , Giuseppe Liotta , Timothy W. Randolph , Alessandra Tappini

Our starting point is the observation that if graphs in a class C have low descriptive complexity in first order logic, then the isomorphism problem for C is solvable by a fast parallel algorithm (essentially, by a simple combinatorial…

计算复杂性 · 计算机科学 2007-05-23 Martin Grohe , Oleg Verbitsky

We study the detection problem of finding planted solutions in random instances of flat satisfiability problems, a generalization of boolean satisfiability formulas. We describe the properties of random instances of flat satisfiability, as…

统计理论 · 数学 2019-03-07 Quentin Berthet , Jordan S. Ellenberg

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…

计算几何 · 计算机科学 2007-05-23 C. Erten , S. G. Kobourov

In recent work by Johnson et al. (2022), a framework was described for the study of graph problems over classes specified by omitting each of a finite set of graphs as subgraphs. If a problem falls into the framework then its computational…

计算复杂性 · 计算机科学 2025-03-17 Tala Eagling-Vose , Barnaby Martin , Daniel Paulusma , Siani Smith

Recently, Fulek et al. have presented Hanani-Tutte results for (radial) level planarity, i.e., a graph is (radial) level planar if it admits a (radial) level drawing where any two (independent) edges cross an even number of times. We show…

离散数学 · 计算机科学 2018-08-30 Guido Brückner , Ignaz Rutter , Peter Stumpf

Given $k$ input graphs $G_1, \dots ,G_k$, where each pair $G_i$, $G_j$ with $i \neq j$ shares the same graph $G$, the problem Simultaneous Embedding With Fixed Edges (SEFE) asks whether there exists a planar drawing for each input graph…

数据结构与算法 · 计算机科学 2025-05-01 Simon D. Fink , Matthias Pfretzschner , Ignaz Rutter

This article studies the problem of modifying the action ordering of a plan in order to optimise the plan according to various criteria. One of these criteria is to make a plan less constrained and the other is to minimize its parallel…

人工智能 · 计算机科学 2011-05-30 C. Backstrom

We show an $O(n)$-time reduction from the problem of testing whether a multiset of positive integers can be partitioned into two multisets so that the sum of the integers in each multiset is equal to $n/2$ to the problem of testing whether…

数据结构与算法 · 计算机科学 2023-12-27 Fabrizio Frati

We investigate the problem of drawing two posets of the same ground set so that one is drawn from left to right and the other one is drawn from the bottom up. The input to this problem is a directed graph $G = (V, E)$ and two sets $X, Y$…

计算几何 · 计算机科学 2020-10-27 Guido Brückner , Vera Chekan

Fan-planar graphs were recently introduced as a generalization of 1-planar graphs. A graph is fan-planar if it can be embedded in the plane, such that each edge that is crossed more than once, is crossed by a bundle of two or more edges…

计算几何 · 计算机科学 2014-09-02 Michael A. Bekos , Sabine Cornelsen , Luca Grilli , Seok-Hee Hong , Michael Kaufmann

We review some recent results in the generic rigidity theory of planar frameworks with forced symmetry, giving a uniform treatment to the topic. We also give new combinatorial characterizations of minimally rigid periodic frameworks with…

几何拓扑 · 数学 2012-03-06 Justin Malestein , Louis Theran

We study the recognition complexity of subgraphs of k-connected planar cubic graphs for k = 1, 2, 3. We present polynomial-time algorithms to recognize subgraphs of 1- and 2-connected planar cubic graphs, both in the variable and fixed…

离散数学 · 计算机科学 2024-10-15 Miriam Goetze , Paul Jungeblut , Torsten Ueckerdt

This paper investigates concurrency-constrained scheduling problems, where the objective is to construct a schedule for a set of jobs subject to concurrency restrictions. Formally, we are given a conflict graph $G$ defined over a set of $n$…

离散数学 · 计算机科学 2025-06-30 Hans L. Bodlaender , Danny Hermelin , Erik Jan van Leeuwen

Given a bipartite graph $G=(V_b,V_r,E)$, the $2$-Level Quasi-Planarity problem asks for the existence of a drawing of $G$ in the plane such that the vertices in $V_b$ and in $V_r$ lie along two parallel lines $\ell_b$ and $\ell_r$,…

数据结构与算法 · 计算机科学 2020-11-05 Patrizio Angelini , Giordano Da Lozzo , Giuseppe Di Battista , Fabrizio Frati , Maurizio Patrignani

Upward planarity testing and Rectilinear planarity testing are central problems in graph drawing. It is known that they are both NP-complete, but XP when parameterized by treewidth. In this paper we show that these two problems are…