Skip to content

Commit

Permalink
Altro fix formatting in stack multipop
Browse files Browse the repository at this point in the history
  • Loading branch information
Darakuu committed Dec 15, 2023
1 parent 0d62723 commit 931d616
Showing 1 changed file with 11 additions and 6 deletions.
17 changes: 11 additions & 6 deletions content/Stack Multipop.md
Original file line number Diff line number Diff line change
Expand Up @@ -80,13 +80,18 @@ $$
## Multipop con [[Metodo degli Accantonamenti|Accantonamenti]]
Assegneremo un costo più alto all'operazione di $\text{Push}$.
Poniamo:  
Assegneremo un costo più alto all'operazione di $\text{Push}$. 
Poniamo: 
$\hat{c}_{\text{push}}=2$ (1 unità per il costo reale, + 1 unità per il costo ammortizzato da noi assegnato);  
$\hat{c}_{\text{pop}}=\hat{c}_{\text{multipop}}=0$  
In ogni istante avremo: $\displaystyle\sum^n_{i=1}\hat{c}^i-\displaystyle\sum^n_{i=1}c_{i}=|S|\geq 0$ dove |S| è il numero di elementi nello stack.  
e quindi: $\displaystyle\sum^n_{i=1}\hat{c}^i\geq \sum^n_{i=1}c_{i}$
Avendo assegnato 2 al costo ammortizzato dell'operazione $\text{Push}$, avremo:
$\hat{c}_{\text{pop}}=\hat{c}_{\text{multipop}}=0$ 
In ogni istante avremo: $\displaystyle\sum^n_{i=1}\hat{c}^i-\displaystyle\sum^n_{i=1}c_{i}=|S|\geq 0$ dove |S| è il numero di elementi nello stack. 
e quindi: $\displaystyle\sum^n_{i=1}\hat{c}^i\geq \sum^n_{i=1}c_{i}$ 
Avendo assegnato 2 al costo ammortizzato dell'operazione $\text{Push}$, avremo: 
$\displaystyle\sum^n_{i=1}\hat{c}^i\geq \sum^n_{i=1}c_{i} = 2\times \text{\#Push}\leq 2n$
Expand Down

0 comments on commit 931d616

Please sign in to comment.