La Ricerca Evolutiva con LLM Determina Nuovi Numeri di Zarankiewicz
Una recente pubblicazione su arXiv (2605.01120) rivela i primi calcoli precisi di tre numeri di Zarankiewicz: Z(11,21,3,3)=116, Z(11,22,3,3)=121 e Z(12,22,3,3)=132. Il numero di Zarankiewicz Z(m,n,s,t) rappresenta il massimo numero di archi possibile in un grafo bipartito che non contiene un sottografo completo K_{s,t}. Inoltre, lo studio stabilisce limiti inferiori per altri 41 numeri di Zarankiewicz, molti dei quali distano un solo arco dai migliori limiti superiori noti, e conferma i valori in altri quattro casi chiusi. Questi risultati sono stati ottenuti tramite OpenEvolve, un algoritmo evolutivo open-source che utilizza Large Language Models (LLM) per migliorare la generazione di costruzioni matematiche. Questa ricerca evidenzia nuove strutture grafiche estremali e mostra le capacità della ricerca evolutiva guidata da LLM nella matematica combinatoria.
Fatti principali
- Primi valori esatti determinati per tre numeri di Zarankiewicz: Z(11,21,3,3)=116, Z(11,22,3,3)=121, Z(12,22,3,3)=132.
- Limiti inferiori stabiliti per altri 41 numeri di Zarankiewicz.
- Diversi limiti inferiori sono entro un arco dal miglior limite superiore noto.
- Quattro casi chiusi aggiuntivi corrispondono a valori stabiliti.
- Risultati ottenuti utilizzando OpenEvolve, un algoritmo evolutivo open-source basato su LLM.
- OpenEvolve migliora iterativamente gli algoritmi ottimizzando un segnale di ricompensa adattato al problema.
- Lo studio fornisce nuove costruzioni grafiche estremali.
- Dimostra il potenziale della ricerca evolutiva guidata da LLM in matematica.
Entità
Istituzioni
- arXiv