Commit graph

202 commits

Author SHA1 Message Date
Aaron Huber caef645be3 Started incorporating algo fixes suggested 082120. 2020-08-21 20:16:58 -04:00
Aaron Huber 5b8b354c9c Started incorporating Oliver's 081420 suggestions 2020-08-20 14:01:56 -04:00
Aaron Huber 604d24ccf7 Fixes to algo 1. 2020-08-20 12:21:51 -04:00
Aaron Huber ee641bc8e2 Tweaked Inductive Proof for algo Sample correctness. 2020-08-20 11:15:18 -04:00
Aaron Huber 6097264bce Fixed normalization issue of algo 1. 2020-08-20 10:26:11 -04:00
Aaron Huber 3e6cc6d774 Finished Section 3 iteration 1. 2020-08-19 16:28:29 -04:00
Aaron Huber 2d7dd77d6a Rough draft of correctness for auxiliary methods. 2020-08-19 13:43:56 -04:00
Aaron Huber 282a3f370b Fixed typo in OnePass pseudo code. 2020-08-18 09:59:19 -04:00
Aaron Huber a2c9516147 Changes and comments added to Auxiliary Sample. 2020-08-18 09:57:04 -04:00
Aaron Huber 6326005751 More polishing of Approx Algo. 2020-08-17 17:12:25 -04:00
Aaron Huber fd881cd147 More cleaning up Approx Alg. 2020-08-17 13:52:18 -04:00
Aaron Huber baa21d7fef More adjustments to Approx Algo per 081420 discussion. 2020-08-15 13:01:52 -04:00
Aaron Huber 50619629a6 Main algorithm, some definitions for approx algo. 2020-08-14 19:22:16 -04:00
Aaron Huber 2026e06669 More changes in Approx Algo. 2020-08-14 12:03:26 -04:00
Aaron Huber f10b65525b Correctness of OnePass started. 2020-08-13 20:54:06 -04:00
Aaron Huber 3e4d42afd5 Pseudo Code for Sample Auxiliary and OnePass Algos. 2020-08-13 18:58:48 -04:00
Aaron Huber 44e314db13 Finished Description of Auxiliary Sample method. 2020-08-13 12:45:18 -04:00
Aaron Huber fe1cd90a14 Started a rewrite of Approx. Alg. 2020-08-12 17:41:09 -04:00
Aaron Huber 61a29ab4e1 Minor changes to approx alg. 2020-08-07 13:04:18 -04:00
Aaron Huber 5814e30799 Finished Approx Alg. 2020-08-06 15:02:37 -04:00
Aaron Huber 70c5e26ddf Started the 1 \pm \epsilon approx alg. 2020-08-05 16:08:40 -04:00
Aaron Huber c72691900e Minor changes. 2020-08-05 09:45:30 -04:00
Aaron Huber ff81e092d3 Finished implementing Atri's changes 073120. 2020-08-04 15:30:57 -04:00
Atri Rudra d08d2ae212 Done with pass on proof of Lemma 5 2020-07-31 21:53:07 -04:00
Atri Rudra 590bc9cbd9 starting my pass on Lemma 5. 2020-07-31 21:12:48 -04:00
Aaron Huber 1e6fda1b16 Finished rearranging section 2 for more continuity. 2020-07-27 12:34:23 -04:00
Aaron Huber 9cd95890f1 Started rearranging the beginning of Sec. 2 2020-07-24 12:00:22 -04:00
Aaron Huber 341adb0d68 Minor fixes to proof of lemma 3 (fixed p). 2020-07-23 12:25:48 -04:00
Aaron Huber b3c492c97b Finished determinant calculation for linear system in proving lemma 3. 2020-07-22 15:39:53 -04:00
Aaron Huber cc0163b9a0 More work on setting up the linear system. 2020-07-21 17:09:29 -04:00
Aaron Huber 360bb98903 Started developing linear system. 2020-07-21 12:16:46 -04:00
Aaron Huber 2cc520e533 Finished implementing Oliver's suggestions 071820. 2020-07-20 21:18:14 -04:00
Aaron Huber fdf08f5c53 Started fixing Oliver's suggestion 071820. 2020-07-20 15:50:44 -04:00
Aaron Huber 4d9ecbfa38 Finished Atri's suggestions 071820. 2020-07-20 15:23:15 -04:00
Aaron Huber 81abd633e6 Changes per Atri's suggestions 071820. 2020-07-20 12:50:13 -04:00
Atri Rudra 0d102c67e3 Made my pass 2020-07-18 23:15:35 -04:00
Aaron Huber 8deacddd3d Finished Atri's 071620 suggestions on lemma 3. 2020-07-18 20:04:15 -04:00
Aaron Huber 547638444f Changes propagated according to Atri's suggestions 071620. 2020-07-18 16:12:51 -04:00
Aaron Huber 61f75b1047 Finished addressing Atri's suggestions for 3-matchings 071620. 2020-07-18 12:06:30 -04:00
Aaron Huber 3961a71f1d Changes per Atri's suggestions 071620. 2020-07-17 20:26:45 -04:00
Oliver Kennedy 89501f3684
minor 2020-07-16 21:45:09 -04:00
Oliver Kennedy 1352029372
A few comments. 2020-07-16 21:41:43 -04:00
Atri Rudra da5fa05449 Done with my pass 2020-07-16 12:38:29 -04:00
Atri Rudra d211d944fe Started my pass. NOT
done yet.
2020-07-16 11:46:30 -04:00
Aaron Huber 997bfd9789 Linear Combinations for # of 3-path, Triangles 2020-07-16 10:38:53 -04:00
Aaron Huber 2e799f1357 Fixed 3-matchings linear combination analysis. 2020-07-15 14:32:01 -04:00
Aaron Huber 57bb33b843 Corrections based on subtlety of f definition. 2020-07-15 12:00:54 -04:00
Aaron Huber 5dc171e1ad Changed to one column. 2020-07-14 11:45:57 -04:00
Aaron Huber 7b95b728d1 Finished justification of linear combination of G_1 patterns contributing to G_3 three-matchings. 2020-07-14 11:05:21 -04:00
Aaron Huber 0f88083d62 Linear combination for G_3 added. 2020-07-13 19:16:19 -04:00