Kuinka suunnitellat tietorakeentteen, jolla on tietyt O(1)/O(log n)-vaatimukset?

Question

Accepted Answer

Mukautetun rakenteen suunnittelu tarkoittaa **olemassa olevien rakenteiden yhdistämistä** siten, että jokainen vaadittu operaatio saavuttaa sen tavoitteellisen monimutkaisuuden, jolloin yksi rakenne voi peittää toisen heikkouden. Klassinen tekniikka on **hash-kartan** yhdistäminen **taulukkoon, kekooon tai linkitettyyn listaan**.

## Käytännöllinen esimerkki: insert, delete, getRandom — kaikki O(1)

Vaatimukset: `insert(x)`, `remove(x)` ja `getRandom()` kukin O(1)-aikaisesti. Pelkkä hash-kartta ei pysty tekemään O(1) satunnaisia; pelkkä taulukko ei pysty tekemään O(1) poistoa. **Yhdistä ne**.

```python
import random
class RandomizedSet:
    def __init__(self):
        self.idx = {}      # value -> index in list
        self.vals = []     # values for O(1) random pick
    def insert(self, x):                    # O(1)
        if x in self.idx: return False
        self.idx[x] = len(self.vals)
        self.vals.append(x)
        return True
    def remove(self, x):                    # O(1): swap with last, pop
        if x not in self.idx: return False
        i, last = self.idx[x], self.vals[-1]
        self.vals[i] = last                 # move last into the hole
        self.idx[last] = i
        self.vals.pop()
        del self.idx[x]
        return True
    def getRandom(self):                    # O(1)
        return random.choice(self.vals)
```

## Yleinen suunnitteluopas

```text
1. List every required operation + its target complexity.
2. For each, name a structure that hits it:
     by key O(1)      -> hash map
     by index O(1)    -> array
     min/max O(log n) -> heap
     ordered O(log n) -> balanced tree / skip list
     O(1) splice      -> doubly linked list
3. COMBINE them; use the hash map to map keys -> positions/nodes
   in the other structure so updates stay O(1).
4. Verify each operation against its target.
```

| Kuvio | Yhdistetyt rakenteet | Mahdollistaa |
|---|---|---|
| LRU cache | hash-kartta + kaksinkertainen linkitetty lista | O(1) get/put |
| O(1) satunnaistettu joukko | hash-kartta + taulukko | O(1) insert/remove/random |
| Min O(1)-ajassa pinolla | pino + apupino min-pino | O(1) getMin |

## Miksi sillä on merkitystä

Oikeat järjestelmät tarvitsevat harvoin yhtä oppikirjarakennetta — ne tarvitsevat koostumusta, joka on viritetty tiettyyn käyttömallia, mikä on juuri se, mitä nämä mallit tarjoavat.

Haastatteluttajat käyttävät näitä ongelmia testatakseen, pystyttäväkö voit päättelemään **operaation kustannuksista koostumukseen**, ydinosaamisesta korkean suorituskyvyn järjestelmien suunnittelussa.

Kuvio	Yhdistetyt rakenteet	Mahdollistaa
LRU cache	hash-kartta + kaksinkertainen linkitetty lista	O(1) get/put
O(1) satunnaistettu joukko	hash-kartta + taulukko	O(1) insert/remove/random
Min O(1)-ajassa pinolla	pino + apupino min-pino	O(1) getMin