removing a loop from a linked list?

**Derrick Coetzee** · Nov 14 '05, 01:02 PM

Re: removing a loop from a linked list?

Jani Yusef wrote:[color=blue]
> How do you find and remove a loop from a singly linked list?
> In a google groups search I found the following code which will detect
> the loop but I am stumped how one would remove this loop.[/color]

If it's a loop of linked list *nodes*, you probably don't want to
actually remove the entire loop with all its nodes. You can cause the
list to not have a loop and still have the same elements, however, by
truncating the list (setting next to a null pointer) right before it
begins to loop. Accomplishing this would require you track the previous
node as you're looking for duplicates, so that you can assign its next
pointer when you find a duplicate to cut the loop.

If you have a loop of *values*, this is a different matter - in this
case just assign the next pointer of the first occurence to the next
pointer of the second occurence, and repeat until the list is full of
unique values. This probably isn't what they meant, though.
--
Derrick Coetzee
I grant this newsgroup posting into the public domain. I disclaim all
express or implied warranty and all liability. I am not a professional.

**Christopher Benson-Manica** · Nov 14 '05, 01:02 PM

Re: removing a loop from a linked list?

Jani Yusef <jani@persian.c om> spoke thus:
[color=blue]
> Based on an interview question I heard of but did not know the answer
> to.......
> How do you find and remove a loop from a singly linked list?
> In a google groups search I found the following code which will detect
> the loop but I am stumped how one would remove this loop.[/color]

In a strange twist of fate, I just asked a very similar question in
comp.programmin g. You may find the replies to that post helpful.

--
Christopher Benson-Manica | I *should* know what I'm talking about - if I
ataru(at)cybers pace.org | don't, I need to know. Flames welcome.

**Francois Grieu** · Nov 14 '05, 01:02 PM

Re: removing a loop from a linked list?

OP gave:

typedef enum { FALSE, TRUE } bool;

/* The empty list is represented by NULL. */
typedef struct sList {
void *car;
struct sList *cdr;
} *List;

/* Have two pointers into the list (l and m). Advance m twice as
fast as l; if they ever point to the same place then the list
has a loop in it. */
bool iterativeSoluti on (List *l) {
List *m = l;
while (m) {
l = l->cdr;
if (m && (m = m->cdr) && (m = m->cdr) && l == m)
return TRUE;
}
return FALSE;
}

and asked "how one would remove this loop" in the linked list,
once it is found there is one.

Derrick Coetzee <dcnews@moonfla re.com> wrote:
[color=blue]
> If it's a loop of linked list *nodes*, you probably don't want to
> actually remove the entire loop with all its nodes. You can cause the
> list to not have a loop and still have the same elements, however, by
> truncating the list (setting next to a null pointer) right before it
> begins to loop. Accomplishing this would require you track the previous
> node as you're looking for duplicates, so that you can assign its next
> pointer when you find a duplicate to cut the loop.[/color]

Problem is, the OP's code does not locate where the loop closes.

Partial spoiler follows.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
Count the number of steps that the algorithm makes when it
return TRUE. Then step again to find the cycle length. Deduce how
many steps need to be further made before reaching where the loop
closes.

Which brings us to an on-topic question: what built-in ISO C type(s)
can portably be used as counter for this purpose ?

Francois Grieu

Side note:
if (m && (m = m->cdr) && (m = m->cdr) && l == m)
can be simplified to
if ((m = m->cdr) && (m = m->cdr) && l == m)
and that even then there remains one redeundant test
in the loop (that an optimizing compiler might catch).

**Tim Rentsch** · Nov 14 '05, 01:02 PM

Re: removing a loop from a linked list?

jani@persian.co m (Jani Yusef) writes:
[color=blue]
> Based on an interview question I heard of but did not know the answer
> to.......
> How do you find and remove a loop from a singly linked list?
> In a google groups search I found the following code which will detect
> the loop but I am stumped how one would remove this loop.
> Any ideas?[/color]

Step 1 - find an element 'b' that is part of the loop.

Step 2 - starting at the beginning of the list, step along
it, setting to zero any pointer that is part of
the loop and that points to the element in question.

The resulting algorithm is N squared in the length of the
list, but uses no marking bits or extra memory.

The code:

typedef struct ListElement_str uct {
void *head; /* or car, if you prefer */
struct ListElement_str uct *next; /* or cdr, if you prefer */
} *List;

static void
break_loop( List possibly_looped ){
List list = possibly_looped , a = list, b = list;

do {
if( b == 0 || b->next == 0 ) return;

a = a->next, b = b->next->next;
} while( a != b );

while( list ){
a = b;
do {
if( a->next == list ){
a->next = 0;
return;
}

} while( a = a->next, a != b );

list = list->next;
}

ASSERT( FALSE );
}

**pete** · Nov 14 '05, 01:02 PM

Re: removing a loop from a linked list?

Francois Grieu wrote:
[color=blue]
> Count the number of steps that the algorithm makes when it
> return TRUE. Then step again to find the cycle length. Deduce how
> many steps need to be further made before reaching where the loop
> closes.
>
> Which brings us to an on-topic question: what built-in ISO C type(s)
> can portably be used as counter for this purpose ?[/color]

I was thinking that it should be either
the longest unsigned type, or size_t.
I believe that malloc is allowed allocate
more than SIZE_MAX list nodes.

The longest unsigned type in C89 is long unsigned.
I decided to go with size_t.
size_t has the potential to be the longest unsigned type,
in both C89 and C99, though it is not guaranteed to be
the longest unsigned type in either.

--
pete

removing a loop from a linked list?

removing a loop from a linked list?

Comment

Comment

Comment

Comment

Comment