Use algorithm np completeness of any of the problems

Assignment Help Theory of Computation
Reference no: EM1370349

The final is individual work. Please do not discuss these questions with anyone expect with Swamy, Tom and Eva. We will do our best to answer your emails promptly during the week, and also will have office hours every day (see Web). In writing down your solutions you may use any algorithm without writing out the details of the algorithm. In proving a problem NP-complete, you may use the NP completeness of any of the problems that we proved NP-complete in class or as a homework.

You may use the course packet, Kozen's book, hand outs, or any of the recommended books. If you use books other than the course packet, or Kozen's book in your solutions, please give clear reference to the source you used. (1) Suppose you are managing a system in which asynchronous processes make use of shared resources. Thus, the system has a set of n processes and a set of m resources. At any given point in time, each process specifies a set of resources that it requests to use. Each resource might be requested by many processes at once; but it can only be used by a single process at a time. Your job is to allocate resources to processes that request them. If a process is allocated all the resources it requests, then it is active; otherwise it is blocked. You want to perform the allocation so that as many processes as possible are active. Thus, we phrase the Resource Reservation problem as follows: given a set of process and resources, the set of requested resources for each process, and a number k, is it possible to allocate resources to processes so that at least k processes will be active? Consider the following list of problems, and for each problem either give a polynomial time algorithm or prove that the problem is NP-complete.

(a) The general Resource Reservation problem defined above.
(b) The special case of the problem when k=2.
(c) The special case of the problem when there are two types of resources, say rooms and equipments, each process requires at most one resource of each type.
(d) The special case of the problem when each resource is requested by at most two processes.

Reference no: EM1370349

Questions Cloud

Explain monotone instance of satisfiability : Given monotone instance of Satisfiability, together with number k, problem of Monotone Satisfiability with Few True Variables asks: is there satisfying assignment for instance in which at most k variables are set to 1.
Suppose that anthony had contacted various users of yahoo : Suppose that Anthony had contacted various users of Yahoo's online dating service only to discover that each user's profile exaggerated the user's physical appearance
Calculate the profit maximizing activity level : PL offers mail-order storage containers for china. The company is the low cost provider of these quilted boxes with fixed costs of $480000 a year, plus variable costs of $30 a box.
Explain what values or assumptions do the laws : Explain What values or assumptions do the laws of these countries make about the employment relationship?
Use algorithm np completeness of any of the problems : Use any algorithm we without writing out details of algorithm. In proving problem NP-complete, you may utilize NP completeness of any of the problems.
Explain what is the difference between a standard and budget : Explain What is the difference between a standard and a budget andf Manage by exception is a term often used by management
Question based on value added : What value added means is not a higher price for certain goods. Value added means adding value to a raw product at its present stage of production and possibly taking that product to the next stage of production.
Explain what economic concept is central to proving risk : Explain What economic concept is central to proving that risk neutral pricing functions in the establishing of option prices?
Multiple choice questions based on competitive market : A perfectly competitive market company realizes an average of $11 and an average total cost of $10.00. Marginal cost curve crosses marginal revenue curve at an output level of 100 units.

Reviews

Write a Review

Theory of Computation Questions & Answers

  How to express correctness properties in ltl

Express the given correctness properties in LTL. Defne propositions/variables to model the events mentioned in the question. If a parent process calls the blocking waitpid() system call then it is blocked until child process terminates.

  Explain declarative knowledge and procedural knowledge

Write some examples of declarative knowledge. Write some examples of procedural knowledge. Then, compare examples, highlighting the similarities & differences.

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Proving language to be pumping lemma

Show that the language F = {a^i b^j c^k | i, j, k greater than or equal to 0 and if i = 1 then j = k} is not regular. Show, however, that it satisfies the statement of the pumping lemma

  Productions of nonterminals as right regular grammars

Rewrite the productions for each of the following nonterminals as right regular grammars: Identifier, Float. Show the moves made using the DFSA for identifiers in accepting.

  Explaining syntactically legal boolean expression

In this problem, we consider a very restricted subset of Boolean expressions. Define an operator to be one of  the four symbols: ¬, ∧, ∨, and →. Define a variable to be one of the five symbols

  Deterministic finite and non-deterministic finite automata

Describe the difference between a Deterministic Finite Automata and Non-Deterministic Finite Automata. In general, which one is expected to have less number of states ?

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  If l recognized by dfa then language left half is regular

We showed to prove that if L can be identified by DFA then the language left half(L) = {x ∈ ∑*|∃y xy ∈ L and |x| = |y|} is also regular; here |x| means length of x.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd