Commit graph

289 commits

Author SHA1 Message Date
Aaron Huber a8331ef52e Small adjustments to approx algo. 2020-12-08 11:59:46 -05:00
Aaron Huber 3bae3a4746 Changes to Approx. Alg section, mostly cosmetic 2020-12-07 17:02:12 -05:00
Aaron Huber f20577dead Finished restructuring mult p and single p arguments. 2020-12-07 15:12:39 -05:00
Aaron Huber efe4cae5f9 Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds 2020-12-04 13:15:12 -05:00
Aaron Huber aaf920e9a3 More work on lemmas 3, 4, and lin sys. 2020-12-04 13:14:12 -05:00
Boris Glavic 7eda047a30 intro 2020-12-04 11:56:48 -06:00
Aaron Huber 12c65e6301 Cleaned up macros and files a bit. 2020-12-03 11:23:53 -05:00
Aaron Huber c20aec43fa Incorporated all of Oliver's 113020 suggestions. 2020-12-03 10:32:09 -05:00
Aaron Huber c204c9fc61 More tweaks to Introduction 120220. 2020-12-02 16:30:42 -05:00
Aaron Huber ea5f4ccd05 Rewrote lemmas involving q_E^k. 2020-11-30 11:33:02 -05:00
Aaron Huber 46cff2029a Small ToDo note edit. 2020-11-25 16:40:13 -05:00
Aaron Huber 28c45f3770 Finished implementing @atri Element 112420 suggestions. 2020-11-25 16:35:05 -05:00
Aaron Huber ca2ef2b233 More changes per @atri 112420 Element suggestions 2020-11-25 13:36:09 -05:00
Aaron Huber d8366d1b4e Finished rewriting Intro based on @atri Riot 112420 chat. 2020-11-24 16:12:56 -05:00
Aaron Huber 398a1a156d More changes per @atri Riot 112320 conversation. 2020-11-24 11:27:34 -05:00
Aaron Huber 93a7d3ab4a Fixed missing $ sign. 2020-11-23 19:49:24 -05:00
Aaron Huber 326974725f Added some more to Intro rewrite. 2020-11-23 19:47:16 -05:00
Aaron Huber 94d0c4566c More rewriting the Intro. 2020-11-23 19:41:15 -05:00
Aaron Huber 9f0b6dadb0 New start on the Intro 2020-11-23 16:41:29 -05:00
Aaron Huber df7f3bec6c Remove unnecessary file 2020-11-23 14:19:05 -05:00
Atri Rudra aa950f385b yet another comment. OK, done 2020-11-19 22:26:40 -05:00
Atri Rudra cbb2c7659a Added another comment. 2020-11-19 22:23:33 -05:00
Atri Rudra cac31a8700 Added comments for first two paras. 2020-11-19 22:07:25 -05:00
Aaron Huber 049b210193 Added Paper Outline. 2020-11-19 11:04:04 -05:00
Aaron Huber d86b4747f2 Small tweaks to the Intro 2020-11-19 10:30:17 -05:00
Aaron Huber e9e03df7b1 New intro 1st paragraph. 2020-11-19 09:58:14 -05:00
Aaron Huber 46c3bc978a Authors in alphabetical order by last name. 2020-11-19 09:43:22 -05:00
Aaron Huber 0eeac5471c Minor changes. 2020-11-18 11:19:30 -05:00
Aaron Huber 34e14b739a Added citations. 2020-11-18 11:00:14 -05:00
Aaron Huber 2ee0e3c50e Added more to the Intro; implemented almost all of Boris' suggestions 2020-11-17 15:38:04 -05:00
Boris Glavic 5af0132778 intro 2020-11-17 09:26:01 -06:00
Aaron Huber 9f2a1cc70c First draft of Introduction. 2020-11-16 12:10:35 -05:00
Aaron Huber e2bd3111f0 Added more to Introduction Outline 2020-11-12 10:39:33 -05:00
Aaron Huber 9350cdeb9b Updated the Introduction Outline 2020-11-12 09:15:00 -05:00
Aaron Huber 15e06595e7 Added the IntroOutline to the Repo 2020-11-11 15:45:38 -05:00
Aaron Huber d7c0677955 Changes to linear system derivation sec 2.6 2020-11-06 13:04:04 -05:00
Aaron Huber 073304e49b Added explicit detail to the proofs where eq(10) was propagated. 2020-11-05 10:38:21 -05:00
Aaron Huber 5391c0f3e5 Fixes to 2.6 in computing determinant. 2020-11-04 16:31:39 -05:00
Aaron Huber 30a9e6e754 Updated linear equations LS(G(^i)) in sec 2.6 2020-11-04 15:59:03 -05:00
Aaron Huber 740d3724af Fixed calculation errors on eq(20)-eq(23). 2020-11-02 23:05:03 -05:00
Aaron Huber 649e06c7da Fixed typo in eq(14) 2020-11-02 22:37:55 -05:00
Aaron Huber dd0dc0ea31 Propagation of the correct eq(10). 2020-11-02 12:59:17 -05:00
Aaron Huber e930f5ac36 General and sufficient analysis for BIDB approximation without reduction. 2020-10-02 11:46:31 -04:00
Aaron Huber c1f9d280be Bounding argument for bi approx alg. 2020-10-01 19:50:16 -04:00
Aaron Huber ebbaa0ecb9 Minor changes to sufficient condition for BIDB. 2020-10-01 15:45:16 -04:00
Aaron Huber 23528f8e1c More on 'safe' BIDB queries for alg 1. 2020-10-01 15:30:35 -04:00
Aaron Huber 4749bd3652 More work on 'safe' queries over BIDB 2020-10-01 14:38:40 -04:00
Aaron Huber f53e0bd69f Started algo 1 for BIDB 2020-09-30 10:24:24 -04:00
Aaron Huber eaba0b00af Finished BI-->Q(TI) reduction correctness proof, the general BI blow up, and sufficient condition for linear time approximation algorithm over BI reduction. 2020-09-25 10:17:14 -04:00
Aaron Huber 3932ca3040 Finished proof of BI --> Q(TI) reduction; finished analysis of approximating general BI. 2020-09-24 23:05:19 -04:00