Dowodzenie istnienia konfiguracji

[bm371613]

Jak udowodnić, że istnieje konfiguracja o zadanych parametrach?
Zależy mi na możliwie ogólnej metodzie, ale przykład które mam teraz przed sobą to
(211, 7385, 105, 3, 1).

EDIT:
Nie wiem czy słowo "konfiguracja" jest dość precyzyjne - chodzi o konfigurację zrównoważoną niepełną. Na wypadek gdyby ktoś potrafił to rozwiązać nie znając tematu wcześniej, rozpiszę problem:

Trzeba udowodnić, że istnieje taki podział 211 wierzchołków na bloki 3-elementowe, że każde dwa wierzchołki należą do dokładnie jednego bloku. Można łatwo policzyć, że bloków musi być 7385 i że każdy wierzchołek należy do 105.

[Yaco_89]

Ja osobiście nie znam żadnych ogólnych twierdzeń o istnieniu konfiguracji (w sensie niekonstruktywne dowody), raczej znane są warunki konieczne... lub w pewnych przypadkach konstrukcje, i jednym z takich przypadków jest Twój problem . Ty szukasz po prostu systemu trójek Steinera STS(211), a takie coś można zbudować za pomocą konstrukcji Skolema - myślę, że hasła które rzuciłem powinny Ci wystarczyć

[bm371613]

Wielkie dzięki
Jakby ktoś miał podobny problem, oto co wygooglałem i pomogło: