\newtheorem{theorem}{Theorem}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\theoremstyle{proposition}
\newtheorem{proposition}{Proposition}
\theoremstyle{example}
\newtheorem{example}{Example}
\theoremstyle{corollary}
\newtheorem{corollary}{Corollary}
\theoremstyle{property}
\newtheorem{property}{Property}
\renewcommand{\algorithmicrequire}{ \textbf{Input:}} %Use Input in the format of Algorithm
\renewcommand{\algorithmicensure}{ \textbf{Output:}} %UseOutput in the format of Algorithm