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
Concept explainers
Question
Chapter 32.3, Problem 4E
Program Plan Intro
To explain how to construct a fine automation which determines all occurrences of either of given two patterns
Expert Solution & Answer
Want to see the full answer?
Check out a sample textbook solution
Students have asked these similar questions
Give a DFA over {a,b} that accepts all strings of length exactly 5
For each state in your automaton, give a brief description of the strings associated with that state.
Suppose a biking environment consists of n ≥ 3 landmarks,which are linked by bike route in a cyclical manner. That is, thereis a bike route between landmark 1 and 2, between landmark 2 and 3,and so on until we link landmark n back to landmark 1. In the centerof these is a mountain which has a bike route to every single landmark.Besides these, there are no other bike routes in the biking environment.You can think of the landmarks and the single mountain as nodes, andthe bike routes as edges, which altogether form a graph G. A path is asequence of bike routes.What is the number of paths of length 2 in the graph in termsof n?What is the number of cycles of length 3 in the graph in termsof n?What is the number of cycles in the graph in terms of n?
Design a deterministic finite-state automaton over the alphabet {a, b, c}that accepts words where each character is immediately followed by atleast one identical character. For example, it accepts the words λ, aa, aaa,aabbbbaacc, but it rejects the words a, baba, cbbba. Write the transitionfunction of the automaton as a table and draw the automaton in the formof a transition diagram. Try to design the simplest possible automaton,i.e., an automaton with the smallest number of states.
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.Similar questions
- You are organizing a programming competition, where contestants implement Dijkstra's algorithm. Given adirected graph G = (V, E) with integer-weight edges and a starting vertex s ∈ V , their programs are supposedto output triplets (v, v.d, v.π) for each vertex v ∈ V . Design an O(V +E) time algorithm that takes as inputthe original graph G in both adjacency matrix (G.M) and adjacency list (G.Adj) representations, startingvertex s, and the output of a contestant's program (given as an array A of triplets), and returns whetherA is the correct output for G. Write down the pseudocode for your algorithm, explain why it correctlyveri es the output, and analyze your algorithm's running time. You may assume that all edge weights of the input graph provided to the contestantsare nonnegative and A (the output of their programs) is in the valid format, i.e., you don't need to verifythat A is actually an array of triplets, with v and v.π being valid vertices and v.d being an integer.Can you…arrow_forwardPlease 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 Qarrow_forwardCreate a Deterministic finite automaton that takes in binary strings and accepts them which has both an odd number of zeros and a sum that is divisible by 3 (but no others). For example, 0111 should be accepted, but not 011 or 111.arrow_forward
- Consider eight points on the Cartesian two-dimensional x-y plane. a g C For each pair of vertices u and v, the weight of edge uv is the Euclidean (Pythagorean) distance between those two points. For example, dist(a, h) : V4? + 1? = /17 and dist(a, b) = v2? + 0² = 2. Because many pairs of points have identical distances (e.g. dist(h, c) V5), the above diagram has more than one minimum-weight spanning tree. dist(h, b) = dist(h, f) Determine the total number of minimum-weight spanning trees that exist in the above diagram. Clearly justify your answer.arrow_forwardDraw a deterministic finite automaton (DFA) for the set of strings over the alphabet {a, b} whereeach string begins and ends with the same letter. For example, ababba and bbbab are strings thatshould be accepted by the DFA, but abbab and baaba should not be accepted.arrow_forwardConsider the following finite-state automaton A over E = {a, b, c}: A = (E, {qo, 91; 92, 93 } , 8, 90, {92}) %3D where d = {(q0, a, q1), (q1, b, q0), (q1, b, q2), (q2, a, 91), (92, b, q2), (q2, a, q3), (q3, c, q3), (q3, a, q2)}. Draw the automaton A as a transition graph.arrow_forward
- 3) The graph k-coloring problem is stated as follows: Given an undirected graph G= (V,E) with N vertices and M edges and an integer k. Assign to each vertex v in V a color c(v) such that 1arrow_forward5. (This question goes slightly beyond what was covered in the lectures, but you can solve it by combining algorithms that we have described.) A directed graph is said to be strongly connected if every vertex is reachable from every other vertex; i.e., for every pair of vertices u, v, there is a directed path from u to v and a directed path from v to u. A strong component of a graph is then a maximal subgraph that is strongly connected. That is all vertices in a strong component can reach each other, and any other vertex in the directed graph either cannot reach the strong component or cannot be reached from the component. (Note that we are considering directed graphs, so for a pair of vertices u and v there could be a path from u to v, but no path path from v back to u; in that case, u and v are not in the same strong component, even though they are connected by a path in one direction.) Given a vertex v in a directed graph D, design an algorithm for com- puting the strong connected…arrow_forward(V, E) be a connected, undirected graph. Let A = V, B = V, and f(u) = neighbours of u. Select all that are true. Let G = a) f: AB is not a function Ob) f: A B is a function but we cannot always apply the Pigeonhole Principle with this A, B Odf: A B is a function but we cannot always apply the extended Pigeonhole Principle with this A, B d) none of the abovearrow_forwardGiven an abstraction of the City Tube Map where each node represents the city’s attraction, plan the trip for the tourist to visit. Start from node 1 that is their hotel, a group of tourists wants to visit all places. However, due to the time limitation, they can only visit each attraction once. To find the best order of places to visit, genetic algorithm can be used to derive the best possible solutions.arrow_forward3) The graph k-coloring problem is stated as follows: Given an undirected graph G = (V,E) with N vertices and M edges and an integer k. Assign to each vertex v in Va color c(v) such that 1< c(v)arrow_forward36. Let G be a simple graph on n vertices and has k components. Then the number m of edges of G satisfies n-k ≤m if G is a null graph. This statement is A. sometimes true B. always true C. never true D. Neither true nor falsearrow_forwardarrow_back_iosSEE MORE QUESTIONSarrow_forward_iosRecommended 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 ConceptsComputer ScienceISBN:9780078022159Author:Abraham Silberschatz Professor, Henry F. Korth, S. SudarshanPublisher:McGraw-Hill EducationStarting Out with Python (4th Edition)Computer ScienceISBN:9780134444321Author:Tony GaddisPublisher:PEARSONDigital Fundamentals (11th Edition)Computer ScienceISBN:9780132737968Author:Thomas L. FloydPublisher:PEARSONC How to Program (8th Edition)Computer ScienceISBN:9780133976892Author:Paul J. Deitel, Harvey DeitelPublisher:PEARSONDatabase Systems: Design, Implementation, & Manag...Computer ScienceISBN:9781337627900Author:Carlos Coronel, Steven MorrisPublisher:Cengage LearningProgrammable Logic ControllersComputer ScienceISBN:9780073373843Author:Frank D. PetruzellaPublisher:McGraw-Hill Education