utworzone przez Redakcja | wrz 5, 2026
Naukowcy opracowują AutoGraphForge – pipeline łączący AI z metodami formalnymi do automatycznego generowania, obalania i dowodzenia hipotez w teorii grafów. System testuje kandydatów na twierdzenia na zbiorze ok. 348 000 grafów.
utworzone przez Redakcja | sie 13, 2026
Autonomiczny agent AI przeprowadził systematyczny atak na problem grafu Conwaya srg(99,14,1,2), udowadniając m.in. że żaden graf cyrkularny nie spełnia więcej niż 68% wymaganych ograniczeń. Badanie dostarcza weryfikowalnych dowodów cząstkowych w jednym z...
utworzone przez Redakcja | maj 26, 2026
Nowa książka prezentuje kompleksowy przegląd teorii grafów w warunkach niepewności, obejmując modele rozmyte, neutrozoficzne oraz zastosowania w sieciach neuronowych i systemach decyzyjnych.
utworzone przez Redakcja | kwi 25, 2026
Naukowcy sformalizowali problem CriticalSet dotyczący identyfikacji krytycznych węzłów w złożonych sieciach bipartytowych. Problem okazał się NP-trudny i wymaga nowych podejść algorytmicznych wykraczających poza standardowe metody.
utworzone przez Redakcja | kwi 24, 2026
Naukowcy opracowali nową metodę przeszukiwania grafów w multi-criteria problemach, gdzie dominacja Pareto sama w sobie sterownie zarówno harmonogramowaniem jak i zakończeniem wyszukiwania bez potrzeby zewnętrznych mechanizmów.
