3 problems
- 0 votes0 replies0 views
Grove formula conjecture for the bounded cube recurrence
Let be a section, let be a state, and let be a point in in the future of . Assume that the cone meets…
- 0 votes0 replies0 views
The superimposition decomposition conjecture for groves
Consider a superimposition formed by combining the edges of two groves on different sets of initial conditions, allowing translations, so that the result is a multiset of edges. Th…
- 0 votes0 replies0 views
Dubédat's grove-pairing determinacy conjecture
Let a planar graph have nodes on its outer face, and let be the weighted sum of groves whose nodes are connected according to the partition . Write…