English
Related papers

Related papers: Optimally Solving Colored Generalized Sliding-Tile…

200 papers

Many animals, and an increasing number of artificial agents, display sophisticated capabilities to perceive and manipulate objects. But human beings remain distinctive in their capacity for flexible, creative tool use -- using objects in…

Artificial Intelligence · Computer Science 2022-10-12 Kelsey R. Allen , Kevin A. Smith , Joshua B. Tenenbaum

Most machine learning and deep neural network algorithms rely on certain iterative algorithms to optimise their utility/cost functions, e.g. Stochastic Gradient Descent. In distributed learning, the networked nodes have to work…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-06 Liang Wang , Ben Catterall , Richard Mortier

We introduce and study a novel generalization of the classical Knapsack Problem (KP), called the Colored Knapsack Problem (CKP). In this problem, the items are partitioned into classes of colors and the packed items need to be ordered such…

Optimization and Control · Mathematics 2026-02-13 Fabio Ciccarelli , Alexander Helber , Erik Mühmer

Steiner Tree Packing (STP) is a notoriously hard problem in classical complexity theory, which is of practical relevance to VLSI circuit design. Previous research has approached this problem by providing heuristic or approximate algorithms.…

Data Structures and Algorithms · Computer Science 2025-05-15 Niko Hastrich , Kirill Simonov

Raven's Progressive Matrices (RPMs) is an established benchmark to examine the ability to perform high-level abstract visual reasoning (AVR). Despite the current success of algorithms that solve this task, humans can generalize beyond a…

Artificial Intelligence · Computer Science 2025-04-01 Kalliopi Basioti , Pritish Sahu , Qingze Tony Liu , Zihao Xu , Hao Wang , Vladimir Pavlovic

We study a class of generalized linear programs (GLP) in a large-scale setting, which includes simple, possibly nonsmooth convex regularizer and simple convex set constraints. By reformulating (GLP) as an equivalent convex-concave min-max…

Optimization and Control · Mathematics 2023-04-10 Chaobing Song , Cheuk Yin Lin , Stephen J. Wright , Jelena Diakonikolas

Constraint satisfaction problems (CSPs) consist of a set of variables taking values from some finite domain and a set of local constraints on these variables. The objective is to find an assignment to the variables that maximizes the…

Computational Complexity · Computer Science 2026-05-12 Amey Bhangale , Yezhou Zhang

Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism $\mbox{$\bR \rightarrow \bGamma$}$ between two relational…

Computational Complexity · Computer Science 2015-10-27 Vladimir Kolmogorov , Michal Rolinek , Rustem Takhanov

The generalized traveling salesman problem (GTSP) is an extension of the well-known traveling salesman problem. In GTSP, we are given a partition of cities into groups and we are required to find a minimum length tour that includes exactly…

Data Structures and Algorithms · Computer Science 2010-03-30 Gregory Gutin , Daniel Karapetyan

The constraint satisfaction probem (CSP) is a well-acknowledged framework in which many combinatorial search problems can be naturally formulated. The CSP may be viewed as the problem of deciding the truth of a logical sentence consisting…

Logic in Computer Science · Computer Science 2007-05-23 Hubie Chen

Many core problems in robotics can be framed as constrained optimization problems. Often on these problems, the robotic system has uncertainty, or it would be advantageous to identify multiple high quality feasible solutions. To enable…

Robotics · Computer Science 2025-06-03 Griffin Tabor , Tucker Hermans

We study the complexity of a particular class of board games, which we call `slide and merge' games. Namely, we consider 2048 and Threes, which are among the most popular games of their type. In both games, the player is required to slide…

Computational Complexity · Computer Science 2015-01-19 Ahmed Abdelkader , Aditya Acharya , Philip Dasler

Recent studies have shown that heavy tails can emerge in stochastic optimization and that the heaviness of the tails have links to the generalization error. While these studies have shed light on interesting aspects of the generalization…

Machine Learning · Statistics 2023-02-14 Anant Raj , Melih Barsbey , Mert Gürbüzbalaban , Lingjiong Zhu , Umut Şimşekli

In this paper we introduce new types of square-piece jigsaw puzzles, where in addition to the unknown location and orientation of each piece, a piece might also need to be flipped. These puzzles, which are associated with a number of real…

Computer Vision and Pattern Recognition · Computer Science 2017-11-21 Dror Sholomon , Eli David , Nathan S. Netanyahu

CG:SHOP is an annual geometric optimization challenge and the 2022 edition proposed the problem of coloring a certain geometric graph defined by line segments. Surprisingly, the top three teams used the same technique, called conflict…

Probability metrics have become an indispensable part of modern statistics and machine learning, and they play a quintessential role in various applications, including statistical hypothesis testing and generative modeling. However, in a…

Machine Learning · Statistics 2020-03-02 Soheil Kolouri , Kimia Nadjahi , Umut Simsekli , Shahin Shahrampour

We investigate the fine-grained and the parameterized complexity of several generalizations of binary constraint satisfaction problems (BINARY-CSPs), that subsume variants of graph colouring problems. Our starting point is the observation…

Computational Complexity · Computer Science 2022-07-26 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

Given a set of squares and a strip of bounded width and infinite height, we consider a square strip packaging problem, which we call the square independent packing problem (SIPP), to minimize the strip height so that all the squares are…

Discrete Mathematics · Computer Science 2023-07-14 Wei Wu , Hiroki Numaguchi , Yannan Hu , Mutsunori Yagiura

We address multi-robot geometric task-and-motion planning (MR-GTAMP) problems in synchronous, monotone setups. The goal of the MR-GTAMP problem is to move objects with multiple robots to goal regions in the presence of other movable…

Robotics · Computer Science 2022-10-18 Hejia Zhang , Shao-Hung Chan , Jie Zhong , Jiaoyang Li , Sven Koenig , Stefanos Nikolaidis

We present a brief structural equivalence between the symmetric TSP and a constrained Group Steiner Tree Problem (cGSTP) defined on a simplicial incidence graph. Given the complete weighted graph on the city set V, we form the bipartite…

Data Structures and Algorithms · Computer Science 2026-02-06 Yılmaz Arslanoğlu