美文网首页iOS Developer
Swift算法俱乐部中文版 -- 队列

Swift算法俱乐部中文版 -- 队列

作者: 云抱住阳光太阳没放弃发亮 | 来源:发表于2016-10-13 14:18 被阅读106次

    队列像一个列表,您只能在最后插入新元素,并从最前面删除元素。 这确保了您第一个入队的元素也是您出队的第一个元素。 先来后到!

    为什么需要这个? 好吧,在许多算法中,您希望在某个时间点将对象添加到临时列表,然后再次将其从此列表中删除。 通常,添加和删除这些对象的顺序很重要。

    队列是先进先出的顺序。 您首先插入的元素也是第一个出队列的元素。 这只是公平! (一个非常相似的数据结构,栈,是后入先出。)

    例如,让我们向队列添加一个数字:

    queue.enqueue(10)
    

    队列现在是[10]。 将下一个数字添加到队列:

    queue.enqueue(3)
    

    队列现在是[10,3]。 再添加一个数字:

    queue.enqueue(57)
    

    队列现在是[10,3,57]。 让我们让队列第一个元素出列:

    queue.dequeue()
    

    这里返回10,因为这是我们插入的第一个数字。 队列现在是[3,57]。 每个元素的索引都向前移动了1。

    queue.dequeue()
    

    这返回3,下一个出列返回57,依此类推。 如果队列为空,则dequeue返回nil,或者在一些实现中提示出错误信息。

    注意: 队列并不总是最好的选择。 如果项目从列表中添加和删除的顺序不重要,您可以使用栈而不是队列。 栈更简单,更快。

    代码


    这是一个在Swift中非常简单的队列实现。 它只是一个数组的包装,可以让你入列,出列和查看最前面的元素:

    public struct Queue<T> {
        fileprivate var array = [T]()
        
        public var isEmpty: Bool {
            return array.isEmpty
        }
        
        public var count: Int {
            return array.count
        }
        
        public mutating func enqueue(_ element: T) {
            array.append(element)
        }
        
        public mutating func dequeue() -> T? {
            if isEmpty {
                return nil
            } else {
                return array.removeFirst()
            }
        }
        
        public func peek() -> T? {
            return array.first
        }
    }
    

    这个队列实现了功能,但它不是最佳的。

    入队是一个O(1)操作,因为添加到数组的末尾总是需要相同的时间量,而不管数组的大小。 这是最好的。

    你可能想知道为什么将数据附加到数组是O(1),或者说是一个常量时间的操作。 这是因为Swift中的数组在结尾总是有一些空间。 如果我们做如下操作:

    var queue = Queue<String()
    queue.enqueue("Ada")
    queue.enqueue("Steve")
    queue.enqueue("Tim")
    

    那么数组看起来像这样:

    [ "Ada", "Steve", "Tim", xxx, xxx, xxx ]
    

    其中xxx是保留但尚未填充的内存。 向阵列中添加新元素将覆盖下一个未使用的内存:

    [ "Ada", "Steve", "Tim", "Grace", xxx, xxx ]
    

    这只是将存储器从一个地方复制到另一个地方,即常量时间操作。

    当然,在阵列的末端只有有限数量的这种未使用的内存。 当最后一个xxx被使用,并且您想要添加另一个元素,数组需要调整大小,以腾出更多的空间。

    数组要调整大小,需要创建心数组,分配新的内存空间,把现有数组的数据复制到新数组中。这是一个O(n)操作,相对比较慢。但他只是每隔一段时间发生一次,因此将新元素添加到数组末尾的平均时间是O(1)。

    出列的操作则不同。要出列,我们要删除数组开头的元素,而不是结尾。这总是一个O(n)操作,因为剩余的元素要在数组中向前移动一位。

    在示例中,第一个元素“Ada”出列,“Steve”替换为“Ada”“Tim”替换为“Steve”“Grace”替换为“Tim”

    出列前   [ "Ada", "Steve", "Tim", "Grace", xxx, xxx ]
                       /       /      /
                      /       /      /
                     /       /      /
                    /       /      /
     出列后   [ "Steve", "Tim", "Grace", xxx, xxx, xxx ]
    

    在内存中移动移动所有元素总是O(n)操作。所以我们刚刚简单的实现队列,入列是高效的,但出列还有待改进...

    一个更高效的队列


    为了使出列更高效,我们可以使用同样的技巧,在数组前面保留一些额外的可用空间。 我们不得不自己编写这个代码,因为内置的Swift数组不支持这种功能。

    思路是这样的:当我们将一个元素出列时,我们不会移动数组的其他元素,而是将出列的位置标记为空。在“Ada”出列之后,数组是:

    [ xxx, "Steve", "Tim", "Grace", xxx, xxx ]
    

    “Steve”出列之后,数组是:

    [ xxx, xxx, "Tim", "Grace", xxx, xxx ]
    

    这些空的内存永远不会被使用,是对空间的浪费。每隔一段时间,你可以将剩余的元素向前移动:

    [ "Tim", "Grace", xxx, xxx, xxx, xxx ]
    

    这样在内存中移动元素的过程是O(n)操作。但它很少发生,所以平均时间是O(n)。

    新的队列代码:

    public struct Queue<T> {
        fileprivate var array = [T?]()
        fileprivate var head = 0
        
        public var isEmpty: Bool {
            return count == 0
        }
        
        public var count: Int {
            return array.count - head
        }
        
        public mutating func enqueue(_ element: T) {
            array.append(element)
        }
        
        public mutating func dequeue() -> T? {
            guard head < array.count, let element = array[head] else {
                return nil
            }
            
            array[head] = nil
            head += 1
            
            let percentage = Double(head) / Double(array.count)
            if array.count > 50 && percentage > 0.25 {
                array.removeFirst(head)
                head = 0
            }
            
            return element
        }
        
        public func peek() ->T? {
            if isEmpty {
                return nil
            } else {
                return array[head]
            }
        }
    }
    

    现在数组中存储的是可选类型T?,而不是T,因为我们要标记数组元素为空。head变量是空元素的索引。

    大多数的新代码在dequeue()中。一个元素出列时,首先将array[head]的值设为nil,达到从数组中删除改元素的目的。然后我们让head+1,使下一个元素会在队列的最前面。

    出列前:

    [ "Ada", "Steve", "Tim", "Grace", xxx, xxx ]
      head
    

    出列后:

    [ xxx, "Steve", "Tim", "Grace", xxx, xxx ]
            head
    

    这就像一个奇怪的收银台:人们排队结账但不向收银台走过去,而是收银台移动。

    当然,如果我们从来没有删除队列前面那些空的部分,我们不断的入列和出列元素,那么对列将继续增长。因此,要定期修剪数组,我们执行以下操作:

    let percentage = Double(head) / Double(array.count)
        if array.count > 50 && percentage > 0.25 {
            array.removeFirst(head)
            head = 0
        }
    

    如果空白的长度站到整个数组的25%以上,我们就把空白的部分去掉。但是如果数组元素数量不多,我们也不想一直修剪它。所以至少有50个元素才会去修剪它。

    注意: 这只是一个例子,你需要根据你应用的实际情况来决定什么情况下修剪数组。

    playground里测试,代码:

    var q = Queue<String>()
    q.array                   // [] empty array
    
    q.enqueue("Ada")
    q.enqueue("Steve")
    q.enqueue("Tim")
    q.array             // [{Some "Ada"}, {Some "Steve"}, {Some "Tim"}]
    q.count             // 3
    
    q.dequeue()         // "Ada"
    q.array             // [nil, {Some "Steve"}, {Some "Tim"}]
    q.count             // 2
    
    q.dequeue()         // "Steve"
    q.array             // [nil, nil, {Some "Tim"}]
    q.count             // 1
    
    q.enqueue("Grace")
    q.array             // [nil, nil, {Some "Tim"}, {Some "Grace"}]
    q.count             // 2
    

    测试修剪数组,把这行代码:

        if array.count > 50 && percentage > 0.25 {
    

    替换为这行代码:

        if head > 2 {
    

    你再出队一个对象,数组就是这样的:

    q.dequeue()         // "Tim"
    q.array             // [{Some "Grace"}]
    q.count             // 1
    

    队列前面的nil对象被删除,不再浪费空间。 新版本的队列比第一个更复杂,但是出队也是一个O(1)操作,因为我们对于如何使用数组有了更多的理解。

    作者:Matthijs Hollemans -- Swift算法俱乐部

    原文链接:
    https://github.com/raywenderlich/swift-algorithm-club/tree/master/Queue

    相关文章

      网友评论

        本文标题:Swift算法俱乐部中文版 -- 队列

        本文链接:https://www.haomeiwen.com/subject/qndwyttx.html