According to these results, additionally to theorem 1 there are the following possibilities for the relationships between our classes :
Positive relativizations of the P = ? NP problem
β Scribed by Craig A. Rich
- Publisher
- Elsevier Science
- Year
- 1989
- Tongue
- English
- Weight
- 763 KB
- Volume
- 38
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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. (
Papadimitriou introduced several classes of NP search problems based on combinatorial principles which guarantee the existence of solutions to the problems. Many interesting search problems not known to be solvable in polynomial time are contained in these classes, and a number of them are complete
Let G ( V , E) be an undirected graph which describes the structure of a communication network. During the maintenance period every line must be tested in each of the two possible directions. A line is tested by assigning one of its endpoints t o be a transmitter, the other to be a receiver, and sen
## Abstract We show that the following problem is __NP__ complete: Let __G__ be a cubic bipartite graph and __f__ be a precoloring of a subset of edges of __G__ using at most three colors. Can __f__ be extended to a proper edge 3βcoloring of the entire graph __G__? This result provides a natural co