English
Related papers

Related papers: Sumplete is Hard, Even with Two Different Numbers

200 papers

A symmetric matrix $C$ is completely positive (CP) if there exists an entrywise nonnegative matrix $B$ such that $C=BB^T$. The CP-completion problem is to study whether we can assign values to the missing entries of a partial matrix (i.e.,…

Optimization and Control · Mathematics 2013-11-21 Anwa Zhou , Jinyan Fan

Continuing results from JCDCGGG 2016 and 2017, we solve several new cases of the simple foldability problem -- deciding which crease patterns can be folded flat by a sequence of (some model of) simple folds. We give new efficient algorithms…

Computational Geometry · Computer Science 2023-06-02 Hugo Akitaya , Josh Brunner , Erik D. Demaine , Dylan Hendrickson , Victor Luo , Andy Tockman

This paper proposes an elementary solution to a special case of finding all perfect squares that can be written as sum of consecutive integer cubes. It is shown that there are no non-trivial solutions if the perfect square is a prime power,…

General Mathematics · Mathematics 2024-01-10 Atilla Akkuş

In this paper, we study the "sum composition problem" between two lists $A$ and $B$ of positive integers. We start by saying that $B$ is "sum composition" of $A$ when there exists an ordered $m$-partition $[A_1,\ldots,A_m]$ of $A$ where $m$…

Data Structures and Algorithms · Computer Science 2020-02-10 Mario Pennacchioni , Emanuele Munarini , Marco Mesiti

This paper discloses a simple algorithm for encrypting text messages, based on the NP-completeness of the subset sum problem, such that the similarity between encryptions is roughly proportional to the semantic similarity between their…

Cryptography and Security · Computer Science 2013-08-16 Nicholas Kersting

We consider the problem of sequencing a set of positive numbers. We try to find the optimal sequence to maximize the variance of its partial sums. The optimal sequence is shown to have a beautiful structure. It is interesting to note that…

Combinatorics · Mathematics 2012-02-14 Li Wei , Wangdong Qi , Dingxing Chen , Peng Liu , En Yuan

Let $S$ be a connected graph which contains an induced path of $n-1$ vertices, where $n$ is the order of $S.$ We consider a puzzle on $S$. A configuration of the puzzle is simply an $n$-dimensional column vector over $\{0, 1\}$ with…

Combinatorics · Mathematics 2009-10-30 Hau-wen Huang , Chih-wen Weng

We show that two important problems that have applications in computational biology are ASP-complete, which implies that, given a solution to a problem, it is NP-complete to decide if another solution exists. We show first that a variation…

Populations and Evolution · Quantitative Biology 2015-03-17 Maria Luisa Bonet , Simone Linz , Katherine St. John

A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be…

Computational Complexity · Computer Science 2023-02-24 Édouard Bonnet , Dibyayan Chakraborty , Julien Duron

Connect Four is a two-player game where each player attempts to be the first to create a sequence of four of their pieces, arranged horizontally, vertically, or diagonally, by dropping pieces into the columns of a grid of width seven and…

Combinatorics · Mathematics 2025-02-18 Robert Steele , Daniel B. Larremore

We investigate the tractability of a simple fusion of two fundamental structures on graphs, a spanning tree and a perfect matching. Specifically, we consider the following problem: given an edge-weighted graph, find a minimum-weight…

Data Structures and Algorithms · Computer Science 2024-07-12 Kristóf Bérczi , Tamás Király , Yusuke Kobayashi , Yutaro Yamaguchi , Yu Yokoi

The original knapsack problem is well known to be NP-complete. In a multidimensional version one have to decide whether a $p\in \N^k$ is in a sumset-sum of a set $X \subseteq \N^k$ or not. In this paper we are going to investigate a…

Discrete Mathematics · Computer Science 2021-03-16 Bence Bakos , Norbert Hegyvári , Máté Pálfy

We study three problems related to the computational complexity of the popular game Minesweeper. The first is consistency: given a set of clues, is there any arrangement of mines that satisfies it? This problem has been known to be…

Computational Complexity · Computer Science 2024-04-24 MIT Hardness Group , Della Hendrickson , Andy Tockman

In the paper we can prove that every integer can be written as the sum of two integers, one perfect square and one squarefree. We also establish the asympotic formula for the number of representations of an integer in this form. The result…

Number Theory · Mathematics 2020-10-30 Jorge Urroz

We analyze the computational complexity of the video game "CELESTE" and prove that solving a generalized level in it is NP-Complete. Further, we also show how, upon introducing a small change in the game mechanics (adding a new game…

Computational Complexity · Computer Science 2022-12-02 Zeeshan Ahmed , Alapan Chaudhuri , Kunwar Shaanjeet Singh Grover , Ashwin Rao , Kushagra Garg , Pulak Malhotra

A perfect number is a positive integer n such that n equals the sum of all positive integer divisors of n that are less than n. That is, although n is a divisor of n, n is excluded from this sum. Thus 6 = 1 + 2 + 3 is perfect, but 12 < 1 +…

Logic in Computer Science · Computer Science 2015-09-22 John Cowles , Ruben Gamboa

The problem PosSLP is the problem of determining whether a given straight-line program (SLP) computes a positive integer. PosSLP was introduced by Allender et al. to study the complexity of numerical analysis (Allender et al., 2009). PosSLP…

Computational Complexity · Computer Science 2024-03-04 Markus Bläser , Julian Dörfler , Gorav Jindal

Given a linear equation L, a set A of integers is L-free if A does not contain any non-trivial solutions to L. Meeks and Treglown showed that for certain kinds of linear equations, it is NP-complete to decide if a given set of integers…

Combinatorics · Mathematics 2018-12-24 Keith J. Edwards , Steven D. Noble

We show that determining the crossing number of a link is NP-hard. For some weaker notions of link equivalence, we also show NP-completeness.

Computational Geometry · Computer Science 2019-08-13 Arnaud de Mesmay , Marcus Schaefer , Eric Sedgwick

For each integer $m \geq 2$, a network is constructed which is solvable over an alphabet of size $m$ but is not solvable over any smaller alphabets. If $m$ is composite, then the network has no vector linear solution over any $R$-module…

Information Theory · Computer Science 2018-01-31 Joseph Connelly , Kenneth Zeger