Liste in einer Zitatumgebung, die den dafür reservierten Platz nicht verlässt

Question

Wie Sie im beigefügten Bild sehen können, besteht mein Problem darin, „Istanza“ und „Domanda“ mit einer Art Hervorhebung aufzulisten. Ich setze sie also in Anführungszeichen, aber der Eintrag für „Domanda“ geht ein wenig über den für Text reservierten Platz hinaus. Wie kann ich ihn optimal einfügen?

Dies ist der Code:

\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

Hier ist eine Lösung mit tabularx. Der schwierige Teil bestand darin, eine Leerzeile zwischen den Definitionen einzufügen.

Mit dem Array-Paket kann die Fettschrift automatisiert werden.

\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

Hier ist eine Lösung mit enumitemund 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}