Restrictive Acceptance Suffices for Equivalence Problems
نویسندگان
چکیده
منابع مشابه
Restrictive Acceptance Suffices for Equivalence Problems
One way of suggesting that an NP problem may not be NP-complete is to show that it is in the promise class UP. We propose an analogous new method—weaker in strength of evidence but more broadly applicable—for suggesting that concrete NP problems are not NPcomplete. In particular, we introduce the promise class EP, the subclass of NP consisting of those languages accepted by NP machines that, wh...
متن کاملSignature submanifolds for some equivalence problems
This article concerned on the study of signature submanifolds for curves under Lie group actions SE(2), SA(2) and for surfaces under SE(3). Signature submanifold is a regular submanifold which its coordinate components are differential invariants of an associated manifold under Lie group action, and therefore signature submanifold is a key for solving equivalence problems.
متن کاملsignature submanifolds for some equivalence problems
this article concerned on the study of signature submanifolds for curves under lie group actions se(2), sa(2) and for surfaces under se(3). signature submanifold is a regular submanifold which its coordinate components are di erential invariants of an associated manifold under lie group action, and therefore signature submanifold is a key for solving equivalence problems.
متن کاملRestrictive problems related to strabismus surgery
Strabismus surgery may be responsible for some restrictions in ocular motility that may cause new problems after surgery. Most of the time these restrictions present as a complex motility problem after surgery that requires further treatment. There may be various reasons that cause motility restriction following strabismus surgery. Those are excessive shortening or inadvertent capture of extrao...
متن کاملEquivalence Constraint Satisfaction Problems
The following result for finite structures Γ has been conjectured to hold for all countably infinite ω-categorical structures Γ: either the model-complete core ∆ of Γ has an expansion by finitely many constants such that the pseudovariety generated by its polymorphism algebra contains a two-element algebra all of whose operations are projections, or there is a homomorphism f from ∆ to ∆, for so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LMS Journal of Computation and Mathematics
سال: 2000
ISSN: 1461-1570
DOI: 10.1112/s146115700000022x