fork download 
  1. program paradox;  
  2. var n, i :integer;
  3.     S: array[0..324] of string;
  4.     A,B,SY: array [0..324] of char;
  5.     nodo, gsize : array[0..25] of integer;
  6.     lettere : array[0..25] of array of integer;
  7.     recStack, visited : array [0..25] of boolean; (*visited[] per tenere traccia se un nodo è stato visitato; recStack[] per tenere traccia se un nodo è                                                          stato visitato*) 
  8.     risposta: string;
  9.     ciclo : boolean;
  10.  
  11. function isCyclic (u :integer) : boolean;
  12.   var v :integer;
  13.   begin 
  14.       if recStack[u] then begin isCyclic:=true; ciclo:=true; exit; end; (*ciclo rilevato*)
  15.       if visited[u] then isCyclic:=false; (*nessun ciclo attraverso questo vertice*)
  16.       visited[u]:=true;  (*Contrassegna u come visitato*)
  17.       recStack[u]:=true;  (*Aggiungere u allo stack di ricorsione*)
  18.       for v:=0 to gsize[u]-1 do   if isCyclic(lettere[u][v]) then  isCyclic:=true; (*Per ogni vicino v del vertice u chiama ricorsiv dfs(v). Se la                                                         chiamata ricorsiva restituisce True, restituisce True(ciclo rilevato).*)
  19.       recStack[u]:=false;  (*Rimuovi u dallo stack di ricorsione*)
  20.       isCyclic:=false;  (*nessun ciclo rilevato tramite questo percorso*)
  21.  end; 
  22.  
  23. begin
  24.     readln(N);
  25.     for i:=0 to  N-1 do readln(S[i]);
  26.     for i:=0 to N-1 do begin A[i]:=S[i][1]; SY[i]:=S[i][3]; B[i]:=S[i][5];end;
  27.     for i:=0 to 25 do visited[i]:=false;
  28.     for i:=0 to 25 do recStack[i]:=false;
  29.     for i:=0 to 25 do
  30.         begin
  31.            setlength(lettere[i], 1);
  32.               (* all’inizio, la lista di adiacenza del nodo i ha dimensione 0*)
  33.            gsize[i] := 0;
  34.        end;
  35.     for i:=0 to N-1 do 
  36.                     begin
  37.                       if SY[i]='<' then begin gsize[ord(A[i])-97]:=gsize[ord(A[i])-97]+1; setlength(lettere[ord(A[i])-97], gsize[ord(A[i])-97]); lettere[ord(A[i])-97][gsize[ord(A[i])-97]-1]:= ord(B[i])-97;   end
  38.                                    else if SY[i]='>' then begin gsize[ord(B[i])-97]:=gsize[ord(B[i])-97]+1; setlength(lettere[ord(B[i])-97], gsize[ord(B[i])-97]);lettere[ord(B[i])-97][gsize[ord(B[i])-97]-1]:= ord(A[i])-97;  end;
  39.                     end;
  40.     for i:=0 to 25 do nodo[i]:=0;
  41.     for i:=0 to N-1 do begin nodo[ord(A[i])-97]:=nodo[ord(A[i])-97]+1; nodo[ord(B[i])-97]:=nodo[ord(B[i])-97]+1; end;
  42.     for i:=0 to 25 do
  43.            if (nodo [i]<>0) then begin 
  44.                             if (visited[i]=false) and  (isCyclic(i)) then ciclo:=true
  45.                                                                      else if (visited[i]=false) and (isCyclic(i)=false) then ciclo:=false; end;
  46.     if ciclo=true then risposta:=':('
  47.                   else risposta:=':)';
  48.     writeln(risposta);
  49.  end.
Success #stdin #stdout 0.01s 5244KB
comments (?)
stdin 
3
a > b
c < b
a < c
stdout 
:(
https://ideone.com/jBfnEJ
language:
Pascal (fpc 3.0.4)
created:
7 days ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!