 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
|
95a311565b
|
More changes to notation, etc.
|
2021-06-11 11:22:58 -04:00 |
|
Aaron Huber
|
4fe79fd1c7
|
Notation changes started.
|
2021-06-09 12:42:26 -04:00 |
|
Aaron Huber
|
7594e45ea9
|
Merge
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2021-04-10 14:40:26 -04:00 |
|
Aaron Huber
|
32f3edde3c
|
Small changes to poly, smb, degree, etc. defs
|
2021-04-10 14:39:54 -04:00 |
Boris Glavic
|
c9cde8f57a
|
updates
|
2021-04-10 13:35:38 -05:00 |
|
Boris Glavic
|
dd62648583
|
cref
|
2021-04-10 08:48:26 -05:00 |
 Oliver Kennedy
|
6d2a684189
|
Minor adjustments
|
2021-04-10 00:19:16 -04:00 |
|
Aaron Huber
|
6c76d17ca5
|
Restructured SampMonomial proof (num nodes visited)
|
2021-04-09 16:13:35 -04:00 |
|
Aaron Huber
|
9dade793f7
|
Small fixes to Appendix C
|
2021-04-09 11:48:10 -04:00 |
 Atri Rudra
|
03897a15ac
|
Done with my final pass
|
2021-04-09 00:14:02 -04:00 |
|
Atri Rudra
|
8d833ac312
|
Re-org of S4
|
2021-04-08 22:59:48 -04:00 |
|
Boris Glavic
|
0f704e7377
|
shorten
|
2021-04-08 21:30:03 -05: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 |
|
Aaron Huber
|
7b2cb38ae4
|
Small fix on Section 4 pass (Aaron)
|
2021-04-07 12:26:07 -04:00 |
|
Aaron Huber
|
447377d3f7
|
Finished pass on Section 4 (Aaron)
|
2021-04-07 12:21:41 -04:00 |
|
Oliver Kennedy
|
345d95b651
|
Read through: Space, grammar, notation fixes
|
2021-04-07 01:02:46 -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
|
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 |
|
Aaron Huber
|
cbed137606
|
Generalized lemmas/proofs for OnePass and SampMonomial
|
2021-04-05 16:01:17 -04:00 |
|
Aaron Huber
|
d0dbaba2ec
|
Implemented @atri 030921 suggestions.
|
2021-03-11 11:42:46 -05:00 |
|
Aaron Huber
|
0530ffc5cf
|
Started adjusting figures and equations in the Introduction.
|
2021-03-08 12:48:22 -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
|
ff1431a195
|
Added new SampleMonomial proof with Cost function.
|
2021-02-23 10:45:58 -05:00 |
|
Aaron Huber
|
2a3e7cc8a5
|
Fixed all of @atri's suggestions up to but NOT including sample monomial proof.
|
2021-02-19 11:15:52 -05:00 |
|
Aaron Huber
|
cca1cb5dc8
|
Implemented @oliver's 021221 suggestions.
|
2021-02-15 13:24:19 -05:00 |
|
Aaron Huber
|
d4717bc249
|
Finished @atri 021821 suggestions modulo element Qs.
|
2021-02-11 12:33:57 -05:00 |
|
Aaron Huber
|
ba6010daa8
|
Finished rewrite of SampMon; started Iterative solution of OnePass
|
2021-02-08 13:44:50 -05:00 |
|
Aaron Huber
|
3b6dbf35d9
|
More revision of OnePass per @atri 020421 comments/feedback
|
2021-02-05 11:43:01 -05:00 |
|
Aaron Huber
|
c302088621
|
One minor fix in Approx Alg results.
|
2021-02-02 11:42:24 -05:00 |
|
Aaron Huber
|
c9bb2c40cc
|
Finished updating OnePass and SampleMonomial for Circuit input (Iteration 2)
|
2021-02-02 11:25:26 -05:00 |
|
Aaron Huber
|
2e7eff28df
|
Macro name change.
|
2021-01-29 09:57:20 -05:00 |
|
Aaron Huber
|
de418689ee
|
Finished revising Algorithm Section with circuit representation.
|
2021-01-29 09:52:04 -05:00 |
|
Aaron Huber
|
1739852d8e
|
Revised SampleMonomial proof.
|
2021-01-28 11:50:33 -05:00 |
|
Aaron Huber
|
dce25a1c36
|
OnePass Algo proof revised.
|
2021-01-28 10:32:16 -05:00 |
|
Aaron Huber
|
29d239fdb4
|
Changes to Algorithm OnePass and Lemma 4.10 proof.
|
2021-01-27 18:37:02 -05:00 |
|
Boris Glavic
|
32c2511129
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-20 16:19:40 -06:00 |
|
Boris Glavic
|
0984a507a0
|
circuits
|
2020-12-20 16:19:07 -06:00 |
|
Oliver Kennedy
|
02b7c4fa2c
|
Misc clarifications
|
2020-12-20 17:13:52 -05:00 |
|
Aaron Huber
|
6f3fb7798e
|
Small fix on S4 macro not called
|
2020-12-20 16:00:50 -05:00 |
|
Aaron Huber
|
5f7e11f734
|
Added probability macros for S4
|
2020-12-20 00:10:20 -05:00 |
|
Atri Rudra
|
abdbd0da1a
|
Done with pass on Sec 4
|
2020-12-19 23:36:11 -05:00 |
|
Oliver Kennedy
|
b7454db8c7
|
Addressing a few comments.
|
2020-12-19 23:20:31 -05:00 |
|
Oliver Kennedy
|
9e9618ee4e
|
Re-fixing the 8-9 cascade
|
2020-12-19 16:53:17 -05:00 |
|
Oliver Kennedy
|
5062ad81c6
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-19 16:52:59 -05:00 |
|
Oliver Kennedy
|
fd767a507b
|
Try this one neat trick to save 2 pages :)
|
2020-12-19 16:46:26 -05:00 |
|
Boris Glavic
|
e1ae8b5091
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-19 15:45:03 -06:00 |
|
Boris Glavic
|
0dbf75ebba
|
shorten
|
2020-12-19 15:44:18 -06:00 |
|
Aaron Huber
|
ec1e0854f1
|
Todos for appendix and S4
|
2020-12-19 16:13: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
|
a2bf8d6daf
|
Trimming for space
|
2020-12-19 12:59:27 -05:00 |
|
Oliver Kennedy
|
aa8b4b9464
|
Undoing a few glitches
|
2020-12-19 01:17:15 -05:00 |
|
Oliver Kennedy
|
e45be8b1c5
|
Finishing S4.
|
2020-12-19 01:15:50 -05:00 |
|
Aaron Huber
|
899edc4248
|
Finished porting all @atri asked in 121820 meeting
|
2020-12-18 18:23:24 -05:00 |
|
Aaron Huber
|
a8c399325e
|
Ported some defs from S4 to S2; capitalized variables.
|
2020-12-18 11:39:38 -05:00 |
|
Aaron Huber
|
7c4949ab6c
|
Moved proofs into appendix (S3, S4)
|
2020-12-17 16:40:48 -05:00 |
|
Atri Rudra
|
19b6220ee6
|
Done with my pass on Sec 5
|
2020-12-17 01:32:08 -05:00 |
|
Atri Rudra
|
f63cf9c2e5
|
Still working on Sec 5
|
2020-12-17 00:02:07 -05:00 |
|
Atri Rudra
|
2a07b70b48
|
Made pass on Aaron Sec 4 comments
|
2020-12-15 19:26:19 -05:00 |
|
Aaron Huber
|
f7aa243889
|
Took a pass through sec 4; left some notes
|
2020-12-15 12:47:36 -05:00 |
|
Atri Rudra
|
500c6bb57f
|
Done with pass on Sec 4
|
2020-12-15 01:09:00 -05:00 |
|
Atri Rudra
|
cba9d6adc5
|
Done till correctness of main approx algo.
Still need to make pass on auxialliary algos
|
2020-12-14 23:24:09 -05:00 |
|
Atri Rudra
|
50669af401
|
Started with proof of correctness of approx algo
|
2020-12-14 22:37:30 -05:00 |
|
Atri Rudra
|
747404bf06
|
Done till corollaries of main thm of Sec 4.
Still need to make pass on the algo boxes and their lemmas
|
2020-12-14 14:11:46 -05:00 |
|
Atri Rudra
|
28bcd103bf
|
Done in Sec 4 till definition of gamma
|
2020-12-14 11:47:18 -05:00 |
|
Boris Glavic
|
9c638e6f4c
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-13 14:55:29 -06:00 |
|
Boris Glavic
|
77c7fa7f06
|
RA
|
2020-12-13 14:51:55 -06:00 |
|
Atri Rudra
|
a0ac4a4bfe
|
Done with pass on (new) Sec 3.1
|
2020-12-13 13:41:42 -05:00 |
|
Aaron Huber
|
98c48ed3d6
|
Fixed outer approx alg and analysis (gamma)
|
2020-12-12 16:37:16 -05:00 |
|
Aaron Huber
|
d9abe760a0
|
Moved definitions, lemmas, etc. to background/notation section.
|
2020-12-11 20:19:45 -05:00 |
|
Aaron Huber
|
8211a9bfa0
|
Incorporated \gamma into outer approx alg analysis.
|
2020-12-11 10:15:35 -05: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
|
60d3a772a5
|
Added the \gamma cancellations to runtime analysis of outer approx algo
|
2020-12-09 17:53:26 -05:00 |
|
Aaron Huber
|
4f8fd2bb7e
|
Replaced TIDB outer algo with BIDB outer algo.
|
2020-12-08 16:51:21 -05:00 |
|
Aaron Huber
|
d21244a4e7
|
More touch up on the 2-col format.
|
2020-12-08 15:45:41 -05:00 |
|
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
|
c20aec43fa
|
Incorporated all of Oliver's 113020 suggestions.
|
2020-12-03 10:32:09 -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 |
|
Aaron Huber
|
05915da3ae
|
Started proofs for BI --> TI reduction.
|
2020-09-23 17:20:36 -04:00 |
|
Aaron Huber
|
c70afe6b18
|
Outline and more description of BI to TI + Q reduction
|
2020-09-23 13:37:09 -04:00 |
|
Aaron Huber
|
53641f74f2
|
Started description of converting BI to Q + TI
|
2020-09-22 17:01:14 -04:00 |
|
Aaron Huber
|
28a55bd126
|
Added claim and proof for |T|(1,...,1)/\tilde{Q}(p_1,...,p_n) being a constant for TIDB
|
2020-09-21 22:38:08 -04:00 |
|
Aaron Huber
|
c1192863ea
|
Finished implementing Oliver's 091420 suggestions
|
2020-09-17 13:51:57 -04:00 |
|
Aaron Huber
|
f5482e2770
|
In the middle of Oliver's 091420 suggestions
|
2020-09-16 16:27:50 -04:00 |
|
Aaron Huber
|
9b20a5f195
|
Small changes to tikz drawings.
|
2020-09-12 17:58:14 -04:00 |