If these ideas are new, begin with:
Understand the idea
An index is a position from zero through length minus one. Equal-size contiguous slots allow address=base+index×slot_size. This explains direct access; it does not make searching an unknown position constant time.
Work through an example
Base 1000 and four-byte slots put index 2 at 1008. Python list slots hold references; the objects may live elsewhere. An empty array has no valid index.
Time and space complexity
Known-index access O(1); unsorted search O(n); storage O(n).
Why it works
A valid index uniquely names one slot in the current array.
Common mistakes
- Index n is outside an n-element array.
- Negative indices are Python behavior, not universal array semantics.
Chapter lab · Python implementation
Arrays make positions directly accessible. Our lab compacts a sorted list: read examines input; write marks the next output slot. Python lists are resizable arrays of references. Fixed-width address diagrams illustrate slots, rather than promising contiguous Python objects.
This shared lab connects the chapter's topics. Follow the current lesson's worked example first, then trace the complete implementation. Additional algorithms described in topic exercises are variations you can implement independently.
def compact_sorted(values):
write = 0
for read in range(len(values)):
if write == 0 or values[read] != values[write-1]:
values[write] = values[read]
write += 1
return write
def transpose(matrix):
if not matrix:
return []
cols = len(matrix[0])
if any(len(row) != cols for row in matrix):
raise ValueError('rectangular matrix required')
return [[matrix[r][c] for r in range(len(matrix))]
for c in range(cols)]Run and test the lab
Copy the implementation and these assertions into a Python 3 file and run it. An assertion failure means the actual result differs from the expectation. Add the current topic's exercise and boundary tests to deepen your understanding.
a=[1,1,2,2,3]; k=compact_sorted(a)
assert a[:k]==[1,2,3]
assert compact_sorted([])==0
assert transpose([[1,2,3],[4,5,6]])==[[1,4],[2,5],[3,6]]
assert transpose([])==[]