About one class polynomial problems with not polynomial certificates
نویسنده
چکیده
About one class polynomial problems with not polynomial certificates Kochkarev B.S. Abstract. We build a class of polynomial problems with not polynomial certificates. The parameter concerning which are defined efficiency of corresponding algorithms is the number n of elements of the set has used at construction of combinatory objects (families of subsets) with necessary properties. Let Σ = {0, 1} is set of two elements. An language L over Σ is any set of strings made up of symbols from Σ. We denote the empty string by e, and the empty language by ∅. The language of all strings over Σ is denoted Σ *. Every language L over Σ is a subset of Σ *. Let n is a natural number and S is the ordered set (a 1 , a 2 ,. .. , a n). In the capacity of combinatorial objects we will to consider the families of subsets of the set S with necessary properties. Any subset A of S can be present in look of string from n elements (σ 1 , σ 2 ,. .. , σ n), where σ i = 1, if a i ∈ A and σ i = 0, if a i / ∈ A. In the capacity of languages we will consider the families of subsets of the set S with definite properties. Thus a language in our case is a subset of the strings (σ have entered a concept of complexity class P. Definition 1 [1,2]. A language L belong to P if there is an algorithm A that decide L in polynomial time (≤ O(n k)) for a constant k. Class of problems P is called polynomial. According to [3] J. Edmonds has entered also the complexity class N P. This is the class of problems (languages) that can be verified by a polynomial-time algorithm. Definition 2 [3]. A language L belongs to N P if there exists a two-input polynomial-time algorithm A and such polynomial p(x) with whole coefficients that L = {x ∈ {0, 1} n : there exists a certif icate y with | y |≤ p(| x |) and A(x, y) = 1} In this case we say that the algorithm A verifies language L in polynomial time. According to definition 2 if L ∈ P and | y |≤ p(| x |) then L ∈ N P. But if L ∈ P …
منابع مشابه
Proof of the hypothesis Edmonds's, not polynomial of NPC-problems and classification of the problems with polynomial certificates
Proof of the hypothesis Edmonds's, not polynomial of NPC-problems and classification of the problems with polynomial certificates Abstract We show that the affirmation P ⊆ N P (in computer science) erroneously and we prove the justice of the hypotesis J.Edmonds's P = N P. We show further that all the N P-complete problems is not polynomial and we give the classification of the problems with the...
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کاملGlobal optimization of mixed-integer polynomial programming problems: A new method based on Grobner Bases theory
Mixed-integer polynomial programming (MIPP) problems are one class of mixed-integer nonlinear programming (MINLP) problems where objective function and constraints are restricted to the polynomial functions. Although the MINLP problem is NP-hard, in special cases such as MIPP problems, an efficient algorithm can be extended to solve it. In this research, we propose an algorit...
متن کاملCharacterizations of the Existence of Partial and Total One-Way Permutations
In this note, we study the easy certificate classes introduced by Hemaspaandra, Rothe, and Wechsung [HRW], with regard to the question of whether or not surjective oneway functions exist. This is an important open question in cryptology. We show that the existence of partial one-way permutations can be characterized by separating P from the class of UP sets that, for all unambiguous polynomial-...
متن کاملPositive polynomials on unbounded equality-constrained domains
Certificates of non-negativity are fundamental tools in optimization. A “certificate” is generally understood as an expression that makes the non-negativity of the function in question evident. Some classical certificates of non-negativity are Farkas Lemma and the S-lemma. The lift-and-project procedure can be seen as a certificate of non-negativity for affine functions over the union of two po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1210.7591 شماره
صفحات -
تاریخ انتشار 2012