文本溢出小页面中的表格

Question

我想复制这本书的输出参数化复杂性理论作者：Flum 和 Grohe：

我尝试使用 minipage 和 fbox。但是，文本溢出了框，并且换行不起作用：

以下是 MWE：

\documentclass[10pt]{article}
\usepackage{parskip,multicol,amsmath,amsfonts}

\newcommand{\defPP}[4] 
{
    \fbox
    {   
        \begin{minipage}{\textwidth}

            #1

            \begin{tabular}{r l}


                \textit{Instance:}& #2\\    
                \textit{Parameter:}& #3\\
                \textit{Problem:}& #4   
            \end{tabular}

        \end{minipage}
    }

}

\begin{document}
    \defPP{\emph{p}-\textsc{Bounded-NTM-Halt}}{A deterministic TM $\mathbb{M}$, $n \in \mathbb{N}$ in unary, $k \in mathbb{N}$}{$k$}{Decide whether $\mathbb{M}$ accepts the empty string at most in $n$ steps and using at most $k$ nondeterministic steps.}

    To show that $p$-\textsc{Bounded-NTM-Halt} $\in \text{W[P]}$, [...]
\end{document}

Answer 1

我认为您正在寻找的答案是使用p类型列，如这个答案。

因此，用类似于\begin{tabular}{r p{9cm}}当前拥有的内容进行替换\begin{tabular}{r l}。

Answer 2

这是一个更加自动化的方法，使用tcolorbox框并将tabularx灵活宽度的X列用作第二列。

第一个框占据整个文本宽度，而第二列的内容会根据第一列的宽度自动换行以适合框。

第二种选择只使用部分文本宽度（使用width=选项并使用环境水平居中center。

\documentclass[10pt]{article}
\usepackage{parskip,multicol,amsmath,amsfonts}
\usepackage{tabularx}
\usepackage{tcolorbox}

\newcommand{\defPPone}[4] 
{
   \begin{tcolorbox}[sharp corners, colframe=black, colback=white, boxrule=0.75pt]
      \begin{tabularx}{\linewidth}{@{}r X@{}}
         \multicolumn{2}{p{\linewidth}}{#1}\\
         \textit{Instance:}& #2\\    
         \textit{Parameter:}& #3\\
         \textit{Problem:}& #4   
       \end{tabularx}
    \end{tcolorbox}
}

\newcommand{\defPPtwo}[4] 
{
   \begin{center}
   \begin{tcolorbox}[sharp corners, colframe=black, colback=white, boxrule=0.75pt,width=0.75\textwidth]
      \begin{tabularx}{\linewidth}{@{}r X@{}}
         \multicolumn{2}{p{\linewidth}}{#1}\\
         \textit{Instance:}& #2\\    
         \textit{Parameter:}& #3\\
         \textit{Problem:}& #4   
       \end{tabularx}
    \end{tcolorbox}
    \end{center}
}

\begin{document}


\defPPone{\emph{p}-\textsc{Bounded-NTM-Halt}}{A deterministic TM $\mathbb{M}$, $n \in \mathbb{N}$ in unary, $k \in \mathbb{N}$}{$k$}{Decide whether $\mathbb{M}$ accepts the empty string at most in $n$ steps and using at most $k$ nondeterministic steps.}

To show that $p$-\textsc{Bounded-NTM-Halt} $\in \text{W[P]}$, [...]

\defPPtwo{\emph{p}-\textsc{Bounded-NTM-Halt}}{A deterministic TM $\mathbb{M}$, $n \in \mathbb{N}$ in unary, $k \in \mathbb{N}$}{$k$}{Decide whether $\mathbb{M}$ accepts the empty string at most in $n$ steps and using at most $k$ nondeterministic steps.}

To show that $p$-\textsc{Bounded-NTM-Halt} $\in \text{W[P]}$, [...]

\end{document}