Introduction to Algorithms
3rd Edition
ISBN: 9780262033848
Author: Thomas H. Cormen, Ronald L. Rivest, Charles E. Leiserson, Clifford Stein
Publisher: MIT Press
expand_more
expand_more
format_list_bulleted
Question
Chapter 34.2, Problem 1E
Program Plan Intro
To prove that GRAPH-ISOMORPHISM belongs to NP by illustrating a polynomial-time
Expert Solution & Answer
Want to see the full answer?
Check out a sample textbook solution
Students have asked these similar questions
Please Answer this in Python language:
You're given a simple undirected graph G with N vertices and M edges. You have to assign, to each
vertex i, a number C; such that 1 ≤ C; ≤ N and Vi‡j, C; ‡ Cj.
For any such assignment, we define D; to be the number of neighbours j of i such that C; < C₁.
You want to minimise maai[1..N) Di - mini[1..N) Di.
Output the minimum possible value of this expression for a valid assignment as described above,
and also print the corresponding assignment.
Note:
The given graph need not be connected.
• If there are multiple possible assignments, output anyone.
• Since the input is large, prefer using fast input-output methods.
Input
1
57
12
13
14
23
24
25
35
Output
2
43251
Q
The subgraph-isomorphism problem takes two graphs G1 and G2 and asks
whether G1 is isomorphic to a subgraph of G2. Show that
a) the subgraph-isomorphism problem is in NP;
b) it is NP-complete by giving a polynomial time reduction from SAT problem to it.
and
Note: Two graphs G1=(V1, E1) and G2=(V2, E2) are isomorphic if there exists a
one-one and onto function f() from V1 to V2 such that for every two nodes u and
v in V1, (u.v) is in E1 if and only if (f(u), f(v)) is in E2. For examples, G1 is
isomorphic to a subgraph with vertices {1,2,5,4} of G2 below.
G1
G2
1
1
2
4
5
4
3.
2.
3.
Code in Python Please
For an undirected graph G with n vertices, prove the following are equivalent:
G is a tree
G is connected, but if any edge is removed the resulting graph is not connected.
For any two distinct vertices , u and v , there is exactly one simple path from u to v.
G contains no cycles and has n-1 edges
Chapter 34 Solutions
Introduction to Algorithms
Ch. 34.1 - Prob. 1ECh. 34.1 - Prob. 2ECh. 34.1 - Prob. 3ECh. 34.1 - Prob. 4ECh. 34.1 - Prob. 5ECh. 34.1 - Prob. 6ECh. 34.2 - Prob. 1ECh. 34.2 - Prob. 2ECh. 34.2 - Prob. 3ECh. 34.2 - Prob. 4E
Ch. 34.2 - Prob. 5ECh. 34.2 - Prob. 6ECh. 34.2 - Prob. 7ECh. 34.2 - Prob. 8ECh. 34.2 - Prob. 9ECh. 34.2 - Prob. 10ECh. 34.2 - Prob. 11ECh. 34.3 - Prob. 1ECh. 34.3 - Prob. 2ECh. 34.3 - Prob. 3ECh. 34.3 - Prob. 4ECh. 34.3 - Prob. 5ECh. 34.3 - Prob. 6ECh. 34.3 - Prob. 7ECh. 34.3 - Prob. 8ECh. 34.4 - Prob. 1ECh. 34.4 - Prob. 2ECh. 34.4 - Prob. 3ECh. 34.4 - Prob. 4ECh. 34.4 - Prob. 5ECh. 34.4 - Prob. 6ECh. 34.4 - Prob. 7ECh. 34.5 - Prob. 1ECh. 34.5 - Prob. 2ECh. 34.5 - Prob. 3ECh. 34.5 - Prob. 4ECh. 34.5 - Prob. 5ECh. 34.5 - Prob. 6ECh. 34.5 - Prob. 7ECh. 34.5 - Prob. 8ECh. 34 - Prob. 1PCh. 34 - Prob. 2PCh. 34 - Prob. 3PCh. 34 - Prob. 4P
Knowledge Booster
Similar questions
- Graphs G and H are isomorphic if the nodes of G may be reordered so that it is identical to H. Let ISO = { | G and H are isomorphic graphs}. Show that ISO is in the class NP.arrow_forwardMake java program that gives results to determine if a connected simple graph has independent sets & identify the minimum set & maximum independent set. Output of the program: - independent sets - maximum independent set - minimum independent setarrow_forwardExercise c. Strict matchingConsider the following generalization of the maximum matching problem, which we callStrict-Matching. Recall that a matching in an undirected graph G = (V, E) is a setof edges such that no distinct pair of edges {a, b} and {c, d} have endpoints that areequal: {a, b} ∩ {c, d} = ∅. Say that a strict matching is matching with the propertythat no pair of distinct edges have endpoints that are connected by an edge: {a, c} ̸∈ E,{a, d} ̸∈ E, {b, c} ̸∈ E, and {b, d} ̸∈ E. (Since a strict matching is also a matching, wealso require {a, b} ∩ {c, d} = ∅.) The problem Strict-Matching is then given a graphG and an integer k, does G contain a strict matching with at least k edges.Prove that Strict-Matching is NP-complete.arrow_forward
- 1. Let G be a tree and let L be the set of leaves in G (the vertices of degree 1). (a) If G contains a vertex of degree k, show that |L| > k. (b) Let f be a graph isomorphism from G to G. Prove that f(L) = L. (c) Prove that either there is a vertex v e V(G) such that f(v) = v or there is an edge {x, y} € E(G) such that {f(x), f(y)} = {x, y}. (Hint: Induction on |V(G)|; in the induction step consider a restriction of ƒ to a subset of vertices.)arrow_forwardFor each pair of graphs G1 = <V1, E1> and G2 = <V2, E2> a) determine if they are isomorphic or not. b) Determine a function that can be isomorphic between them if they are isomorphic. Otherwise you should justify why they are not isomorphic. c) is there an Euler road or an Euler bike in anyone graph? Is Hamilton available? You should draw if the answer is yes and reason if your answer is no.arrow_forwardnot handwritten Find with proof every graph G for which ex(n, G) is defined for all positive integers n andthere exists a constant c such that ex(n, G) = ex(m, G) for all integers m, n > c.arrow_forward
- Question 1 Let S be a subset of vertices in G, and let C be the complement graph of G (where uv is an edge in C if and only if uv is not an edge in G).Prove that for any subset of vertices S, S is a vertex cover in G if and only if V\S is a clique in C.Note: this is an if and only if proof, i.e. you need to show both directions for full credit. Question 2 Part 4.1 implies the following result (which you may use without proof): G has a vertex cover of size at most k if and only if the complement of G has a clique of size at least n−k.Use this fact to give a reduction from VertexCover to Clique. Your solution should have the following two steps:i) First, show the reduction: specify how the inputs to VertexCover, G and k, can be transformed to a valid input pair, H and l, for Clique. Make sure to explain why this takes polynomial time.ii) Second, show that the answer to Clique(H,l) can be converted to the answer of VertexCover(G,k). One possibility is to explain how a YES answer to…arrow_forwardProve 1 For a graph G = (V, E), a forest F is any set of edges of G that doesnot contain any cycles. M = (E, F) where F = {F ⊆ E : F is a forest of G} is amatroid.arrow_forwardA clique in an undirected graph is a subgraph wherein every two nodes are connected by an edge. Consider the language: CLIQUE = {G, k : G = (V, E) is an undirected graph containing a clique of size k} Show that 3SAT ≤p CLIQUEarrow_forward
- The third-clique problem is about deciding whether a given graph G = (V, E) has a clique of cardinality at least |V |/3.Show that this problem is NP-complete.arrow_forward2. Show that the following languages are in NP, by providing a non-deterministic algorithm. You are not allowed prove the membership in NP by providing certificate and verifier. • A = {(G, k) | G is k-colorable} • B = {G | G has a dominating set of size < n/2}, where n is the number of vertices of G. For an undirected graph G = (V, E), a set S C V is a dominating set if for every v ¢ S, there is a vertex u E D such that (v, u) E E.arrow_forward(3) Question 3: Given an undirected graph G and an edge uv in G. Design an algorithm that runs in O(|E|+|V)) time that decides if there is a cycle that contains UV. (4) Question 4: Problem 3 in page 245 of (Erickson]. Hint: Use topological sort. O S PC D00 吕口 F3 000 F4 F5 F7 F8 F9 F10 F2 # $ & 一 3 4 5 6 7 8 9. W E R T Y U FIL S D F H J K L V В N M and command B.arrow_forward
arrow_back_ios
SEE MORE QUESTIONS
arrow_forward_ios
Recommended textbooks for you
Database System ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill Education
Starting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSON
Digital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSON
C How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSON
Database Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage Learning
Programmable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education