1. 为什么IEEE模板里的算法排版总让人抓狂

写过IEEE会议或期刊论文的人，大概率都在algorithm环境上栽过跟头。明明逻辑清晰、伪代码写得漂漂亮亮，一编译出来要么溢出页面右边、要么编号乱跳、要么和正文间距大得离谱，审稿人一句"Algorithm 1 is not well formatted"就能让你返修一轮。这个问题的根源在于：IEEEtran模板本身对浮动体（float）的管理非常严格，而algorithm相关宏包（algorithm、algorithmic、algorithmicx、algpseudocode）各有各的脾气，混用或者配置不当就会出各种幺蛾子。

这篇内容面向正在用IEEEtran模板写论文的研究生和科研人员，尤其是第一次投稿IEEE会议、对LaTeX浮动体机制还不太熟悉的朋友。我会把algorithm排版涉及的宏包选型、参数配置、常见报错、间距调整、跨栏处理这些核心问题全部拆开讲清楚，每个选择背后的原因都会说明白，让你不只是"抄代码能跑"，而是真正理解为什么这么写。全文基于我自己的投稿经验和帮同行debug的实战积累，所有代码片段都可以直接拿去用。

2. 宏包选型：algorithm2e、algorithmicx还是algorithmic

2.1 三大主流方案的定位差异

IEEEtran模板里插入算法，目前主流有三条路线，选错了后面会一直难受。

第一条是algorithm+algorithmic组合，这是最老牌的方案，语法简单，但功能有限，不支持复杂的自定义命令，行号控制也比较粗糙。第二条是algorithm+algorithmicx+algpseudocode，这是目前学术界最推荐的组合，语法灵活，支持\Statex、\Procedure、\EndProcedure等结构化命令，定制能力强。第三条是algorithm2e，功能最全，但它的默认样式和IEEE模板的兼容性最差，需要大量参数调整才能融入IEEE风格。

我的建议很明确：IEEE论文优先选algorithmicx + algpseudocode。原因是IEEEtran的浮动体机制和algorithm宏包配合得最好，而algorithmicx提供了足够的灵活性来处理行号、注释、缩进这些细节。algorithm2e虽然强大，但它的\SetAlgoLined、\KwIn、\KwOut这套语法和IEEE审稿人习惯看到的风格差异较大，改起来费时费力。

2.2 宏包加载顺序的坑

很多人不知道，宏包的加载顺序会直接影响编译结果。正确的顺序是这样的：

\usepackage{algorithm} \usepackage{algorithmicx} \usepackage{algpseudocode} \usepackage{amsmath}

注意algorithm必须在algorithmicx之前加载，否则\begin{algorithm}环境里的\caption和\label机制会出问题。另外，如果你同时用了hyperref，它必须放在所有algorithm相关宏包之后，否则算法编号的交叉引用会变成乱码或者跳转错误。

还有一个隐藏坑：有些IEEE模板（特别是旧的会议模板）已经预加载了algorithmic宏包，你再加载algorithmicx就会冲突，报\algorithmicrequire already defined之类的错误。解决办法是在加载前先检查模板的.cls文件，或者用\let\algorithmicrequire\undefined之类的命令清理掉旧定义。实测下来，最稳妥的做法是直接看模板的\usepackage列表，确认没有重复再动手。

2.3 为什么不用algorithm2e

我试过在IEEEtran里用algorithm2e，编译能过，但排版效果需要改至少七八个参数才能接近IEEE风格。比如默认的ruled样式会画出上下横线，IEEE论文里一般不这么用；\KwIn和\KwOut的粗体样式和IEEE的\Require、\Ensure风格不一致；行号默认在左侧且间距偏大。你要么接受一个"看起来不太IEEE"的算法块，要么花大量时间调参。相比之下，algorithmicx的默认输出几乎不需要调整就能直接投稿，省下来的时间够你多跑两组实验了。

3. 基础环境搭建：从零写一个IEEE风格的算法块

3.1 最小可用示例

先给一个可以直接编译的最小示例，你把它贴到IEEEtran模板的正文里就能看到效果：

\begin{algorithm} \caption{Adaptive Threshold Selection} \label{alg:threshold} \begin{algorithmic}[1] \Require Input signal $x[n]$, window size $W$ \Ensure Threshold $\tau$ \State Initialize $\tau \gets 0$ \For{$i = 1$ to $N-W+1$} \State $E \gets \sum_{j=i}^{i+W-1} x[j]^2$ \If{$E > \tau$} \State $\tau \gets E$ \EndIf \EndFor \State \Return $\tau$ \end{algorithmic} \end{algorithm}

\begin{algorithmic}[1]里的[1]表示每行都显示行号，如果写[5]就是每5行显示一次。IEEE论文里通常用[1]，方便审稿人引用具体某一行。

3.2 位置控制：htbp还是H

algorithm是浮动体，默认位置参数是[htbp]，意思是"这里、顶部、底部、单独一页"按优先级尝试。IEEEtran模板里，双栏模式下算法通常会跑到页面顶部或者底部，这没问题。但如果你想让算法固定在某个位置，可以用[H]参数，不过需要加载float宏包：

