\documentclass[11pt,twoside]{article}\makeatletter

\IfFileExists{xcolor.sty}%
  {\RequirePackage{xcolor}}%
  {\RequirePackage{color}}
\usepackage{colortbl}
\usepackage{wrapfig}
\usepackage{ifxetex}
\ifxetex
  \usepackage{fontspec}
  \usepackage{xunicode}
  \catcode`⃥=\active \def⃥{\textbackslash}
  \catcode`❴=\active \def❴{\{}
  \catcode`❵=\active \def❵{\}}
  \def\textJapanese{\fontspec{Noto Sans CJK JP}}
  \def\textChinese{\fontspec{Noto Sans CJK SC}}
  \def\textKorean{\fontspec{Noto Sans CJK KR}}
  \setmonofont{DejaVu Sans Mono}
  
\else
  \IfFileExists{utf8x.def}%
   {\usepackage[utf8x]{inputenc}
      \PrerenderUnicode{–}
    }%
   {\usepackage[utf8]{inputenc}}
  \usepackage[english]{babel}
  \usepackage[T1]{fontenc}
  \usepackage{float}
  \usepackage[]{ucs}
  \uc@dclc{8421}{default}{\textbackslash }
  \uc@dclc{10100}{default}{\{}
  \uc@dclc{10101}{default}{\}}
  \uc@dclc{8491}{default}{\AA{}}
  \uc@dclc{8239}{default}{\,}
  \uc@dclc{20154}{default}{ }
  \uc@dclc{10148}{default}{>}
  \def\textschwa{\rotatebox{-90}{e}}
  \def\textJapanese{}
  \def\textChinese{}
  \IfFileExists{tipa.sty}{\usepackage{tipa}}{}
\fi
\def\exampleFont{\ttfamily\small}
\DeclareTextSymbol{\textpi}{OML}{25}
\usepackage{relsize}
\RequirePackage{array}
\def\@testpach{\@chclass
 \ifnum \@lastchclass=6 \@ne \@chnum \@ne \else
  \ifnum \@lastchclass=7 5 \else
   \ifnum \@lastchclass=8 \tw@ \else
    \ifnum \@lastchclass=9 \thr@@
   \else \z@
   \ifnum \@lastchclass = 10 \else
   \edef\@nextchar{\expandafter\string\@nextchar}%
   \@chnum
   \if \@nextchar c\z@ \else
    \if \@nextchar l\@ne \else
     \if \@nextchar r\tw@ \else
   \z@ \@chclass
   \if\@nextchar |\@ne \else
    \if \@nextchar !6 \else
     \if \@nextchar @7 \else
      \if \@nextchar (8 \else
       \if \@nextchar )9 \else
  10
  \@chnum
  \if \@nextchar m\thr@@\else
   \if \@nextchar p4 \else
    \if \@nextchar b5 \else
   \z@ \@chclass \z@ \@preamerr \z@ \fi \fi \fi \fi
   \fi \fi  \fi  \fi  \fi  \fi  \fi \fi \fi \fi \fi \fi}
\gdef\arraybackslash{\let\\=\@arraycr}
\def\@textsubscript#1{{\m@th\ensuremath{_{\mbox{\fontsize\sf@size\z@#1}}}}}
\def\Panel#1#2#3#4{\multicolumn{#3}{){\columncolor{#2}}#4}{#1}}
\def\abbr{}
\def\corr{}
\def\expan{}
\def\gap{}
\def\orig{}
\def\reg{}
\def\ref{}
\def\sic{}
\def\persName{}\def\name{}
\def\placeName{}
\def\orgName{}
\def\textcal#1{{\fontspec{Lucida Calligraphy}#1}}
\def\textgothic#1{{\fontspec{Lucida Blackletter}#1}}
\def\textlarge#1{{\large #1}}
\def\textoverbar#1{\ensuremath{\overline{#1}}}
\def\textquoted#1{‘#1’}
\def\textsmall#1{{\small #1}}
\def\textsubscript#1{\@textsubscript{\selectfont#1}}
\def\textxi{\ensuremath{\xi}}
\def\titlem{\itshape}
\newenvironment{biblfree}{}{\ifvmode\par\fi }
\newenvironment{bibl}{}{}
\newenvironment{byline}{\vskip6pt\itshape\fontsize{16pt}{18pt}\selectfont}{\par }
\newenvironment{citbibl}{}{\ifvmode\par\fi }
\newenvironment{docAuthor}{\ifvmode\vskip4pt\fontsize{16pt}{18pt}\selectfont\fi\itshape}{\ifvmode\par\fi }
\newenvironment{docDate}{}{\ifvmode\par\fi }
\newenvironment{docImprint}{\vskip 6pt}{\ifvmode\par\fi }
\newenvironment{docTitle}{\vskip6pt\bfseries\fontsize{22pt}{25pt}\selectfont}{\par }
\newenvironment{msHead}{\vskip 6pt}{\par}
\newenvironment{msItem}{\vskip 6pt}{\par}
\newenvironment{rubric}{}{}
\newenvironment{titlePart}{}{\par }

\newcolumntype{L}[1]{){\raggedright\arraybackslash}p{#1}}
\newcolumntype{C}[1]{){\centering\arraybackslash}p{#1}}
\newcolumntype{R}[1]{){\raggedleft\arraybackslash}p{#1}}
\newcolumntype{P}[1]{){\arraybackslash}p{#1}}
\newcolumntype{B}[1]{){\arraybackslash}b{#1}}
\newcolumntype{M}[1]{){\arraybackslash}m{#1}}
\definecolor{label}{gray}{0.75}
\def\unusedattribute#1{\sout{\textcolor{label}{#1}}}
\DeclareRobustCommand*{\xref}{\hyper@normalise\xref@}
\def\xref@#1#2{\hyper@linkurl{#2}{#1}}
\begingroup
\catcode`\_=\active
\gdef_#1{\ensuremath{\sb{\mathrm{#1}}}}
\endgroup
\mathcode`\_=\string"8000
\catcode`\_=12\relax

\usepackage[a4paper,twoside,lmargin=1in,rmargin=1in,tmargin=1in,bmargin=1in,marginparwidth=0.75in]{geometry}
\usepackage{framed}

\definecolor{shadecolor}{gray}{0.95}
\usepackage{longtable}
\usepackage[normalem]{ulem}
\usepackage{fancyvrb}
\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage{marginnote}

\renewcommand{\@cite}[1]{#1}


\renewcommand*{\marginfont}{\itshape\footnotesize}

\def\Gin@extensions{.pdf,.png,.jpg,.mps,.tif}

  \pagestyle{fancy}

\usepackage[pdftitle={Hamiltonian or not with all Possible Paths},
 pdfauthor={}]{hyperref}
\hyperbaseurl{}

	 \paperwidth210mm
	 \paperheight297mm
              
\def\@pnumwidth{1.55em}
\def\@tocrmarg {2.55em}
\def\@dotsep{4.5}
\setcounter{tocdepth}{3}
\clubpenalty=8000
\emergencystretch 3em
\hbadness=4000
\hyphenpenalty=400
\pretolerance=750
\tolerance=2000
\vbadness=4000
\widowpenalty=10000

\renewcommand\section{\@startsection {section}{1}{\z@}%
     {-1.75ex \@plus -0.5ex \@minus -.2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\Large\bfseries}}
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
     {-1.75ex\@plus -0.5ex \@minus- .2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\Large}}
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
     {-1.5ex\@plus -0.35ex \@minus -.2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\large}}
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
     {-1ex \@plus-0.35ex \@minus -0.2ex}%
     {0.5ex \@plus .2ex}%
     {\reset@font\normalsize}}
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
     {1.5ex \@plus1ex \@minus .2ex}%
     {-1em}%
     {\reset@font\normalsize\bfseries}}


