Problem eksportowy
Przetłumaczmy informacje na wyłączenia elementarne i przedstawmy je w "układzie trójtabłicowym" (rys. 41.1).
Kilka uwag. Informacje (1), (2) oraz (3) nie podają wyłączeń elementarnych, tylko stwierdzają, że chodzi o trzy zbiory: zbiór sześciu miast, zbiór sześciu typów strzykawek, zbiór liczb wagonów od 1 do 6, jak również, że między nimi należy ustalić wzajemnie jednoznaczne przyporządkowanie.
Poszczególne pola wyłączają kilka informacji, ale to nie ma znaczenia.
Informacja (11) jest stosunkowo niepewna: albo tak, albo siak ... W końcu obojętnie, jak będzie naprawdę, w każdym razie nie ma mowy o strzykawkach wielkości II i IV.
W układzie tablicowym wyłączenia uzyskane na podstawie tekstu zadania nie prowadzą do żadnej decyzji jednoznacznej; opierając się jednak na regułach wypełniania, przeniesienia i powiązania możemy dojść za pomocą jednoznacznych decyzji do wyniku końcowego. Przeprowadzenie tego powierzamy Czytelnikowi i nie podajemy poszczególnych etapów wnioskowania.
Niemniej jednak zwracamy uwagę na to, że można znacznie przyspieszyć przebieg rozwiązania. Zauważmy, że w lewym dolnym rogu tablicy II występuje dostatecznie dużo wyłączeń na to, by jak to widzieliśmy w przypadku zadań dwuwymiarowych - rozłożyć tablicę na dwie niezależne od siebie części: lewą górną narożną tablicę typu 2 X 2 i prawą dolną tablicę narożoną typu 4X4. Oznacza to, że w górnym prawym rogu tablicy II pola oznaczone krzyżykami można wyłączyć. Bez tego w pierwszym kroku na podstawie reguły wypełnienia otrzymujemy więcej wyłączeń (zaznaczyliśmy je na rys. 41.1, jak również pierwszą jednoznaczną decyzję).
Dalszy przebieg rozwiązania przedstawiamy tylko za pomocą haseł:
Po uzyskaniu wyniku częściowego 13 w tablicy III zawężenie. Tu także wyniki częściowe 23 i 3a. Przeniesienie do tablicy II na podstawie wyniku częściowego 2?. Lewa górna tablica narożna typu 2X2 zostaje rozwiązana (wynik częściowy 22 i 42 w tablicy II). Na podstawie reguły powiązania wynik 2 można także przenieść do tablicy I. Tutaj po zawężeniu otrzymuje się wynik częściowy 5X. Na podstawie 33 z tablicy I możemy dokonać przeniesienia do tablicy II i tam otrzymujemy 32. Z 32 oraz 33 wynika 3^ Po zawężeniu można już rozwiązać tablicę III. Na podstawie 48 oraz 42 otrzymujemy 4X. Po zawężeniu można rozwiązać również tablicę I. Za pomocą reguły powiązania otrzymujemy brakujące wyniki częściowe 12 i 62.
Z rysunku 41.2 (który pokazuje ostatnie wnioskowania przedstawionego powyżej szkicowo rozwiązania) możemy odczytać, że zadanie ma dokładnie jedno rozwiązanie, zatem ob. Punktualski może zrealizować zamówienia, a mianowicie:
do Londynu 1 wagon strzykawek typu II,
do Pragi 6 wagonów strzykawek typu I,
do Rzymu 4 wagony strzykawek typu III,
do Amsterdamu 5 wagonów strzykawek typu V,
do Sofii 2 wagony strzykawek typu VI,
do Helsinek 3 wagony strzykawek typu IV.
|