[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-86526-en":3,"doc-seo-86526-105":30,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":22,"language":23,"language_code":24,"site_id":25,"html_lang":24,"table_of_contents":26,"faqs":27,"seo_title":13,"seo_description":14,"update_tm":28,"read_time":29},86526,2336464648746,"Skyler","https://ap-avatar.wpscdn.com/davatar_276721f389ce27ea32af1340a28f341c",8,"Research & Report","A Tight Single-Change Covering Design with Block Size 6","A tight single-change covering design with parameters v = 26 and k = 6 is presented, addressing Nineteenth British Combinatorial Conference Problem 1 on whether such designs exist for block size greater than 5. The work constructs the explicit design and reports its size: 63 blocks and 68 transfers. A satisfiability search is described in detail, including negative results for the smallest admissible order v = 21. Constraint programming methods are used throughout.","arXiv :2607 . 10978v1 [math .CO] 13 Jul 2026  \nA tight single-change covering design with block size 6⋆  \nRichard Bean  \nCyber Research Centre, University of Queensland, 4072, Australia  \nAbstract  \nWe give a tight single-change covering design with v = 26 and k = 6 . This answers Problem 1 of the Nineteenth British Combinatorial Conference, which asked whether such a design exists with block size greater than 5. We also describe the satisfiability search that found the design, including negative search results at the smallest admissible order v = 21 .  \nKeywords: single-change covering design, tight single-change covering design, persistent pair, satisfiability, constraint programming  \n2020 MSC: 05B40, 05B30, 68R07  \n1. Introduction  \nFollowing Wallis, Yucas and Zhang [3] and Preece et al. [6], a tight singlechange covering design, denoted tsccd(v, k), is an ordered sequence of ksubsets of S = {1 , 2 ,..., v}, with v > k, such that  \n(i) any two elements of S occur together in at least one block (covering);  \n(ii) each block after the first is obtained from the previous block by removing one element and inserting another (single change); and  \n(iii) the element inserted to form any block after the first has not previously occurred in a block with any of the other elements of that block (tightness) .  \nAs is customary, we display a design as an array whose columns are the blocks, with unchanged elements kept in the same row and printed as dots; the tsccd(26 , 6) constructed here is shown in Table 1 . Each insertion of an element, including its first appearance, is a transfer.  \n⋆ Dedicated to the memory of Donald A. Preece (1939–2014), who posed this problem. Email address: [r.bean1@uq.edu.au](r.bean1@uq.edu.au) (Richard Bean)  \nTightness gives a useful counting test. When an element is inserted, it is paired with the k − 1 elements already present, none of which it has met before. Thus the first block creates 􀀀 k2􀀁 pairs, each later block creates exactly k − 1 new pairs, and no pair is created twice. Since all pairs must be covered, every pair occurs in exactly one run of consecutive blocks. If the design has b blocks, then  \n􀀒 v2􀀓 = 􀀒 k2􀀓 + (b − 1)(k − 1) , so b = 􀀀~~ ~~v~~2~~􀀁k~~ ~~−~~ ~~􀀀1k~~2~~􀀁 + 1 . (1)  \nCounting the k elements of the first block as transfers, the total number of transfers is T = b + k − 1. Let ti be the number of elements transferred exactly i times, so Pi ti = v and Pi iti = T. An element transferred only once occurs in a single run of v − k + 1 consecutive blocks; no run can be longer. We call such an element an anchor. A pair occurring together in v − k consecutive blocks is a persistent pair [4, 6]; there are at most ⌊k/2⌋ persistent pairs [6] .  \nA tsccd(v, k) is standardised [6, 9] if its first block is {1 , 2 ,..., k}, the other elements are first introduced in the order k + 1, k + 2 ,   , v, and the elements of the first block are first removed in the order k, k − 1 ,   , 1. Every design can be standardised by relabelling, so standardisation removes the action of the symmetric group on the labels. We use standardised designs throughout.  \nThe problem goes back to Nelder’s work on the economical formation of correlation matrices [1] and to the successive-block schemes of Gower and Preece [2] . Single-change covering designs were introduced in [3]; tight designs were studied in detail in [6], with a narrative account in [7] . The cases k = 2 (trivial), k = 3 [6], and k = 4 [8, 6] are well understood. For k = 5 , Phillips [9] found the smallest example, a tsccd(20 , 5) . Preece then asked whether any tight single-change covering design exists with k > 5; this became Problem 1 of the Nineteenth British Combinatorial Conference [10] .  \nFor k = 6, (1) requires 5 | 􀀀 v2􀀁 − 15, and Zhang’s bound [5] v (v − 1) ≥(6v − 7k)(k − 1) becomes (v − 10)(v − 21) ≥ 0; together these admit  \nv = 21 , 25 , 26 , 30 , 31 , 35 , 36 , . . . ,  \nthe smallest being v = 21, with b = 40 . Our result is the following.  \nT","cbCaioRbu8L4erVT","https://ap.wps.com/l/cbCaioRbu8L4erVT","pdf",338530,3,1,9,"English","en",105,"# Introduction\n## Tightness and counting test\n## Standardisation and historical background\n## Main theorem\n# A satisfiability formulation\n## CP-SAT constraint model","[{\"question\":\"What design is constructed in this document?\",\"answer\":\"It constructs a tight single-change covering design tsccd(26, 6) with v = 26 and block size k = 6.\"},{\"question\":\"Why is the result important?\",\"answer\":\"It answers Problem 1 of the Nineteenth British Combinatorial Conference, which asked whether tight single-change covering designs exist for block size greater than 5.\"},{\"question\":\"How was the design found?\",\"answer\":\"The design was obtained using a satisfiability search formulated as a constraint programming model, implemented with Google OR-Tools CP-SAT.\"}]",1784212400,23,{"code":4,"msg":31,"data":32},"ok",{"site_id":25,"language":24,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":28},"a-tight-single-change-covering-design-with-block-size-6","",{"@graph":36,"@context":85},[37,53,68],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,50],{"item":41,"name":42,"@type":43,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":20},"https://docshare.wps.com/document/research-report/",{"item":51,"name":13,"@type":43,"position":52},"https://docshare.wps.com/document/a-tight-single-change-covering-design-with-block-size-6/86526/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":24,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":41,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-28","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What design is constructed in this document?","Question",{"text":75,"@type":76},"It constructs a tight single-change covering design tsccd(26, 6) with v = 26 and block size k = 6.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"Why is the result important?",{"text":80,"@type":76},"It answers Problem 1 of the Nineteenth British Combinatorial Conference, which asked whether tight single-change covering designs exist for block size greater than 5.",{"name":82,"@type":73,"acceptedAnswer":83},"How was the design found?",{"text":84,"@type":76},"The design was obtained using a satisfiability search formulated as a constraint programming model, implemented with Google OR-Tools CP-SAT.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":25},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,127,130,134],{"id":21,"doc_module":4,"doc_module_name":46,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":46,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":46,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":46,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":46,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":22,"doc_module":4,"doc_module_name":46,"category_name":124,"show_sort_weight":125,"slug":126},"Religion & Spirituality",20,"religion-spirituality",{"id":125,"doc_module":4,"doc_module_name":46,"category_name":128,"show_sort_weight":125,"slug":129},"World Cup","world-cup",{"id":131,"doc_module":4,"doc_module_name":46,"category_name":132,"show_sort_weight":131,"slug":133},10,"Lifestyle","lifestyle",{"id":135,"doc_module":4,"doc_module_name":46,"category_name":136,"show_sort_weight":106,"slug":137},19,"General","general"]