English
Related papers

Related papers: Why Districting Becomes NP-hard

200 papers

We study the NP-hard Fair Connected Districting problem recently proposed by Stoica et al. [AAMAS 2020]: Partition a vertex-colored graph into k connected components (subsequently referred to as districts) so that in every district the most…

Computer Science and Game Theory · Computer Science 2022-04-11 Niclas Boehmer , Tomohiro Koana , Rolf Niedermeier

Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems,…

Redistricting is the problem of dividing a state into a number $k$ of regions, called districts. Voters in each district elect a representative. The primary criteria are: each district is connected, district populations are equal (or nearly…

Data Structures and Algorithms · Computer Science 2020-09-02 Vincent Cohen-Addad , Philip N. Klein , Dániel Marx

Many NP-hard graph problems become easy for some classes of graphs. For example, coloring is easy for bipartite graphs, but NP-hard in general. So we can ask question like when does a hard problem become easy? What is the minimum…

Computational Complexity · Computer Science 2025-08-11 Syed Mujtaba Hassan , Shahid Hussain , Abdul Samad

We consider the problem of deciding, given a sequence of regions, if there is a choice of points, one for each region, such that the induced polyline is simple or weakly simple, meaning that it can touch but not cross itself. Specifically,…

Computational Geometry · Computer Science 2023-04-27 Thijs van der Horst , Tim Ophelders , Bart van der Steenhoven

Computational complexity is a core theory of computer science, which dictates the degree of difficulty of computation. There are many problems with high complexity that we have to deal, which is especially true for AI. This raises a big…

Computational Complexity · Computer Science 2023-01-10 Chuyu Xiong

This paper proves that arrangement of music is NP-hard when subject to various constraints: avoiding musical dissonance, limiting how many notes can be played simultaneously, and limiting transition speed between chords. These results imply…

Computational Complexity · Computer Science 2016-07-15 William S. Moses , Erik D. Demaine

Edge-matching problems, also called edge matching puzzles, are abstractions of placement problems with neighborhood conditions. Pieces with colored edges have to be placed on a board such that adjacent edges have the same color. The problem…

Data Structures and Algorithms · Computer Science 2017-03-29 Martin Ebbesen , Paul Fischer , Carsten Witt

Discrete tomography deals with reconstructing finite spatial objects from lower dimensional projections and has applications for example in timetable design. In this paper we consider the problem of reconstructing a tile packing from its…

Computational Complexity · Computer Science 2010-12-22 Marek Chrobak , Christoph Durr , Flavio Guinez , Antoni Lozano , Nguyen Kim Thang

The causal graph of a planning instance is an important tool for planning both in practice and in theory. The theoretical studies of causal graphs have largely analysed the computational complexity of planning for instances where the causal…

Artificial Intelligence · Computer Science 2014-02-05 Christer Bäckström , Peter Jonsson

For a fixed property (graph class) ${\Pi}$, given a graph G and an integer k, the ${\Pi}$-deletion problem consists in deciding if we can turn $G$ into a graph with the property ${\Pi}$ by deleting at most $k$ edges. The ${\Pi}$-deletion…

Discrete Mathematics · Computer Science 2023-07-14 Ivo Koch , Nina Pardal , Vinicius Fernandes dos Santos

In extension problems of partial graph drawings one is given an incomplete drawing of an input graph $G$ and is asked to complete the drawing while maintaining certain properties. A prominent area where such problems arise is that of…

Computational Geometry · Computer Science 2020-12-15 Robert Ganian , Thekla Hamm , Fabian Klute , Irene Parada , Birgit Vogtenhuber

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

Computational Complexity · Computer Science 2012-01-18 Sepp Hartung , André Nichterlein

Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact. On the algorithmic side, many NP-hard problems can be expressed as integer programs, in…

Machine Learning · Computer Science 2024-12-16 Anselm Paulus , Michal Rolínek , Vít Musil , Brandon Amos , Georg Martius

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo

In the process of redistricting, one important metric is the number of competitive districts, that is, districts where both parties have a reasonable chance of winning a majority of votes. Competitive districts are important for achieving…

Data Structures and Algorithms · Computer Science 2024-04-18 Gabriel Chuang , Oussama Hanguir , Clifford Stein

We investigate the complexity of the reachability problem for (deep) neural networks: does it compute valid output given some valid input? It was recently claimed that the problem is NP-complete for general neural networks and conjunctive…

Computational Complexity · Computer Science 2022-03-16 Marco Sälzer , Martin Lange

This chapter delves into the realm of computational complexity, exploring the world of challenging combinatorial problems and their ties with statistical physics. Our exploration starts by delving deep into the foundations of combinatorial…

Disordered Systems and Neural Networks · Physics 2023-10-04 Raffaele Marino

We show that computing the interleaving distance between two multi-graded persistence modules is NP-hard. More precisely, we show that deciding whether two modules are $1$-interleaved is NP-complete, already for bigraded, interval…

Computational Geometry · Computer Science 2019-10-10 Håvard Bakke Bjerkevik , Magnus Bakke Botnan , Michael Kerber

Although NP-Complete problems are the most difficult decisional problems, it is possible to discover in them polynomial (or easy) observables. We study the Graph Partitioning Problem showing that it is possible to recognize in it two…

Condensed Matter · Physics 2009-11-07 M. A. Marchisio
‹ Prev 1 2 3 10 Next ›