ACM sig-alternate 文档类——如何创建未编号的定理类环境

Question

\newtheoremACM 文档类中的命令sig-alternate有两个参数。第一个是环境的名称，第二个是以小写字母呈现的标题，出现在构造每次出现的开头。

MWE 示例：

\documentclass{sig-alternate-05-2015}
\newtheorem{IP}{Interpretation Problem}
\newtheorem{axiom}{Axiom}
\begin{document}

% Copyright
\setcopyright{acmcopyright}


% DOI
\doi{10.475/123_4}

% ISBN
\isbn{123-4567-24-567/08/06}

%Conference
\conferenceinfo{PLDI '13}{June 16--19, 2013, Seattle, WA, USA}

\acmPrice{\$15.00}


\conferenceinfo{WOODSTOCK}{'97 El Paso, Texas USA}
\title{ABC}
\numberofauthors{2}
\author{
\alignauthor
ABC\\
\affaddr{Department of Computer Science and Engineering}
% 2nd. author
\alignauthor
XYZ\\
\affaddr{Department of Computer Science and Engineering}\\
}
\maketitle
\begin{abstract} Here is the abstract. 
\end{abstract}
\section{Intro}
This is the first section.
\begin{IP}
Given a set of services $S$ consisting $o$ operations, identify the subset of faulty operations...
\end{IP}
\begin{axiom}
contents...
\end{axiom}
\end{document}

通过这种方式，其适当的数字被附加并且文本以斜体显示。

我想从此环境中删除编号。该怎么做？

此外，IEEE 支持这一点。如果我们使用

\newtheorem*{公理*}{公理}

它可以满足需求。但是，ACM SIG 模板中却无法使用相同的功能。请建议如何修复此问题。

附上快照供您参考。看一看。如何从 newtheorem 样式环境中删除编号。

Answer 1

旧 ACM 样式很旧。真的很旧：它们早于 TeX3。它们的一个怪癖是它们遵循旧的 LaTeX 标准。这些标准不允许未编号的定理（参见 Lamport 的书）。另一个怪癖是它们以许多不兼容的方式重新定义一些 LaTeX 构造，因此使用软件包成为一项冒险的业务。

长话短说：

1. Mico 的上述建议有效，但它可能会在意想不到的地方断裂，所以要小心。

2. 我很高兴地告诉大家，新的 spiffy 风格acmart已经发布，并且“很快”将成为官方 ACM 风格。我希望它能让作者的生活更轻松。

Answer 2

我建议您添加以下说明前 \documentclass{sig-alternate-05-2015}：

\RequirePackage{ntheorem}
\theoremheaderfont{\mdseries\scshape\hspace{\parindent}}
\theoremseparator{.}
\theorempreskip{1\baselineskip}

这些指令（a）加载ntheorem包并且（b）使类似定理的环境的外观符合sig-alternate-05-2015文档类所提供的内容。

然后，在\documentclass说明之后，你可以写

\newtheorem*{IP}{Interpretation Problem}
\newtheorem*{axiom}{Axiom}

这些指令设置了两个未编号的类似定理的环境。

---

完整的 MWE：

\RequirePackage{ntheorem}
\theoremheaderfont{\mdseries\scshape\hspace{\parindent}}
\theoremseparator{.}
\theorempreskip{1\baselineskip}
\documentclass{sig-alternate-05-2015}
\newtheorem*{IP}{Interpretation Problem}
\newtheorem*{axiom}{Axiom}
\begin{document}

% Copyright
\setcopyright{acmcopyright}
% DOI
\doi{10.475/123_4}
% ISBN
\isbn{123-4567-24-567/08/06}
%Conference
\conferenceinfo{PLDI '13}{June 16--19, 2013, Seattle, WA, USA}
\acmPrice{\$15.00}
\conferenceinfo{WOODSTOCK}{'97 El Paso, Texas USA}
\title{ABC}
\author{DEF}
\maketitle

\begin{abstract} 
Here is the abstract. 
\end{abstract}

\section{Intro}
This is the introduction.
\begin{IP}
Given a set of services $S$ consisting $o$ operations, identify the subset of \dots
\end{IP}

\begin{axiom}
Contents \dots
\end{axiom}

More text following the axiom \dots
\end{document}

Answer 3

你能使用amsthm，只要你修复了proof环境，就可以使用变体http://tex.stackexchange.com/a/303810/4427（我对你的另一个问题的回答）：

\documentclass{sig-alternate-05-2015}

\let\sigproof\proof\let\proof\relax
\let\sigendproof\endproof\let\endproof\relax

\usepackage{amsthm}

\let\proof\sigproof
\let\endproof\sigendproof

\makeatletter
\newtheoremstyle{sig}
  {}
  {}
  {\itshape}
  {}
  {\scshape}
  {.}
  {.5em}
  {#1\@ifnotempty{#2}{ #2}\thmnote{\quad(#3)}}% <--- changed!
\makeatother

\theoremstyle{sig}

\newtheorem{IP}{Interpretation Problem}
\newtheorem*{axiom*}{Axiom}

\setcopyright{acmcopyright}

\begin{document}

\section{Intro}
This is the first section.
\begin{IP}
Given a set of services $S$ consisting $o$ operations, 
identify the subset of faulty operations...
\end{IP}
\begin{axiom*}
contents...
\end{axiom*}
\end{document}