\usepackage{float} ... \begin{algorithm}[H]

注意：IEEE期刊论文里慎用[H]，因为强制固定位置可能导致页面出现大片空白，审稿人会觉得排版不专业。会议论文如果页数紧张，可以用[H]来压缩空间，但也要检查最终PDF有没有难看的空隙。

3.3 跨栏问题：双栏模板下的算法宽度

IEEEtran默认是双栏排版，而算法块如果内容较长，放在单栏里会挤得很难看。这时候需要用algorithm*环境（带星号）让算法跨双栏：

\begin{algorithm*} \caption{Cross-Column Algorithm} \begin{algorithmic}[1] ... \end{algorithmic} \end{algorithm*}

但跨栏算法有个副作用：它会强制出现在页面顶部或底部，而且如果算法太长，可能把正文挤到下一页。我的经验是，超过25行的算法就考虑跨栏，否则单栏里用\small或者\footnotesize缩小字号也能塞进去。

4. 行号、缩进与间距的精细控制

4.1 行号显示与隐藏

algorithmicx默认每行都显示行号，但有些场景下你不想让某些行有编号，比如注释行或者空行。用\Statex可以插入不带编号的行：

\Statex \textbf{Comment:} This line has no number

如果你想让整个算法不显示行号，把\begin{algorithmic}[1]改成\begin{algorithmic}就行。但IEEE审稿人通常喜欢有行号，方便他们写"Line 5 should be..."这样的意见，所以除非算法特别短，否则建议保留行号。

4.2 缩进层级调整

algorithmicx的缩进是自动的，\For、\If、\While这些命令会自动增加缩进层级。但有时候嵌套太深会导致算法块右边溢出，这时候可以调整缩进量：

\algrenewcommand\algorithmicindent{0.8em}

默认缩进是1em，改成0.8em或者0.6em可以省出不少横向空间。实测在双栏IEEE模板里，0.8em是个比较安全的数值，再小的话层级关系就不明显了。

4.3 算法与正文的间距

IEEEtran里算法块和正文之间的间距由\floatsep、\textfloatsep、\intextsep这几个长度控制。如果你觉得算法离正文太远或者太近，可以在导言区调整：

\setlength{\textfloatsep}{8pt plus 2pt minus 2pt} \setlength{\floatsep}{8pt plus 2pt minus 2pt} \setlength{\intextsep}{8pt plus 2pt minus 2pt}

\textfloatsep控制页面顶部/底部浮动体与正文的间距，\floatsep控制两个浮动体之间的间距，\intextsep控制[h]位置浮动体与正文的间距。IEEE模板默认值偏大，改成8pt左右会紧凑很多，但别改太小，否则算法和正文粘在一起也不好看。

4.4 算法内部的垂直间距

算法内部行与行之间的间距由\baselineskip控制，但直接改这个会影响全文。更安全的做法是在algorithm环境内部用\setlength{\baselineskip}{10pt}局部调整，或者用\vspace{-2pt}在特定行之间手动压缩。我一般会在\EndFor和下一个\State之间加\vspace{-1pt}，让逻辑块之间稍微紧凑一点。

5. 常见报错与排查速查表

5.1 典型错误与解决方案

5.2 编译顺序的坑

LaTeX的交叉引用需要多次编译才能稳定。如果你用了\ref{alg:xxx}，至少要跑两遍pdflatex。如果用了bibtex，顺序是pdflatex → bibtex → pdflatex → pdflatex。很多人改完算法后只编译一遍，发现引用变成问号就慌了，其实再编译一次就好了。

5.3 算法跨页的处理

如果一个算法太长，超过一页，LaTeX会报Float too large。这时候有两个选择：一是用\ContinuedFloat命令让算法跨页显示，二是把算法拆成两个独立的algorithm环境。IEEE论文里更推荐拆分成两个，因为跨页算法在双栏模板里排版效果通常很差。

\begin{algorithm} \caption{Algorithm Part 1} \begin{algorithmic}[1] ... \end{algorithmic} \end{algorithm} \begin{algorithm} \caption{Algorithm Part 1 (continued)} \begin{algorithmic}[1] \setcounter{ALG@line}{20} % 从第20行继续编号 ... \end{algorithmic} \end{algorithm}

\setcounter{ALG@line}{20}这个技巧可以手动设置行号起始值，让两个算法块的行号连续。注意ALG@line这个计数器名字在不同宏包版本里可能不一样，algorithmicx里是ALG@line，algorithmic里是ALG@line，algorithm2e里是AlgoLine。

6. 进阶技巧：自定义命令与样式微调

6.1 定义自己的算法命令

algorithmicx允许你定义新的命令，比如你经常需要写"并行执行"或者"广播"这样的操作：

\algnewcommand\Parallel{\textbf{parallel do}} \algnewcommand\Broadcast{\textbf{broadcast}}

然后在算法里直接用\Parallel就行。这样不仅写起来快，而且格式统一，改样式的时候只需要改一处定义。

