没看懂问题是什么，看看这个代码：

 \documentclass{IEEEtran}

\usepackage{algorithm}
\usepackage{algorithmic}
\begin{document}

 \begin{algorithm}[H]
 \caption{Algorithm for ...}
 \begin{algorithmic}[1]
 \renewcommand{\algorithmicrequire}{\textbf{Input:}}
 \renewcommand{\algorithmicensure}{\textbf{Output:}}
 \REQUIRE in
 \ENSURE  out
 \\ \textit{Initialisation} :
  \STATE first statement
 \\ \textit{LOOP Process}
  \FOR {$i = l-2$ to $0$}
  \STATE statements..
  \IF {($i \ne 0$)}
  \STATE statement..
  \ENDIF
  \ENDFOR
 \RETURN $P$
 \end{algorithmic}
 \end{algorithm}

\end{document} 

什么信息都没有，就这样的问题，无法回答。

第二行明显少了一个单元格，加上就好了。

\begin{tabular}{|c|c|c|c|c|}
\hline
\multirow{2}*{姓名} & \multicolumn{3}{c|}{成绩} & \multirow{2}{*}{总分} \\ \cline{2-4}
&语文&数学&英语& \\ \hline
张三 &98 &100&92 & 290 \\ \hline
李四 &99 &91 &99 & 289 \\ \hline
\end{tabular}
\begin{question}

你的参数就没加 breakable :

\tcbset{%
 %enhanced,
 breakable,
    colback      = white,
    tikz         = {opacity=0.8,transparency group},
    colframe     = black,
    title filled = false,
    colbacktitle = white,
}%%

这样设置。

公式只有类 Times 字体。如果你需要可以看看 mathtime 字体，需要付费：https://www.pctex.com/mtpro2.html

现在用得比较多的是 newtxmath 宏包，还有用 unicode-math 宏包 setmathfont 来设置字体。

看这里：
https://www.latexstudio.net/index/details/index/mid/2522.html

实际很简单，你只需要new一个float就好了，这样定理都放在一个float里你的需求都满足了。
粗略一个示例

\documentclass{article}
\usepackage{amsthm}
\newtheorem{thm}{Theorem} 
\usepackage{lipsum}
 
\usepackage{xcolor}
 
    
\usepackage{newfloat}
\DeclareFloatingEnvironment{fthem}
\newenvironment{fthm}{% 
\begin{fthem}\begin{thm}
}
{\end{thm}\end{fthem}}
\begin{document}

\lipsum[1-4]

 
\begin{fthm}[$insts_P^{abs}(expr, ctx), relevant(a_{var}, \omega)$] $\ $\\\label{alg:cell:inst}

\begin{verbatim} 
let $insts_P^{abs}$ expr ctx =
  let $a_{var}$ = new_variable () in (* We need $a_{var}$ to be unused in expr and ctx*)
  let R = relevant $a_{var}$ ($a_{var} = expr \wedge \neg ctx$) in
  ler R' = filter (fun e -> e $\ne \top$) R in (*We remove $\top$*)
  if R = [] then [(($\bot$, expr[$\bot$]), ())] (*We need $R$ non-empty*)
  else map (fun e -> ((e, expr[e]), ())) R
  Blabla

\end{verbatim}
Some result about this function
\bigskip
\begin{verbatim} 
let relevant $a_{var}$ $\omega$ =
  (*We add two parameters that we set in first position
    to keep track of full context and visited variables*)
  relevant_impl $\omega$ [] $a_{var}$ $\omega$
 Blabla
\end{verbatim}
Some result about this function
\end{fthm} 

\lipsum[1-3]

\end{document} 

简单一点的方法就是 \\[距离] 实用，定义也可以修改公式的间距的，比如

\addtolength{\jot}{1em}

但是注意作用域，弄不好，都变了。用括号或者群组包围起来。
另外，求求大家学会用 md 语法，多行代码用三个 ` 上下包裹起来。

图片可以复制粘贴到编辑器里，就可以自动上传也可以展示了。

revtex 模板设计需要认真读他的说明文档，你可以理解为比较封闭的一套模板，实际他的设计蛮好的，但是
我们日常设计使用的宏包直接叠加上去使用，就会异常。

看看这里：https://www.latexstudio.net/index/details/index/mid/420.html

可能是版本原因导致的，建议更新下，命令行管理员执行：

tlmgr update --self --all --reinstall-forcibly-removed

提取码不对，网站附件 有大小限制，最好精简一个最小代码比较好。

解决方案一：选自：https://tex.stackexchange.com/questions/16336/add-an-asterisk-in-front-of-section-label-in-toc

\documentclass{book}
\usepackage{tocloft}
\usepackage{lipsum} % for dummy text
\newenvironment{hard}
{\renewcommand{\thesection}{*\thechapter.\arabic{section}}}
{}
% set section numbers in TOC flush right (from the tocloft documentation)
\newlength{\extralen}
\setlength{\extralen}{0.5em}    % need some extra space at end of number
\renewcommand{\cftsecpresnum}{\hfill} % note the double ‘l’ 
\renewcommand{\cftsecaftersnum}{\hspace*{\extralen}}
\addtolength{\cftsecnumwidth}{\extralen}
\begin{document}
\tableofcontents
\chapter{A chapter}
\section{A regular section}\label{easylabel}
In Section~\ref{easylabel} we see\ldots
\lipsum
\begin{hard}
\section{A hard section}\label{hardlabel}
\lipsum
\end{hard}
In Section~\ref{hardlabel} we see\ldots
\end{document}

效果图：

解决方案二：莲枝提供：

\usepackage[titles]{tocloft}
\usepackage{etoolbox}

\section{Foo}
\addtocontents{toc}{\protecting{\renewcommand{\cftsubsecpresnum}{\makebox[0pt][r]{$\star$\space}}}}
\subsection{Something something}
\addtocontents{toc}{\protecting{\renewcommand{\cftsubsecpresnum}{}}}

效果图：