Commit Graph

30 Commits (master)

Author SHA1 Message Date
Aaron Huber bca52a1af5 Misc. changes; change X to U in intro example, adjust appendix for S.3 and S.4 changes, etc. 2022-06-03 12:11:54 -04:00
Aaron Huber 1cbcf4c927 Some changes to proof for Sample Monomial, probability bound for approximation algo. 2022-05-03 10:03:54 -04:00
Aaron Huber 775ec53143 Read through/cleaning of Appendix C up to C.11. 2022-04-26 14:19:14 -04:00
Aaron Huber 2208604fac Reworked proof for Lem 4.8. 2022-04-26 09:07:15 -04:00
Aaron Huber 7ab8af7124 Switched appendix to \onecolumn; fixed nits @atri pointed out. 2022-03-17 10:23:12 -04:00
Atri Rudra 6182caf8c2 Update on Overleaf. 2022-03-09 02:57:26 +00:00
Aaron Huber 580e6876fb Fixed lemma 4.8 proof per @atri 030722 comments. 2022-03-08 20:26:18 -05:00
Boris Glavic 545f23b7ab approx algo desc. 2021-09-20 22:36:45 -05:00
Boris Glavic a4fba1e6e3 approx algo desc. 2021-09-20 22:08:42 -05:00
Aaron Huber ee6eb1ac2c Appendix (formerly C) D pass...almost complete. 2021-09-20 12:25:29 -04:00
Atri Rudra 9433e27392 Done with pass on App C 2021-09-18 15:55:52 -04:00
Atri Rudra d0b2c75d63 Done with my pass 2021-09-18 01:47:02 -04:00
Aaron Huber d087ce7fbb Finished pass on S4. 2021-09-10 11:49:29 -04:00
Aaron Huber 8eddb23e60 More changes, added Introduction (previous/current) outlines. 2021-06-17 15:21:34 -04:00
Aaron Huber 45488b5396 Changes to app C. 2021-06-15 16:57:32 -04:00
Aaron Huber 742108ef26 Fixed ~\ref in appendix. 2021-04-10 16:18:04 -04:00
Boris Glavic dd62648583 cref 2021-04-10 08:48:26 -05:00
Aaron Huber 6c76d17ca5 Restructured SampMonomial proof (num nodes visited) 2021-04-09 16:13:35 -04:00
Atri Rudra bfe8baf674 minor 2021-04-08 23:02:32 -04:00
Atri Rudra 8d833ac312 Re-org of S4 2021-04-08 22:59:48 -04:00
Oliver Kennedy 5574256373
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-04-08 11:51:56 -04:00
Oliver Kennedy acf3ad29d9
Minor adjustments 2021-04-08 11:51:26 -04:00
Aaron Huber 14eed48e17 Finished 1st pass on trimming Sec 4 (Aaron) 2021-04-08 11:29:37 -04:00
Aaron Huber 9d499fa301 Some changes to App C. 2021-04-07 17:27:11 -04:00
Atri Rudra edde2da120 Done with first part of S4 appendix 2021-04-06 23:43:47 -04:00
Atri Rudra cc109567cc Still working on S4 appendix 2021-04-06 23:17:19 -04:00
Atri Rudra baa5ace07d Updated definiton of deg(C) 2021-04-06 21:14:29 -04:00
Atri Rudra f226af1dc3 Stuck in proof of Lemma 4.15 2021-04-06 16:35:11 -04:00
Atri Rudra 4835ff234a Done till proof of Thm 4.18 2021-04-06 14:29:47 -04:00
Aaron Huber 75b9e6a020 Restructured file system for appendix. 2021-04-06 11:43:34 -04:00