• Thumbnail for NP-hardness
    as hard as NP, but not necessarily in NP. NP-equivalent Decision problems that are both NP-hard and NP-easy, but not necessarily in NP. NP-intermediate...
    8 KB (1,082 words) - 09:57, 24 July 2024
  • by the input size. Thus strong NP-completeness or NP-hardness may also be defined as the NP-completeness or NP-hardness of this unary version of the problem...
    4 KB (642 words) - 19:47, 7 May 2023
  • solved by a pseudo-polynomial time algorithm unless P = NP. The strong/weak kinds of NP-hardness are defined analogously. Consider the problem of testing...
    5 KB (876 words) - 07:57, 4 December 2023
  • Longest path problem (category NP-complete problems)
    cannot be solved in polynomial time for arbitrary graphs unless P = NP. Stronger hardness results are also known showing that it is difficult to approximate...
    22 KB (2,662 words) - 01:59, 2 January 2024
  • costs of the facilities. The facility location problem on general graphs is NP-hard to solve optimally, by reduction from (for example) the set cover problem...
    21 KB (3,147 words) - 06:53, 22 July 2024
  • TFNP (section F(NP ∩ coNP))
    are no known unconditional intractability results or results showing NP-hardness of TFNP problems. TFNP is not believed to have any complete problems...
    17 KB (2,698 words) - 03:24, 30 April 2024
  • computational hardness assumption such as P ≠ NP. Computer scientists have different ways of assessing which hardness assumptions are more reliable. We say that...
    27 KB (3,227 words) - 22:38, 20 December 2023
  • Cormode, Graham (2004). The hardness of the lemmings game, or Oh no, more NP-completeness proofs (PDF). Light Up is NP-Complete Friedman, Erich (27 March...
    29 KB (2,746 words) - 06:55, 5 September 2024
  • Feedback vertex set (category NP-complete problems)
    computational hardness assumption, it is NP-hard to approximate the problem to within any constant factor in polynomial time. The same hardness result was...
    16 KB (1,781 words) - 21:22, 20 August 2024
  • problem. Both weak NP-hardness and weak polynomial-time correspond to encoding the input agents in binary coding. If a problem is strongly NP-hard, then it...
    2 KB (429 words) - 23:56, 28 May 2022
  • to P versus NP problem. Fortnow, L.; Gasarch, W. "Computational complexity". Aviad Rubinstein's Hardness of Approximation Between P and NP, winner of the...
    63 KB (7,784 words) - 23:34, 5 September 2024
  • Integer programming (category NP-complete problems)
    vertex cover to integer programming that will serve as the proof of NP-hardness. Let G = ( V , E ) {\displaystyle G=(V,E)} be an undirected graph. Define...
    30 KB (4,207 words) - 08:19, 8 September 2024
  • Thumbnail for Feedback arc set
    Feedback arc set (category NP-complete problems)
    of its hardness proof, unless P = NP, it has no polynomial time approximation ratio better than 1.3606. This is the same threshold for hardness of approximation...
    53 KB (6,116 words) - 21:22, 20 August 2024
  • Thumbnail for Cycle basis
    average of the pairwise distances; both are NP-hard. Finding a minimum weight weakly fundamental basis is also NP-hard, and approximating it is MAXSNP-hard...
    25 KB (3,322 words) - 22:06, 28 July 2024
  • Thumbnail for NP (complexity)
    results about the hardness of approximation algorithms to be proven. All problems in P, denoted P ⊆ N P {\displaystyle {\mathsf {P\subseteq NP}}} . Given a...
    21 KB (2,787 words) - 18:41, 6 July 2024
  • Unique games conjecture (category Computational hardness assumptions)
    unique games conjecture is often used in hardness of approximation. The conjecture postulates the NP-hardness of the following promise problem known as...
    24 KB (2,629 words) - 19:45, 29 July 2024
  • Job-shop scheduling (category NP-complete problems)
    Since the traveling salesman problem is NP-hard, the job-shop problem with sequence-dependent setup is clearly also NP-hard since the TSP is a special case...
    19 KB (2,592 words) - 05:13, 21 August 2024
  • Koroth, Mertz and Pitassi (2020) to NP-hardness of automating Cutting Planes; and by Garlík (2020) to NP-hardness of automating k-DNF Resolution. It is...
    31 KB (3,762 words) - 14:07, 21 February 2024
  • (e.g., they may be used to generate good seed values). Results about NP-hardness in theoretical computer science make heuristics the only viable option...
    11 KB (1,532 words) - 19:12, 18 August 2024
  • problem becomes NP-hard, implying that finding a polynomial time approximation for the problem is impossible unless NP=P. Some hardness of approximation...
    3 KB (340 words) - 07:36, 7 August 2024
  • with up to 4,177 entities and 20,531 features. As expected, due to the NP-hardness of the subjacent optimization problem, the computational time of optimal...
    61 KB (7,696 words) - 07:03, 30 August 2024
  • Numerical 3-dimensional matching (category Strongly NP-complete problems)
    should be used. Explicit proofs of NP-hardness are given in later papers: Yu, Hoogeveen and Lenstra prove NP-hardness of a very restricted version of Numerical...
    4 KB (689 words) - 00:40, 23 April 2024
  • Lattice problem (category Computational hardness assumptions)
    (2^{\operatorname {poly} (\log n)})} . Dinur et al. strengthened this by giving a NP-hardness result with ϵ = ( log ⁡ log ⁡ n ) c {\displaystyle \epsilon =(\log \log...
    28 KB (3,660 words) - 20:46, 21 April 2024
  • satisfiability problem and the quantified boolean formula problem. Because of its NP-hardness, large-size MAX-SAT instances cannot in general be solved exactly, and...
    13 KB (1,505 words) - 09:50, 29 July 2024
  • problems that are in the complexity class NP but are neither in the class P nor NP-complete are called NP-intermediate, and the class of such problems...
    15 KB (1,534 words) - 13:30, 1 August 2024
  • Circuit satisfiability problem (category NP-complete problems)
    polynomial time. Thus Circuit SAT belongs to complexity class NP. To show NP-hardness, it is possible to construct a reduction from 3SAT to Circuit SAT...
    9 KB (1,183 words) - 06:50, 30 April 2024
  • 3-partition problem (category Strongly NP-complete problems)
    we construct a 4-set in A, with sum T. The NP-hardness of 3-partition was used to prove the NP-hardness rectangle packing, as well as of Tetris and some...
    15 KB (2,260 words) - 11:29, 14 July 2024
  • Selection. Complexity theory List of films about mathematicians NP-hardness P-hardness Regan, K. W. "The Travelling Salesman's Power". Retrieved April...
    7 KB (691 words) - 15:05, 23 May 2023
  • ordering exists, and whether a Hamiltonian path exists, despite the NP-hardness of the Hamiltonian path problem for more general directed graphs (i.e...
    23 KB (3,176 words) - 11:07, 8 July 2024
  • Partition problem (category Weakly NP-complete problems)
    same sum). This problem is strongly NP-hard. Kovalyov and Pesch discuss a generic approach to proving NP-hardness of partition-type problems. One application...
    19 KB (2,441 words) - 17:19, 5 August 2024