English
Related papers

Related papers: On Satisfiability Problems with a Linear Structure

200 papers

Stick graphs are defined as follows. Let A (respectively B) be a set of vertical (respectively horizontal) segments in the plane such that the bottom endpoints of the segments in A and the left endpoints of the segments in B lie on the same…

Computational Complexity · Computer Science 2022-10-25 Irena Rusu

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…

Discrete Mathematics · Computer Science 2023-08-21 Nina Chiarelli , Matjaž Krnc , Martin Milanič , Ulrich Pferschy , Joachim Schauer

In this paper, we study the relations between the numerical structure of the optimal solutions of a convex programming problem defined on the edge set of a simple graph and the stability number (i.e. the maximum size of a subset of pairwise…

Combinatorics · Mathematics 2007-05-23 G. Greco

The paper presents a polynomial time approximation schema for the edge-weighted version of maximum k-vertex cover problem in bipartite graphs.

Computational Complexity · Computer Science 2019-09-19 Vangelis Th. Paschos

Knuth (1990) introduced the class of nested formulas and showed that their satisfiability can be decided in polynomial time. We show that, parameterized by the size of a smallest strong backdoor set to the target class of nested formulas,…

Data Structures and Algorithms · Computer Science 2012-03-07 Serge Gaspers , Stefan Szeider

We present an algorithm for determining whether a bipartite graph $G$ is 2-chordal (formerly doubly chordal bipartite). At its core this algorithm is an extension of the existing efficient algorithm for determining whether a graph is…

Combinatorics · Mathematics 2021-04-13 Austin Alderete

Bipartite incidence graph sampling provides a unified representation of many sampling situations for the purpose of estimation, including the existing unconventional sampling methods, such as indirect, network or adaptive cluster sampling,…

Statistics Theory · Mathematics 2020-04-10 Martina Patone , Li-Chun Zhang

An edge-colored graph is said to be balanced if it has an equal number of edges of each color. Given a graph $G$ whose edges are colored using two colors and a positive integer $k$, the objective in the Edge Balanced Connected Subgraph…

Data Structures and Algorithms · Computer Science 2024-04-03 P. S. Ardra , R. Krithika , Saket Saurabh , Roohani Sharma

We show how to test the bipartiteness of an intersection graph of n line segments or simple polygons in the plane, or of balls in R^d, in time O(n log n). More generally we find subquadratic algorithms for connectivity and bipartiteness…

Computational Geometry · Computer Science 2009-05-23 David Eppstein

A set of vertices in a graph is c-colorable if the subgraph induced by the set has a proper c-coloring. In this paper, we study the problem of finding a step-by-step transformation (reconfiguration) between two c-colorable sets in the same…

Data Structures and Algorithms · Computer Science 2018-02-20 Takehiro Ito , Yota Otachi

We consider popular matching problems in both bipartite and non-bipartite graphs with strict preference lists. It is known that every stable matching is a min-size popular matching. A subclass of max-size popular matchings called dominant…

Discrete Mathematics · Computer Science 2018-06-13 Yuri Faenza , Telikepalli Kavitha , Vladlena Powers , Xingyu Zhang

In this paper, we study the complexity of the chip-firing reachability problem. We show that for Eulerian digraphs, the reachability problem can be decided in strongly polynomial time, even if the digraph has multiple edges. We also show a…

Combinatorics · Mathematics 2017-05-23 Bálint Hujter , Viktor Kiss , Lilla Tóthmérész

We propose bipartite analogues of comparability and cocomparability graphs. Surprizingly, the two classes coincide. We call these bipartite graphs cocomparability bigraphs. We characterize cocomparability bigraphs in terms of vertex…

Combinatorics · Mathematics 2019-02-04 Pavol Hell , Jing Huang , Jephian C. -H. Lin , Ross M. McConnell

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…

Discrete Mathematics · Computer Science 2022-11-29 Nina Chiarelli , Matjaž Krnc , Martin Milanič , Ulrich Pferschy , Nevena Pivač , Joachim Schauer

In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of…

Data Structures and Algorithms · Computer Science 2016-10-10 Athanasios Konstantinidis , Charis Papadopoulos

A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of…

Discrete Mathematics · Computer Science 2021-09-09 Khyodeno Mozhui , K. V. Krishna

The extension complexity $\mathsf{xc}(P)$ of a polytope $P$ is the minimum number of facets of a polytope that affinely projects to $P$. Let $G$ be a bipartite graph with $n$ vertices, $m$ edges, and no isolated vertices. Let…

Discrete Mathematics · Computer Science 2017-06-06 Manuel Aprile , Yuri Faenza , Samuel Fiorini , Tony Huynh , Marco Macchia

We study the \emph{Bipartite Degree Realization} (BDR) problem: given a graphic degree sequence $D$, decide whether it admits a realization as a bipartite graph. While bipartite realizability for a fixed vertex partition can be decided in…

Combinatorics · Mathematics 2026-01-01 István Miklós

The approach mapping from a matching of bipartite graphs to digraphs has been successfully used for forcing set problem, in this paper, it is extended to uniquely restricted matching problem. We show to determine a uniquely restricted…

Computational Complexity · Computer Science 2010-09-29 Guohun Zhu

A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We first show that every such…

Combinatorics · Mathematics 2019-03-19 Vaibhav Karve , Anil N. Hirani
‹ Prev 1 4 5 6 7 8 10 Next ›