予約されたスペースを超えない引用符で囲んだリスト

Question

添付の画像からわかるように、私の問題は「Istanza」と「Domanda」をある種の強調を付けてリストすることなので、引用符で囲んだのですが、「Domanda」のエントリがテキスト用に確保されたスペースから少しはみ出てしまいます。どうすれば最適な方法で収めることができるでしょうか?

コードは次のとおりです:

\begin{quote}
    \begin{itemize}
        \item[Istanza:] Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $.
        \item[Domanda:] Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{itemize}
\end{quote}

Answer 1

これは tabularx を使用した解決策です。難しいのは、定義の間に空白行を入れることです。

配列パッケージを使用すると、太字を自動化できます。

\documentclass{article}
\usepackage{amssymb}
\usepackage[italian]{babel}
\usepackage{tabularx}
\usepackage{lipsum}

\begin{document}

\lipsum[11]% needed for \hrule
\hrule
\begin{quote}
    \begin{tabularx}{\dimexpr\linewidth-\rightskip}{@{} rX @{}}
        \textbf{Istanza:} & Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $. \\
        \\% add blank line between rows
        \textbf{Domanda:} & Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{tabularx}
\end{quote}
\hrule
\begin{quote}\def\arraystretch{2}\vspace{-0.5\baselineskip}% add space between rows
    \begin{tabularx}{\linewidth}{@{} rX @{}}
        \textbf{Istanza:} & Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $. \\
        \textbf{Domanda:} & Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{tabularx}
    \vspace{-0.5\baselineskip}%
\end{quote}
\hrule

\end{document} 

Answer 2

enumitemとを使用した解は次のとおりですcalc。

\documentclass{article}
\usepackage{amssymb}
\usepackage[italian]{babel}
\usepackage{calc}
\usepackage{lipsum}
\usepackage{enumitem}

\begin{document}

\lipsum[11]

\begin{quote}
    \begin{itemize}[align = left, labelwidth=\widthof{Domanda\hskip\labelsep}]
        \item[Istanza:] Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $.
        \item[Domanda:] Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{itemize}
\end{quote}

\end{document}