Jingui Huang, Jie Chen, Yunlong Liu, Guang Xiao, Jianxin Wang
{"title":"单边少交叉定序画册的参数化算法","authors":"Jingui Huang, Jie Chen, Yunlong Liu, Guang Xiao, Jianxin Wang","doi":"10.1142/s0129054123500168","DOIUrl":null,"url":null,"abstract":"Given an [Formula: see text]-vertex graph [Formula: see text] with a fixed linear ordering of [Formula: see text] and two integers [Formula: see text], the problem fixed-order book drawing with few crossings per edge asks whether or not [Formula: see text] admits a [Formula: see text]-page book drawing where the maximum number of crossings per edge can be upper bounded by the number [Formula: see text]. This problem was posed as an open question by Bhore et al. (J. Graph Algorithms Appl. 2020). In this paper, we study this problem from the viewpoint of parameterized complexity, in particular, we develop fixed-parameter tractable algorithms for it. More specifically, we show that this problem parameterized by both the bound number [Formula: see text] of crossings per edge and the vertex cover number [Formula: see text] of the input graph admits an algorithm with running time in [Formula: see text], and this problem parameterized by both the bound number [Formula: see text] of crossings per edge and the pathwidth [Formula: see text] of the vertex ordering admits an algorithm with running time in [Formula: see text]. Our results provide a specific answer to Bhore et al.’s question.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge\",\"authors\":\"Jingui Huang, Jie Chen, Yunlong Liu, Guang Xiao, Jianxin Wang\",\"doi\":\"10.1142/s0129054123500168\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Given an [Formula: see text]-vertex graph [Formula: see text] with a fixed linear ordering of [Formula: see text] and two integers [Formula: see text], the problem fixed-order book drawing with few crossings per edge asks whether or not [Formula: see text] admits a [Formula: see text]-page book drawing where the maximum number of crossings per edge can be upper bounded by the number [Formula: see text]. This problem was posed as an open question by Bhore et al. (J. Graph Algorithms Appl. 2020). In this paper, we study this problem from the viewpoint of parameterized complexity, in particular, we develop fixed-parameter tractable algorithms for it. More specifically, we show that this problem parameterized by both the bound number [Formula: see text] of crossings per edge and the vertex cover number [Formula: see text] of the input graph admits an algorithm with running time in [Formula: see text], and this problem parameterized by both the bound number [Formula: see text] of crossings per edge and the pathwidth [Formula: see text] of the vertex ordering admits an algorithm with running time in [Formula: see text]. Our results provide a specific answer to Bhore et al.’s question.\",\"PeriodicalId\":50323,\"journal\":{\"name\":\"International Journal of Foundations of Computer Science\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-09-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Foundations of Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/s0129054123500168\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Foundations of Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/s0129054123500168","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge
Given an [Formula: see text]-vertex graph [Formula: see text] with a fixed linear ordering of [Formula: see text] and two integers [Formula: see text], the problem fixed-order book drawing with few crossings per edge asks whether or not [Formula: see text] admits a [Formula: see text]-page book drawing where the maximum number of crossings per edge can be upper bounded by the number [Formula: see text]. This problem was posed as an open question by Bhore et al. (J. Graph Algorithms Appl. 2020). In this paper, we study this problem from the viewpoint of parameterized complexity, in particular, we develop fixed-parameter tractable algorithms for it. More specifically, we show that this problem parameterized by both the bound number [Formula: see text] of crossings per edge and the vertex cover number [Formula: see text] of the input graph admits an algorithm with running time in [Formula: see text], and this problem parameterized by both the bound number [Formula: see text] of crossings per edge and the pathwidth [Formula: see text] of the vertex ordering admits an algorithm with running time in [Formula: see text]. Our results provide a specific answer to Bhore et al.’s question.
期刊介绍:
The International Journal of Foundations of Computer Science is a bimonthly journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science. The theoretical and mathematical aspects covered include:
- Algebraic theory of computing and formal systems
- Algorithm and system implementation issues
- Approximation, probabilistic, and randomized algorithms
- Automata and formal languages
- Automated deduction
- Combinatorics and graph theory
- Complexity theory
- Computational biology and bioinformatics
- Cryptography
- Database theory
- Data structures
- Design and analysis of algorithms
- DNA computing
- Foundations of computer security
- Foundations of high-performance computing