Aaron Huber
|
a911fdc809
|
Another iteration of correctness proof SampleMonomial.
|
2020-08-28 10:51:45 -04:00 |
|
Aaron Huber
|
6966d95cb8
|
Remove r.v. Y from SampleMonomial correctness proof.
|
2020-08-27 10:03:52 -04:00 |
|
Aaron Huber
|
658bf5508d
|
Changes to + root node case for correctness proof SampleMonomial
|
2020-08-27 09:53:55 -04:00 |
|
Aaron Huber
|
5e1318eb71
|
Further revised correctness proof SampleMonomial.
|
2020-08-26 13:33:43 -04:00 |
|
Aaron Huber
|
e82c3e5bdf
|
Revised SampleMonomial correctness proof.
|
2020-08-25 13:10:25 -04:00 |
|
Aaron Huber
|
13bcc07ec3
|
Polishing algo pseudo code.
|
2020-08-25 11:18:08 -04:00 |
|
Aaron Huber
|
455b48e9ab
|
Started restructuring lemma 13 proof
|
2020-08-22 15:47:56 -04:00 |
|
Aaron Huber
|
856be5ddff
|
More polishing pseudo code approx algos
|
2020-08-22 10:16:43 -04:00 |
|
Aaron Huber
|
caef645be3
|
Started incorporating algo fixes suggested 082120.
|
2020-08-21 20:16:58 -04:00 |
|
Aaron Huber
|
5b8b354c9c
|
Started incorporating Oliver's 081420 suggestions
|
2020-08-20 14:01:56 -04:00 |
|
Aaron Huber
|
604d24ccf7
|
Fixes to algo 1.
|
2020-08-20 12:21:51 -04:00 |
|
Aaron Huber
|
ee641bc8e2
|
Tweaked Inductive Proof for algo Sample correctness.
|
2020-08-20 11:15:18 -04:00 |
|
Aaron Huber
|
6097264bce
|
Fixed normalization issue of algo 1.
|
2020-08-20 10:26:11 -04:00 |
|
Aaron Huber
|
3e6cc6d774
|
Finished Section 3 iteration 1.
|
2020-08-19 16:28:29 -04:00 |
|
Aaron Huber
|
2d7dd77d6a
|
Rough draft of correctness for auxiliary methods.
|
2020-08-19 13:43:56 -04:00 |
|
Aaron Huber
|
282a3f370b
|
Fixed typo in OnePass pseudo code.
|
2020-08-18 09:59:19 -04:00 |
|
Aaron Huber
|
a2c9516147
|
Changes and comments added to Auxiliary Sample.
|
2020-08-18 09:57:04 -04:00 |
|
Aaron Huber
|
6326005751
|
More polishing of Approx Algo.
|
2020-08-17 17:12:25 -04:00 |
|
Aaron Huber
|
fd881cd147
|
More cleaning up Approx Alg.
|
2020-08-17 13:52:18 -04:00 |
|
Aaron Huber
|
baa21d7fef
|
More adjustments to Approx Algo per 081420 discussion.
|
2020-08-15 13:01:52 -04:00 |
|
Aaron Huber
|
50619629a6
|
Main algorithm, some definitions for approx algo.
|
2020-08-14 19:22:16 -04:00 |
|
Aaron Huber
|
2026e06669
|
More changes in Approx Algo.
|
2020-08-14 12:03:26 -04:00 |
|
Aaron Huber
|
f10b65525b
|
Correctness of OnePass started.
|
2020-08-13 20:54:06 -04:00 |
|
Aaron Huber
|
3e4d42afd5
|
Pseudo Code for Sample Auxiliary and OnePass Algos.
|
2020-08-13 18:58:48 -04:00 |
|
Aaron Huber
|
44e314db13
|
Finished Description of Auxiliary Sample method.
|
2020-08-13 12:45:18 -04:00 |
|
Aaron Huber
|
fe1cd90a14
|
Started a rewrite of Approx. Alg.
|
2020-08-12 17:41:09 -04:00 |
|
Aaron Huber
|
61a29ab4e1
|
Minor changes to approx alg.
|
2020-08-07 13:04:18 -04:00 |
|
Aaron Huber
|
5814e30799
|
Finished Approx Alg.
|
2020-08-06 15:02:37 -04:00 |
|
Aaron Huber
|
70c5e26ddf
|
Started the 1 \pm \epsilon approx alg.
|
2020-08-05 16:08:40 -04:00 |
|
Aaron Huber
|
c72691900e
|
Minor changes.
|
2020-08-05 09:45:30 -04:00 |
|
Aaron Huber
|
ff81e092d3
|
Finished implementing Atri's changes 073120.
|
2020-08-04 15:30:57 -04:00 |
|
Atri Rudra
|
d08d2ae212
|
Done with pass on proof of Lemma 5
|
2020-07-31 21:53:07 -04:00 |
|
Atri Rudra
|
590bc9cbd9
|
starting my pass on Lemma 5.
|
2020-07-31 21:12:48 -04:00 |
|
Aaron Huber
|
1e6fda1b16
|
Finished rearranging section 2 for more continuity.
|
2020-07-27 12:34:23 -04:00 |
|
Aaron Huber
|
9cd95890f1
|
Started rearranging the beginning of Sec. 2
|
2020-07-24 12:00:22 -04:00 |
|
Aaron Huber
|
341adb0d68
|
Minor fixes to proof of lemma 3 (fixed p).
|
2020-07-23 12:25:48 -04:00 |
|
Aaron Huber
|
b3c492c97b
|
Finished determinant calculation for linear system in proving lemma 3.
|
2020-07-22 15:39:53 -04:00 |
|
Aaron Huber
|
cc0163b9a0
|
More work on setting up the linear system.
|
2020-07-21 17:09:29 -04:00 |
|
Aaron Huber
|
360bb98903
|
Started developing linear system.
|
2020-07-21 12:16:46 -04:00 |
|
Aaron Huber
|
2cc520e533
|
Finished implementing Oliver's suggestions 071820.
|
2020-07-20 21:18:14 -04:00 |
|
Aaron Huber
|
fdf08f5c53
|
Started fixing Oliver's suggestion 071820.
|
2020-07-20 15:50:44 -04:00 |
|
Aaron Huber
|
4d9ecbfa38
|
Finished Atri's suggestions 071820.
|
2020-07-20 15:23:15 -04:00 |
|
Aaron Huber
|
81abd633e6
|
Changes per Atri's suggestions 071820.
|
2020-07-20 12:50:13 -04:00 |
|
Atri Rudra
|
0d102c67e3
|
Made my pass
|
2020-07-18 23:15:35 -04:00 |
|
Aaron Huber
|
8deacddd3d
|
Finished Atri's 071620 suggestions on lemma 3.
|
2020-07-18 20:04:15 -04:00 |
|
Aaron Huber
|
547638444f
|
Changes propagated according to Atri's suggestions 071620.
|
2020-07-18 16:12:51 -04:00 |
|
Aaron Huber
|
61f75b1047
|
Finished addressing Atri's suggestions for 3-matchings 071620.
|
2020-07-18 12:06:30 -04:00 |
|
Aaron Huber
|
3961a71f1d
|
Changes per Atri's suggestions 071620.
|
2020-07-17 20:26:45 -04:00 |
|
Oliver Kennedy
|
89501f3684
|
minor
|
2020-07-16 21:45:09 -04:00 |
|
Oliver Kennedy
|
1352029372
|
A few comments.
|
2020-07-16 21:41:43 -04:00 |
|