--- Log opened Wed Feb 02 00:00:48 2022 00:40 < kcalvinalvin> When calculating proof efficiency, how should you calculate when there's more targets than proofs? 00:40 < kcalvinalvin> 28 00:40 < kcalvinalvin> |---------------\ 00:40 < kcalvinalvin> 24 25 26 00:40 < kcalvinalvin> 16 17 18 19 20 21 22 00:40 < kcalvinalvin> |---\ |---\ |---\ |---\ |---\ |---\ |---\ 00:40 < kcalvinalvin> 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 00:41 < kcalvinalvin> For that tree, if you delete [08,09,10,11], there's no proof 00:41 < kcalvinalvin> I'm leaning towards just calculating those as proof efficiency of 1 00:46 < kcalvinalvin> I guess just in general how would you calculate if targets > proof 00:47 < kcalvinalvin> For the above tree, if you delete [08,09,10], it's 3 targets and 1 proof 00:48 < kcalvinalvin> So is that just 300% efficiency? 00:49 < kcalvinalvin> If we say that's 300% efficiency, then deleting [14] becomes odd.. infinite efficiency? 02:00 -!- kouloumos [uid539228@id-539228.tinside.irccloud.com] has joined #utreexo 05:24 -!- dunxen [~dunxen@gateway/tor-sasl/dunxen] has joined #utreexo 13:12 -!- Netsplit *.net <-> *.split quits: RubenSomsen, stevenroose, fjahr, adiabat, achow101, pigeons, dunxen, michaelfolkson, FelixWeis, _aj_, (+6 more, use /NETSPLIT to show all of them) 13:13 -!- Netsplit over, joins: achow101, panpan 13:13 -!- Netsplit over, joins: michaelfolkson, _aj_, takinbo 13:14 -!- Netsplit over, joins: RubenSomsen, kouloumos, ogola 13:14 -!- Netsplit over, joins: kcalvinalvin 13:14 -!- Netsplit over, joins: adiabat 13:15 -!- Netsplit over, joins: fjahr 13:15 -!- Netsplit over, joins: dunxen 13:15 -!- Netsplit over, joins: stevenroose 13:15 -!- Netsplit over, joins: FelixWeis, dergoegge 13:15 -!- Netsplit over, joins: pigeons 23:25 -!- Netsplit *.net <-> *.split quits: dergoegge, FelixWeis 23:28 -!- Netsplit over, joins: FelixWeis, dergoegge --- Log closed Thu Feb 03 00:00:48 2022