![如何显示非常大的树(+独立与总线证明)](https://linux22.com/image/378636/%E5%A6%82%E4%BD%95%E6%98%BE%E7%A4%BA%E9%9D%9E%E5%B8%B8%E5%A4%A7%E7%9A%84%E6%A0%91%EF%BC%88%2B%E7%8B%AC%E7%AB%8B%E4%B8%8E%E6%80%BB%E7%BA%BF%E8%AF%81%E6%98%8E%EF%BC%89.png)
我正在寻找排版校样树的不同选项,并得到以下帮助用于排版校样树的最佳软件包是什么?
我没有看到任何暗示的一个问题是,是否有工具可以显示非常大的证明树(数百个节点)。我正在推测/梦想一种工具来上下导航证明树(有点像我们使用谷歌地图所做的那样)。你能想到什么适合这样做的东西吗?你会如何获得可行的东西?
-------- 第二次更新
谢谢成本加运费,我了解到varwidth
(如果没有它,我们似乎会收到错误消息:Something's wrong--perhaps a missing \item. \begin{prooftree}
,为什么会这样?)。然而,对于大量的证明步骤,我得到了一个裁剪的证明树。我知道我可以通过反复试验来调整边框的值。问题是:有没有办法让 latex 计算每个给定证明树的最佳值?或者至少,有没有办法提前以某种方式知道这样的值?(对于下面的例子,border=125pt
就足够了)
\documentclass[border=10pt,varwidth]{standalone}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\BinaryInfC{JJ}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\BinaryInfC{JJ}
\BinaryInfC{JJJ}
\end{prooftree}
\end{document}
答案1
下列的 Steven B. Segletes 的解决方案,我们可以简单地添加varwidth
:
\documentclass[border=10pt,varwidth]{standalone}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\end{prooftree}
\end{document}