alpar@906: /* -*- C++ -*- ladanyi@1435: * test/unionfind_test.cc - Part of LEMON, a generic C++ optimization library alpar@906: * alpar@1164: * Copyright (C) 2005 Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport alpar@1359: * (Egervary Research Group on Combinatorial Optimization, EGRES). alpar@906: * alpar@906: * Permission to use, modify and distribute this software is granted alpar@906: * provided that this copyright notice appears in all copies. For alpar@906: * precise terms see the accompanying LICENSE file. alpar@906: * alpar@906: * This software is provided "AS IS" with no warranty of any kind, alpar@906: * express or implied, and with no claim as to its suitability for any alpar@906: * purpose. alpar@906: * alpar@906: */ alpar@906: beckerjc@483: #include beckerjc@483: alpar@921: #include alpar@921: #include alpar@774: #include "test_tools.h" beckerjc@483: alpar@921: using namespace lemon; beckerjc@483: using namespace std; beckerjc@483: beckerjc@483: template beckerjc@483: class BaseMap : public StdMap {}; beckerjc@483: beckerjc@483: typedef UnionFindEnum UFE; beckerjc@483: beckerjc@483: void print(UFE const &ufe) { beckerjc@483: UFE::ClassIt cit; alpar@774: cout << "Print the classes of the structure:" << endl; beckerjc@483: int i = 1; beckerjc@483: for (ufe.first(cit); ufe.valid(cit); ufe.next(cit)) { beckerjc@483: cout << " " << i << " (" << cit << "):" << flush; beckerjc@483: UFE::ItemIt iit; beckerjc@483: for (ufe.first(iit, cit); ufe.valid(iit); ufe.next(iit)) { beckerjc@483: cout << " " << iit << flush; beckerjc@483: } beckerjc@483: cout << endl; beckerjc@483: i++; beckerjc@483: } beckerjc@483: cout << "done" << endl; beckerjc@483: } beckerjc@483: beckerjc@483: beckerjc@483: int main() { beckerjc@483: UFE::MapType base; beckerjc@483: UFE U(base); beckerjc@483: alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Insert 1..." << endl; beckerjc@483: U.insert(1); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Insert 2..." << endl; beckerjc@483: U.insert(2); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Join 1 and 2..." << endl; alpar@774: check(U.join(1,2),"Test failed."); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Insert 3, 4, 5, 6, 7..." << endl; beckerjc@483: U.insert(3); beckerjc@483: U.insert(4); beckerjc@483: U.insert(5); beckerjc@483: U.insert(6); beckerjc@483: U.insert(7); alpar@774: // print (U); beckerjc@483: alpar@774: cout << "Join 1 - 4, 2 - 4 and 3 - 5 ..." << endl; alpar@774: check(U.join(1,4),"Test failed."); alpar@774: check(!U.join(2,4),"Test failed."); alpar@774: check(U.join(3,5),"Test failed."); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Insert 8 to the component of 5 ..." << endl; beckerjc@483: U.insert(8,5); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Size of the class of 4: " << U.size(4) << endl; alpar@774: check(U.size(4) == 3,"Test failed."); alpar@774: cout << "Size of the class of 5: " << U.size(5) << endl; alpar@774: check(U.size(5) == 3,"Test failed."); alpar@774: cout << "Size of the class of 6: " << U.size(6) << endl; alpar@774: check(U.size(6) == 1,"Test failed."); alpar@774: cout << "Size of the class of 2: " << U.size(2) << endl; alpar@774: check(U.size(2) == 3,"Test failed."); beckerjc@483: alpar@774: cout << "Insert 9 ..." << endl; beckerjc@483: U.insert(9); alpar@774: // print(U); alpar@774: cout << "Insert 10 to the component of 9 ..." << endl; beckerjc@483: U.insert(10,9); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Join 8 and 10..." << endl; alpar@774: check(U.join(8,10),"Test failed."); alpar@774: // print(U); beckerjc@483: beckerjc@483: cout << "Move 9 to the class of 4 ..." << endl; alpar@774: check(U.move(9,4),"Test failed."); alpar@774: // print(U); beckerjc@483: beckerjc@483: cout << "Move 9 to the class of 2 ..." << endl; alpar@774: check(!U.move(9,2),"Test failed."); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Size of the class of 4: " << U.size(4) << endl; alpar@774: check(U.size(4) == 4,"Test failed."); alpar@774: cout << "Size of the class of 9: " << U.size(9) << endl; alpar@774: check(U.size(9) == 4,"Test failed."); beckerjc@483: beckerjc@483: cout << "Move 5 to the class of 6 ..." << endl; alpar@774: check(U.move(5,6),"Test failed."); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Size of the class of 5: " << U.size(5) << endl; alpar@774: check(U.size(5) == 2,"Test failed."); alpar@774: cout << "Size of the class of 8: " << U.size(8) << endl; alpar@774: check(U.size(8) == 3,"Test failed."); beckerjc@483: beckerjc@483: cout << "Move 7 to the class of 10 ..." << endl; alpar@774: check(U.move(7,10),"Test failed."); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Size of the class of 7: " << U.size(7) << endl; alpar@774: check(U.size(7) == 4,"Test failed."); beckerjc@483: alpar@774: cout <<"Erase 9... " << endl; beckerjc@483: U.erase(9); alpar@774: // print(U); beckerjc@483: alpar@774: cout <<"Erase 1... " << endl; beckerjc@483: U.erase(1); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Size of the class of 4: " << U.size(4) << endl; alpar@774: check(U.size(4) == 2,"Test failed."); alpar@774: cout << "Size of the class of 2: " << U.size(2) << endl; alpar@774: check(U.size(2) == 2,"Test failed."); beckerjc@483: beckerjc@483: alpar@774: cout <<"Erase 1... " << endl; beckerjc@483: U.erase(1); alpar@774: // print(U); beckerjc@483: alpar@774: cout <<"Erase 6... " << endl; beckerjc@483: U.erase(6); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Split the class of 8... " << endl; beckerjc@483: U.split(8); alpar@774: // print(U); beckerjc@483: beckerjc@483: alpar@774: cout << "Size of the class of 4: " << U.size(4) << endl; alpar@774: check(U.size(4) == 2,"Test failed."); alpar@774: cout << "Size of the class of 3: " << U.size(3) << endl; alpar@774: check(U.size(3) == 1,"Test failed."); alpar@774: cout << "Size of the class of 2: " << U.size(2) << endl; alpar@774: check(U.size(2) == 2,"Test failed."); beckerjc@483: beckerjc@483: alpar@774: cout << "Join 3 - 4 and 2 - 4 ..." << endl; alpar@774: check(U.join(3,4),"Test failed."); alpar@774: check(!U.join(2,4),"Test failed."); alpar@774: // print(U); beckerjc@483: beckerjc@483: alpar@774: cout << "Size of the class of 4: " << U.size(4) << endl; alpar@774: check(U.size(4) == 3,"Test failed."); alpar@774: cout << "Size of the class of 3: " << U.size(3) << endl; alpar@774: check(U.size(3) == 3,"Test failed."); alpar@774: cout << "Size of the class of 2: " << U.size(2) << endl; alpar@774: check(U.size(2) == 3,"Test failed."); beckerjc@483: alpar@793: cout << "Calling makeRep(4)..." << endl; beckerjc@483: U.makeRep(4); alpar@774: // print(U); alpar@793: cout << "Calling makeRep(3)..." << endl; beckerjc@483: U.makeRep(3); alpar@774: // print(U); alpar@793: cout << "Calling makeRep(2)..." << endl; beckerjc@483: U.makeRep(2); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "Size of the class of 4: " << U.size(4) << endl; alpar@774: check(U.size(4) == 3,"Test failed."); alpar@774: cout << "Size of the class of 3: " << U.size(3) << endl; alpar@774: check(U.size(3) == 3,"Test failed."); alpar@774: cout << "Size of the class of 2: " << U.size(2) << endl; alpar@774: check(U.size(2) == 3,"Test failed."); beckerjc@483: beckerjc@483: beckerjc@483: cout << "eraseClass 4 ..." << endl; beckerjc@483: U.eraseClass(4); alpar@774: // print(U); beckerjc@483: beckerjc@483: cout << "eraseClass 7 ..." << endl; beckerjc@483: U.eraseClass(7); alpar@774: // print(U); beckerjc@483: alpar@774: cout << "done." << endl; beckerjc@483: }