English
Related papers

Related papers: Max-3-Lin over Non-Abelian Groups with Universal F…

200 papers

Given a pair of graphs $\textbf{A}$ and $\textbf{B}$, the problems of deciding whether there exists either a homomorphism or an isomorphism from $\textbf{A}$ to $\textbf{B}$ have received a lot of attention. While graph homomorphism is…

Data Structures and Algorithms · Computer Science 2021-07-08 Silvia Butti , Victor Dalmau

We consider the problem of finding a local optimum for Max-Cut with FLIP-neighborhood, in which exactly one node changes the partition. Schaeffer and Yannakakis (SICOMP, 1991) showed PLS-completeness of this problem on graphs with unbounded…

Computational Complexity · Computer Science 2011-06-27 Robert Elsaesser , Tobias Tscheuschner

The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$…

Discrete Mathematics · Computer Science 2025-10-13 Manuel Bodirsky , Santiago Guzmán-Pro

A partial difference set $S$ in a finite group $G$ satisfying $1 \notin S$ and $S = S^{-1}$ corresponds to an undirected strongly regular Cayley graph ${\rm Cay}(G,S)$. While the case when $G$ is abelian has been thoroughly studied, there…

Combinatorics · Mathematics 2020-09-17 Eric Swartz , Gabrielle Tauscheck

A semilinear relation S is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a…

Computational Complexity · Computer Science 2017-03-23 Manuel Bodirsky , Marcello Mamino

A statistician designing an experiment wants to get as much information as possible from the data gathered. Often this means the most precise estimate possible (that is, an estimate with minimum possible variance) of the unknown parameters.…

Statistics Theory · Mathematics 2011-11-17 R. A. Bailey , Peter J. Cameron

A continuous constraint satisfaction problem (CCSP) is a constraint satisfaction problem (CSP) with an interval domain $U \subset \mathbb{R}$. We engage in a systematic study to classify CCSPs that are complete of the Existential Theory of…

Computational Complexity · Computer Science 2024-08-07 Tillmann Miltzow , Reinier F. Schmiermann

The problem of computing the optimum of a function on a finite set is an important problem in mathematics and computer science. Many combinatorial problems such as MAX-SAT and MAXCUT can be recognized as optimization problems on the…

Optimization and Control · Mathematics 2023-02-07 Jiangting Yang , Ke Ye , Lihong Zhi

Graphs are widely used to model execution dependencies in applications. In particular, the NP-complete problem of partitioning a graph under constraints receives enormous attention by researchers because of its applicability in…

Data Structures and Algorithms · Computer Science 2017-04-04 Orlando Moreira , Merten Popp , Christian Schulz

We study the power of the bounded-width consistency algorithm in the context of the fixed-template Promise Constraint Satisfaction Problem (PCSP). Our main technical finding is that the template of every PCSP that is solvable in bounded…

Computational Complexity · Computer Science 2021-07-14 Albert Atserias , Víctor Dalmau

The problem of estimating the proportion of satisfiable instances of a given CSP (constraint satisfaction problem) can be tackled through weighting. It consists in putting onto each solution a non-negative real value based on its…

Discrete Mathematics · Computer Science 2015-03-17 Yacine Boufkhad , Thomas Hugel

Tarnauceanu [Archiv der Mathematik, 102 (1), (2014), 11--14] gave a characterisation of elementary abelian $2$-groups in terms of their maximal sum-free sets. His theorem states that a finite group $G$ is an elementary abelian $2$-group if…

Combinatorics · Mathematics 2016-11-22 Chimere Anabanti

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

The Shapley-Folkman theorem shows that Minkowski averages of uniformly bounded sets tend to be convex when the number of terms in the sum becomes much larger than the ambient dimension. In optimization, Aubin and Ekeland [1976] show that…

Optimization and Control · Mathematics 2019-07-02 Thomas Kerdreux , Igor Colin , Alexandre d'Aspremont

We present a polynomial-time $(\alpha_{GW} + \varepsilon)$-approximation algorithm for the Maximum Cut problem on interval graphs and split graphs, where $\alpha_{GW} \approx 0.878$ is the approximation guarantee of the Goemans-Williamson…

Data Structures and Algorithms · Computer Science 2025-07-15 Jungho Ahn , Ian DeHaan , Eun Jung Kim , Euiwoong Lee

Let \(G\) be a finite group, and let \(\Delta(G)\) denote the \emph{prime graph} built on the set of degrees of the irreducible complex characters of \(G\). It is well known that, whenever \(\Delta(G)\) is connected, the diameter of…

Group Theory · Mathematics 2016-07-19 Carlo Casolo , Silvio Dolfi , Emanuele Pacifici , Lucia Sanus

We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on…

Optimization and Control · Mathematics 2021-04-27 Gabriel Deza , Shmuel Onn

The problem MaxLin2 can be stated as follows. We are given a system $S$ of $m$ equations in variables $x_1,...,x_n$, where each equation is $\sum_{i \in I_j}x_i = b_j$ is assigned a positive integral weight $w_j$ and $x_i,b_j \in…

Computational Complexity · Computer Science 2012-12-04 R. Crowston , G. Gutin , M. Jones , A. Yeo

In this paper we study a max-min $k$-partition problem on a weighted graph, that could model a robust $k$-coalition formation. We settle the computational complexity of this problem as complete for class $\Sigma_2^P$. This hardness holds…

Data Structures and Algorithms · Computer Science 2019-02-20 Anisse Ismaili

An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs.…

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