我正在读《破解编码面试》一书，书中提出了一个链表分区问题：
给定一个链表和一个值x，将链表围绕一个值x进行分区，使小于x的所有节点位于大于或等于x的所有节点之前。
假设链表不是空的。
该解决方案来自Geeksforgeks网站，与《ctci:

// Function to make a new list  
// (using the existing nodes) and  
// return head of new list.  
static Node partition(Node head, int x)  
{  
    /* Let us initialize start and tail nodes of new list */
    Node tail = head;  

    // Now iterate original list and connect nodes  
    Node curr = head;  
    while (curr != null)  
    {  
        Node next = curr.next;  
        if (curr.data < x)  
        {  
            /* Insert node at head. */
            curr.next = head;  
            head = curr;  
        }  

        else // Append to the list of greater values  
        {  
            /* Insert node at tail. */
            tail.next = curr;  
            tail = curr;  
        }  
        curr = next;  
    }  
    tail.next = null;  

    // The head has changed, so we need  
    // to return it to the user.  
    return head;  
}

我不明白这个解决办法。这个算法是如何工作的？为什么是正确的？