Atri Rudra
|
baa5ace07d
|
Updated definiton of deg(C)
|
2021-04-06 21:14:29 -04:00 |
|
Oliver Kennedy
|
f70d1df382
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2021-04-06 18:46:18 -04:00 |
|
Oliver Kennedy
|
a14f138633
|
clarifications, flow, grammar
|
2021-04-06 18:46:06 -04:00 |
|
Aaron Huber
|
69051b4949
|
Started pass on Sec 2 (Aaron)
|
2021-04-06 17:44:14 -04:00 |
|
Atri Rudra
|
f226af1dc3
|
Stuck in proof of Lemma 4.15
|
2021-04-06 16:35:11 -04:00 |
|
Aaron Huber
|
acdc8396d8
|
Finished pass on Intro (Aaron)
|
2021-04-06 16:11:19 -04:00 |
|
Atri Rudra
|
4835ff234a
|
Done till proof of Thm 4.18
|
2021-04-06 14:29:47 -04:00 |
|
Aaron Huber
|
5641c60344
|
Removed unnecessary file.
|
2021-04-06 13:06:32 -04:00 |
|
Aaron Huber
|
2678d1210e
|
Removed more from S3 to appendix.
|
2021-04-06 13:03:08 -04:00 |
|
Aaron Huber
|
2b94d8246e
|
Removed proofs from S3
|
2021-04-06 12:17:17 -04:00 |
|
Aaron Huber
|
45463cec52
|
blah
blahMerge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2021-04-06 11:46:54 -04:00 |
|
Aaron Huber
|
75b9e6a020
|
Restructured file system for appendix.
|
2021-04-06 11:43:34 -04:00 |
|
Atri Rudra
|
9c2485aeea
|
Done with pass on Sec 4
|
2021-04-06 11:21:52 -04:00 |
|
Atri Rudra
|
6b918517ef
|
Added notation for int mult complexity
|
2021-04-06 10:40:05 -04:00 |
|
Boris Glavic
|
1481e3b1f9
|
up
|
2021-04-06 09:16:09 -05:00 |
|
Boris Glavic
|
7d60ec8a4d
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2021-04-06 08:51:14 -05:00 |
|
Boris Glavic
|
487b22f6b2
|
intro
|
2021-04-06 08:50:42 -05:00 |
|
Aaron Huber
|
cbed137606
|
Generalized lemmas/proofs for OnePass and SampMonomial
|
2021-04-05 16:01:17 -04:00 |
|
Aaron Huber
|
2a12a719af
|
Fixed typo.
|
2021-04-03 12:21:44 -04:00 |
|
Aaron Huber
|
13f9162e6f
|
Rewrote |C|(1,...,1) proof with sufficient condition.
|
2021-04-03 12:17:55 -04:00 |
|
Boris Glavic
|
37196c454b
|
boris bad intro
|
2021-04-02 12:00:56 -05:00 |
|
Aaron Huber
|
9fc77e005b
|
typo fixes
|
2021-04-01 15:28:02 -04:00 |
|
Aaron Huber
|
3459de90d1
|
Finished 1st version of bounding |C|(1,...,1)
|
2021-04-01 15:06:16 -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 |
|
Oliver Kennedy
|
fda627ff38
|
Wordsmithing
|
2021-03-27 22:26:31 -04:00 |
|
Aaron Huber
|
8a37d83737
|
Small changes Sec 1, Sec 2 and Appendix A
|
2021-03-26 13:01:41 -04:00 |
|
Aaron Huber
|
35161963d5
|
Small notational changes in lemma 3.10 and preceding definitions of App B
|
2021-03-25 16:22:55 -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
|
04108670e0
|
Restructuring the Introduction Version 2 Completed.
|
2021-03-23 16:37:58 -04:00 |
|
Aaron Huber
|
7472bd83e1
|
More changes Intro Restructuring Round 2
|
2021-03-23 11:41:08 -04:00 |
|
Aaron Huber
|
6393951e20
|
Restructuring #2 of the Intro started.
|
2021-03-22 10:43:12 -04:00 |
|
Aaron Huber
|
5ca94a3e2f
|
Minor changes to intro restructuring.
|
2021-03-19 09:47:04 -04:00 |
|
Aaron Huber
|
e6b22c3ad7
|
More changes to the Intro
|
2021-03-18 10:38:16 -04:00 |
|
Aaron Huber
|
a608652e1f
|
Restructuring the Intro
|
2021-03-18 08:32:15 -04:00 |
|
Aaron Huber
|
4a6b4db236
|
Changed the way inequalities were referenced in SampMon Runtime Analysis.
|
2021-03-15 11:39:39 -04:00 |
|
Aaron Huber
|
66f792559d
|
Incorporated @atri 031421 suggestions.
|
2021-03-15 11:04:23 -04:00 |
|
Aaron Huber
|
d0dbaba2ec
|
Implemented @atri 030921 suggestions.
|
2021-03-11 11:42:46 -05:00 |
|
Aaron Huber
|
7f77653e1b
|
Finished my first past implementing Reviewer Suggestions.
|
2021-03-10 13:28:04 -05:00 |
|
Aaron Huber
|
39b176f045
|
More adjustments to save space; currently ~8.5 pages over.
|
2021-03-09 11:43:38 -05:00 |
|
Aaron Huber
|
0530ffc5cf
|
Started adjusting figures and equations in the Introduction.
|
2021-03-08 12:48:22 -05:00 |
|
Aaron Huber
|
4a55032435
|
Changed to ICDT format.
|
2021-03-06 20:34:18 -05:00 |
|
Aaron Huber
|
3a38a8ad89
|
Added a lemma and proof of correctnesss/runtime for Reduce algo.
|
2021-03-05 17:59:06 -05:00 |
|
Aaron Huber
|
c77ae26066
|
Finished all @atri 030421 and 030521 changes.
|
2021-03-05 16:42:12 -05:00 |
|
Boris Glavic
|
71d1fd44d7
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2021-03-05 12:02:18 -06:00 |
|
Boris Glavic
|
9b66ceca93
|
reviews
|
2021-03-05 12:02:03 -06:00 |
|
Aaron Huber
|
22ab0d9607
|
Changes: OnePass Alg now upholds reduced circuit invariant, argument updated for SampleMonomial Runtime Analysis, text explaining reduced cirucit.
|
2021-03-02 12:27:26 -05:00 |
|
Aaron Huber
|
40b38acbc6
|
Pushing changes to OnePass Correctness and SampleMon Runtime Analysis; the latter is not correct as of yet.
|
2021-02-26 17:03:16 -05:00 |
|
Aaron Huber
|
36538a6b2d
|
Changes to OnePass correctness and SampleMonomial Runtime analysis per @atri 022521 suggestions.
|
2021-02-26 11:55:33 -05:00 |
|
Aaron Huber
|
4eb9dd7352
|
Minor tweaks to SampMon runtime proof.
|
2021-02-24 12:04:34 -05:00 |
|