Chapter 7: Q49P (page 275)
Let be any function where . Show that contains only the regular languages.
Short Answer
Thus, it is only a regular language. It is accepted by the .
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 7: Q49P (page 275)
Let be any function where . Show that contains only the regular languages.
Thus, it is only a regular language. It is accepted by the .
All the tools & learning materials you need for study success - in one app.
Get started for free
In a directed graph, the indegreeof a node is the number of incoming edges and the outdegreeis the number of outgoing edges. Show that the following problem is NP-complete. Given an undirected graph G and a designated subset C of G’s nodes, is it possible to convert G to a directed graph by assigning directions to each of its edges so that every node in C has in-degree 0 or outdegree 0, and every other node in G has indegree at least 1?
Let has at least two satisfying assignments}. Show that complete
Let collection of subsets of S, for some , such that elements of S can be colored red or blue so that no Ci has all its elements colored with the same color}. Show that is NP-complete.
Let Analyse the algorithm given on page 185 to show that this language is in .
This problem investigates resolution, a method for proving the unsatisfiability of cnf-formulas. Let be a formula in cnf, where the are its clauses. Let . In a resolution step, we take two clauses and in C, which both have some variable occurring positively in one of the clauses and negatively in the other. Thus, and , where the and are literals. We form the new clause and remove repeated literals. Add this new clause to C. Repeat the resolution steps until no additional clauses can be obtained. If the empty clause ( ) is in C, then declare unsatisfiable. Say that resolution is sound if it never declares satisfiable formulas to be unsatisfiable. Say that resolution is complete if all unsatisfiable formulas are declared to be unsatisfiable.
a. Show that resolution is sound and complete.
b. Use part (a) to show that .
What do you think about this solution?
We value your feedback to improve our textbook solutions.