Bizning fakultet bakalavr talabasi bipartite graflarda spanning trees soni Ehrenborg tomonidan 2006-yilda tahmin qilingan miqdordan oshmasligini isbotlabdi.

Bugun seminarda isboti haqida gapirib berdi. Bakalavr bosqichida o'rgatiladigan bilim/texnikalardan chetga chiqilmagan. Men uchun qiziq bo'ldi.

Isbotdagi mantiqiy qadamlar to'g'riligini Lean teorema-dasturlash tilida tekshirib ko'rishga ham ulguribdi.

- Maqola: https://arxiv.org/abs/2603.17997
- Lean kodi: https://github.com/boonsuan/FerrersBound/tree/main

@lazizabdullaev