scholarly journals In some curved spaces, one can solve NP-hard problems in polynomial time

2009 ◽  
Vol 158 (5) ◽  
pp. 727-740 ◽  
Author(s):  
V. Kreinovich ◽  
M. Margenstern
Keyword(s):  
Polynomial Time ◽  
Np Hard ◽  
Curved Spaces ◽  
Hard Problems ◽  
Np Hard Problems

scholarly journals Are Stable Instances Easy?

2012 ◽  
Vol 21 (5) ◽  
pp. 643-660 ◽  
Author(s):  
YONATAN BILU ◽  
NATHAN LINIAL
Keyword(s):  
Polynomial Time ◽  
Discrete Optimization ◽  
Optimization Problem ◽  
Discrete Optimization Problem ◽  
Hard Problem ◽  
Np Hard ◽  
Max Cut Problem ◽  
Np Hard Problem ◽  
Hard Problems ◽  
Np Hard Problems

We introduce the notion of a stable instance for a discrete optimization problem, and argue that in many practical situations only sufficiently stable instances are of interest. The question then arises whether stable instances of NP-hard problems are easier to solve, and in particular, whether there exist algorithms that solve in polynomial time all sufficiently stable instances of some NP-hard problem. The paper focuses on the Max-Cut problem, for which we show that this is indeed the case.

scholarly journals Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability

2020 ◽  
Author(s):  
Uéverton Souza ◽  
Fábio Protti ◽  
Maise Da Silva ◽  
Dieter Rautenbach
Keyword(s):  
Polynomial Time ◽  
Parameterized Complexity ◽  
Complexity Analysis ◽  
Np Hard ◽  
Fixed Parameter Tractable ◽  
Complementary Approach ◽  
Fixed Parameter ◽  
Hard Problems ◽  
Induced Matchings ◽  
Np Hard Problems

In this thesis we present a multivariate investigation of the complexity of some NP-hard problems, i.e., we first develop a systematic complexity analysis of these problems, defining its subproblems and mapping which one belongs to each side of an “imaginary boundary” between polynomial time solvability and intractability. After that, we analyze which sets of aspects of these problems are sources of their intractability, that is, subsets of aspects for which there exists an algorithm to solve the associated problem, whose non-polynomial time complexity is purely a function of those sets. Thus, we use classical and parameterized complexity in an alternate and complementary approach, to show which subproblems of the given problems are NP-hard and latter to diagnose for which sets of parameters the problems are fixed-parameter tractable, or in FPT. This thesis exhibits a classical and parameterized complexity analysis of different groups of NP-hard problems. The addressed problems are divided into four groups of distinct nature, in the context of data structures, combinatorial games, and graph theory: (I) and/or graph solution and its variants; (II) flooding-filling games; (III) problems on P3-convexity; (IV) problems on induced matchings.

NP vs QMA_\log(2)

2010 ◽  
Vol 10 (1&2) ◽  
pp. 141-151
Author(s):  
S. Beigi
Keyword(s):  
Quantum Algorithms ◽  
Np Hard ◽  
Complete Problems ◽  
Hard Problems ◽  
Np Complete ◽  
Np Hard Problems

Although it is believed unlikely that $\NP$-hard problems admit efficient quantum algorithms, it has been shown that a quantum verifier can solve NP-complete problems given a "short" quantum proof; more precisely, NP\subseteq QMA_{\log}(2) where QMA_{\log}(2) denotes the class of quantum Merlin-Arthur games in which there are two unentangled provers who send two logarithmic size quantum witnesses to the verifier. The inclusion NP\subseteq QMA_{\log}(2) has been proved by Blier and Tapp by stating a quantum Merlin-Arthur protocol for 3-coloring with perfect completeness and gap 1/24n^6. Moreover, Aaronson et al. have shown the above inclusion with a constant gap by considering $\widetilde{O}(\sqrt{n})$ witnesses of logarithmic size. However, we still do not know if QMA_{\log}(2) with a constant gap contains NP. In this paper, we show that 3-SAT admits a QMA_{\log}(2) protocol with the gap 1/n^{3+\epsilon}} for every constant \epsilon>0.

scholarly journals Coupling Elephant Herding with Ordinal Optimization for Solving the Stochastic Inequality Constrained Optimization Problems

2020 ◽  
Vol 10 (6) ◽  
pp. 2075 ◽  
Author(s):  
Shih-Cheng Horng ◽  
Shieh-Shing Lin
Keyword(s):  
Optimization Problems ◽  
Solution Space ◽  
Inequality Constraints ◽  
Optimization Methods ◽  
Ordinal Optimization ◽  
Np Hard ◽  
Constrained Optimization Problems ◽  
Inequality Constrained Optimization ◽  
Hard Problems ◽  
Np Hard Problems

The stochastic inequality constrained optimization problems (SICOPs) consider the problems of optimizing an objective function involving stochastic inequality constraints. The SICOPs belong to a category of NP-hard problems in terms of computational complexity. The ordinal optimization (OO) method offers an efficient framework for solving NP-hard problems. Even though the OO method is helpful to solve NP-hard problems, the stochastic inequality constraints will drastically reduce the efficiency and competitiveness. In this paper, a heuristic method coupling elephant herding optimization (EHO) with ordinal optimization (OO), abbreviated as EHOO, is presented to solve the SICOPs with large solution space. The EHOO approach has three parts, which are metamodel construction, diversification and intensification. First, the regularized minimal-energy tensor-product splines is adopted as a metamodel to approximately evaluate fitness of a solution. Next, an improved elephant herding optimization is developed to find N significant solutions from the entire solution space. Finally, an accelerated optimal computing budget allocation is utilized to select a superb solution from the N significant solutions. The EHOO approach is tested on a one-period multi-skill call center for minimizing the staffing cost, which is formulated as a SICOP. Simulation results obtained by the EHOO are compared with three optimization methods. Experimental results demonstrate that the EHOO approach obtains a superb solution of higher quality as well as a higher computational efficiency than three optimization methods.

Sign in / Sign up

Export Citation Format

Share Document