English
Related papers

Related papers: A note on the computational complexity of weak sat…

200 papers

Real-world networks often exhibit strong transitivity with nontrivial local clustering spectra and degree correlations. Such features are not easily modeled in tractable network models, creating an obstacle to the theoretical understanding…

Physics and Society · Physics 2026-05-26 Lorenzo Cirigliano , Gareth J. Baxter , Gábor Timár

We study the computational complexity of an important property of simple, regular and weighted games, which is decisiveness. We show that this concept can naturally be represented in the context of hypergraph theory, and that decisiveness…

Computer Science and Game Theory · Computer Science 2013-07-10 Andreas Polyméris , Fabián Riquelme

We consider the lattice of all the weak factorization systems on a given finite lattice. We prove that it is semidistributive, trim and congruence uniform. We deduce a graph theoretical approach to the problem of enumerating transfer…

Combinatorics · Mathematics 2024-10-10 Yongle Luo , Baptiste Rognerud

Given a graph $G$, a set $T$ of terminal vertices, and a demand graph $H$ on $T$, the \textsc{Multicut} problem asks for a set of edges of minimum weight that separates the pairs of terminals specified by the edges of $H$. The…

Computational Complexity · Computer Science 2026-01-27 Florian Hörsch , Dániel Marx

Hypergraph is a topological model for networks. In order to study the topology of hypergraphs, the homology of the associated simplicial complexes and the embedded homology have been invented. In this paper, we give some algorithms to…

Algebraic Topology · Mathematics 2018-01-03 Shiquan Ren , Chengyuan Wu , Stephane Bressan , Jie Wu

Simplicial complexes are higher-order combinatorial structures which have been used to represent real-world complex systems. In this paper, we concentrate on the local patterns in simplicial complexes called simplets, a generalization of…

Social and Information Networks · Computer Science 2023-04-26 Hyunju Kim , Jihoon Ko , Fanchen Bu , Kijung Shin

We continue and extend previous work on the parameterized complexity analysis of the NP-hard Stable Roommates with Ties and Incomplete Lists problem, thereby strengthening earlier results both on the side of parameterized hardness as well…

Computational Complexity · Computer Science 2021-03-09 Robert Bredereck , Klaus Heeger , Dušan Knop , Rolf Niedermeier

(see paper for full abstract) Given a vertex-weighted directed graph $G=(V,E)$ and a set $T=\{t_1, t_2, \ldots t_k\}$ of $k$ terminals, the objective of the SCSS problem is to find a vertex set $H\subseteq V$ of minimum weight such that…

Data Structures and Algorithms · Computer Science 2019-12-02 Rajesh Chitnis , Andreas Emil Feldmann , MohammadTaghi Hajiaghayi , Dániel Marx

We prove a complexity dichotomy theorem for counting planar graph homomorphisms of domain size 3. Given any 3 by 3 real valued symmetric matrix $H$ defining a graph homomorphism from all planar graphs $G \mapsto Z_H(G)$, we completely…

Computational Complexity · Computer Science 2023-02-20 Jin-Yi Cai , Ashwin Maran

Counting graph homomorphisms and its generalizations such as the Counting Constraint Satisfaction Problem (CSP), its variations, and counting problems in general have been intensively studied since the pioneering work of Valiant. While the…

Computational Complexity · Computer Science 2025-10-02 Andrei A. Bulatov , Amirhossein Kazeminia

We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques…

Discrete Mathematics · Computer Science 2021-03-09 Christophe Crespelle , Matthieu Latapy , Thi Ha Duong Phan

Weak gravitational lensing studies of galaxy clusters often assume a spherical cluster model to simplify the analysis, but some recent studies have suggested this simplifying assumption may result in large biases in estimated cluster masses…

Cosmology and Nongalactic Astrophysics · Physics 2015-05-30 F. Feroz , M. P. Hobson

It is not hard to write a first order formula which is true for a given graph G but is false for any graph not isomorphic to G. The smallest number $(G) of nested quantifiers in a such formula can serve as a measure for the ``first order…

Combinatorics · Mathematics 2007-05-23 Jeong Han Kim , Oleg Pikhurko , Joel Spencer , Oleg Verbitsky

Given a connected undirected weighted graph, we are concerned with problems related to partitioning the graph. First of all we look for the closest disconnected graph (the minimum cut problem), here with respect to the Euclidean norm. We…

Numerical Analysis · Mathematics 2017-12-19 Eleonora Andreotti , Dominik Edelmann , Nicola Guglielmi , Christian Lubich

We investigate the effect of weak gravitational lensing in the limit of small angular scales where projected galaxy clustering is strongly nonlinear. This is the regime likely to be probed by future weak lensing surveys. We use…

Astrophysics · Physics 2009-10-31 Dipak Munshi , Peter Coles

The article addresses some open questions about the relations between the topological weak mixing property and the transitivity of the map $f\times f^2 \times...\times f^m$, where $f\colon X\ra X$ is a topological dynamical system on a…

Dynamical Systems · Mathematics 2014-05-06 Dominik Kwietniak , Piotr Oprocha

In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as…

Computational Complexity · Computer Science 2024-04-16 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Ne\v{s}et\v{r}il, this problem is…

Computational Complexity · Computer Science 2025-04-11 Sergey Avvakumov , Marek Filakovský , Jakub Opršal , Gianluca Tasinato , Uli Wagner

We analyze the computational complexity of the following computational problems called Bounded-Density Edge Deletion and Bounded-Density Vertex Deletion: Given a graph $G$, a budget $k$ and a target density $\tau_\rho$, are there $k$ edges…

Data Structures and Algorithms · Computer Science 2024-04-15 Cristina Bazgan , André Nichterlein , Sofia Vazquez Alferez

Let $H$ be a fixed graph, a graph G is $H$-saturated if it has no copy of $H$ in $G$, but the addition of any edge in $E(\overline G)$ to $G$ results in an $H$-subgraph. The saturation number sat$(n,H)$ is the minimum number of edges in an…

Combinatorics · Mathematics 2024-08-14 Yu Zhang , Rong-Xia Hao , Zhen He , Wen-Han Zhu