Hãy giải thích chi tiết về ký hiệu Big O trong việc phân tích thuật toán. So sánh hiệu suất lý thuyết giữa O(1), O(n), O(log n), và O(n^2). Cung cấp ví dụ minh họa bằng mã giả (pseudo-code) cho từng loại và giải thích lý do tại sao chúng được phân loại như vậy.