中文
相关论文

相关论文: Parameterized Complexity of Satisfying Almost All …

200 篇论文

A 2-packing set for an undirected, weighted graph G=(V,E,w) is a subset S of the vertices V such that any two vertices are not adjacent and have no common neighbors. The Maximum Weight 2-Packing Set problem that asks for a 2-packing set of…

数据结构与算法 · 计算机科学 2025-02-21 Jannick Borowitz , Ernestine Großmann , Christian Schulz

We introduce a family of graph parameters, called induced multipartite graph parameters, and study their computational complexity. First, we consider the following decision problem: an instance is an induced multipartite graph parameter $p$…

计算复杂性 · 计算机科学 2023-05-05 Ryan L. Mann , Luke Mathieson , Catherine Greenhill

The maximum graph bisection problem is a well known graph partition problem. The problem has been proven to be NP-hard. In the maximum graph bisection problem it is required that the set of vertices is divided into two partition with equal…

离散数学 · 计算机科学 2015-12-03 Zoran Maksimovic

We present completeness results for inference in Bayesian networks with respect to two different parameterizations, namely the number of variables and the topological vertex separation number. For this we introduce the parameterized…

计算复杂性 · 计算机科学 2022-06-16 Hans Bodlaender , Nils Donselaar , Johan Kwisthout

We study the problem of maximizing a monotone submodular set function subject to linear packing constraints. An instance of this problem consists of a matrix $A \in [0,1]^{m \times n}$, a vector $b \in [1,\infty)^m$, and a monotone…

数据结构与算法 · 计算机科学 2012-05-01 Yossi Azar , Iftah Gamzu

In this paper we introduce a method for resolving multi-parameter likelihoods by fixing all parameter values, but two. Evaluation of those two variables is followed by iteratively cycling through each of the parameters in turn until…

天体物理仪器与方法 · 物理学 2025-09-10 Joel S. Jayson

Let F be a CNF formula with n variables and m clauses. F is 3-satisfiable if for any 3 clauses in F, there is a truth assignment which satisfies all of them. Lieberherr and Specker (1982) and, later, Yannakakis (1994) proved that in each…

离散数学 · 计算机科学 2012-12-03 Gregory Gutin , Mark Jones , Dominik Scheder , Anders Yeo

In this paper, we solve a maximization problem where the objective function is quadratic and the constraints set is the reachable values set of a stable discrete-time affine system. This problem is equivalent to solve an infinite number of…

最优化与控制 · 数学 2023-09-04 Assalé Adjé

We revisit the complexity of the classical Interval Scheduling in the dynamic setting. In this problem, the goal is to maintain a set of intervals under insertions and deletions and report the size of the maximum size subset of pairwise…

数据结构与算法 · 计算机科学 2022-10-04 Paweł Gawrychowski , Karol Pokorski

This paper addresses a quadratic problem with assignment constraints, an NP-hard combinatorial optimization problem arisen from facility location, multiple-input multiple-output detection, and maximum mean discrepancy calculation et al. The…

最优化与控制 · 数学 2025-12-15 Lijun Xie , Ran Gu , Xin Liu

We convert, within polynomial-time and sequential processing, NP-Complete Problems into a problem of deciding feasibility of a given system S of linear equations with constants and coefficients of binary-variables that are 0, 1, or -1. S is…

计算复杂性 · 计算机科学 2012-10-23 Deepak Ponvel Chermakani

In the Integer Quadratic Programming problem input is an n*n integer matrix Q, an m*n integer matrix A and an m-dimensional integer vector b. The task is to find a vector x in Z^n, minimizing x^TQx, subject to Ax <= b. We give a fixed…

数据结构与算法 · 计算机科学 2017-04-11 Daniel Lokshtanov

We introduce the parametric matroid one-interdiction problem. Given a matroid, each element of its ground set is associated with a weight that depends linearly on a real parameter from a given parameter interval. The goal is to find, for…

组合数学 · 数学 2024-08-15 Nils Hausbrandt , Oliver Bachtler , Stefan Ruzika , Luca E. Schäfer

The propositional planning problem is a notoriously difficult computational problem. Downey et al. (1999) initiated the parameterized analysis of planning (with plan length as the parameter) and B\"ackstr\"om et al. (2012) picked up this…

数据结构与算法 · 计算机科学 2013-07-16 Christer Bäckström , Peter Jonsson , Sebastian Ordyniak , Stefan Szeider

We show that any submodular minimization (SM) problem defined on a linear constraint set with constraints having up to two variables per inequality, are 2-approximable in polynomial time. If the constraints are monotone (the two variables…

离散数学 · 计算机科学 2017-05-01 Dorit S. Hochbaum

The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds true in a given relational structure (database); the parameter is the length of the…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Yijia Chen , Michael Elberfeld , Moritz Müller

We study a two-dimensional generalization of the classical Bin Packing problem, denoted as 2D Demand Bin Packing. In this context, each bin is a horizontal timeline, and rectangular tasks (representing electric appliances or computational…

数据结构与算法 · 计算机科学 2025-08-20 Susanne Albers , Waldo Gálvez , Ömer Behic Özdemir

In the recent work \cite{shi18}, a combinatorial problem concerning linear codes over a finite field $\F_q$ was introduced. In that work the authors studied the weight set of an $[n,k]_q$ linear code, that is the set of non-zero distinct…

信息论 · 计算机科学 2022-07-18 Tim L. Alderson , Alessandro Neri

In this article we study convex integer maximization problems with composite objective functions of the form $f(Wx)$, where $f$ is a convex function on $\R^d$ and $W$ is a $d\times n$ matrix with small or binary entries, over finite sets…

组合数学 · 数学 2014-05-06 Shmuel Onn , Michal Rozenblit

We prove that a class of superlinear indefinite problems with homogeneous Neumann boundary conditions admits an arbitrarily high number of positive solutions, provided that the parameters of the problem are adequately chosen. The…

经典分析与常微分方程 · 数学 2018-07-19 Andrea Tellini