import java util class point класс вершины int value int cap T1 comp l

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
import java.util.*;
class point { //класс вершины
//int value;
int cap=0,T1,comp,low=-1; // cap-размер arraylist T1,comp,low по алгоритму Тарьяна.
ArrayList<Integer> list = new ArrayList<Integer>(); // множетсов ребер,направленных из этой вершины
}
public class GraphBase{
static int time=1, count=1;//global // по алгоритму тарьяна
public static void main(String [] args){
Scanner sc = new Scanner(System.in);
int i=0,j=0,n=sc.nextInt(),first,second,m=sc.nextInt(),sizelen=0; // m n входные данные,остальное пояснено будет ниже.
point [] graph=new point[n];
for (i=0;i<n;i++) { //ну тут все понятно
graph[i]=new point();
}
for(i=0;i<m;i++){ //считываем входные данные по ребрам и добавляем в соотв arraylist
first=sc.nextInt(); second=sc.nextInt();
graph[first].cap++;
graph[first].list.add(second);
}
Tarjan(n,graph); //запускаем тарьяна,после запуска Тарьяна каждая точка имеет определенное значение
//comp. это значение говорит о том,какой компоненте сильной связ принадлежит точка.
point []cond=new point[count]; //а вот на этой строчке логику надо отключить. массив конденсаций не связан никак с точками. я использовал класс точек только из-за сходности необходимых этим двум классам данных.
for (i=0;i<count;i++) { // конденсации необходим лишь arraylist,cap и пара интовых переменных.Все это у нас есть в point.
cond[i]=new point();
}
for(i=0;i<n;i++) // проходим по всем точкам и добавляем в кондицию значения компоненты точки ее саму. тоесть в кондиции[2] будут все точки с comp=2
{
cond[graph[i].comp].list.add(i);
if(cond[graph[i].comp].low==-1 || i<cond[graph[i].comp].low) //одновременно сортирую их по минимальному значению в каждой кондиции. по условию вывода,нам в базу орграфа надо запихнуть по одной минимальной точке кондиций.
cond[graph[i].comp].low=i; //по идее можно юзать коллекшен сорт после всех распределений,но у меня он работает за линейное время:3
}
int [] base=new int[count]; //интовый массив флагов base. если к концу алгоритма base[i] будет равен нулю,то эту кондицию не юзаем.
List<Integer> Base = new ArrayList<>(); //эррей лист базы,который нужен уже для ответа.
for(i=0;i<count;i++) //заполняем флаги базы единичками
base[i]=1;
for(i=0;i<n;i++){ //проходим по каждой точке,смотрим куда идут ее ребра. если мы перемещаемся из одной кондиции в другую,(а кондиция-это множество точек с сильной связностью,в которой из каждой токи можно попасть в каждую.)
sizelen=graph[i].cap; //то значит нам не надо брать вторую кондицию,так как с первой мы всегда можем попасть во вторую. убираем флаг base.
for(j=0;j<sizelen;j++){
if(graph[i].comp!=graph[graph[i].list.get(j)].comp)
base[graph[graph[i].list.get(j)].comp]=0;
}
} //в итоге 1 осталась только на тех кондиция,c которых можно попасть некоторой комбинацией переходов в ЛЮБУЮ кондицию в этом графе.
for(i=1;i<count;i++){
if(base[i]==1){
Base.add(cond[i].low); //добавляем их минимумы в Base
}
} // сортируем и выводим.
Collections.sort(Base);
sizelen=Base.size();
for(i=0;i<sizelen;i++)
System.out.println(Base.get(i));
}
public static void Tarjan(int n,point[] graph)
{
int i=0;
for(i=0;i<n;i++) {
graph[i].T1 = 0;
graph[i].comp = 0;
}
Stack <point> s = new Stack <point>();
for(i=0;i<n;i++) {
if(graph[i].T1 == 0)
VisitVertex_Tarjan(i, graph, s);
}
}
public static void VisitVertex_Tarjan(int i,point [] graph, Stack <point> s)
{
int j=0;
graph[i].T1=time;
graph[i].low=time;
point u;
time++;
s.push(graph[i]);
for(;j<graph[i].cap;j++)
{
if(graph[graph[i].list.get(j)].T1==0)
VisitVertex_Tarjan(graph[i].list.get(j), graph, s);
if((graph[graph[i].list.get(j)].comp==0) && graph[i].low > graph[graph[i].list.get(j)].low)
graph[i].low = graph[graph[i].list.get(j)].low;
}
if(graph[i].T1==graph[i].low){
do{
u=s.pop();
u.comp=count;
}
while(u != graph[i]);
count++;
}
}
}