中文
相关论文

相关论文: A note on the computational complexity of weak sat…

200 篇论文

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…

物理与社会 · 物理学 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…

计算机科学与博弈论 · 计算机科学 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…

组合数学 · 数学 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…

计算复杂性 · 计算机科学 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…

代数拓扑 · 数学 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…

社会与信息网络 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

离散数学 · 计算机科学 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…

宇宙学与河外天体物理 · 物理学 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…

组合数学 · 数学 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…

数值分析 · 数学 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…

天体物理学 · 物理学 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…

动力系统 · 数学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

组合数学 · 数学 2024-08-14 Yu Zhang , Rong-Xia Hao , Zhen He , Wen-Han Zhu