用于复杂性理论问题陈述的 LaTeX 宏

Question

我正在写一篇论文，其中定义了一些计算问题，我希望它们都具有教科书中介绍的通常风格。就像这样：

我定义了一个命令来轻松地完成此操作，将其作为表格，每次我都会在其中输入问题的详细信息。 我的代码如下：

\newcommand{\problemStatement}[3]{

\begin{table}[]
\centering
\resizebox{\textwidth}{!}{%
\begin{tabular}{llrl}
\cmidrule(lr){2-3}\hspace{1cm} & \multicolumn{2}{c}{#1} & \hspace{1cm} \\
\cmidrule(lr){2-3}             & \textbf{Input}    & #2 &              \\
                               & \textbf{Question} & #3 &             
\end{tabular}%
}
\end{table}
}

例如，写作

\problemStatement{\WTSATC}{A 3CNF formula $\varphi$, a partial assignment $\alpha$ and a natural number $k$.}{Is there a satisfying assignment extending $\alpha$ that only sets $k$ more variables to true?}

结果是

但问题是，这个表格的大小每次都会根据其内容而变化。我本质上希望字体与文档中其他主要文本的大小相同，并且表格的宽度始终固定，而不会填满整个文本列。有什么想法可以解决这个问题吗？

Answer 1

首先，你不想要\resizebox，但很可能你也不想要table。

\documentclass{article}
\usepackage{booktabs,tabularx}
\usepackage{lipsum}

\newcommand{\problemStatement}[3]{%
  \begin{center}
  \begin{tabularx}{\columnwidth}{@{}lX@{}}
  \toprule
  \multicolumn{2}{@{}c@{}}{\textsc{#1}}\tabularnewline
  \midrule
  \bfseries Input:    & #2 \\
  \bfseries Question: & #3 \\
  \bottomrule
  \end{tabularx}
  \end{center}
}

\begin{document}

\lipsum[3]

\problemStatement{Weighted 3CNF SAT Completion}
  {A 3CNF formula $\varphi$, a partial assignment $\alpha$ and a natural number~$k$.}
  {Is there a satisfying assignment extending $\alpha$ that only sets 
   $k$ more variables to true?}

\lipsum[4]

\end{document}

这是另一个版本，语法不同，可以容纳包含两个以上项目的不同类型的问题。我在“问题”中添加了一个重音符号，只是为了证明它有效。

\documentclass{article}
\usepackage{booktabs,tabularx,amsmath}
\usepackage{lipsum}

\ExplSyntaxOn

\NewDocumentCommand{\problemStatement}{mm}
 {% #1 is the title
  % #2 is the contents
  \arteche_problemstatement:nn { #1 } { #2 }
 }

\prop_new:N \l_arteche_problemstatement_body_prop

\cs_new_protected:Nn \arteche_problemstatement:nn
 {
  \prop_set_from_keyval:Nn \l_arteche_problemstatement_body_prop { #2 }
  \begin{center}
  \begin{tabularx}{\columnwidth}{@{}lX@{}}
  \toprule
  \multicolumn{2}{@{}c@{}}{\textsc{#1}}\tabularnewline
  \midrule
  \prop_map_function:NN \l_arteche_problemstatement_body_prop \__arteche_problemstatemet_do:nn
  \bottomrule
  \end{tabularx}
  \end{center}
}

\cs_new_protected:Nn \__arteche_problemstatemet_do:nn
 {
  \bfseries \tl_rescan:nn { } { #1 }: & #2 \\
 }

\ExplSyntaxOff

\begin{document}

\lipsum[3]
\problemStatement{Weighted 3CNF SAT Completion}{
  Input={A 3CNF formula $\varphi$, a partial assignment $\alpha$ and a natural number~$k$.},
  Question={Is there a satisfying assignment extending $\alpha$ that only sets 
   $k$ more variables to true?}
}
\lipsum[4]
\problemStatement{3-Colorability}{
  Instance={A graph $G=(V,E)$},
  Parameter={$k=\operatorname{tw}(G)$ the treewidth of $G$},
  Quêstion={Is there a mapping $c\colon V \to \{1,2,3\}$ such that
    for all $v_1,v_2\in V$, $v_1\ne v_2$, we have $c(v_1)\ne c(v_2)$?}
}

\end{document}

Answer 2

这是一个解决方案，它会自动将类似表格的环境的整体宽度设置为 ，\textwidth-2cm并将表格置于文本块的中心。没有必要（甚至没有理由）\resizebox，因为右侧列的单元格已启用换行功能。

一个单独的评论：除非你喜欢做印刷等同于大喊在你的读者面前，我认为没有必要鼓舞“输入”和“问题”这两个词。

下图中的第一条水平线仅用于说明文本块的宽度。

\documentclass{article} % or some other suitable document class
\usepackage{tabularx,ragged2e,booktabs}
\providecommand{\WTSATC}{WTSATC} % ??
\newlength\mylen
\setlength\mylen{\dimexpr\textwidth-2cm\relax} % overall width

\newcommand{\problemStatement}[3]{%
\begin{center}
\begin{tabularx}{\mylen}{@{} l >{\RaggedRight}X @{}}
  \toprule
  \multicolumn{2}{@{} >{\Centering}p{\mylen} @{}}{#1} \\
  \midrule
  Input    & #2 \\ 
  \addlinespace
  Question & #3 \\
  \bottomrule            
\end{tabularx}
\end{center}}

\begin{document}
\hrule % just to illustrate width of textblock

\problemStatement{\WTSATC}{%
  A 3CNF formula $\varphi$, a partial assignment~$\alpha$ and 
  a natural number~$k$.}{%
  Is there a satisfying assignment extending~$\alpha$ that 
  only sets $k$ more variables to true?}

\end{document}