Difference between revisions of "CSE550 Combinatorial Algorithms/Intractability"

From esoterum.org
Jump to: navigation, search
Line 7: Line 7:
 
*[http://wpweb2.tepper.cmu.edu/fmargot/introILP.html Interger Linear Programming Tutorial] (CMU)
 
*[http://wpweb2.tepper.cmu.edu/fmargot/introILP.html Interger Linear Programming Tutorial] (CMU)
 
*[http://elib.zib.de/pub/Packages/mathprog/ Opensource Algorithm Code], Zuse Institute
 
*[http://elib.zib.de/pub/Packages/mathprog/ Opensource Algorithm Code], Zuse Institute
 +
*[http://ad.informatik.uni-freiburg.de/lehre/ss01/paa/vorlesung-uebungen/download/index.htm Lectures from the University of Freiburg]
  
 
== HW 6 ==
 
== HW 6 ==

Revision as of 21:58, 26 November 2007

Resources

-Unimodularity ensures that the solution to an LP will always be integer if all of the costs and constraints are also integer

HW 6

1. 2-SAT is in NP
2. A sub-optimal solution to TSP is a Hamiltonian Cycle.
3. 3SAT reduction to NAESAT
4. Finding disjoint paths with different path-costs: Complexity and algorithms

HW 7

1.
-Theorem 1.2 (Kumar and Li, 2002) Any asymmetric TSP on n locations can be reducedto a symmetric TSP on 2n locations

Midterm

Q1

Q4

Project

-Chapter 7. LP in Practice
-> Chapter 10. Network Flow Programming