ого перевіряючого тесту.
граф тест перевіряючий теорема алгоритм
Список використаних джерел
1. Богомолов А.М., Салій В.М. Алгебраїчні основи дискретних систем. - М.: Наука. Фізматліт, 1997. - 368 с. p align="justify">. Абросимов М.Б., Долгов А.А. Практичні завдання по графах, 2-е видання: Учеб.пособие. - К.: Вид-во В«Наукова книгаВ», 2009. - 76 с. br/>
Додаток
Клас ru.sgu.csit.tokbik.coursework.Matrix
ans = new ArrayList (); static PrintWriter pw = null; static List > stocks = new ArrayList > (); static void main ( String [] args) {
Scanner scanner = null;
Map > componentsReachability = new HashMap > ();
Map , List > reachabilityBySCC = new HashMap , List > (); f; {= new Scanner (new File ( "input.txt")); = scanner.nextInt (); [] [] adjacencyMatrix = new int [topCount] [topCount]; (inti = 0; i
}
} [] [] reachabilityMatrix = Matrix.getReachabilityMatrix (adjacencyMatrix, topCount); (inti = 0; i () ); (int j = 0; j
}
}
} (inti = 0; i
f = false;
List key = componentsReachability.get (i + 1); (List list: reachabilityBySCC.keySet ()) {(list.equals (key)) {
f = true;;
}
} (f) {. get (key). add (i + 1);
} else {
List list = new ArrayList ();. add (i + 1);. put (key, list);
}
} (Map.Entry , List > entry: reachabilityBySCC.entrySet ()) {(entry.getKey (). equals (entry.getValue ())) {. add (entry.getKey ());
}
} = new PrintWriter (new File ("output.txt"));
pw.println ("Початкова матриця суміжності:");
Matrix.printMatrix (adjacencyMatrix, topCount, pw);. println ("Матріцадостіжімості:");. printMatrix (reachabilityMatrix, topCount, pw); (stocks.size () == 1 & ; & stocks.get (0). size () == 1) {
pw.println ("Мінімальний перевіряючий тест:");
} else {. println ("Можливі варіанти мінімального перевіряючого тесту:");
} (0);
} catch (FileNotFoundExce...
