中文
相关论文

相关论文: Algorithms and Complexity for Variants of Covariat…

200 篇论文

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

We explore a multiple-stage variant of the min-max robust selection problem with budgeted uncertainty that includes queries. First, one queries a subset of items and gets the exact values of their uncertain parameters. Given this…

最优化与控制 · 数学 2025-01-07 Xiaoyu Chen , Marc Goerigk , Michael Poss

Ordinary approach to quantum algorithm is based on quantum Turing machine or quantum circuits. It is known that this approach is not powerful enough to solve NP-complete problems. In this paper we study a new approach to quantum algorithm…

量子物理 · 物理学 2015-06-26 Masanori Ohya , Igor V. Volovich

This article presents a strongly polynomial-time algorithm for the general linear programming problem. This algorithm is an implicit reduction procedure that works as follows. Primal and dual problems are combined into a special system of…

最优化与控制 · 数学 2026-03-24 Samuel Awoniyi

The problem of verifying multi-threaded execution against the memory consistency model of a processor is known to be an NP hard problem. However polynomial time algorithms exist that detect almost all failures in such execution. These are…

硬件体系结构 · 计算机科学 2007-05-23 Amitabha Roy , Stephan Zeisset , Charles J. Fleckenstein , John C. Huang

We prove a complexity dichotomy theorem for the six-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomial time or #P-hard. The dichotomy criterion is…

计算复杂性 · 计算机科学 2017-03-31 Jin-Yi Cai , Zhiguo Fu , Mingji Xia

This paper studies the unification problem with associative, commutative, and associative-commutative functions mainly from a viewpoint of the parameterized complexity on the number of variables. It is shown that both associative and…

符号计算 · 计算机科学 2013-10-04 Tatsuya Akutsu , Takeyuki Tamura , Atsuhiro Takasu

We study a class of combinatorial scheduling problems characterized by a particular type of constraint often associated with electrical power or gas energy. This constraint appears in several practical applications and is expressed as a sum…

数据结构与算法 · 计算机科学 2023-12-27 Trung Thanh Nguyen , Khaled Elbassioni , Areg Karapetyan , Majid Khonji

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

数据结构与算法 · 计算机科学 2012-11-14 Charo I. Del Genio , Thilo Gross

We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial-time algorithm that uses macros to generate plans for the class 3S of planning problems with binary state…

人工智能 · 计算机科学 2011-11-02 Omer Giménez , Anders Jonsson

State minimization of combinatorial filters is a fundamental problem that arises, for example, in building cheap, resource-efficient robots. But exact minimization is known to be NP-hard. This paper conducts a more nuanced analysis of this…

机器人学 · 计算机科学 2023-11-28 Yulin Zhang , Dylan A. Shell

We show that for continuous time dynamical systems described by polynomial differential equations of modest degree (typically equal to three), the following decision problems which arise in numerous areas of systems and control theory…

最优化与控制 · 数学 2012-10-30 Amir Ali Ahmadi , Anirudha Majumdar , Russ Tedrake

We convert, within polynomial-time and sequential processing, an NP-Complete Problem into a real-variable problem of minimizing a sum of Rational Linear Functions constrained by an Asymptotic-Linear-Program. The coefficients and constants…

计算复杂性 · 计算机科学 2012-12-21 Deepak Ponvel Chermakani

An efficient quantum algorithm is proposed to solve in polynomial time the parity problem, one of the hardest problems both in conventional quantum computation and in classical computation, on NMR quantum computers. It is based on the…

量子物理 · 物理学 2007-05-23 Xijia Miao

This paper gives an overview on and summarizes existing complexity and algorithmic results of some variants of the Stable Marriage and the Stable Roommates problems. The last section defines a list of stable matching problems mentioned in…

计算机科学与博弈论 · 计算机科学 2019-04-18 Jiehua Chen

In many high-dimensional problems,polynomial-time algorithms fall short of achieving the statistical limits attainable without computational constraints. A powerful approach to probe the limits of polynomial-time algorithms is to study the…

统计理论 · 数学 2025-07-11 Bertrand Even , Christophe Giraud , Nicolas Verzelen

Although manipulation and bribery have been extensively studied under weighted voting, there has been almost no work done on election control under weighted voting. This is unfortunate, since weighted voting appears in many important…

计算机科学与博弈论 · 计算机科学 2013-05-07 Piotr Faliszewski , Edith Hemaspaandra , Lane A. Hemaspaandra

Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled by evolutionary algorithms that use a representation which…

神经与进化计算 · 计算机科学 2013-01-18 Benjamin Doerr , Anton Eremeev , Frank Neumann , Madeleine Theile , Christian Thyssen

Phase transitions in combinatorial problems have recently been shown to be useful in locating "hard" instances of combinatorial problems. The connection between computational complexity and the existence of phase transitions has been…

计算复杂性 · 计算机科学 2016-11-17 Gabriel Istrate

This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive normal form. We prove an unexpected result that the…

计算复杂性 · 计算机科学 2018-07-23 Grigoriy V. Bokov