在计算复杂度理论内,一个极度重要的成就是史提芬·古克在1971年证明出了第一个NP-完全问题— 布尔可满足性问题。在1972年,理查德·卡普将这个想法往前推进,发表了他著名的论文"Reducibility Among Combinatorial Problems",其内证明了21个不同的,均因为其难解而恶名昭彰的组合数学与图论问题,是NP-完全问题。
在计算机科学中,拉宾-卡普算法或卡普-拉宾算法,是一种由理查德·卡普与迈克尔·拉宾于1987年提出的、使用散列函数以在文本中搜寻单个模式串的字符串搜索算法单次匹配。该算法先使用旋转哈希以快速筛出无法与给定串匹配的文本位置,此后对剩余位置能否成功匹配进行检验。此算法可推广到用于在文本搜寻单个模式串的所有匹配或在文本中搜寻多个模式串的匹配。
在计算机科学中,拉宾-卡普算法或卡普-拉宾算法,是一种由理查德·卡普与迈克尔·拉宾于1987年提出的、使用散列函数以在文本中搜寻单个模式串的字符串搜索算法单次匹配。该算法先使用旋转哈希以快速筛出无法与给定串匹配的文本位置,此后对剩余位置能否成功匹配进行检验。此算法可推广到用于在文本搜寻单个模式串的所有匹配或在文本中搜寻多个模式串的匹配。
在计算机科学中,拉宾-卡普算法或卡普-拉宾算法,是一种由理查德·卡普与迈克尔·拉宾于1987年提出的、使用散列函数以在文本中搜寻单个模式串的字符串搜索算法单次匹配。该算法先使用旋转哈希以快速筛出无法与给定串匹配的文本位置,此后对剩余位置能否成功匹配进行检验。此算法可推广到用于在文本搜寻单个模式串的所有匹配或在文本中搜寻多个模式串的匹配。
在计算机科学中,拉宾-卡普算法或卡普-拉宾算法,是一种由理查德·卡普与迈克尔·拉宾于1987年提出的、使用散列函数以在文本中搜寻单个模式串的字符串搜索算法单次匹配。该算法先使用旋转哈希以快速筛出无法与给定串匹配的文本位置,此后对剩余位置能否成功匹配进行检验。此算法可推广到用于在文本搜寻单个模式串的所有匹配或在文本中搜寻多个模式串的匹配。
在计算复杂度理论内,一个极度重要的成就是史提芬·古克在1971年证明出了第一个NP-完全问题— 布尔可满足性问题。在1972年,理查德·卡普将这个想法往前推进,发表了他著名的论文"Reducibility Among Combinatorial Problems",其内证明了21个不同的,均因为其难解而恶名昭彰的组合数学与图论问题,是NP-完全问题。
在计算复杂度理论内,一个极度重要的成就是史提芬·古克在1971年证明出了第一个NP-完全问题— 布尔可满足性问题。在1972年,理查德·卡普将这个想法往前推进,发表了他著名的论文"Reducibility Among Combinatorial Problems",其内证明了21个不同的,均因为其难解而恶名昭彰的组合数学与图论问题,是NP-完全问题。