database code dump

This commit is contained in:
pippellia-btc
2025-05-27 11:40:44 +02:00
parent 11c5afd4f7
commit 85a2eebc95
10 changed files with 1112 additions and 134 deletions

View File

@@ -38,7 +38,7 @@ func Dandlings(n int) Setup {
personalized := make([]float64, n)
personalized[0] = 1
added := make([]graph.ID, 0, n-1)
add := make([]graph.ID, 0, n-1)
deltas := make([]graph.Delta, 0, n-1)
for i := range n {
@@ -48,8 +48,8 @@ func Dandlings(n int) Setup {
if i > 0 {
// all the possible deltas modulo graph isomorphism; 0 --> [1,2, ... k] for 1 <= k <= n
added = append(added, node)
deltas = append(deltas, graph.Delta{Node: "0", Added: added})
add = append(add, node)
deltas = append(deltas, graph.Delta{Node: "0", Add: add})
}
}
@@ -79,9 +79,9 @@ func Cyclic(n int) Setup {
return Setup{
walker: walks.NewCyclicWalker(n),
deltas: []graph.Delta{
{Node: "0", Removed: []graph.ID{"1"}},
{Node: "0", Common: []graph.ID{"1"}, Added: []graph.ID{mid}},
{Node: "0", Removed: []graph.ID{"1"}, Added: []graph.ID{mid}},
{Node: "0", Remove: []graph.ID{"1"}},
{Node: "0", Keep: []graph.ID{"1"}, Add: []graph.ID{mid}},
{Node: "0", Remove: []graph.ID{"1"}, Add: []graph.ID{mid}},
},
nodes: nodes,
@@ -102,33 +102,33 @@ var Acyclic1 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}},
{Node: "0", Removed: []graph.ID{"2"}, Common: []graph.ID{"1"}},
{Node: "0", Removed: []graph.ID{"1", "2"}},
{Node: "2", Removed: []graph.ID{"3"}},
{Node: "3", Removed: []graph.ID{"1"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}},
{Node: "0", Remove: []graph.ID{"2"}, Keep: []graph.ID{"1"}},
{Node: "0", Remove: []graph.ID{"1", "2"}},
{Node: "2", Remove: []graph.ID{"3"}},
{Node: "3", Remove: []graph.ID{"1"}},
// additions
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"4"}},
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3", "4"}},
{Node: "4", Added: []graph.ID{"0"}},
{Node: "4", Added: []graph.ID{"1"}},
{Node: "4", Added: []graph.ID{"2"}},
{Node: "4", Added: []graph.ID{"3"}},
{Node: "4", Added: []graph.ID{"1", "2"}},
{Node: "4", Added: []graph.ID{"2", "3"}},
{Node: "4", Added: []graph.ID{"3", "4"}},
{Node: "4", Added: []graph.ID{"0", "1", "2"}},
{Node: "4", Added: []graph.ID{"0", "1", "2", "3"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"4"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3", "4"}},
{Node: "4", Add: []graph.ID{"0"}},
{Node: "4", Add: []graph.ID{"1"}},
{Node: "4", Add: []graph.ID{"2"}},
{Node: "4", Add: []graph.ID{"3"}},
{Node: "4", Add: []graph.ID{"1", "2"}},
{Node: "4", Add: []graph.ID{"2", "3"}},
{Node: "4", Add: []graph.ID{"3", "4"}},
{Node: "4", Add: []graph.ID{"0", "1", "2"}},
{Node: "4", Add: []graph.ID{"0", "1", "2", "3"}},
// removals and additions
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"4"}},
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3"}},
{Node: "0", Removed: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "0", Removed: []graph.ID{"1", "2"}, Added: []graph.ID{"4"}},
{Node: "0", Removed: []graph.ID{"1", "2"}, Added: []graph.ID{"3", "4"}},
{Node: "2", Removed: []graph.ID{"3"}, Added: []graph.ID{"1"}},
{Node: "2", Removed: []graph.ID{"3"}, Added: []graph.ID{"4"}},
{Node: "2", Removed: []graph.ID{"3"}, Added: []graph.ID{"1", "4"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"4"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1", "2"}, Add: []graph.ID{"4"}},
{Node: "0", Remove: []graph.ID{"1", "2"}, Add: []graph.ID{"3", "4"}},
{Node: "2", Remove: []graph.ID{"3"}, Add: []graph.ID{"1"}},
{Node: "2", Remove: []graph.ID{"3"}, Add: []graph.ID{"4"}},
{Node: "2", Remove: []graph.ID{"3"}, Add: []graph.ID{"1", "4"}},
},
nodes: []graph.ID{"0", "1", "2", "3", "4"},
global: []float64{0.11185, 0.36950, 0.15943, 0.24736, 0.11185},
@@ -146,20 +146,20 @@ var Acyclic2 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}},
{Node: "0", Removed: []graph.ID{"1", "2"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}},
{Node: "0", Remove: []graph.ID{"1", "2"}},
// additions
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"4"}},
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3", "4"}},
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3", "5"}},
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3", "4", "5"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"4"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3", "4"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3", "5"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3", "4", "5"}},
// removals and additions
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3"}},
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"4"}},
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3", "4"}},
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3", "5"}},
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3", "4", "5"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"4"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3", "4"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3", "5"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3", "4", "5"}},
},
nodes: []graph.ID{"0", "1", "2", "3", "4", "5"},
global: []float64{0.12987, 0.18506, 0.18506, 0.18506, 0.12987, 0.18506},
@@ -175,14 +175,14 @@ var Acyclic3 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}},
{Node: "0", Removed: []graph.ID{"1", "2"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}},
{Node: "0", Remove: []graph.ID{"1", "2"}},
// additions
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "2", Added: []graph.ID{"1"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
{Node: "2", Add: []graph.ID{"1"}},
// removals and additions
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3"}},
{Node: "0", Removed: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
},
nodes: []graph.ID{"0", "1", "2", "3"},
global: []float64{0.17544, 0.32456, 0.32456, 0.17544},
@@ -198,19 +198,19 @@ var Acyclic4 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}},
{Node: "0", Removed: []graph.ID{"1", "2"}},
{Node: "3", Removed: []graph.ID{"1"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}},
{Node: "0", Remove: []graph.ID{"1", "2"}},
{Node: "3", Remove: []graph.ID{"1"}},
// additions
{Node: "0", Common: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "2", Added: []graph.ID{"1"}},
{Node: "2", Added: []graph.ID{"3"}},
{Node: "3", Common: []graph.ID{"1"}, Added: []graph.ID{"0"}},
{Node: "0", Keep: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
{Node: "2", Add: []graph.ID{"1"}},
{Node: "2", Add: []graph.ID{"3"}},
{Node: "3", Keep: []graph.ID{"1"}, Add: []graph.ID{"0"}},
// removals and additions
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2"}, Added: []graph.ID{"3"}},
{Node: "0", Removed: []graph.ID{"1", "2"}, Added: []graph.ID{"3"}},
{Node: "3", Removed: []graph.ID{"1"}, Added: []graph.ID{"0"}},
{Node: "3", Removed: []graph.ID{"1"}, Added: []graph.ID{"0", "2"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2"}, Add: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1", "2"}, Add: []graph.ID{"3"}},
{Node: "3", Remove: []graph.ID{"1"}, Add: []graph.ID{"0"}},
{Node: "3", Remove: []graph.ID{"1"}, Add: []graph.ID{"0", "2"}},
},
nodes: []graph.ID{"0", "1", "2", "3"},
global: []float64{0.17544, 0.39912, 0.25, 0.17544},
@@ -226,19 +226,19 @@ var Acyclic5 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"3"}},
{Node: "1", Removed: []graph.ID{"0"}},
{Node: "3", Removed: []graph.ID{"2"}},
{Node: "0", Remove: []graph.ID{"3"}},
{Node: "1", Remove: []graph.ID{"0"}},
{Node: "3", Remove: []graph.ID{"2"}},
// additions
{Node: "0", Common: []graph.ID{"3"}, Added: []graph.ID{"2"}},
{Node: "1", Common: []graph.ID{"0"}, Added: []graph.ID{"2"}},
{Node: "1", Common: []graph.ID{"0"}, Added: []graph.ID{"3"}},
{Node: "1", Common: []graph.ID{"0"}, Added: []graph.ID{"2", "3"}},
{Node: "0", Keep: []graph.ID{"3"}, Add: []graph.ID{"2"}},
{Node: "1", Keep: []graph.ID{"0"}, Add: []graph.ID{"2"}},
{Node: "1", Keep: []graph.ID{"0"}, Add: []graph.ID{"3"}},
{Node: "1", Keep: []graph.ID{"0"}, Add: []graph.ID{"2", "3"}},
// removals and additions
{Node: "0", Removed: []graph.ID{"3"}, Added: []graph.ID{"2"}},
{Node: "1", Removed: []graph.ID{"0"}, Added: []graph.ID{"2"}},
{Node: "1", Removed: []graph.ID{"0"}, Added: []graph.ID{"3"}},
{Node: "1", Removed: []graph.ID{"0"}, Added: []graph.ID{"2", "3"}},
{Node: "0", Remove: []graph.ID{"3"}, Add: []graph.ID{"2"}},
{Node: "1", Remove: []graph.ID{"0"}, Add: []graph.ID{"2"}},
{Node: "1", Remove: []graph.ID{"0"}, Add: []graph.ID{"3"}},
{Node: "1", Remove: []graph.ID{"0"}, Add: []graph.ID{"2", "3"}},
},
nodes: []graph.ID{"0", "1", "2", "3"},
global: []float64{0.21489, 0.11616, 0.37015, 0.29881},
@@ -255,34 +255,34 @@ var Acyclic6 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"4"}},
{Node: "1", Removed: []graph.ID{"0"}},
{Node: "3", Removed: []graph.ID{"1"}, Common: []graph.ID{"4"}},
{Node: "3", Removed: []graph.ID{"4"}, Common: []graph.ID{"1"}},
{Node: "3", Removed: []graph.ID{"1", "4"}},
{Node: "4", Removed: []graph.ID{"2"}},
{Node: "0", Remove: []graph.ID{"4"}},
{Node: "1", Remove: []graph.ID{"0"}},
{Node: "3", Remove: []graph.ID{"1"}, Keep: []graph.ID{"4"}},
{Node: "3", Remove: []graph.ID{"4"}, Keep: []graph.ID{"1"}},
{Node: "3", Remove: []graph.ID{"1", "4"}},
{Node: "4", Remove: []graph.ID{"2"}},
// additions
{Node: "0", Common: []graph.ID{"4"}, Added: []graph.ID{"2"}},
{Node: "1", Common: []graph.ID{"0"}, Added: []graph.ID{"2"}},
{Node: "1", Common: []graph.ID{"0"}, Added: []graph.ID{"4"}},
{Node: "1", Common: []graph.ID{"0"}, Added: []graph.ID{"2", "4"}},
{Node: "3", Common: []graph.ID{"1", "4"}, Added: []graph.ID{"0"}},
{Node: "3", Common: []graph.ID{"1", "4"}, Added: []graph.ID{"2"}},
{Node: "3", Common: []graph.ID{"1", "4"}, Added: []graph.ID{"0", "2"}},
{Node: "0", Keep: []graph.ID{"4"}, Add: []graph.ID{"2"}},
{Node: "1", Keep: []graph.ID{"0"}, Add: []graph.ID{"2"}},
{Node: "1", Keep: []graph.ID{"0"}, Add: []graph.ID{"4"}},
{Node: "1", Keep: []graph.ID{"0"}, Add: []graph.ID{"2", "4"}},
{Node: "3", Keep: []graph.ID{"1", "4"}, Add: []graph.ID{"0"}},
{Node: "3", Keep: []graph.ID{"1", "4"}, Add: []graph.ID{"2"}},
{Node: "3", Keep: []graph.ID{"1", "4"}, Add: []graph.ID{"0", "2"}},
// removals and additions
{Node: "0", Removed: []graph.ID{"4"}, Added: []graph.ID{"2"}},
{Node: "1", Removed: []graph.ID{"0"}, Added: []graph.ID{"2"}},
{Node: "1", Removed: []graph.ID{"0"}, Added: []graph.ID{"4"}},
{Node: "1", Removed: []graph.ID{"0"}, Added: []graph.ID{"2", "4"}},
{Node: "3", Removed: []graph.ID{"1"}, Common: []graph.ID{"4"}, Added: []graph.ID{"0"}},
{Node: "3", Removed: []graph.ID{"1"}, Common: []graph.ID{"4"}, Added: []graph.ID{"2"}},
{Node: "3", Removed: []graph.ID{"1"}, Common: []graph.ID{"4"}, Added: []graph.ID{"0", "2"}},
{Node: "3", Removed: []graph.ID{"4"}, Common: []graph.ID{"1"}, Added: []graph.ID{"0"}},
{Node: "3", Removed: []graph.ID{"4"}, Common: []graph.ID{"1"}, Added: []graph.ID{"2"}},
{Node: "3", Removed: []graph.ID{"4"}, Common: []graph.ID{"1"}, Added: []graph.ID{"0", "2"}},
{Node: "3", Removed: []graph.ID{"1", "4"}, Added: []graph.ID{"0"}},
{Node: "3", Removed: []graph.ID{"1", "4"}, Added: []graph.ID{"2"}},
{Node: "3", Removed: []graph.ID{"1", "4"}, Added: []graph.ID{"0", "2"}},
{Node: "0", Remove: []graph.ID{"4"}, Add: []graph.ID{"2"}},
{Node: "1", Remove: []graph.ID{"0"}, Add: []graph.ID{"2"}},
{Node: "1", Remove: []graph.ID{"0"}, Add: []graph.ID{"4"}},
{Node: "1", Remove: []graph.ID{"0"}, Add: []graph.ID{"2", "4"}},
{Node: "3", Remove: []graph.ID{"1"}, Keep: []graph.ID{"4"}, Add: []graph.ID{"0"}},
{Node: "3", Remove: []graph.ID{"1"}, Keep: []graph.ID{"4"}, Add: []graph.ID{"2"}},
{Node: "3", Remove: []graph.ID{"1"}, Keep: []graph.ID{"4"}, Add: []graph.ID{"0", "2"}},
{Node: "3", Remove: []graph.ID{"4"}, Keep: []graph.ID{"1"}, Add: []graph.ID{"0"}},
{Node: "3", Remove: []graph.ID{"4"}, Keep: []graph.ID{"1"}, Add: []graph.ID{"2"}},
{Node: "3", Remove: []graph.ID{"4"}, Keep: []graph.ID{"1"}, Add: []graph.ID{"0", "2"}},
{Node: "3", Remove: []graph.ID{"1", "4"}, Add: []graph.ID{"0"}},
{Node: "3", Remove: []graph.ID{"1", "4"}, Add: []graph.ID{"2"}},
{Node: "3", Remove: []graph.ID{"1", "4"}, Add: []graph.ID{"0", "2"}},
},
nodes: []graph.ID{"0", "1", "2", "3", "4"},
global: []float64{0.18820, 0.12128, 0.32417, 0.08511, 0.28125},
@@ -299,17 +299,17 @@ var Acyclic7 = Setup{
}),
deltas: []graph.Delta{
// removals
{Node: "0", Removed: []graph.ID{"1"}, Common: []graph.ID{"2", "3"}},
{Node: "0", Removed: []graph.ID{"1", "2"}, Common: []graph.ID{"3"}},
{Node: "0", Removed: []graph.ID{"1", "2", "3"}},
{Node: "4", Removed: []graph.ID{"0"}, Common: []graph.ID{"1", "2", "3"}},
{Node: "4", Removed: []graph.ID{"1"}, Common: []graph.ID{"0", "2", "3"}},
{Node: "4", Removed: []graph.ID{"1", "2"}, Common: []graph.ID{"0", "3"}},
{Node: "4", Removed: []graph.ID{"1", "2", "3"}, Common: []graph.ID{"0"}},
{Node: "4", Removed: []graph.ID{"0", "1", "2", "3"}},
{Node: "0", Remove: []graph.ID{"1"}, Keep: []graph.ID{"2", "3"}},
{Node: "0", Remove: []graph.ID{"1", "2"}, Keep: []graph.ID{"3"}},
{Node: "0", Remove: []graph.ID{"1", "2", "3"}},
{Node: "4", Remove: []graph.ID{"0"}, Keep: []graph.ID{"1", "2", "3"}},
{Node: "4", Remove: []graph.ID{"1"}, Keep: []graph.ID{"0", "2", "3"}},
{Node: "4", Remove: []graph.ID{"1", "2"}, Keep: []graph.ID{"0", "3"}},
{Node: "4", Remove: []graph.ID{"1", "2", "3"}, Keep: []graph.ID{"0"}},
{Node: "4", Remove: []graph.ID{"0", "1", "2", "3"}},
// additions
{Node: "1", Added: []graph.ID{"2"}},
{Node: "1", Added: []graph.ID{"2", "3"}},
{Node: "1", Add: []graph.ID{"2"}},
{Node: "1", Add: []graph.ID{"2", "3"}},
},
nodes: []graph.ID{"0", "1", "2", "3", "4"},
global: []float64{0.17622, 0.22615, 0.22615, 0.22615, 0.14534},