Skip to search formSkip to main contentSkip to account menu

SNP (complexity)

Known as: MAXSNP, Strict NP, SNP 
In computational complexity theory, SNP (from Strict NP) is a complexity class containing a limited subset of NP based on its logical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
APXApproximation algorithmBetweennessBoolean satisfiability problem

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as… 
Highly Cited
2008
Highly Cited
2008
The complexity and approximation of fixing numerical attributes in databases under integrity constraints
2005
2005
Approximating the Maximum Agreement Forest on k trees
Highly Cited
2003
Highly Cited
2003
Multicuts in unweighted graphs and digraphs with bounded degree and bounded tree-width
Highly Cited
2003
Highly Cited
2003
Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT
Highly Cited
2001
Highly Cited
2001
The complexity of multiple sequence alignment with SP-score that is a metric
Highly Cited
1995
Highly Cited
1995
Linearity testing in characteristic two
Let Dist(f,g)=Pr/sub u/ [f(u)/spl ne/g(u)] denote the relative distance between functions f,g mapping from a group G to a group H… 
1995
1995
Register allocation in structured programs
In this article we look at the register allocation problem. In the literature this problem is frequently reduced to the general… 
Highly Cited
1994
Highly Cited
1994
Linear approximation of shortest superstrings
We consider the following problem: given a collection of strings <italic>s<subscrpt>1</subscrpt></italic>,…, <italic>s<subscrpt>m… 
Highly Cited
1994
Highly Cited
1994
Maximum Bounded H-Matching is MAX SNP-Complete
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)