{"title":"在大型锦标赛中寻找和计算小型锦标赛","authors":"Raphael Yuster","doi":"10.1016/j.tcs.2024.114911","DOIUrl":null,"url":null,"abstract":"<div><div>We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, we prove that every tournament on four vertices (there are four) can be detected in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> time and counted in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>ω</mi></mrow></msup><mo>)</mo></math></span> time where <span><math><mi>ω</mi><mo><</mo><mn>2.372</mn></math></span> is the matrix multiplication exponent. We further prove that any tournament on five vertices (there are 12) can be counted in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>ω</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>)</mo></math></span> time. As for lower-bounds, we prove that for almost all <em>k</em>-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for <em>undirected cliques</em> of order <span><math><mi>k</mi><mo>−</mo><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>k</mi><mo>)</mo></math></span>.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1024 ","pages":"Article 114911"},"PeriodicalIF":0.9000,"publicationDate":"2024-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Finding and counting small tournaments in large tournaments\",\"authors\":\"Raphael Yuster\",\"doi\":\"10.1016/j.tcs.2024.114911\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, we prove that every tournament on four vertices (there are four) can be detected in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> time and counted in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>ω</mi></mrow></msup><mo>)</mo></math></span> time where <span><math><mi>ω</mi><mo><</mo><mn>2.372</mn></math></span> is the matrix multiplication exponent. We further prove that any tournament on five vertices (there are 12) can be counted in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>ω</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>)</mo></math></span> time. As for lower-bounds, we prove that for almost all <em>k</em>-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for <em>undirected cliques</em> of order <span><math><mi>k</mi><mo>−</mo><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>k</mi><mo>)</mo></math></span>.</div></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":\"1024 \",\"pages\":\"Article 114911\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-10-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Theoretical Computer Science\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0304397524005280\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397524005280","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Finding and counting small tournaments in large tournaments
We present new algorithms for counting and detecting small tournaments in a given tournament. In particular, we prove that every tournament on four vertices (there are four) can be detected in time and counted in time where is the matrix multiplication exponent. We further prove that any tournament on five vertices (there are 12) can be counted in time. As for lower-bounds, we prove that for almost all k-vertex tournaments, the complexity of the detection problem is not easier than the complexity of the corresponding well-studied counting problem for undirected cliques of order .
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.