 Oliver Kennedy
|
345d95b651
|
Read through: Space, grammar, notation fixes
|
2021-04-07 01:02:46 -04:00 |
 Aaron Huber
|
2678d1210e
|
Removed more from S3 to appendix.
|
2021-04-06 13:03:08 -04:00 |
|
Aaron Huber
|
75b9e6a020
|
Restructured file system for appendix.
|
2021-04-06 11:43:34 -04:00 |
|
Aaron Huber
|
9c410fa3b8
|
Started proof for |C|(1,...,1)
|
2021-03-31 23:02:13 -04:00 |
|
Aaron Huber
|
9f53fe0aca
|
Implemented @atri's 032721 suggestions.
|
2021-03-29 18:37:20 -04:00 |
|
Aaron Huber
|
dcb42fe340
|
Incorporated Virginia's 3-path observation into Lem 3.15.
|
2021-03-25 11:52:59 -04:00 |
|
Aaron Huber
|
7f77653e1b
|
Finished my first past implementing Reviewer Suggestions.
|
2021-03-10 13:28:04 -05:00 |
|
Aaron Huber
|
51766b857c
|
Fixed grammar errors
|
2020-12-20 18:47:04 -05:00 |
 Atri Rudra
|
196e23db8e
|
Done with S3 pass
|
2020-12-20 00:22:12 -05:00 |
|
Aaron Huber
|
7c062ec1c5
|
Added macros for S3 probability notation
|
2020-12-19 23:43:42 -05:00 |
|
Oliver Kennedy
|
5321761acf
|
Trimming about all that I can trim through rephrasing+spacing cheats
|
2020-12-19 14:02:12 -05:00 |
|
Oliver Kennedy
|
0e7aaa8ebe
|
Pass over S2, S3; Ended up saving a column or so
|
2020-12-19 00:45:30 -05:00 |
|
Aaron Huber
|
899edc4248
|
Finished porting all @atri asked in 121820 meeting
|
2020-12-18 18:23:24 -05:00 |
Boris Glavic
|
cc989e88bc
|
sec 3
|
2020-12-18 12:06:13 -06:00 |
|
Boris Glavic
|
aaebbc7912
|
sec 3
|
2020-12-18 11:23:13 -06:00 |
|
Aaron Huber
|
fe14d240b6
|
Fixed end of lemma 3.5 proof.
|
2020-12-16 17:25:37 -05:00 |
|
Atri Rudra
|
b824916441
|
Handled Oliver's comments on Sec 3
|
2020-12-15 19:10:17 -05:00 |
|
Atri Rudra
|
50669af401
|
Started with proof of correctness of approx algo
|
2020-12-14 22:37:30 -05:00 |
|
Atri Rudra
|
4a52573012
|
Added a app for Sec 3 details
|
2020-12-13 21:53:22 -05:00 |
|
Atri Rudra
|
82b682d92e
|
Done with multiple p stuff
|
2020-12-13 21:49:25 -05:00 |
|
Atri Rudra
|
2b94fe4374
|
Done till proof of redux
|
2020-12-13 14:16:32 -05:00 |
|
Atri Rudra
|
a0ac4a4bfe
|
Done with pass on (new) Sec 3.1
|
2020-12-13 13:41:42 -05:00 |
|
Atri Rudra
|
b4db64933c
|
made some macro changes
|
2020-12-13 13:05:43 -05:00 |
|
Atri Rudra
|
9822665991
|
Started pass on Sec 3
|
2020-12-13 11:32:55 -05:00 |
|
Atri Rudra
|
de9d0e2175
|
Added a note for discussion on hardness results
|
2020-12-11 21:48:27 -05:00 |
|
Aaron Huber
|
17b2e6df8f
|
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-12-11 20:20:02 -05:00 |
|
Aaron Huber
|
d9abe760a0
|
Moved definitions, lemmas, etc. to background/notation section.
|
2020-12-11 20:19:45 -05:00 |
|
Boris Glavic
|
470b8b4aff
|
abstract
|
2020-12-11 18:50:53 -06:00 |
|
Aaron Huber
|
bbc47b2923
|
Attempted to fix runtime analysis for outer approx alg.
|
2020-12-10 18:13:59 -05:00 |
|
Aaron Huber
|
81baf437b6
|
Implemented @atri 121020 pdf suggestions for sec 3.
|
2020-12-10 12:07:09 -05:00 |
|
Aaron Huber
|
2caa90b114
|
Implemented changes to Sec. 3.1 per Riot conversation w/@atri 120920
|
2020-12-09 17:40:54 -05:00 |
|
Aaron Huber
|
a9c3d362ee
|
Incorporated @atri pdf 120920 suggestions.
|
2020-12-09 13:41:44 -05:00 |
|
Aaron Huber
|
98ac2ced8f
|
Incorporated all of @atri Riot 120920 suggestions.
|
2020-12-09 12:20:44 -05:00 |
|
Atri Rudra
|
9412b2bed0
|
Added hardness result for k-matchings
|
2020-12-09 00:00:04 -05:00 |
|
Aaron Huber
|
a8331ef52e
|
Small adjustments to approx algo.
|
2020-12-08 11:59:46 -05:00 |
|
Aaron Huber
|
f20577dead
|
Finished restructuring mult p and single p arguments.
|
2020-12-07 15:12:39 -05:00 |
|
Aaron Huber
|
aaf920e9a3
|
More work on lemmas 3, 4, and lin sys.
|
2020-12-04 13:14:12 -05:00 |