其实应该做一个程序：输入要探究的数学对象，程序自动进行探究，输出可能成立的猜想。

一楼的问题竟然是堆垒数论问题

简直6到飞起：把矩阵进行QR分解，就能得到新的恒等式：

论文见http://www.math.grin.edu/~chamberl/papers/matrix_factoring.pdf

It is an open conjecture whether all quartic graphs have an even number of Hamiltonian circuits, or have more than one Hamiltonian circuit.
http://en.wikipediα.org/wiki/Quartic_graph

回去读一下这片论文：
on-r-regular-r-connected-non-hamiltonian-graphs

资料之关于计算机产生图论猜想者：
https://www.unf.edu/~wkloster/4930/beautiful_conjectures.pdf
http://www.math.umn.edu/~reiner/Classes/BonatoNowakowskiGraphConjs.pdf
http://www.openproblemgarden.org/category/graph_theory
http://www.math.illinois.edu/~dwest/regs/graffiti.html
http://cms.uhd.edu/faculty/delavinae/research/Graffitipc.PDF
当然最牛b的还是这篇：
http://www.emis.de/journals/PIMB/047/n047p029.pdf

https://approαch0.xyz/demο/?q=takagi%20function&p=1
一个网站，专门用于寻找数学

两个连通图的tensor product 不一定连通：
那么问题来了：怎样的两个连通图，其tensor product也连通？

一个X-forbidden图类，能否用另一个Y-forbidden图类来刻画？换句话说，一个通过forbidden刻画的图类，其forbidden minor是否是唯一的？
（这里要求X不是Y的子图）

Desargues graph是否是唯一的 非平面三次partial cube？

像Antiprism graph,prism graph,ladder graph,hypercube graph,Windmill graph,wheel graph这种线性图类，能否用forbidden minor刻画？

一个三次图的独立集最小是多少？

一个n顶点图，其边数最多为（n-1）n/2.
如果要求某个forbidden minor 条件，那么其边数最多多少？和n（n-1）/2比呢？

习题：如果一个图没有偶数长度的环作为subgraph，那么这个图边数最多多少？