\def\l@section#1#2{\addpenalty{\@secpenalty} \addvspace{1.0em plus 1pt}
 \@tempdima 1.5em \begingroup
 \parindent \z@ \rightskip \@pnumwidth 
 \parfillskip -\@pnumwidth 
 \bfseries \leavevmode #1\hfil \hbox to\@pnumwidth{\hss #2}\par
 \endgroup}
\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}
\@ifundefined{c@section}{\newcounter{section}}{}
\@ifundefined{c@chapter}{\newcounter{chapter}}{}
\newif\if@mainmatter 
\@mainmattertrue
\def\chaptername{Chapter}
\def\frontmatter{%
  \pagenumbering{roman}
  \def\thechapter{\@roman\c@chapter}
  \def\theHchapter{\roman{chapter}}
  \def\thesection{\@roman\c@section}
  \def\theHsection{\roman{section}}
  \def\@chapapp{}%
}
\def\mainmatter{%
  \cleardoublepage
  \def\thechapter{\@arabic\c@chapter}
  \setcounter{chapter}{0}
  \setcounter{section}{0}
  \pagenumbering{arabic}
  \setcounter{secnumdepth}{6}
  \def\@chapapp{\chaptername}%
  \def\theHchapter{\arabic{chapter}}
  \def\thesection{\@arabic\c@section}
  \def\theHsection{\arabic{section}}
}
\def\backmatter{%
  \cleardoublepage
  \setcounter{chapter}{0}
  \setcounter{section}{0}
  \setcounter{secnumdepth}{2}
  \def\@chapapp{\appendixname}%
  \def\thechapter{\@Alph\c@chapter}
  \def\theHchapter{\Alph{chapter}}
  \appendix
}
\newenvironment{bibitemlist}[1]{%
   \list{\@biblabel{\@arabic\c@enumiv}}%
       {\settowidth\labelwidth{\@biblabel{#1}}%
        \leftmargin\labelwidth
        \advance\leftmargin\labelsep
        \@openbib@code
        \usecounter{enumiv}%
        \let\p@enumiv\@empty
        \renewcommand\theenumiv{\@arabic\c@enumiv}%
	}%
  \sloppy
  \clubpenalty4000
  \@clubpenalty \clubpenalty
  \widowpenalty4000%
  \sfcode`\.\@m}%
  {\def\@noitemerr
    {\@latex@warning{Empty `bibitemlist' environment}}%
    \endlist}

\def\tableofcontents{\section*{\contentsname}\@starttoc{toc}}
\parskip0pt
\parindent1em
\def\Panel#1#2#3#4{\multicolumn{#3}{){\columncolor{#2}}#4}{#1}}
\newenvironment{reflist}{%
  \begin{raggedright}\begin{list}{}
  {%
   \setlength{\topsep}{0pt}%
   \setlength{\rightmargin}{0.25in}%
   \setlength{\itemsep}{0pt}%
   \setlength{\itemindent}{0pt}%
   \setlength{\parskip}{0pt}%
   \setlength{\parsep}{2pt}%
   \def\makelabel##1{\itshape ##1}}%
  }
  {\end{list}\end{raggedright}}
\newenvironment{sansreflist}{%
  \begin{raggedright}\begin{list}{}
  {%
   \setlength{\topsep}{0pt}%
   \setlength{\rightmargin}{0.25in}%
   \setlength{\itemindent}{0pt}%
   \setlength{\parskip}{0pt}%
   \setlength{\itemsep}{0pt}%
   \setlength{\parsep}{2pt}%
   \def\makelabel##1{\upshape ##1}}%
  }
  {\end{list}\end{raggedright}}
\newenvironment{specHead}[2]%
 {\vspace{20pt}\hrule\vspace{10pt}%
  \phantomsection\label{#1}\markright{#2}%

  \pdfbookmark[2]{#2}{#1}%
  \hspace{-0.75in}{\bfseries\fontsize{16pt}{18pt}\selectfont#2}%
  }{}
      \def\TheFullDate{2012-01-15 (revised: 15 January 2012)}
\def\TheID{\makeatother }
\def\TheDate{2012-01-15}
\title{Hamiltonian or not with all Possible Paths}
\author{}\makeatletter 
\makeatletter
\newcommand*{\cleartoleftpage}{%
  \clearpage
    \if@twoside
    \ifodd\c@page
      \hbox{}\newpage
      \if@twocolumn
        \hbox{}\newpage
      \fi
    \fi
  \fi
}
\makeatother
\makeatletter
\thispagestyle{empty}
\markright{\@title}\markboth{\@title}{\@author}
\renewcommand\small{\@setfontsize\small{9pt}{11pt}\abovedisplayskip 8.5\p@ plus3\p@ minus4\p@
\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus2\p@
\belowdisplayshortskip 4\p@ plus2\p@ minus2\p@
\def\@listi{\leftmargin\leftmargini
               \topsep 2\p@ plus1\p@ minus1\p@
               \parsep 2\p@ plus\p@ minus\p@
               \itemsep 1pt}
}
\makeatother
\fvset{frame=single,numberblanklines=false,xleftmargin=5mm,xrightmargin=5mm}
\fancyhf{} 
\setlength{\headheight}{14pt}
\fancyhead[LE]{\bfseries\leftmark} 
\fancyhead[RO]{\bfseries\rightmark} 
\fancyfoot[RO]{}
\fancyfoot[CO]{\thepage}
\fancyfoot[LO]{\TheID}
\fancyfoot[LE]{}
\fancyfoot[CE]{\thepage}
\fancyfoot[RE]{\TheID}
\hypersetup{citebordercolor=0.75 0.75 0.75,linkbordercolor=0.75 0.75 0.75,urlbordercolor=0.75 0.75 0.75,bookmarksnumbered=true}
\fancypagestyle{plain}{\fancyhead{}\renewcommand{\headrulewidth}{0pt}}

\date{}
\usepackage{authblk}

\providecommand{\keywords}[1]
{
\footnotesize
  \textbf{\textit{Index terms---}} #1
}

\usepackage{graphicx,xcolor}
\definecolor{GJBlue}{HTML}{273B81}
\definecolor{GJLightBlue}{HTML}{0A9DD9}
\definecolor{GJMediumGrey}{HTML}{6D6E70}
\definecolor{GJLightGrey}{HTML}{929497} 

\renewenvironment{abstract}{%
   \setlength{\parindent}{0pt}\raggedright
   \textcolor{GJMediumGrey}{\rule{\textwidth}{2pt}}
   \vskip16pt
   \textcolor{GJBlue}{\large\bfseries\abstractname\space}
}{%   
   \vskip8pt
   \textcolor{GJMediumGrey}{\rule{\textwidth}{2pt}}
   \vskip16pt
}

\usepackage[absolute,overlay]{textpos}

\makeatother 
      \usepackage{lineno}
      \linenumbers
      
\begin{document}

             \author[1]{Narendra Pratap  Singh}

             \author[2]{Narendra Pratap  Singh}

             \author[3]{Ramu  Agrawal}

             \affil[1]{  Gautam Buddh Technical University, Lucknow, India.}

\renewcommand\Authands{ and }

\date{\small \em Received: 10 December 2011 Accepted: 2 January 2012 Published: 15 January 2012}

\maketitle


\begin{abstract}
        


Given a Graph G (V, E), We Consider the problem of deciding whether G is Hamiltonian, that is- whether or Not there is a simple cycle in E spanning all vertices in V. [1] However to Verify that the given cycle is Hamiltonian by checking whether it is permutation of the vertices of V and whether each of the consecutives edges along the cycle actually exists in the Graph. This Verification Algorithm can certainly be implemented to run in O (n2) time, where n is the length of the encoding of G [2]. But to predict in Advance that the Graph has Hamiltonian Cycle or not was still Exponential before this Algorithm. This Problem is known to be NPComplete hence cannot be solved in Polynomial time in |V| unless P=NP. However till today there was no known Criterion we can apply to determine the existence Hamiltonian Circuit in General [3]. For its Exponential time We can Refer to theorems: - Vertex Cover problem is polynomially transformable to the Hamiltonian circuit Problem for Directed graphs, hence the Hamiltonian Circuit problem for Directed Graph is NP-Complete and the Hamiltonian Circuit Problem for Directed Graph is Polynomialy transformable to Hamiltonian Cycle Problem for Undirected Graph, hence the Hamiltonian Cycle Problem for undirected Graph is NP-complete [4]. Note that these derivations are based on the CNF- Satisfiability. Through this Paper we have introduced a Newer Algorithm with different approach to determine whether a given Graph is Hamiltonian or Not with all possible Paths, by applying Few Mathematical and logical Operations. This provides necessary and sufficient condition for a graph to be Hamiltonian.

\end{abstract}


\keywords{Adjacency matrix, Adjacency List, Nodes, Vertices, Edges, Hamiltonian circuit.}

\begin{textblock*}{18cm}(1cm,1cm) % {block width} (coords) 
\textcolor{GJBlue}{\LARGE Global Journals \LaTeX\ JournalKaleidoscope\texttrademark}
\end{textblock*}

\begin{textblock*}{18cm}(1.4cm,1.5cm) % {block width} (coords) 
\textcolor{GJBlue}{\footnotesize \\ Artificial Intelligence formulated this projection for compatibility purposes from the original article published at Global Journals. However, this technology is currently in beta. \emph{Therefore, kindly ignore odd layouts, missed formulae, text, tables, or figures.}}
\end{textblock*}


\let\tabcellsep& 	 	 		 
\section[{Efficient Algorithm to Determine Whether a given}]{Efficient Algorithm to Determine Whether a given}\par
Graph is Hamiltonian or not with all Possible Paths Narendra Pratap Singh ? , Ramu Agrawal ? \& Indra Paliwal ? Abstract -Given a Graph G (V, E), We Consider the problem of deciding whether G is Hamiltonian, that is-whether or Not there is a simple cycle in E spanning all vertices in V. \hyperref[b0]{[1]} However to Verify that the given cycle is Hamiltonian by checking whether it is permutation of the vertices of V and whether each of the consecutives edges along the cycle actually exists in the Graph. This Verification Algorithm can certainly be implemented to run in O (n 2 ) time, where n is the length of the encoding of G \hyperref[b1]{[2]}. But to predict in Advance that the Graph has Hamiltonian Cycle or not was still Exponential before this Algorithm. This Problem is known to be NP-Complete hence cannot be solved in Polynomial time in |V| unless P=NP. However till today there was no known Criterion we can apply to determine the existence Hamiltonian Circuit in General \hyperref[b2]{[3]}  
\section[{Introduction}]{Introduction}\par
amiltonian Problem is Decision Problem in which G (V, E) should be traversed from any one vertex to same vertex without repeating any vertex again (means, Vertex should be traverse exactly once).\par
We look for n long sequence of vertices v 0 , v 1 , v 2 , .?., v n-1 visit all vertices in v such thatn i ? ? 0 , (vi, v(i+1)mod n) E ? , along with the element of Adjacency Matrix Ai, j= 1,if ) , ( j i E ? ?\par
, 0, otherwise. From the general prediction as prescribed in literature that Hamiltonian Cycle exists if and only if there is an nlong Author ? ? ? : Department of Computer Science, BSA College of Engineering and Technology, Mathura, U.P, India. E-mail ? : narendrapratapbsa@gmail.com E-mail ? : ramuagrawalbsa@gmail.com E-mail ? : indrapaliwal@gmail.com tour that cover all the vertices and returns to the standing point.\par
Scientist around the globe deduced the Method based on the number of edges and degrees of graph, some for planarity and some for connected but they all failed for a general graph and was not sufficient. It follows the CNF-satisfiability also \hyperref[b3]{[4]}.\par
But we put through the above statement from the mathematical and logical point of view.\par
By this algorithm, now the scientist will have reasonable condition to determine the Hamiltonian Circuit in Advance without traversing it vertex to vertex manually on the paper.\par
Till today this problem which spurred the computer scientist around the globe to be able to draw an Algorithm which Culminate the possibilities, the usage of global information was shown to speed up the process: however it has cost in communication and complexity of individual agent. Now in our Algorithm there is no foundation for an undirected, directed, planarity, colorability, and connectedness of a graph, it can be applied to the all types of graphs.\par
Rest of the paper is organized as follows. Section2 present the related work. The proposed method algorithm has been described in section3. In section4, experimental results and sample run have been presented and paper is concluded in section5. 
\section[{II.}]{II.} 
\section[{Related work}]{Related work}\par
Since, its (Hamiltonian Cycle Problem) origin, by famous Irish Mathematician Sir William Rowan Hamilton, 1859, was still unsolved. There was no known criterion we could apply to determine the existence of Hamiltonian circuit in general. A circuit is a connected graph G is said to be Hamiltonian if it includes every vertex of G. Hence a Hamiltonian Circuit in a Graph of n vertices cost of exactly n edges. Obviously, not every connected Graph has Hamiltonian Circuit. For example, neither of the Graph shown in figures (2.1 and 2.2) and has a Hamiltonian circuit. This raise the Question: What is the necessary and sufficient condition for a connected Graph G to have Hamiltonian Circuit? \hyperref[b4]{[5]} Also, No known Characterization to determine Hamiltonian graph in any given Graph G has been found \hyperref[b5]{[6]}.( D D D D ) C 2012 
\section[{Year}]{Year}\par
However several Scientist has proposed several methods on the basis of degree and edges with the reference to any specific graph (like connected, planarity, etc.). But they had not found full success with necessary condition to predict Hamiltonian cycle in advance for every Graph. Most of works has been presented before the 1975. Hence there was no programming based algorithmic approach had been considered? Some famous works are as follows:\par
? Every Graph G with 3 ? n vertices and minimum degree at least n\textbackslash 2 has a Hamiltonian Cycle \hyperref[b6]{[7]} (Dirac 1956).\par
[Note that this theorem bound prediction within limit of The following theorem characterizes all Hamiltonian Sequences.3 ? n .] ? Every Graph G with |G| 3 ? and K(G) ? ?(G)\par
? (Chvatal 1972), An integer Sequence (a 1 , ?., a n ) such that 0? a 1 ???? a n <n and n?3 is\par
Hamiltonian if and only if the following holds for every i<n/2: [11]   ? An integer sequence (a1, ?an) such that n ? 2 and 0 ?a1???? an < n is path Hamiltonian if anda i ? i ? a n-1 ? n-i.only if every i ? n/2 is such thata i < i ? a n+i-2 ? n-1\par
Hamiltonian Cycle in the square of a graph For k=1, this is preciselyDirac's theorem the case k=2 had already been conjecture by Posa in 1963 and was proved for large n by kamlos, Sarojy \& Szemerdi, 1996. \hyperref[b12]{[13]} Beyond the above given thesis, the age comes to programming and computer scientist developed several algorithms in the same context but did not get succeed to make sure exact prediction for a graph to be Hamiltonian or not. These are given as follows:? (Fleischner 1974), if G is a 2-Connected\par
? 1. Vertex ant walk (VAW) has the Hamiltonian cycles as its limit cycle; however we do know if those are the only limit cycles of the process which are longer than the n variables. 
\section[{A probabilistic Version of VAW rule does not}]{A probabilistic Version of VAW rule does not}\par
determine the next neighbor specifically, but assigns each neighbor a probability according to its current (µ, t) mark (e.g) the probability of jumping from u to v be Prob(u ? v) =(1/(1+µ(v)))/(? w? N(u) (1/(1+µ(w))\par
Where, clearly, ? w? N(u) prob (u ? w) =1N(u) stands for the sets of vertices v?V such that (u, v) ? ?\par
). In such a semi-Random process faster, (In recognizing a Hamiltonian Graph), on the average, or lower than the deterministic one? [Note that, the prediction in above method is probabilistic, means of having some amount of Uncertainty.] ? Solving the Hamiltonian cycle Problem using symbolic determinant by V.Ejov ? Bitonic Euclidean traveling-salesman problem \hyperref[b1]{[2]} The Euclidean traveling-salesman problem is the problem of determining the shortest closed © 
\section[{The proposed method}]{The proposed method}\par
In this section, we will present our original approach to determine all Hamiltonian paths for a Given Graph G. G(V, E) is the ordered pair consists two sets, V for vertices(v1, v2, v3, ?., vn) and E for edges (e1, e2, Algorithm (for First Basic method*):\par
1. Draw the Adjacency matrix ( Inputting graph):\par
Let take adjacency matrix for any undirected graph without parallel edges or loops. Adjacency matrix for directed/undirected having loops and parallel edges. \begin{figure}[htbp]
\noindent\textbf{}\includegraphics[]{image-2.png}
\caption{\label{fig_0}}\end{figure}
 \begin{figure}[htbp]
\noindent\textbf{}\includegraphics[]{image-3.png}
\caption{\label{fig_1}Year}\end{figure}
 \begin{figure}[htbp]
\noindent\textbf{}\includegraphics[]{image-4.png}
\caption{\label{fig_2}}\end{figure}
 \begin{figure}[htbp]
\noindent\textbf{31}\includegraphics[]{image-5.png}
\caption{\label{fig_3}Fig. 3 . 1 :}\end{figure}
 \begin{figure}[htbp]
\noindent\textbf{3233}\includegraphics[]{image-6.png}
\caption{\label{fig_4}Fig. 3 . 2 :Fig. 3 . 3 :}\end{figure}
 \begin{figure}[htbp]
\noindent\textbf{} \par 
\begin{longtable}{}
\end{longtable} \par
  {\small\itshape [Note: . For its Exponential time We can Refer to theorems: -Vertex Cover problem is polynomially transformable to the Hamiltonian circuit Problem for Directed graphs, hence the Hamiltonian Circuit problem for Directed Graph is NP-Complete and the Hamiltonian Circuit Problem for Directed Graph is Polynomialy transformable to Hamiltonian Cycle Problem for Undirected Graph, hence the Hamiltonian Cycle Problem for undirected Graph is NP-complete\hyperref[b3]{[4]}. Note that these derivations are based on the CNF-Satisfiability.Through this Paper we have introduced a]} 
\caption{\label{tab_0}}\end{figure}
 			\footnote{© 2012 Global Journals Inc. (US) Global Journal of Computer Science and Technology} 			\footnote{© 2012 Global Journals Inc. (US)} 		 		\backmatter  			 
\subsection[{Year}]{Year}\par
Do the same operation for all the sequences, we get P 1 , P 2 , P 3 ,?,, P n . 
\subsection[{B. Then we apply logical OR(||) operator between all}]{B. Then we apply logical OR(||) operator between all}\par
the path values. *fortunately this algorithm provides sufficient conditions for a Graph to be Hamiltonian and also print all the possible paths but Unfortunately takes more time for large Graphs, so we were in search for next Algorithms which take less time than this, therefore we developed second Algorithm which facilitate all the requirements.\par
We prepare second Algorithm using the concept of Graph theory, means of having linked list, structures and few pointers.  \par
If all nodes are reachable from A, than flights may seek to any Airport, Note that this step will make just one comparison and proceed to next one (say, B).\par
On the next point, it will decide to move on the next Airport Except the later traversed Airport (A). If this node is reachable to another then it will move on by making just single Comparison again. This sequence of comparison at one time and moving on the next node will remain next Node will remain continue till it did not reach at the initial vertex (Airport). 
\subsection[{T (n ) = 1+1+1+??+1}]{T (n ) = 1+1+1+??+1}\par
(n times) T (n) = n T (n) For Worst Case:\par
In the worst case, the Airplane will choose the move to specific Airport by making (n-1) comparison for itself; therefore the airplane at the next step will decide the next move to further proceeding after making n-1 comparison. The routine will remain till the Airplane did not reach at the initial Airport (or Standing point).\par
= n (n-1)! Hence, this Algorithm runs near to polynomial for small vertices sets.\par
V. 
\subsection[{Conclusion}]{Conclusion}\par
Our method exploits the ways to find Hamiltonian Circuit using Sequential and predicate logic and opens up opportunities for future researcher interested in this problem succinctly in much advance way. However our method has successfully find out all possible paths but still working near to polynomial not exactly polynomial, but it opens opportunities to think about this problem by applying advance methods of predicate calculus to find out all possible paths in polynomial time.			 			  				\begin{bibitemlist}{1}
\bibitem[Seymour ; T et al. ()]{b11}\label{b11} 	 		\textit{},  		 			P D P Seymour ; T 		,  		 			V C Mc Donough 		,  		 			Marron 		.  		1974. OD) Combinatorics, Camridge University Press. 3.  	 
\bibitem[Thomassen ()]{b8}\label{b8} 	 		\textit{},  		 			C Thomassen 		.  	 	 		\textit{J.Graph}  		1983. 7 p. .  	 
\bibitem[Fleischner and Theory ()]{b10}\label{b10} 	 		\textit{},  		 			J Combin Fleischner 		,  		 			Theory 		.  		1991. p. .  	 
\bibitem[Horowitz et al. ()]{b4}\label{b4} 	 		\textit{},  		 			Ellis Horowitz 		,  		 			Sataj Sahni 		,  		 			Sanguthevar Rajshekharan 		.  		2009.  	 
\bibitem[Israel et al.]{b0}\label{b0} 	 		\textit{An Ant Inspired Heuristic for Recognizing Hamiltonian Graphs},  		 			A Israel 		,  		 			Alfred M Wagner 		,  		 			Bruckestein 		.  		p. .  	 
\bibitem[Bondy & U and Murthy ()]{b9}\label{b9} 	 		 			J A S R Bondy \& U 		,  		 			Murthy 		.  		\textit{Graph Theory With Applications},  				 (Macvmillan)  		1976.  	 
\bibitem[Cormen et al. ()]{b1}\label{b1} 	 		 			T H Cormen 		,  		 			C E Leiserson 		,  		 			R L Rivest 		.  		\textit{Introduction to Algorithms},  				 (Cambridge, MA)  		2009. MIT Press.  	 
\bibitem[Diestel ()]{b5}\label{b5} 	 		 			Reinhard Diestel 		.  		\textit{Graph Theory Electronic edition},  				 (New york)  		2000. 2000. Springer-verlog. p. .  	 
\bibitem[Bollobas ()]{b6}\label{b6} 	 		\textit{External Graph Theory},  		 			B Bollobas 		.  		1978. Academic Press.  	 
\bibitem[Deo (20007)]{b2}\label{b2} 	 		\textit{Graph Theory with Application to Engineering and Computer Science},  		 			Narsingh Deo 		.  		20007. Prentice Hall India. p. .  	 
\bibitem[Halin ()]{b7}\label{b7} 	 		 			R Halin 		.  		\textit{Graph theorie, Wissen Schatliche Buchgessellschaft},  				1980.  	 
\bibitem[Komlos et al. ()]{b12}\label{b12} 	 		 			J Komlos 		,  		 			G N Sarkozy 		,  		 			\& E Szemredi 		.  		\textit{Random Structures and Algorithms},  				1976. p. .  	 
\bibitem[Aho et al. ()]{b3}\label{b3} 	 		\textit{The Design and Analysis of Computer Algorithms},  		 			Alfred V Aho 		,  		 			John E Hopcroft 		,  		 			Jefferey D Ulman 		.  		2008. p. .  	 
\end{bibitemlist}
 			 		 	 
\end{document}
