Search
Chancellor
Publications
Filters
total: 185
Catalog Publications
Year 2010
-
Interval wavelength assignment in all-optical star networks
PublicationArtykuł omawia zwarte końcówkowe kolorowanie grafów, które jest matematycznym modelem dla problemu przydziału częstotliwości w sieciach optycznych. W artykule przedstawiono wielomianowe algorytmy wyznaczania zwartej końcówkowej liczby chromatycznej dla pełnych grafów k-dzielnych, drzew i podkubicznych grafów dwudzielnych.
-
Modernization of ASW Sonar SQS-56 at Gdańsk University of Technology
PublicationKatedra Systemów Elektroniki Morskiej Politechniki Gdańskiej w latach 2008-2010 wykonała modernizację podkilowego sonaru do poszukiwania okrętów podwodnych SQS-56. Jest to sonar wyprodukowany w USA i zainstalowany na fregacie ORP Kościuszko. W ramach modernizacji zastosowano nowe szerokopasmowe impulsy sondujące z hiperboliczną modulacją częstotliwości generowanye w wielokanałowym nadajniku sterowanym mikroprocesorowo. Po stronie...
-
Ontology Visualization
PublicationOntologie bardzo często są reprezentowane w postaci grafu, którego wierzchołkami są obiekty występujące w prezentowanej ontologii a krawędziami relacje i powiązania pomiędzy tymi obiektami. Grafy reprezentujące ontologie mogą być złożone już dla średniego rozmiaru ontologii. Stąd niezbędna jest pełna i czytelna reprezentacja elementów takiego grafu. Dostępne rozwiązania zazwyczaj nie oferują reprezentacji pełnego zbioru elementów...
-
Scenariusze ochrony własnosci intelektualnej
PublicationPrzedstawiono ogólnie tematykę związaną z pojęciem ochrony własności intelektualnej. W sposób szczegółowy opisano problemzwiązany ze zjawiskiem plagiaryzmu w dokumentach cyfrowych. Przedstawiono metody pozwalające na minimalizowanie skali, tak powszechnego dziś zjawiska. Opisano zarówno metody prewencyjne, jak i te związane z wykrywaniem oraz właściwym postępowaniem w przypadku wykrycia popełnienia plagiatu. Podano przykłady scenariuszy...
-
Static and dynamic approach of social roles identification using PISNA and subgraphs matching
PublicationIdentyfikacja ról w sieci społecznej jest jednym z podstawowych zagadnień analiza takich sieci. W artykule przedstawiamy nowe podejście do tego zagadnienia. Pokazujemy w jaki sposób można dokonać identyfikacji ról poprzez tworzenie specjalnych struktur grafowych tzw. grafów wzorcowych. Przy definiowaniu tychże grafów wspieramy się metodą PISNA. Proponujemy statyczne i dynamiczne podejście do identyfikacji ról. Pokazujemy, w jaki...
-
Visualisation forms in MCM Side Scan Sonar
PublicationArtykuł dotyczy organizacji zobrazowań na monitorach zmodernizowanych w Katedrze Systemów Elektroniki Morskiej a przeznaczonych do poszukiwania min sonarów bocznych z holowanymi nośnikami anten. We wprowadzeniu opisano strukturę takiego sonaru oraz sposób pozyskiwania i charakter odbieranych sygnałów jako podstawę organizowania zobrazowań efektów nasłuchu. Dalej opisano inne czynniki wpływające na organizację obrazów na monitorach...
-
Zespołowa budowa ontologii z wykorzystaniem systemu OCS oraz edytora Protégé
PublicationKonstruowanie ontologii wymaga współpracy wielu osób. W idealnej sytuacji nad pojedynczą ontologią pracować będzie duża, rozproszona społeczność tworząca tym samym wspólną reprezentację wiedzy z danej dziedziny. W publikacji zaprezentowano propozycję modelu pracy grupowej nad ontologią. Zdefiniowano model zarządzania wersjami ontologii. Przedstawiono system Ontology Creation System (OCS) oraz architekturę i implementację rozszerzenia...
Year 2009
-
Dynamiczne zarządzanie tożsamością użytkowników w przestrzeniach inteligentnych
PublicationOmówiono zagadnienie uwierzytelniania oraz przedstawionoróżnice pomiędzy rozwiązaniami dostarczanymi przez systemy Linux oraz Windows. Zaprezentowano dwie metody zapewnienia centralizowanego systemu uwierzytelniającego. Obie metody były przetestowane w praktyce w sieci laboratorium komputerowego katedry KASK. Na tej podstawie wskazano metodę zdolną do zapewnienia bezpieczeństwa przestrzeni inteligentnej, w której to użytkownicy...
-
Extended generalized blockmodeling for compound communities and external actors
PublicationWiększość sieci społecznych charakteryzuje się swoją wewnętrzną, unikatową strukturą. W artykule poddano analizie sieci społeczne złożone z wielu mniejszych grup społecznościowych, które określamy mianem złożonych sieci społecznych. Dla tego typu sieci zaproponowano rozszerzenie metody ogólnego modelowania blokowego biorąc pod uwagę specyficzną strukturę złożonych sieci społecznych oraz ich relacje z zewnętrznymi aktorami. W oparciu...
-
Greedy T-colorings of graphs
PublicationTreścią artykułu są pokolorowania kontrastowe wygenerowane przez algorytm zachłanny. Zbadane zostały ich własności, obejmujące liczbę kolororów, rozpiętość i rozpiętość krawędziową.
-
Hydroacoustic signals simulations in workstation for training asw helicopter navigators
PublicationPolska Marynarka Wojenna użytkuje śmigłowce wyposażone w systemy pokładowe zmoderni-zowane w ostatnich latach a przeznaczone do wykrywania i śledzenia okrętów podwodnych: sonary z opuszczaną anteną, odbiorniki do nasłuchu i analizy sygnałów z radiohydroboi oraz magnetometry. W artykule przedstawiono pokrótce strukturę trenażera nawigatorów - operatorów tych systemów, wykorzystywanego również jako stanowisko do analizy danych zebranych...
-
Implementacja usług VoIP na platformie RIK
PublicationW pracy przedstawiono strukturę platformy RIK (Rozproszonej Infrastruktury Komunikacyjnej) instalowanej na Wydziale ETI PG. Omówiono wymagania dla infrastruktury sieciowej Wydziału ETI umożliwiającej realizacje aplikacji VoIP. Opisano implementacje telefonów IP i usług VoIP w środowisku sieciowym na WETI PG. Scharakteryzowano środowisko programistyczne dla aplikacji VoIP. Zaprezentowano zaimplementowane na Wydziale ETI PG usługi:...
-
On efficient coloring of chordless graphs
PublicationArtykuł omawia zagadnienie optymalnego, wielomianowego rozpoznawania i kolorowania grafów bezcięciwowych. Zawiera dowód tego, że takie grafy są zawsze 4-kolorowalne oraz opis wielomianowego algorytmu, który koloruje je minimalną możliwą liczbą kolorów.
-
OSC - domain oriented ontology creation system
PublicationOntologies are, as part of semantic web, a basic component to enrich content available in the Internet with a meaning understandable for computers. In this publication an architecture and functionality of a domain oriented web portal for collaborative creation and storage of ontologies is presented. The system is being created by Gdańsk University of Technology Electronics, Telecommunications and Informatics faculty's Department...
-
Serwery aplikacji dla realizacji uczelnianych usług VoIP
PublicationW pracy przedstawiono klasy usług systemu VoIP. Omówiono niebezpieczeństwa realizacji usług telefonicznych na bazie sieci komputerowej. Scharakteryzowano środowisko programistyczne dla aplikacji VoIP, w tym przedstawiono architekturę i podstawowe funkcje serwera aplikacji. Zaprezentowano przykłady usług zaimplementowanych na Politechnice Gdańskiej. Omówiono aspekty ekonomiczne i problemy realizacji usług VoIP na Uczelni.
-
The complexity of the L(p,q)-labeling problem for bipartite planar graphs of small degree
PublicationW pracy pokazano, że problem L(p,q)-kolorowania przy użyciu ''t'' kolorów jest NP-zupełny nawet w wersji ograniczonej do grafów planarnych dwudzielnych małego stopnia, nawet dla stosunkowo niewielkich wartości ''t''. Jako wniosek z uzyskanych wyników stwierdzono, że problem L(2,1)-kolorowania grafów planarnych przy użyciu 4 kolorów jest NP-zupełny, a także że problem L(p,q)-kolorowania grafów o maksymalnym stopniu 4 jest NP-zupełny...
-
Workstation for training asw helicopter navigators and analysis real flight data
PublicationW artykule opisane zostało stanowisko szkoleniowo-diagnostyczne i analizy danych skonstruowane z przeznaczeniem dla nawigatorów śmigłowców ASW eksploatowanych w polskiej Marynarce Wojennej i zainstalowane w bazie śmigłowców. Umożliwia ono prowadzanie szkoleń i treningów w zakresie eksploatacji oraz wykonywanie analiz informacji zebranych przez nawigatorów podczas lotów z pokładowego sonaru ASW, odbiornika sygnałów z sonoboi i...
Year 2008
-
Acoustic signal processing in passive sonar system with towed array
PublicationW referacie opisano przetwarzanie sygnałów akustycznych w pasywnym systemie hydrolokacyjnym. W pojęciu ''przetwarzanie sygnałów akustycznych'' mieszczą się wszelkie operacje wykonywane na sygnałach analogowych tj. wzmacnianie, filtracja i próbkowanie, jak również operacje na sygnałach cyfrowych uzyskanych w procesie próbkowania. Do operacji cyfrowych wykonywanych w systemie zalicza się synchronizację, konwersję, sortowanie, wytwarzanie...
-
Application of social relation graphs for early detection of transient spammers
PublicationWczesne wykrywanie społecznych zagrożeń i anomalii jest prawdziwym wyzwaniem w dzisiejszch, dynamicznych społeczeństwach. Ludzie tworzą skoplikowane relacje społeczne, które mogą być przedstawione za pomocą różnych typów grafów, których wierzchołki reprezentować mogą aktorów sieci (konkretne osoby lub organizacje) a krawędzie relacje pomiędzy nimi. Analiza tych dynamicznie zmieniających się relacji może wskazywać na niektóre nadciągające...
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublicationArtykuł opisuje metodę identyfikacji ról aktorów sieci społecznej. Metoda ta może być szczególnie przydatna w sieciach społecznych, o których posiadamy ograniczoną wiedzę, głównie zawężoną do lokalnych powiązań pomiędzy aktorami. Przedstawiona w artykule metoda korzysta z grafu relacji społecznych, algorytmu identyfikacji ról oraz zbioru grafów wzorców relacji. Rozwiązanie zostało przetestowane w społeczności użytkowników serwisu...
-
E-mail user roles identification using OWL-based ontology approach
PublicationSieci społeczne jako struktury ukazujące społeczne powiązania pomiędzy osobami lub całymi organizacjami poddawane są często analizie w celu rozpoznania ról, jakie pełnią poszczególni aktorzy w danej sieci. Taka klasyfikacja ról odgrywanych przez aktorów może dostarczać wielu cennych informacji o danej sieci, gdyż daje nam całościowy obraz danej sieci pozwalając na zrozumienie, w jaki sposób sieć jest zorganizowana, i w jaki sposób...
-
Portal ontologii: Architektura portalu dziedzinowego
Publicationzaprezentowano koncepcję architektury i funkcjonalności dziedzinowego portalu tworzenia ontologii realizowanego przez Katedrę KASK. Portal podzielony został na niezależne komponenty, które z powodzeniem mozna realizować odrębnie a następnie połączyć za pomocą ich interfejsów. W dalszej części pracy omówione zostaną poszczególne elemnty systemu i ich zadania. następnie przedstawiona będzie sugerowana metodologia wytwarzania systemu....
-
Rozpoznanie ról użytkowników usługi e-mail z wykorzystaniem metody opartej na ontologii
PublicationSieci społeczne jako struktury ukazujące społeczne powiązania pomiędzy osobami lub całymi organizacjami poddawane są często analizie w celu rozpoznania ról, jakie pełnią poszczególni aktorzy w danej sieci. Taka klasyfikacja ról odgrywanych przez aktorów może dostarczać wielu cennych informacji o danej sieci, gdyż daje nam całościowy obraz danej sieci pozwalając na zrozumienie, w jaki sposób sieć jest zorganizowana, i w jaki sposób...
Year 2007
-
Detection methods of dynamic spammer's behavior
PublicationPoczta elektroniczna ze względu na swoją naturę jest bardzo podatna na zjawisko spamu. Oddzielanie spamu od dobrych wiadomości jest zadaniem żmudnym i pracochłonnym. Dlatego jest rzeczą istotną opracowanie skutecznej metody walki ze spamem uwzględniającej nie tylko aktualne metody działania spamerów, ale również wzięcie pod uwagę dynamicznych aspektów zmieniających się stale ich zachowań.Artykuł opisuje metodę klasyfikacji wiadomości...
-
Early detection of imminent threats in social relation graphs
PublicationWczesne wykrywanie zagrożeń i anomalii w sieciach społecznych jest dziś prawdziwym wyzwaniem. Ludzie w realnym świecie tworzą wiele złożonych relacji społecznych, które mogą być przedstawione za pomocą grafów, w których węzły reprezentują aktorów (pojedyncze osoby lub organizacje) a krawędzie wskazują na powiązania pomiędzy nimi. Analiza nieustannie zmieniających się relacji pomiędzy aktorami może wskazać konkretne nadciągające...
-
Formy zobrazowań w sonarze dalekiego zasięgu z cylindryczną anteną
PublicationW artykule zaprezentowane są formy zobrazowań zastosowanych w dalekosiężnym, pasywnym sonarze z holowaną anteną, zmodernizowanym w Katedrze Systemów Elektroniki Morskiej. We wstępie pokazano strukturę sonaru po modernizacji oraz formy sygnałów nasłuchu, ich przetwarzania i transmisji z anteny do zespołów pokładowych. W dalszych częściach pokazano organizację przepływu informacji wewnątrz sonaru i przy komunikacji z zewnętrznymi...
-
Kolorowanie końcówkowe multidrzew
PublicationW pracy przedstawiono nowy model kolorowania grafów, mianowicie kolorowanie końcówkowe. Naszkicowano związki łączące ten model z klasycznymi modelami kolorowania oraz przedstawiono wielomianowy algorytm optymalnie końcówkowo kolorujący multidrzewa.
-
Object serialization and remote exception pattern for distributed C++/MPI application
PublicationMPI is commonly used standard in development of scientific applications. It focuses on interlanguage operability and is not very well object oriented. The paper proposes a general pattern enabling design of distributed and object oriented applications. It also presents its sample implementations and performance tests.
-
Zwarte końcówkowe kolorowanie grafów
PublicationPraca dotyczy jednego z nowych modeli kolorowania grafów, tzw. zwartego końcówkowego kolorowania. Praca zawiera definicję modelu, informacje o jego zastosowaniach, dolne i górne oszacowania na liczbę kolorów oraz wartości dokładne zwartego końcówkowego indeksu dla wybranych klas grafów: ścieżek, cykil, gwiazd, kół, grafów pełnych i innych.
Year 2006
-
Parallelisation of genetic algorithms for solving university timetabling problems
PublicationAlgorytmy genetyczne stanowią ważną metodę rozwiązywania problemów optymalizacyjnych. W artykule skupiono się na projekcie równoległego algorytmu genetycznego pozwalającego uzyskiwać uniwersyteckie rozkłady zajęć, spełniające zarówno twarde jak i miękkie ograniczenia. Czytelnika wprowadzono w niektóre znane sposoby zrównoleglenia, przedstawiono również podejście autorów, ykorzystujące MPI. Przyjęto strukturę zarządzania opartą...
-
Podstawowe mechanizmy systemu Linux w przetwarzaniu rozproszonym
PublicationLinux to otwarty, ciągle rozwijany system operacyjny. Dostępność kodu źródłowego oraz pełnej dokumentacji zaowocowała rozwojem wielumechanizmów wspierających przetwarzanie rozproszone. W systemie Linuxzaimplementowane zostały proste mechanizmy typu gniazda czy potoki jak i bardziej zaawansowane typu współdzielenie systemu plików czy możliwość tworzenia klastrów opartych o migracji procesów czy przekazywanie komunikatów. Narzędzia...
-
Security level estimation as a function of residual risks
PublicationArtykuł przedstawia sposób oceny poziomu bezpieczeństwa organizacji IT w oparciu o metodę oceny ryzyka. Opisane są podstawowe kroki wspomnianej metody, proponowane rozwiązania i zastosowania. Zaproponowano prosty sposób oceny bezpieczeństwa systemów informatycznych organizacji w oparciu o wielkość wyznaczoną na podstawie wyliczonego ryzyka rezydualnego tychże systemów.
-
Spam classification methods besed on users e-mail communication graphs
PublicationW artykule poddano analizie grafy zbudowane w oparciu o logi serwerów pocztowych. Węzły grafów reprezentują nadawców i odbiorców wiadomości e-mail natomiast krawędzie przedstawiają procesy wymiany wiadomości e-mail. Analiza grafów pozwala na znalezienie korelacji pomiędzy topologią grafów a relacjami pomiędzy użytkownikami serwisu pocztowego. W oparciu o te relacje zaproponowano algorytm klasyfikujący wymieniane wiadomości e-mail...
-
Visualisation forms in passive sonar with towed array
PublicationArtykuł dotyczy organizacji zobrazowań na monitorach modernizowanego w KSEM sonaru pasywnego z długą, holowaną za rufą okrętu, anteną akustyczną. We wprowadzeniu opisano strukturę takiego sonaru oraz sposób pozyskiwania i charakter odbieranych sygnałów jako podstawę organizowania zobrazowań efektów nasłuchu. Dalej opisano inne czynniki wpływające na organizację obrazów na monitorach sonaru tzn. zadania operatorów, organizację i...
Year 2005
-
Hydroacoustic ships berthing aid systems in Gdańsk north harbour
PublicationManewry dobijania statków do nabrzeży portowych są trudnymi operacjami, przy których należy uwzględniać m. in. na pływy, wiatry, widzialność, prędkość, masę statku, odległość od pirsu. Ewentualna kolizja z pirsem niesie poważne konsekwencje, szczególnie groźne dla wielkich statków a zwłaszcza tankowców. Referat prezentuje hydroakustyczne systemy kontroli manewrów statków wykonane przez zespół pracowników Katedry Systemów Elektroniki...
-
Imaging forms in passive sonars
PublicationReferat jest kontynuacją tematyki organizacji zobrazowań we współczesnych systemach hydrolokacyjnych przedstawionej w referacie zaproszonym na ubiegłorocznym OSA dla systemów aktywnych. Tym razem dotyczy organizacji zobrazowań w systemach pasywnych. W praktyce, prócz prostych systemów nasłuchu i rejestracji dźwięków podwodnych, używanych przez badaczy fauny wodnej czy oceanografów, systemy pasywne są wykorzystywane w marynarkach...
-
Internetowy system dydaktyczny typu online judge
PublicationOmówiony w pracy system typu Online Judge został wykorzystany na przedmiotach związanych z algorytmiką i optymalizacją dyskretną na Wydziale ETI Politechniki Gdańskiej. Najważniejsze funkcje systemu, z punktu widzenia dydaktyki, pozwalają na wykorzystanie go do automatycznej oceny rozwiązań problemów algorytmicznych, jako repozytorium dokumentów (sprawozdań) oraz jako platformę do zarządzania przedmiotem z możliwością kontroli...
-
Kolorowanie grafów obciążonych i jego zastosowanie w problemie przydziału częstotliwości
PublicationReferat omawia jeden z modeli dla problemu przydziału częstotliwości, oparty o kolorowanie grafów obciążonych. Podana została złożoność obliczeniowa modelu i wielomianowy algorytm 4-kolorowania grafów w tym modelu.
-
Procesing the complex signal in the acoustic processor of a sonobuoy system
PublicationW artykule przedstawiono metody cyfrowego przetwarzania sygnału kompleksowego w procesorze akustycznym systemu radiohydroboi. Omówiono ogólną postać systemu oraz sygnału kompleksowego. Opisano dwie alternatywne metody przetwarzania sygnału: pierwszą w dziedzinie czasu, drugą w dziedzinie częstotliwości. Zaprezentowano schematy blokowe algorytmów obu sposobów przetwarzania. Omówiono problemy praktycznej realizacji poszczególnych...
-
The practical implementation of security models and strategies in an academic network infrastuctures
PublicationArtykuł prezentuje modele i strategie bezpieczeństwa dotyczące infrastruktury sieciowej. Rozważone zostały typowe zagrożenia oraz mechanizmy bezpieczeństwa sieci komputerowej. Wymienione zostały także różnice w polityce bezpieczeństwa pomiędzy komputerową siecią komercyjną a akademicką. Opisano proces analizy ryzyka dla akademickiej sieci komputerowej oraz wskazany został sposób oszacowania wymaganego poziomu bezpieczeństwa sieci.
-
Wspomaganie wyboru prezentu wiedzą z bazy przypadków
PublicationPrzestawiono koncepcję internetowego systemu wspomagającego podejmowanie decyzji wyboru prezentów okolicznościowych. Scharakteryzowano podstawowe założenia funkcjonalne oraz wyspecyfikowano główne wymagania techniczne dla tego typu systemu. Przeanalizowano możliwości wykorzystania bazy przypadków dla lepszego dopasowania efektywności wyboru. Zaprezentowano podstawy teoretyczne wykorzystania bazy przypadków, opracowano projekt zakładanego...
Year 2004
-
Algorytm samostabilizujący dla problemu kolorowania krawędzi grafu.
PublicationReferat ten poświęcony jest kolorowaniu grafów w modelu rozproszonym.Podano samostabilizujący się algorytm kolorowania krawędzi grafu. Jest to prawdopodobnie pierwszy algorytm krawędziowego kolorowania grafów w tym modelu. Rozważania teoretyczne zostały poparte eksperymentami komputerowymi.
-
Algorytmy zachłanne i ich zastosowanie w problemie przydziału częstotliwości.
PublicationPraca opisuje uogólnione algorytmy zachłanne dla problemu przydziału częstotliwości na gruncie modelu pokolorowań kontrastowych.
-
Przybliżone algorytmy uporządkowanego kolorowania krawędzi multidrzew.
PublicationNiniejszy referat omawia zagadnienie uporządkowanego kolorowania krawędzi multidrzew. Opisano w nim dwa przybliżone algorytmy dla tego problemu, zbadano ich własności teoretyczne oraz przedstawiono wyniki testów komputerowych, jakim zostały poddane.
-
Rozwój form zobrazowań w akustycznych systemach echolokacyjnych.
PublicationW referacie przedstawiono przegląd i rozwój form zobrazowań w ultrasonografii, hydrolokacji oraz w sondażu atmosfery w aspekcie technicznych i technologicznych możliwości ich opracowania i aplikacji w produkowanym sprzęcie. Omówiono istotne parametry techniczne zobrazowań. Wymieniono w sposób usystematyzowany typy stosowanych zobrazowań (A, PIZA, B, P, M, kombinacje) wraz z przykładami i komentarzami. Zwrócono uwagę na różne formy...
-
Sum coloring of bipartite graphs with bounded degree.
PublicationArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
T-coloring of graphs.
PublicationNiniejszy rozdział omawia kontrastowe kolorowanie grafów. Podana została jego definicja i podstawowe własności, zastosowania oraz złożoność obliczeniowa problemów rozważanych w ramach tej dziedziny.
-
Uogólnione algorytmy zachłanne w kontrastowym kolorowaniu grafów.
PublicationNiniejszy referat poświęcony jest uogólnionym algorytmom zachłannym. Zawiera ich opis, krótką analizę ich własności oraz wyniki testów komputerowych którym zostały poddane.
-
Wybieranie prezentu na podstawie wnioskowania z bazy przypadków.
PublicationPrzedstawiono koncepcję i poszczególne kroki projektowania systemu informatycznego doradzającego użytkownikowi wybranie odpowiedniego prezentu okolicznościowego. Na tle rozważań o efektywności komputerowych systemów doradczych zostało uzasadnione przyjęcie metodologii wnioskowania z bazy przypadków (CBR) jako podstawowej koncepcji systemu. Następnie omówiono strukturę bazy przypadków i cykl wnioskowania w tego typu systemach. Pracę...
Year 2003
-
A polynomial algorithm for finding T-span of generalized cacti.
PublicationW pracy opisano wielomianowy algorytm wyznaczający optymalne T-pokolorowania dla uogólnionych kaktusów.