I have a $2D$ undirected graph of size $n \times n$ in which each node is connected to its four neighbours (left,right,top,bottom).

If any general property is true for any nxn graph, what will be the mathematical proof for the property to hold for $(n+1) \times (n+1)$ undirected graph? All nodes are logically equivalent i.e. have some algorithm running on them.

Is induction a good choice, if so, can someone kindly give hints if the base case is $3 \times 3$.

Thanking you in advance.

  • 4
    $\begingroup$ The proof depends on the property. And if all have four neighbours - is the graph rolled to a torus? $\endgroup$ – Hagen von Eitzen Apr 8 '14 at 10:08
  • $\begingroup$ Thank you very much for your kind response. Graph is not rolled to a torus i.e. The edge nodes have only 2 or 3 neighbours. In fact, it is a square grid graph. $\endgroup$ – Curious Apr 9 '14 at 6:39
  • $\begingroup$ Property is any general property. is it not possible to prove it in general, without specifying any property? $\endgroup$ – Curious Apr 9 '14 at 6:41

What you have defined is a grid graph. You may find the properties of a grid graph in following links:


| cite | improve this answer | |
  • $\begingroup$ Thank you very much for the technical correction. Yes, exactly this is a square grid graph. $\endgroup$ – Curious Apr 9 '14 at 6:41
  • $\begingroup$ Can you please suggest any hint on how to prove or disprove the argument? $\endgroup$ – Curious Apr 10 '14 at 7:43
  • $\begingroup$ If you're writing a paper, you can refer to the articles. Else, you can read the papers and copy the proofs from the papers. $\endgroup$ – padawan Apr 10 '14 at 19:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.