English
Related papers

Related papers: Witness Set: A Visibility Problem in $NP\cap XP$

200 papers

Let $X$ be a finite set in $Z^d$. We consider the problem of optimizing linear function $f(x) = c^T x$ on $X$, where $c\in Z^d$ is an input vector. We call it a problem $X$. A problem $X$ is related with linear program $\max\limits_{x \in…

Computational Complexity · Computer Science 2018-04-18 Aleksandr Maksimenko

We investigate fine-grained algorithmic aspects of identification problems in graphs and set systems, with a focus on Locating-Dominating Set and Test Cover. We prove the (tight) conditional lower bounds for these problems when…

Data Structures and Algorithms · Computer Science 2025-08-25 Dipayan Chakraborty , Florent Foucaud , Diptapriyo Majumdar , Prafullkumar Tale

We consider extension variants of the classical graph problems Vertex Cover and Independent Set. Given a graph $G=(V,E)$ and a vertex set $U \subseteq V$, it is asked if there exists a minimal vertex cover (resp.\ maximal independent set)…

Computational Complexity · Computer Science 2018-10-12 Katrin Casel , Henning Fernau , Mehdi Khosravian Ghadikolaei , Jérôme Monnot , Florian Sikora

In this paper, we study the problem of determining a minimum state probabilistic finite state machine capable of generating statistically identical symbol sequences to samples provided. This problem is qualitatively similar to the classical…

Formal Languages and Automata Theory · Computer Science 2017-02-28 Elisabeth Paulson , Christopher Griffin

In this paper we study the problem of finding a small safe set $S$ in a graph $G$, i.e. a non-empty set of vertices such that no connected component of $G[S]$ is adjacent to a larger component in $G - S$. We enhance our understanding of the…

Computational Complexity · Computer Science 2019-02-01 Rémy Belmonte , Tesshu Hanaka , Ioannis Katsikarelis , Michael Lampis , Hirotaka Ono , Yota Otachi

The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy…

Data Structures and Algorithms · Computer Science 2015-03-19 Matt Groff

We study the minimization of fixed-degree polynomials over the simplex. This problem is well-known to be NP-hard, as it contains the maximum stable set problem in graph theory as a special case. In this paper, we consider a rational…

Optimization and Control · Mathematics 2014-07-09 Etienne de Klerk , Monique Laurent , Zhao Sun

In this paper we consider the problem of computing the weak visibility polygon of any query line segment $pq$ (or $WVP(pq)$) inside a given polygon $P$. Our first non-trivial algorithm runs in simple polygons and needs $O(n^3 \log n)$ time…

Computational Geometry · Computer Science 2013-10-29 Mojtaba Nouri Bygi , Mohammad Ghodsi

This paper considers the question of P = NP in context of the polynomial time SAT algorithm. It posits proposition dependent on existence of conjectured problem that even where the algorithm is shown to solve SAT in polynomial time it…

Computational Complexity · Computer Science 2009-11-30 C. Sauerbier

In this paper we consider a local service-requirement assignment problem named exact capacitated domination from an algorithmic point of view. This problem aims to find a solution (a Nash equilibrium) to a game-theoretic model of public…

Combinatorics · Mathematics 2022-07-27 Gregory Gutin , Philip R Neary , Anders Yeo

We present a dynamic programming algorithm for selecting a representative subset of size $k$ from a given set with $n$ points such that the Riesz $s$-energy is near minimized. While NP-hard in general dimensions, the one-dimensional case…

Data Structures and Algorithms · Computer Science 2025-02-11 Michael Emmerich

Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching for integers d>2 is the problem of finding a matching of size…

Data Structures and Algorithms · Computer Science 2018-12-10 Holger Dell , Dániel Marx

A sliding camera inside an orthogonal polygon $P$ is a point guard that travels back and forth along an orthogonal line segment $\gamma$ in $P$. The sliding camera $g$ can see a point $p$ in $P$ if the perpendicular from $p$ onto $\gamma$…

Computational Geometry · Computer Science 2016-04-26 Therese Biedl , Timothy M. Chan , Stephanie Lee , Saeed Mehrabi , Fabrizio Montecchiani , Hamideh Vosoughpour

Quantum computing is seeking to realize hardware-optimized algorithms for application-related computational tasks. NP (nondeterministic-polynomial-time) is a complexity class containing many important but intractable problems like the…

Quantum Physics · Physics 2021-08-27 Aonan Zhang , Hao Zhan , Junjie Liao , Kaimin Zheng , Tao Jiang , Minghao Mi , Penghui Yao , Lijian Zhang

The poset cover problem seeks a minimum set of partial orders whose linear extensions cover a given set of linear orders. Recognizing its NP-completeness, we devised a non-trivial reduction to the Boolean satisfiability problem using a…

Logic in Computer Science · Computer Science 2025-05-08 Chih-Cheng Rex Yuan , Bow-Yaw Wang

The split feasibility problem is to find an element in the intersection of a closed set $C$ and the linear preimage of another closed set $D$, assuming the projections onto $C$ and $D$ are easy to compute. This class of problems arises…

Optimization and Control · Mathematics 2020-11-05 Chen Chen , Ting Kei Pong , Lulin Tan , Liaoyuan Zeng

We investigate a practical variant of the well-known polygonal visibility path (watchman) problem. For a polygon $P$, a minimum link visibility path is a polygonal visibility path in $P$ that has the minimum number of links. The problem of…

Computational Geometry · Computer Science 2021-03-02 Mohammad Reza Zarrabi , Nasrollah Moghaddam Charkari

A perfect matching in an undirected graph $G=(V,E)$ is a set of vertex disjoint edges from $E$ that include all vertices in $V$. The perfect matching problem is to decide if $G$ has such a matching. Recently Rothvo{\ss} proved the striking…

Discrete Mathematics · Computer Science 2018-04-26 David Avis , David Bremner , Hans Raj Tiwary , Osamu Watanabe

Neural representations are not unique objects. Even when two systems realize the same downstream computation, their hidden coordinates may differ by reparameterization. A probe family intended to reveal structure already present in a…

Machine Learning · Computer Science 2026-05-13 Su Hyeong Lee , Risi Kondor

In a graph story the vertices enter a graph one at a time and each vertex persists in the graph for a fixed amount of time $\omega$, called viewing window. At any time, the user can see only the drawing of the graph induced by the vertices…

Data Structures and Algorithms · Computer Science 2022-08-31 Giuseppe Di Battista , Walter Didimo , Luca Grilli , Fabrizio Grosso , Giacomo Ortali , Maurizio Patrignani , Alessandra Tappini
‹ Prev 1 8 9 10 Next ›