10 problems
- 0 votes0 replies0 views
Infinite-group non-definability conjecture for gain-graphic matroids
Let be an infinite group. A gain-graphic matroid is the matroid associated with a graph whose edges are labelled by elements of according to the gain-graphic cons…
- 0 votes0 replies0 views
Myhill–Nerode definability conjecture for finite-group gain-graphic matroids
Let be a finite group. A gain-graphic matroid is the matroid associated with a graph whose edges are labelled by elements of according to the gain-graphic constru…
- 0 votes0 replies0 views
Non-definability conjecture for infinite-group gain-graphic matroids
Let be an infinite group. A gain-graphic matroid is a frame matroid obtained from a graph with edge gains in , and a class is characterised by a sentence in monadic second-o…
- 0 votes0 replies0 views
Finite-group gain-graphic well-quasi-order conjecture
Let be a finite group. A gain-graphic matroid is a frame matroid obtained from a graph with edge gains in , and a class is well-quasi-ordered when it has neither an infinite…
- 0 votes0 replies0 views
Finite-group gain-graphic excluded-minor conjecture
Let be a finite group, and let be any minor-closed class of -gain-graphic matroids. A gain-graphic matroid is a frame matroid obtained from a graph whose edges…
- 0 votes0 replies0 views
Efficient pigeonhole conjecture for bicircular and gain-graphic matroids
Let be a finite group. Efficient pigeonhole conjecture. The class of bicircular matroids is efficiently pigeonhole, and the class of -gain-graphic matroids is efficiently pi…
- 0 votes0 replies0 views
Undecidability conjecture for rank-3 gain-graphic matroids
Let be an infinite group, and consider the class of rank- -gain-graphic matroids. Undecidability conjecture. This class has an undecidable theory. The…
- 0 votes0 replies0 views
CMS₀ non-definability conjecture for infinite-group gain-graphic matroids
Let be an infinite group. Let denote counting monadic second-order logic over matroids without quantification over edge sets. Non-definability conjecture.…
- 0 votes0 replies0 views
Pigeonhole conjecture for gain-graphic matroids
Let be a group, and consider the class of -gain-graphic matroids. Pigeonhole conjecture. The class of -gain-graphic matroids is (efficiently) pigeonhole. The source attri…
- 0 votes0 replies0 views
Excluded-minor conjecture for gain-graphic matroids
Let be a finite group, and let be a minor-closed class of -gain-graphic matroids. Excluded-minor conjecture. The class has only finitely many exc…