马蒂·桑切斯;西蒙·德·吉夫里;托马斯·希克斯 使用加权约束满足技术检测复杂家系中的孟德尔错误。 (英语) Zbl 1144.92324号 限制条件 13,编号1-2,130-154(2008). 摘要:随着高通量基因分型技术的到来,检测可能的基因分型错误变得越来越重要。我们对违反孟德尔定律的错误感兴趣。决定系谱中是否存在孟德尔错误的问题是NP公司-完成[L.丙酮等,J.Comp。科学。Technol公司。19,第1期,42–59页(2004年)]。专用于此问题的现有工具可能提供不同级别的服务:使用本地推理检测简单的不一致,证明不一致,检测错误源,为错误提出最佳更正。所有人都假设最多有一个错误。我们表明,错误检测、确定解释数据(可能的错误检测)和错误纠正所需的最小错误数的问题都可以使用软约束网络进行建模。因此,这些问题为加权约束网络(WCN)求解器提供了有吸引力的基准。由于规模巨大,这些问题迫使我们开发新的WCN解算器,土尔巴2它解决了数千只动物的庞大血统问题,包括许多循环和几个错误。 引用于9文件 MSC公司: 92D10型 遗传学和表观遗传学 68单位99 计算方法和应用 92D15型 与进化有关的问题 关键词:孟德尔基因分型错误检测 软件:GM检查;超小卫星;普韦布洛;Pedcheck公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Sanchez}等人,《约束条件》13,编号1--2,130-154(2008;Zbl 1144.92324) 全文: 内政部 参考文献: [1] Aceto,L.、Hansen,J.A.、Ingólfsdóttir,A.、Johnsen,J和Knudsen,J(2004)。家谱信息一致性检查的复杂性及相关问题。《计算机科学技术杂志》,19(1),42–59·doi:10.1007/BF02944784 [2] Bennewitz,J.、Reinsch,N.和Kalm,E.(2002年)。GENCHECK:在共显性和显性基因座进行基因型一致性检查和推导的程序。动物育种与遗传学杂志,119(5),350-360·doi:10.1046/j.1439-0388.2002.00357.x [3] Bistarelli,S.、Fargier,H.、Montanari,U.、Rossi,F.、Schiex,T.和Verfaillie,G.(1999)。基于半环的CSP和有价值的CSP:框架、特性和比较。约束,4199-240·Zbl 0946.68143号 ·doi:10.1023/A:1026441215081 [4] 库珀,M.(2005)。有值约束满足的高阶一致性。约束,10(3),283–305·Zbl 1112.68118号 ·doi:10.1007/s10601-005-2240-3 [5] 库珀,M.(2003)。模糊或有值约束满足中的约简操作。模糊集与系统,134(3),311-342·Zbl 1031.90072号 ·doi:10.1016/S0165-0114(02)00134-3 [6] Cooper,M.、de Givry,S.和Schiex,T.(2007年)。最佳软弧一致性。程序中。IJCAI-2007(第68–73页)。印度海得拉巴。 [7] Dechter,R.(2003)。约束处理。摩根·考夫曼出版社·Zbl 1057.68114号 [8] Eén,n.和Sörensson,n.(2006年)。将伪布尔约束转化为SAT。可满足性、布尔建模和计算期刊,2,61–96·Zbl 1116.68083号 [9] Ehm,M.G.、Cottingham Jr.、R.W.和Kimmel,M.(1996)。使用基于似然的方法检测遗传连锁数据中的错误。美国人类遗传学杂志,58(1),225-234。 [10] Fishelson,M.、Dovgolevsky,N.和Geiger,D.(2005)。一般家系的最大似然单倍型。人类遗传,59,41–60·数字对象标识代码:10.1159/000084736 [11] de Givry,S.、Larrosa,J.、Meseguer,P.和Schiex,T.(2003)。将Max-SAT求解为加权CSP。程序中。第363-376页)。爱尔兰科克·Zbl 1273.68368号 [12] de Givry,S.、Schiex,T.和Verfaillie,G.(2006年)。在加权CSP中利用树分解和软局部一致性。程序中。AAAI-2006标准。马萨诸塞州波士顿。 [13] Larrosa,J.(2002)。加权CSP中的弧和节点一致性。程序中。AAAI-2002(第48-53页)。埃德蒙顿。 [14] Larrosa,J.和Dechter,R.(2000年)。关于基于非二进制半环的CSP的对偶表示。在CP’2000软约束研讨会上。新加坡。 [15] Larrosa,J.、de Givry,S.、Heras,F.和Zytnicki,M.(2005)。存在弧一致性:在加权CSP中接近全弧一致性。程序中。2005年国际JCAI(第84-89页)。苏格兰爱丁堡。 [16] Larrosa,J.、Morancho,E.和Niso,D.(2005)。关于铲斗消除的实际适用性:以静物为例进行研究。《人工智能研究杂志》,23421-440·Zbl 1081.90074号 [17] Larrosa,J.和Schiex,T.(2003年)。为加权CSP寻求最佳形式的局部一致性。程序中。第239-244页)。墨西哥阿卡普尔科。 [18] Lecoutre,C.、Sais,L.、Tabary,S.和Vidal,V.(2006)。最后一个基于冲突的推理。程序中。(第133-137页)。意大利特伦托。 [19] Lync,I.和Marques Silva,J.P.(2006)。具有布尔可满足性的高效单倍型推理。程序中。AAAI-2006标准。马萨诸塞州波士顿。 [20] Marinescu,R.和Dechter,R.(2006)。图形模型的内存密集型分支绑定搜索。程序中。AAAI-2006标准。马萨诸塞州波士顿·Zbl 1177.90292号 [21] Mengshoel,O.、Roth,D.和Wilkins,D.(2006年)。硬性和易性贝叶斯网络的受控生成:对树聚类中最大团大小的影响。人工智能,170(16-17),1137-1174·Zbl 1130.68096号 ·doi:10.1016/j.artint.2006.09.003 [22] O'Connell,J.R.和Weeks,D.E.(1998年)。PedCheck:连锁分析中识别基因型不相容性的程序。美国人类遗传学杂志,63(1),259-266·数字对象标识代码:10.1086/301904 [23] O'Connell,J.R.和Weeks,D.E.(1999年)。一种自动基因型消除的优化算法。美国人类遗传学杂志,65(6),1733-1740·数字对象标识代码:10.1086/302663 [24] Park,J.D.和Darwiche,A.(2004年)。MAP解释的复杂性结果和近似策略。《人工智能研究杂志》,21,101-133·Zbl 1080.68689号 [25] 齐藤,M.、齐藤,A.和Kamatani,N.(2002年)。系谱数据中基于网络的基因型错误检测。人类遗传学杂志,47(7),377-379·doi:10.1007/s100380200054 [26] Schiex,T.(2000)。软约束的圆弧一致性。程序中。(第411–424页)。新加坡·Zbl 1044.68797号 [27] Sheini,H.和Sakalah,K.(2006年)。Pueblo:一种混合伪布尔SAT解算器。可满足性,布尔建模与计算杂志,2,61-96·兹比尔1116.68090 [28] Thomas,A.(2005)。GMCheck:家谱基因型和表型的贝叶斯错误检查。生物信息学,21(14),3187-3188·doi:10.1093/bioinformatics/bti485 [29] Vitezica,Z.、Elsen,J.-M.、Rupp,R.和Díaz,C.(2005)。在生存分析中使用基因型概率:一例羊瘙痒病例。遗传学选择进化,37(4),403-415·doi:10.1186/1297-9686-37-5-403 [30] Vitezica,Z.、Mongeau,M.、Manfredi,E.和Elsen,J.-M.(2004)。在一般谱系中选择回路断路器。人类遗传,57,1-9·数字对象标识代码:10.1159/000077384 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。