8 problems
- 0 votes0 replies0 views
The omniperiodicity conjecture for Conway's Game of Life
Omniperiodicity conjecture. Oscillators of every period exist in Life; equivalently, Life is omniperiodic.
- 0 votes0 replies0 views
Game of Life on Graphs feature-comparison conjecture
Let Game of Life on Graphs features, DeepWalk features, and Weisfeiler–Leman kernel features be feature representations of graphs. The feature-comparison conjecture. The features e…
- 0 votes0 replies0 views
Game of Life on Graphs conjecture on topological interpretations of graph space
For graphs equipped with the distance induced by the Euclidean distance between their Game of Life on Graphs feature vectors, consider triples satisfying … The topologica…
- 0 votes0 replies2 views
Game of Life on Graphs conjecture for graph isomorphism testing
Let the Game of Life on Graphs generate patterns from an input graph, and regard the resulting patterns as graph features. The graph-isomorphism conjecture. The highly irregular st…
- 0 votes0 replies0 views
Game of Life on Graphs density conjecture for halting complexity
Let be a random graph with vertices and edges, and let be a constant describing an edge density with . The halting-complexity conjecture. The most di…
- 0 votes0 replies0 views
Undecidability of doubly periodic Gardens of Eden in the Game of Life
A doubly periodic configuration in the Game of Life is a configuration with two independent spatial periods, and a Garden of Eden is a configuration with no preimage. Undecidabilit…
- 0 votes0 replies0 views
Co-NP-completeness of finite-support Gardens of Eden and rectangular orphans
For the Game of Life, consider finite-support Gardens of Eden and rectangular orphans, with the encodings specified in the paper and polynomial-time many-one reductions. Co-NP-comp…
- 0 votes0 replies0 views
Co-NP-hardness of finite-support Gardens of Eden and orphans in the Game of Life
For the Game of Life, consider the decision problems of recognizing finite-support Gardens of Eden and rectangular orphans under the encodings used in the paper. Co-NP-hardness con…