6.2 输入输出风格的统一

IEEE论文里常见的输入输出写法有两种：\Require/\Ensure和\textbf{Input:}/\textbf{Output:}。前者是algorithmicx自带的，后者需要手动写。我建议用\Require/\Ensure，因为它们的缩进和对齐是自动处理的，而且和行号系统兼容得更好。如果你非要改成Input/Output，可以这样重定义：

\renewcommand{\algorithmicrequire}{\textbf{Input:}} \renewcommand{\algorithmicensure}{\textbf{Output:}}

6.3 注释的排版

算法里的注释用\Comment命令：

\State $x \gets x + 1$ \Comment{Increment counter}

默认注释是右对齐的，如果注释太长会溢出。解决办法是用\Statex把注释单独放一行，或者用\parbox手动换行。实测在双栏模板里，注释超过30个字符就很容易溢出，建议尽量精简。

6.4 算法标题的格式

IEEEtran里算法标题默认是"Algorithm 1: xxx"的格式，如果你想让标题左对齐或者改字体，可以用\captionsetup：

\usepackage{caption} \captionsetup[algorithm]{labelfont=bf,labelsep=colon,justification=raggedright}

但注意IEEE模板对caption格式有严格要求，改之前先确认目标期刊的格式指南，别改完了被编辑打回来。

7. 实操心得与避坑清单

7.1 我踩过的三个大坑

第一个坑是宏包冲突。有一次帮同行debug，他的IEEE会议模板里已经加载了algorithmic，他又加了algorithmicx，结果编译报了几十个already defined错误。排查了半天才发现是模板自带的。所以拿到一个新模板，第一件事是看.cls文件里加载了哪些宏包。

第二个坑是\label位置。我习惯性把\label写在\caption前面，结果交叉引用一直显示错误编号。后来才知道\label必须跟在\caption后面，因为\caption才会触发编号递增。

第三个坑是跨栏算法的位置。用algorithm*跨栏后，算法会强制出现在页面顶部，如果那一页顶部已经有内容，算法就会被推到下一页，导致当前页出现大片空白。解决办法是调整算法在源码中的位置，或者改用单栏加\small。

7.2 投稿前的检查清单

• 算法编号是否连续，有没有跳号
• 交叉引用是否都能正确跳转
• 算法是否溢出页面边界（用\overfullrule=5pt检查）
• 行号是否对齐，缩进层级是否清晰
• 算法标题格式是否符合目标期刊要求
• 双栏模式下算法是否跨栏合理
• 编译后PDF里算法位置是否自然，有没有难看的空白

7.3 工具链建议

编辑器我用的是VS Code + LaTeX Workshop插件，编译链是pdflatex → bibtex → pdflatex → pdflatex。LaTeX Workshop的"Recipe: latexmk"可以自动处理多次编译，省得手动跑。如果你用TeXstudio，记得在设置里把编译次数改成2次以上。Overleaf上写IEEE论文也很方便，但要注意免费版有编译时间限制，算法多的文档可能超时。

提示：如果你在VS Code里遇到Cannot load flash programming algorithm之类的报错，那通常是嵌入式开发工具链的问题，和LaTeX无关，别搞混了。LaTeX的报错一般会明确指向.tex文件的行号。

7.4 关于algorithm2e的补充

虽然我不推荐在IEEE论文里用algorithm2e，但如果你已经用了而且不想换，这里给一个快速适配IEEE风格的参数配置：

\usepackage[ruled,vlined,linesnumbered]{algorithm2e} \SetKwInOut{Input}{Input} \SetKwInOut{Output}{Output} \SetAlgoLined \DontPrintSemicolon

ruled画出上下横线，vlined用竖线表示逻辑块，linesnumbered显示行号。这套配置编译出来的效果和IEEE风格比较接近，但细节上还是需要微调。

8. 算法内容本身的写作建议

排版只是外壳，算法内容的质量才是审稿人真正关心的。我审过一些论文，算法排版很漂亮，但伪代码写得一塌糊涂：变量没定义、循环边界不清楚、复杂度和实际实现不符。这里给几条写作建议。

第一，输入输出要明确。每个变量都要有含义说明，别让审稿人猜。第二，循环和条件判断的边界要写清楚，是i = 1到N还是i = 0到N-1，差一个就可能改变算法行为。第三，复杂度分析要放在正文里，别塞在算法块里。第四，算法里的数学符号要和正文一致，别正文用\mathbf{x}算法里用x。第五，如果算法引用了其他论文的方法，要在caption或者正文里注明出处。

我个人的习惯是，算法块控制在20到30行之间，太短显得没内容，太长审稿人看着累。如果算法确实复杂，拆成主算法和子算法两个块，主算法给整体流程，子算法给关键步骤的细节。这样既清晰又专业。

最后分享一个小技巧：在算法块后面加一句" The corresponding complexity is O(n log n)"之类的分析，能让审稿人觉得你不仅会写伪代码，还理解算法的实际性能。这个细节在IEEE论文里很加分。