English
Related papers

Related papers: Monotone Bounded Depth Formula Complexity of Graph…

200 papers

The singularity degree of a semidefinite programming problem is the smallest number of facial reduction steps to make the problem strictly feasible. We introduce two new graph parameters, called the singularity degree and the nondegenerate…

Optimization and Control · Mathematics 2016-11-08 Shin-ichi Tanigawa

The following optimization problem was introduced in \cite{gutinDAM}, where it was motivated by a real-world problem in defence logistics. Suppose we are given a pair of digraphs $D,H$ and a positive cost $c_i(u)$ for each $u\in V(D)$ and…

Discrete Mathematics · Computer Science 2007-05-23 G. Gutin , A. Rafiey , A. Yeo

We explore the two holographic complexity proposals for the case of a 2d boundary CFT with a conformal defect. We focus on a Randall-Sundrum type model of a thin AdS$_2$ brane embedded in AdS$_3$. We find that, using the "complexity=volume"…

High Energy Physics - Theory · Physics 2019-06-05 Shira Chapman , Dongsheng Ge , Giuseppe Policastro

We introduce the partition function of edge-colored graph homomorphisms, of which the usual partition function of graph homomorphisms is a specialization, and present an efficient algorithm to approximate it in a certain domain. Corollaries…

Combinatorics · Mathematics 2015-05-05 Alexander Barvinok , Pablo Soberón

Chordal structure and bounded treewidth allow for efficient computation in numerical linear algebra, graphical models, constraint satisfaction and many other areas. In this paper, we begin the study of how to exploit chordal structure in…

Symbolic Computation · Computer Science 2017-01-03 Diego Cifuentes , Pablo Parrilo

Structural graph parameters, such as treewidth, pathwidth, and clique-width, are a central topic of study in parameterized complexity. A main aim of research in this area is to understand the "price of generality" of these widths: as we…

Data Structures and Algorithms · Computer Science 2022-04-19 Rémy Belmonte , Eun Jung Kim , Michael Lampis , Valia Mitsou , Yota Otachi

We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in $\Sigma_2^p$. In the case of linear matroids, which are represented over polynomially growing fields, we note that the problem is…

Computational Complexity · Computer Science 2008-11-25 Raghavendra Rao B. V. , Jayalal M. N. Sarma

We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of…

A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with…

The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to…

Combinatorics · Mathematics 2014-09-25 Daniel J. Harvey , David R. Wood

In a recent paper, Kwon and Oum claim that every graph of bounded rank-width is a pivot-minor of a graph of bounded tree-width (while the converse has been known true already before). We study the analogous questions for "depth" parameters…

Discrete Mathematics · Computer Science 2014-03-28 Petr Hliněný , O-joung Kwon , Jan Obdržálek , Sebastian Ordyniak

We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in…

Combinatorics · Mathematics 2022-05-02 Somnath Basu , Dhruv Bhasin , Siddhartha Lal , Siddhartha Patra

We introduce the tree distance, a new distance measure on graphs. The tree distance can be computed in polynomial time with standard methods from convex optimization. It is based on the notion of fractional isomorphism, a characterization…

Discrete Mathematics · Computer Science 2021-04-30 Jan Böker

We exhibit a monotone function computable by a monotone circuit of quasipolynomial size such that any monotone circuit of polynomial depth requires exponential size. This is the first size-depth tradeoff result for monotone circuits in the…

Computational Complexity · Computer Science 2024-11-22 Mika Göös , Gilbert Maystre , Kilian Risse , Dmitry Sokolov

In this paper, we study the parallel and the space complexity of the graph isomorphism problem (\GI{}) for several parameterizations. Let $\mathcal{H}=\{H_1,H_2,\cdots,H_l\}$ be a finite set of graphs where $|V(H_i)|\leq d$ for all $i$ and…

Computational Complexity · Computer Science 2017-12-04 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

We discuss how to find the well-covered dimension of a graph that is the Cartesian product of paths, cycles, complete graphs, and other simple graphs. Also, a bound for the well-covered dimension of $K_n\times G$ is found, provided that $G$…

Combinatorics · Mathematics 2015-03-13 Isaac Birnbaum , Megan Kuneli , Robyn McDonald , Katherine Urabe , Oscar Vega

Motivated by the definition of the edge elimination polynomial of a graph we define the covered components polynomial counting spanning subgraphs with respect to their number of components, edges and covered components. We prove a…

Combinatorics · Mathematics 2012-03-02 Martin Trinks

We give a formula for homotopy limits and homotopy colimits of diagrams of chain complexes using the cobar and bar constructions, also known as the Bousfield--Kan formula. Along the way, we show that the Bousfield--Kan formula computes…

Algebraic Topology · Mathematics 2026-03-30 Kensuke Arakawa

We prove the formula $TC(G\ast H)=\max\{TC(G), TC(H), cd(G\times H)\}$ for the topological complexity of the free product of discrete groups with cohomological dimension >2.

Algebraic Topology · Mathematics 2017-11-02 Alexander Dranishnikov , Rustam Sadykov

Given a graph $G=(V, E)$ and and a proper labeling $f$ from $V$ to $\{1, ..., n\}$, we define $B(f)$ as the maximum absolute difference between $f(u)$ and $f(v)$ where $(u,v)\in E$. The bandwidth of $G$ is the minimum $B(f)$ for all $f$.…

Data Structures and Algorithms · Computer Science 2012-11-02 Hao-Hsiang Hung