Reduction of Subgraph Isomorphism to O(n4)-size linear system

  Demo for   arXiv:0802.2612v2 [cs.DM]   arXiv:cs/0610042v3 [cs.DM]  


1). Enter the number of vertices in your digraph:  

All computations will be carried by your browser, and you will be required to manually enter the adjacency matrices of your digraphs


2). Variables


3). Base polytope (Convex hull of all guesses)


4). Adjacency matrix of your digraph


5). Adjacency matrix of your pattern


6). Compatibility matrix


7). Additional equations (Constrains on guesses caused by the compatibility matrix)
These equations together with equations from 3) constitute the linear system