Complexity of the satisfiability problem for multilinear forms over a finite field (Q682219): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of satisfiability problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of theorem-proving procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754150 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of the conservative generalized satisfiability problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A dichotomy theorem for constraint satisfaction problems on a 3-element set / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3268312 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.3103/s0278641917020066 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2620918030 / rank
 
Normal rank

Latest revision as of 11:01, 30 July 2024

scientific article
Language Label Description Also known as
English
Complexity of the satisfiability problem for multilinear forms over a finite field
scientific article

    Statements

    Complexity of the satisfiability problem for multilinear forms over a finite field (English)
    0 references
    14 February 2018
    0 references
    The paper considers multilinear forms over finite fields, i.e., a product in which each factor is the sum of variables or elements of this field. The author shows that for each possible \(q \geq 3\), under which restrictions of the form of factors, the corresponding satisfiability problem for multilinear forms over a finite field of \(q\) elements can be solved using a polynomial algorithm. In addition, it is proved that this problem is \(NP\)-complete in all other cases.
    0 references
    function over finite field
    0 references
    linear function
    0 references
    multilinear form
    0 references
    satisfiability
    0 references
    \(NP\)-complete problem
    0 references
    polynomial algorithm
    0 references

    Identifiers