Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
courses:cs211:winter2014:journals:gabi:home [2014/04/02 00:57] – [Chapter 7.2] tremogcourses:cs211:winter2014:journals:gabi:home [2014/04/02 01:21] (current) – [Chapter 7.7] tremog
Line 1847: Line 1847:
  
 (7.13) In Every flow network the max value of an s-t flow is equal to the minimum capacity of an s-t cut.  (7.13) In Every flow network the max value of an s-t flow is equal to the minimum capacity of an s-t cut. 
 +
 **Algorithms:** **Algorithms:**
  
Line 1858: Line 1859:
  
 Very very little. Very very little.
 +
 +**Key Points:**
 +
 +In a sense, (7.8) looks weaker than (7.6) does since it is only an inequality rather can than equality. However, this becomes extremely useful for us, since the right-hand side is independent of any particular flow f.
  
 Readability (scale: 1-10): Readability (scale: 1-10):
Line 1864: Line 1869:
 ==== Chapter 7.5 ==== ==== Chapter 7.5 ====
  
-//**0.0: **//+//**7.5A First Application: The Bipartite Matching**//
  
 +**Summary:**
  
 +One of our original goals in developing the Max-Flow problem was to be able to solve the Bipartite Matching problem. 
  
-**Summary:**+The graph defining a matching problem is undirected, while flow networks are direction. However this is not difficult to implement to find a max matching solution. 
  
 +We start by computing a max s-t flow in the network G'. We discover that the value of this maximum is equal to the size of the maximum matching in G. Also, our analysis shows that we can actually use the flow itself to recover the matching. 
  
 +We do this by looking at three facts about M', which is the set of edges of the form (x,y) on which the flow value is one.
  
-**Algorithms:**+1) M' contains k edges 
 +2) Each node in X is the nail of at most one edge in M' 
 +3) Each node in Y is the head of at most one edge in M' 
  
 +Combining these facts we can see that if we view M' as a set of edges in the original bipartite graph G, we get a matching of size k. In short:
  
 +(7.37) The size of the maximum matching in G is equal to the value of the max flow in G' and the edges in such matching in G are the edges that carry flow from X to Y in G' 
  
-**Questions:** 
  
 +Moreover, we can do all of this in O(Mc) time since we are using the F-F algorithm!!! 
 +
 +**Algorithms:**
 +
 +the Ford-Fulkerson algorithm, which is actually discussed in section 1. 
 +
 +**Questions:**
  
 +Why couldn't they have included the pseudo-code for this? I feel like there are some extra steps in this that need to be sorted out in order to figure out the answer to the problem. 
  
 **What made sense?:** **What made sense?:**
  
-==== Chapter 7.7 ====+The runtime!! (It's the same as section one ;) ) 
  
-//**0.0: **//+**Key Points:**
  
 +The graph defining a matching problem is undirected, while flow networks are direction. However this is not difficult to implement to find a max matching solution. 
  
 +**Readability (1-10):**
 +
 +7. Would have been an 8 if there was some psudeo-code to go along with it. The psudeo-code always helps me sort through the text (since the texbook can be a little bit dense sometimes. The code is a nice outline)
 +==== Chapter 7.7 ====
 +
 +//**7.7: Extensions to the Max-Flow Problem**//
  
 **Summary:** **Summary:**
  
 +Many issues that can be solved with the Max-Flow problem have essentially nothing to do with the fact that it models traffic in a network. Who knew? It also helps with problems that have nontrivial combinatorial search components. It is very useful because it can be solved in poly-time with O(Mc) time because of the F-F algorithm.
 +
 +One of these problems is the :Circulations with demands: algorithm. For example, what if you had multiple sources and multiple sinks. In this problem, instead of maxing the flow value, we have to consider a problem in which the sources have fixed supply values and the sinks have fixed demands values and our job is to meet these demands. 
 +
 +(7:51) The Graph G has a feasible circulation with demands (dv) if and only if for all cuts (A,B)
 +
 +
 +If all of the capacities and demands in G are integers and there is a feasible circulation, then there is a feasible circulation that is integer-valued.  
  
  
 **Algorithms:** **Algorithms:**
  
 + Once again, the F-F algorithm from section one.
  
  
 **Questions:** **Questions:**
  
 +Where is the psudo-code? :(
  
 **What made sense?:** **What made sense?:**
 +
 +The real world application. I don't know why but I can visualize this problem well. Maybe not real world, but this is much less of an abstraction than the ones in 7.5 and 7.2
 +
 +**Key Points:**
 +
 +Many issues that can be solved with the Max-Flow problem have essentially nothing to do with the fact that it models traffic in a network. Who knew?
 +
 +**Readability (1-10):**
 +
 +7. No psudeo-code :(
 +
 +
  
courses/cs211/winter2014/journals/gabi/home.1396400254.txt.gz · Last modified: 2014/04/02 00:57 by tremog
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0