threads / rfc / 30346

RFC patchReduce cost of deletion in levenstein distance (4 -> 3)

Subject: [RFC/PATCH] Reduce cost of deletion in levenstein distance (4 -> 3)

## tl;dr

3 messages between Apr 27, 2012 and May 24, 2012. Diffs are folded; open one to read it.

replies: 2people: 3as markdown or json

Matthieu Moy· Apr 27, 2012, 08:58 UTC · lore

Before this patch, a character deletion has the same cost as 2 swaps, or 4 additions, so Git prefers suggesting a completely scrambled command name to removing a character. For example, "git tags" suggests "stage", but not "tag".

By setting the deletion cost to 3, we keep it higher than swaps or additions, but prefer 1 deletion to 2 swaps. "git tags" now suggests "tag" in addition to staged.

Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
---
The funny thing is: A while ago, I reported that the typo "git tags"
was not suggesting "git tag" as alternative "did you mean this?". A
patch was posted and merged:
  http://thread.gmane.org/gmane.comp.version-control.git/101278

According to the discussion, I it worked for me. But I can't reproduce this "works for me" even going back to the version right after the fix above.

 help.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
Show changes to help.c +1 −1
diff --git a/help.c b/help.c
index 14eefc9..fdaa90d 100644
--- a/help.c
+++ b/help.c
@@ -334,7 +334,7 @@ const char *help_unknown_cmd(const char *cmd)
 		}
 
 		main_cmds.names[i]->len =
-			levenshtein(cmd, candidate, 0, 2, 1, 4) + 1;
+			levenshtein(cmd, candidate, 0, 2, 1, 3) + 1;
 	}
 
 	qsort(main_cmds.names, main_cmds.cnt,
-- 
1.7.10.363.g9094b
Zbigniew Jędrzejewski-Szmek· Apr 27, 2012, 09:43 UTC · re: Matthieu Moy · lore

Re: [RFC/PATCH] Reduce cost of deletion in levenstein distance (4 -> 3)

On 04/27/2012 10:58 AM, Matthieu Moy wrote:
Show 8 quoted lines
> Before this patch, a character deletion has the same cost as 2 swaps, or
> 4 additions, so Git prefers suggesting a completely scrambled command
> name to removing a character. For example, "git tags" suggests "stage",
> but not "tag".
> 
> By setting the deletion cost to 3, we keep it higher than swaps or
> additions, but prefer 1 deletion to 2 swaps. "git tags" now suggests
> "tag" in addition to staged.

Hi, looks sensible, but I wonder if the algorithm shouldn't be tweaked even further. I understand why 'tags' and 'stage' are similar, but if I say 'tagz', git proposes (with your change), both 'stage' and 'tag'. 'tag' is one deletion away, but 'stage' requires a deletion and a replacement, so should loose to 'tag', I think.

Zbyszek
Show 28 quoted lines
> Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
> ---
> The funny thing is: A while ago, I reported that the typo "git tags"
> was not suggesting "git tag" as alternative "did you mean this?". A
> patch was posted and merged:
> 
>   http://thread.gmane.org/gmane.comp.version-control.git/101278
> 
> According to the discussion, I it worked for me. But I can't reproduce
> this "works for me" even going back to the version right after the fix
> above.
> 
>  help.c |    2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/help.c b/help.c
> index 14eefc9..fdaa90d 100644
> --- a/help.c
> +++ b/help.c
> @@ -334,7 +334,7 @@ const char *help_unknown_cmd(const char *cmd)
>  		}
>  
>  		main_cmds.names[i]->len =
> -			levenshtein(cmd, candidate, 0, 2, 1, 4) + 1;
> +			levenshtein(cmd, candidate, 0, 2, 1, 3) + 1;
>  	}
>  
>  	qsort(main_cmds.names, main_cmds.cnt,
Matthieu Moy· May 24, 2012, 20:33 UTC · re: Zbigniew Jędrzejewski-Szmek · lore

Re: [RFC/PATCH] Reduce cost of deletion in levenstein distance (4 -> 3)

[ Sorry for the looong delay ]
Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> writes:
Show 16 quoted lines
> On 04/27/2012 10:58 AM, Matthieu Moy wrote:
>> Before this patch, a character deletion has the same cost as 2 swaps, or
>> 4 additions, so Git prefers suggesting a completely scrambled command
>> name to removing a character. For example, "git tags" suggests "stage",
>> but not "tag".
>> 
>> By setting the deletion cost to 3, we keep it higher than swaps or
>> additions, but prefer 1 deletion to 2 swaps. "git tags" now suggests
>> "tag" in addition to staged.
>
> Hi,
> looks sensible, but I wonder if the algorithm shouldn't be tweaked even
> further. I understand why 'tags' and 'stage' are similar,
> but if I say 'tagz', git proposes (with your change), both 'stage' and
> 'tag'. 'tag' is one deletion away, but 'stage' requires a deletion and a
> replacement, so should loose to 'tag', I think.

First, my patch is also an improvement here since it allows showing tags (previously, it showed only stage). The idea for showing stage before tag is that the cost of deletion is greater than the cost of insertion, which corresponds to the hypothesis that it's more common to miss one character when typing than typing too many. That's probably subjective, but I think it makes sense.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/

← back to recent threads