http://cswiki.wlu.edu/dokuwiki/ 2026-05-03T04:05:47+00:00 http://cswiki.wlu.edu/dokuwiki/ http://cswiki.wlu.edu/dokuwiki/lib/exe/fetch.php/wiki/dokuwiki-128.png text/html 2013-01-03T18:28:41+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/direct_proof?rev=1357237721&do=diff Direct Proofs A direct proof is simply a series of true statements, where each implies the next. Examples Chapter by Richard Hammack text/html 2016-02-19T18:48:24+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/greedy_exchange?rev=1455907704&do=diff How to Write a Greedy Exchange Proof * Guide to Greedy Algorithms, including exchange proofs * Greedy Notes - from UPitt's Professor Kirk Pruhs's algorithms class text/html 2016-02-15T03:15:53+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/greedy_stays_ahead?rev=1455506153&do=diff Greedy Stays Ahead Proof Some guides and examples: * Greedy Stays Ahead Proof and Example * Greedy Stays Ahead Proof and Example * Guide to Greedy Algorithms text/html 2018-01-08T16:28:16+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/home?rev=1515428896&do=diff CSCI 211: Algorithm Design and Analysis Course Web Site Resources Journals Dokuwiki Syntax Instructions * New blog entry/page for each week OR chapter OR section * Clearly delineate sections/chapters using the headers -- those are the “H”s in the formatting bar when you edit a page. You can make subheadings. The wiki will automatically make a table of contents for you, which will make navigation easier. text/html 2016-04-06T22:14:03+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/network_flow_proof?rev=1459980843&do=diff Writing a Network Flow Proof * A Guide from Alexa Sharp at Oberlin College text/html 2013-01-03T18:28:04+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/proof_by_contradiction?rev=1357237684&do=diff Proof by Contradiction How to Write a Proof by Contradiction * Assume the thing (P) we want to prove is false * Reason to a contradiction * Conclude that (P) must therefore be true Gotchas * Make sure that your assumptions and statements during text/html 2013-01-03T18:52:54+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/proof_by_induction?rev=1357239174&do=diff Proof by Induction Process * State your P(n). * State your P(n), which should be a property as a function of n * Also state for which n you will prove your P(n) to be true * State your base case. * State for which n your base case is true text/html 2016-01-20T18:30:14+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/resources?rev=1453314614&do=diff CSCI 211 Resources My pages: * Direct Proofs * How to write a proof by contradiction * How to write a proof by induction * How to write a greedy stays ahead proof * How to write a greedy exchange proof * How to write a network flow proof Other people's pages: * Richard Hammack's Book of Proof * How To Write Proofs by Larry Cusick text/html 2019-01-02T21:15:59+00:00 Anonymous (anonymous@undisclosed.example.com) http://cswiki.wlu.edu/dokuwiki/doku.php/courses/cs211/sidebar?rev=1546463759&do=diff CSCI 211 Navigation * Winter 2019 Journals * Winter 2018 Journals * Winter 2016 Journals * Resources ---------- <- CSCI 211 Wiki