Download Latest Version Griso_forRGs.zip (164.4 kB)
Email in envelope

Get an email when there's a new version of Griso

Home
Name Modified Size InfoDownloads / Week
README.txt 2012-10-25 3.9 kB
Griso_forRGs.zip 2012-10-24 164.4 kB
Griso_20121023.zip 2012-10-23 172.3 kB
Griso_20110416.zip 2011-04-16 32.1 kB
Totals: 4 Items   372.7 kB 0
Below two counterexamples for all versions of Griso.
Both pairs are pairs of NON-isomorphic graphs (Griso
reports them as "isomorphic"). Cheers & good luck!=)

36
111111111111100000000000000100000000
111111111111010000000000000010000000
111111111111001000000000000001000000
111111111111000100000000000000100000
111111111111000010000000000000010000
111111111111000001000000000000001000
111111111111000000100000000000000100
111111111111000000010000000000000010
111111111111000000001000000000000001
111111111111000000000100100000000000
111111111111000000000010010000000000
111111111111000000000001001000000000
100000000000111111111111100000000000
010000000000111111111111010000000000
001000000000111111111111001000000000
000100000000111111111111000100000000
000010000000111111111111000010000000
000001000000111111111111000001000000
000000100000111111111111000000100000
000000010000111111111111000000010000
000000001000111111111111000000001000
000000000100111111111111000000000100
000000000010111111111111000000000010
000000000001111111111111000000000001
000000000100100000000000111111111111
000000000010010000000000111111111111
000000000001001000000000111111111111
100000000000000100000000111111111111
010000000000000010000000111111111111
001000000000000001000000111111111111
000100000000000000100000111111111111
000010000000000000010000111111111111
000001000000000000001000111111111111
000000100000000000000100111111111111
000000010000000000000010111111111111
000000001000000000000001111111111111

111111111111100000000000001000000000
111111111111010000000000000100000000
111111111111001000000000000010000000
111111111111000100000000000001000000
111111111111000010000000000000100000
111111111111000001000000000000010000
111111111111000000100000000000001000
111111111111000000010000000000000100
111111111111000000001000000000000010
111111111111000000000100000000000001
111111111111000000000010100000000000
111111111111000000000001010000000000
100000000000111111111111100000000000
010000000000111111111111010000000000
001000000000111111111111001000000000
000100000000111111111111000100000000
000010000000111111111111000010000000
000001000000111111111111000001000000
000000100000111111111111000000100000
000000010000111111111111000000010000
000000001000111111111111000000001000
000000000100111111111111000000000100
000000000010111111111111000000000010
000000000001111111111111000000000001
000000000010100000000000111111111111
000000000001010000000000111111111111
100000000000001000000000111111111111
010000000000000100000000111111111111
001000000000000010000000111111111111
000100000000000001000000111111111111
000010000000000000100000111111111111
000001000000000000010000111111111111
000000100000000000001000111111111111
000000010000000000000100111111111111
000000001000000000000010111111111111
000000000100000000000001111111111111

21
011110001000000000000
101101000100000000001
110100100010000000001
111000010001000000001
100001110000100000001
010010110000010000001
001011010000001000001
000111100000000100001
100000000111000010001
010000001011000001001
001000001101000000101
000100001110000000011
000010000000011101001
000001000000101110001
000000100000110100011
000000010000111000101
000000001000010001111
000000000100100010111
000000000010000111011
000000000001001011101
011111111111111111110

011110001000000000000
101101000100000000001
110100100010000000001
111000010001000000001
100001110000100000001
010010110000000000011
001011010000001000001
000111100000000001001
100000000111000010001
010000001011010000001
001000001101000000101
000100001110000100001
000010000000011001011
000000000100100110101
000000100000100101011
000000000001011010101
000000001000010101101
000000010000101010011
000000000010010110011
000001000000101001101
011111111111111111110


Source: README.txt, updated 2012-10-25