We prove that the problem STO of deciding whether or not a finite set E of term equations is subject to occur-check is in NP. E is subject to occur-check if the execution of the Martelli-Montanari unification algorithm gives for input E a set E βͺ {x = t}, where t = x and x appears in t. Apt et al. (
β¦ LIBER β¦
The P-matrix problem is co-NP-complete
β Scribed by Gregory E. Coxson
- Publisher
- Springer-Verlag
- Year
- 1994
- Tongue
- English
- Weight
- 312 KB
- Volume
- 64
- Category
- Article
- ISSN
- 0025-5610
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The STO problem is NP-complete
β
P. Krysta; L. Pacholski
π
Article
π
1999
π
Elsevier Science
π
English
β 233 KB
Co-NP-completeness of some matrix classi
β
Paul Tseng
π
Article
π
2000
π
Springer-Verlag
π
English
β 92 KB
The graph genus problem is NP-complete
β
Carsten Thomassen
π
Article
π
1989
π
Elsevier Science
π
English
β 471 KB
Permuted max-algebraic eigenvector probl
β
P. ButkoviΔ
π
Article
π
2008
π
Elsevier Science
π
English
β 129 KB
Let a β b = max(a, b) and a β b = a + b for a, b β R := R βͺ {-β} and extend these operations to matrices and vectors as in conventional linear algebra. The following eigenvector problem has been intensively studied in the past: Given A β R nΓn find all x β R n , x / = (-β, . . . , -β) T (eigenvector
The shortest common nonsubsequence probl
β
M. Middendorf
π
Article
π
1993
π
Elsevier Science
π
English
β 337 KB
The maximum edge biclique problem is NP-
β
RenΓ© Peeters
π
Article
π
2003
π
Elsevier Science
π
English
β 93 KB
We prove that the maximum edge biclique problem in bipartite graphs is NP-complete.