1. DEMO TUOTTEEN OMINAISUUKSISTA Tuotteesta demotaan seuraavat asiat: - käyttöliittymä - painottamattoman graafin solmujen järjestäminen - painotetun graafin solmujen järjestäminen - yhden maksimiklikin laskeminen painottamattomasta graafista (Dimacs ascii) - yhden maksimiklikin laskeminen painottamattomasta graafista (Dimacs binääri) - kaikkien maksimiklikkien laskeminen painottamattomasta graafista - yhden annetun kokoisen klikin laskeminen painottamattomasta graafista - kaikkien annetun kokoisen klikin laskemiset painottamattomasta graafista - kaikkien vähintään annetun kokoisen klikin laskemiset painottamattomasta graafista - yhden maksimiklikin laskeminen painotetusta graafista - kaikkien maksimiklikkien laskeminen painotetusta graafista - yhden annetun kokoisen klikin laskeminen painotetusta graafista - kaikkien annetun kokoisen klikin laskemiset painotetusta graafista - yhden vähintään annetun kokoisen klikin laskeminen painotetusta graafista - kaikkien vähintään annetun kokoisen klikin laskemiset painotetusta graafista. 2. DEMOTTAVAT GRAAFIT ssa käytetään viittä eri graafia. Graafeista neljä on esitetty Dimacs ascii muotoisina ja yksi Dimacs binääri muotoisena. Dimacs ascii muotoisista esityksistä kaksi on painottamattomia ja kaksi painotettuja graafeja. Alla olevassa kuvassa on esitetty toinen painotetuista graafeista. Toinen ascii muotoisista painottamattomista graafeista on kaariensa osalta vastaava kuin alla esitetty painotettu graafi.
Graafiesityksessä ensimmäinen luku kertoo solmun indeksin ja toinen luku kertoo solmun painon painotetussa tapauksessa. 1,7 7,8 2,2 6,9 3,1 5,1 4,2
3. OHJELMAN OMINAISUUKSIEN ESITTÄMINEN 3.1 Käyttöliittymä Käyttöliittymän (komentorivitulkki) osalta esitetään toiminnot, joita ei käytetä seuraavien demottavien kohteiden yhteydessä. Opastustekstin tulostaminen: wcfinder -h wcfinder help 3.2 Järjestäminen 3.2.1 Painottamattoman graafin solmujen järjestäminen Graafin solmujen järjestäminen väritysmenetelmällä Dimacs ascii formaatissa olevasta tiedostosta. Uusi järjestys esitetään info toiminnon avulla. Uusi järjestys on 3 7 1 6 2 4 5. wcfinder -ri --format=ascii infile_uw.txt 3.2.2 Painotetun graafin solmujen järjestäminen Graafin solmujen järjestäminen väritysmenetelmällä Dimacs ascii formaatissa olevasta tiedostosta. Uusi järjestys esitetään info toiminnon avulla. Uusi järjestys on 3 7 5 4 2 6 1. wfinder --info --reorder --format=ascii infile.txt 3.3 Hakutoiminnot 3.3.1 Yhden maksimiklikin laskeminen painottamattomasta graafista (Dimacs ascii) Maksimiklikin laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Ajon aikaista informaatiota esitetään info toiminnon avulla. Klikki muodostuu solmuista (1 2 3 5). wcfinder -i --format=ascii infile_uw.txt Maksimiklikin laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Ajon aikaista informaatiota esitetään info toiminnon avulla. Klikki muodostuu solmuista (1 6 9 15 18 30 33 38 45 62 70 83 95 98 103 110 113 123 127 138 143). wcfinder -i --size=max 11-4-4_uw.txt
3.3.2 Yhden maksimiklikin laskeminen painottamattomasta graafista (Dimacs binääri) Maksimiklikin laskeminen Dimacs binääri formaatissa olevasta tiedostosta. Ajon aikaista informaatiota esitetään info toiminnon avulla. Klikki muodostuu solmuista (1 6 9 15 18 30 33 38 45 62 70 83 95 98 103 110 113 123 127 138 143). wcfinder --info --format=binary 11-4-4b.txt 3.3.3 Kaikkien maksimiklikkien laskeminen painottamattomasta graafista Maksimiklikkien laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Löydetään yksi klikki, joka muodostuu solmuista (1 2 3 5). wcfinder --type=all infile_uw.txt Maksimiklikkien laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Tulos ohjataan result1.txt tiedostoon. Löydetään 19200 klikkiä. wcfinder --type=all --size=max 11-4-4_uw.txt >result1.txt 3.3.4 Yhden annetun kokoisen klikin laskeminen painottamattomasta graafista Kokoa 3 olevan klikin laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Löydetään yksi klikki, joka muodostuu solmuista (3 5 6). wcfinder --size=3 infile_uw.txt Kokoa 10 olevan klikin laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Löydetään yksi klikki, joka muodostuu solmuista (87 89 95 98 103 111 116 122 132 144). wcfinder --size=10 --type=one 11-4-4_uw.txt 3.3.5 Kaikkien annetun kokoisen klikin laskemiset painottamattomasta graafista Kokoa 3 olevien klikkien laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Löydetään 6 klikkiä, jotka muodostuvat solmuista (3 5 6), (2 3 5), (1 2 3), (1 2 5), (1 3 4), (1 3 5). wcfinder --size=3 --type=all infile_uw.txt Kokoa 20 olevien klikkien laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Tulos ohjataan result2.txt tiedostoon. Löydetään 559968 klikkiä.
wcfinder --size=20 --type=all 11-4-4_uw.txt >result2.txt 3.3.6 Kaikkien vähintään annetun kokoisen klikin laskemiset painottamattomasta graafista Vähintään kokoa 3 olevien klikkien laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Löydetään 7 klikkiä, jotka muodostuvat solmuista (3 5 6), (2 3 5), (1 2 3), (1 2 3 5), (1 2 5), (1 3 4), (1 3 5). Huom. klikkien pitää olla samat kuin kohtien 3.3.3 ja 3.3.5 infile_uw.txt tiedostosta löytyneet klikit. wcfinder --size=+3 --type=all infile_uw.txt Vähintään kokoa 20 olevien klikkien laskeminen Dimacs ascii formaatissa olevasta tiedostosta. Tulos ohjataan result3.txt tiedostoon. Löydetään 579168 klikkiä. Huom. löydettyjen klikkien lukumäärän pitää olla kohtien 3.3.3 ja 3.3.5 11-4-4_uw.txt tiedostosta löydettyjen klikkien lukumäärien summa. wcfinder --size=+20 --type=all 11-4-4_uw.txt >result3.txt 3.3.7 Yhden maksimiklikin laskeminen painotetusta graafista Maksimiklikin laskeminen tiedostossa olevasta graafista. Ajon aikaista informaatiota esitetään info toiminnon avulla. Löydetty klikki muodostuu solmuista (3 5 6). wcfinder -i infile.txt Maksimiklikin laskeminen tiedostossa olevasta graafista. Ajon aikaista informaatiota esitetään info toiminnon avulla. Löydetty klikki muodostuu solmuista (9 10 17 27 33 41 45 53 69 83 90 95 103 107 114 126 131 141 150). wcfinder -i --size=max 11-4-4.txt Maksimiklikin laskeminen komentorivillä annetusta graafista. Stdin on ohjattu näppäimistölle ja ohjelmalle ei anneta tiedoston nimeä parametrina. Näppäimistöllä syötetään seuraava graafi (EOF merkki NT:ssä CTRL <c> tai CTRL <:z> ja CTRL <m>). c The following lines are all comments c number of vertices : 7 c number of edges : 11 c This is the last comment line p clq 7 11
e 1 2 e 1 3 e 1 4 e 1 5 e 2 3 e 2 5 e 2 7 e 3 4 e 3 5 e 3 6 e 5 6 n 1 7 n 2 2 n 3 1 n 4 2 n 5 1 n 6 9 n 7 8 Löydetty klikki muodostuu solmuista (3 5 6). wcfinder 3.3.8 Kaikkien maksimiklikkien laskeminen painotetusta graafista Maksimiklikkien laskeminen tiedostossa olevasta graafista. Löydetään kaksi klikkiä, jotka muodostuvat solmuista (3 5 6), (1 2 3 5). wcfinder --type=all infile.txt Maksimiklikkien laskeminen tiedostossa olevasta graafista. Tulos ohjataan result4.txt tiedostoon. Löydetään 11520 klikkiä. wcfinder --type=all --size=max 11-4-4.txt >result4.txt 3.3.9 Yhden annetun kokoisen klikin laskeminen painotetusta graafista Kokoa 10 olevan klikin laskeminen tiedostossa olevasta graafista. Löydetään yksi klikki, joka muodostuu solmuista (5 6). wcfinder --size=10 infile.txt Kokoa 20 olevan klikin laskeminen tiedostossa olevasta graafista. Löydetään yksi klikki, joka muodostuu solmuista (83 84 90 95 103 107 111 116 122 132 139). wcfinder --size=20 --type=one 11-4-4.txt
3.3.10 Kaikkien annetun kokoisen klikin laskemiset painotetusta graafista Kokoa 10 olevien klikkien laskeminen tiedostossa olevasta graafista. Löydetään 6 klikkiä, jotka muodostuvat solmuista (5 6), (3 6), (2 7), (1 2 3), (1 2 5), (1 3 4). wcfinder --size=10 --type=all infile.txt Kokoa 33 olevien klikkien laskeminen tiedostossa olevasta graafista. Tulos ohjataan result5.txt tiedostoon. Löydetään 134400 klikkiä. wcfinder --size=33 --type=all 11-4-4.txt >result5.txt 3.3.11 Yhden vähintään annetun kokoisen klikin laskeminen painotetusta graafista Vähintään kokoa 10 olevan klikin laskeminen tiedostossa olevasta graafista. Löydetään yksi klikki, joka muodostuu solmuista (5 6). wcfinder --size=+10 infile.txt Vähintään kokoa 30 olevan klikin laskeminen tiedostossa olevasta graafista. Löydetään yksi klikki, joka muodostuu solmuista (37 39 46 54 63 73 82 85 89 100 106 114 117 121 124). wcfinder --size=30 --type=one 11-4-4.txt 3.3.12 Kaikkien vähintään annetun kokoisen klikin laskemiset painotetusta graafista Vähintään kokoa 10 olevien klikkien laskeminen tiedostossa olevasta graafista. Löydetään 8 klikkiä, jotka muodostuvat solmuista (5 6), (3 5 6), (3 6), (2 7), (1 2 3), (1 2 3 5), (1 2 5), (1 3 4). Huom. klikkien pitää olla samat kuin kohtien 3.3.8 ja 3.3.10 infile.txt tiedostosta löytyneet klikit. wcfinder --size=+10 --type=all infile.txt Vähintään kokoa 33 olevien klikkien laskeminen tiedostossa olevasta graafista. Tulos ohjataan result6.txt tiedostoon. Löydetään 145920 klikkiä. Huom. löydettyjen klikkien lukumäärän pitää olla kohtien 3.3.8 ja 3.3.10 11-4-4.txt tiedostosta löydettyjen klikkien lukumäärien summa. wcfinder --size=+33 --type=all 11-4-4.txt >result6.txt