Acta Informatica最新文献

{"title":"Birkhoff-von Neumann quantum logic as an assertion language for quantum programs","authors":"Shengyang Zhong","doi":"10.1007/s00236-024-00472-w","DOIUrl":"10.1007/s00236-024-00472-w","url":null,"abstract":"<div><p>In this paper, we investigate a slightly simplified version of Birkhoff–von Neumann quantum logic enriched with entanglement quantifiers which is proposed in Ying (Birkhoff–von Neumann quantum logic as an assertion language for quantum programs, 2022. arXiv:2205.01959). The main result is a coincidence theorem, which says that every formula is interpreted by a closed subspace in the Hilbert space corresponding to the free variables of the formula. We also prove that many instances of semantic consequence, which are used in the proof of the prenex normal form theorem in first-order logic, also hold in this logic. The technical work is about the interplay among the three operations on density operators, namely, tensor product, support and partial trace.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142811099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Parameterized algorithms for the Steiner arborescence problem on a hypercube","authors":"Sugyani Mahapatra,&nbsp;Manikandan Narayanan,&nbsp;N. S. Narayanaswamy","doi":"10.1007/s00236-024-00474-8","DOIUrl":"10.1007/s00236-024-00474-8","url":null,"abstract":"<div><p>Motivated by a phylogeny reconstruction problem in evolutionary biology, we study the minimum Steiner arborescence problem on directed hypercubes (<span>MSA</span>-<span>DH</span>). Given <i>m</i>, representing the directed hypercube <span>(vec {Q}_m)</span>, and a set of terminals <span>(R)</span>, the problem asks to find a Steiner arborescence that spans <span>(R)</span> with minimum cost. As <span>(m)</span> implicitly represents <span>(vec {Q}_{m})</span> comprising <span>(2^{m})</span> vertices, the running time analyses of traditional Steiner tree algorithms on general graphs does not give a clear understanding of the actual complexity of this problem. We present algorithms that exploit the structure of the hypercube and run in <span>FPT</span> time. We explore the <span>MSA</span>-<span>DH</span> problem on three natural parameters—<span>(|R|)</span>, and two above-guarantee parameters, number of Steiner nodes <i>p</i> and penalty <i>q</i> (defined as the extra cost above <i>m</i> incurred by the solution). For above-guarantee parameters, the parameterized <span>MSA</span>-<span>DH</span> problem take <span>(p ge 0)</span> or <span>(qge 0)</span> as input, and outputs a Steiner arborescence with at most <span>(|R|+ p - 1)</span> or <span>(m+ q)</span> edges respectively. We present the following results (<span>(tilde{{mathcal {O}}})</span> hides the polynomial factors): </p><ol>\u0000 <li>\u0000 <span>1.</span>\u0000 \u0000 <p>An exact algorithm that runs in <span>(tilde{{mathcal {O}}}(3^{|R|}))</span> time.</p>\u0000 \u0000 </li>\u0000 <li>\u0000 <span>2.</span>\u0000 \u0000 <p>A randomized algorithm that runs in <span>(tilde{{mathcal {O}}}(9^q))</span> time with success probability <span>(ge 4^{-q})</span>.</p>\u0000 \u0000 </li>\u0000 <li>\u0000 <span>3.</span>\u0000 \u0000 <p>An exact algorithm that runs in <span>(tilde{{mathcal {O}}}(36^q))</span> time.</p>\u0000 \u0000 </li>\u0000 <li>\u0000 <span>4.</span>\u0000 \u0000 <p>A <span>((1+q))</span>-approximation algorithm that runs in <span>(tilde{{mathcal {O}}}(1.25284^q))</span> time.</p>\u0000 \u0000 </li>\u0000 <li>\u0000 <span>5.</span>\u0000 \u0000 <p>An <span>({mathcal {O}}left( pell _{textrm{max}}right) )</span>-additive approximation algorithm that runs in <span>(tilde{{mathcal {O}}}(ell _{textrm{max}}^{p+2}))</span> time, where <span>(ell _{textrm{max}})</span> is the maximum distance of any terminal from the root.</p>\u0000 \u0000 </li>\u0000 </ol></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142789334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A sharp lower bound on the independence number of k-regular connected hypergraphs with rank R","authors":"Zhongzheng Tang,&nbsp;Haoyang Zou,&nbsp;Zhuo Diao","doi":"10.1007/s00236-024-00468-6","DOIUrl":"10.1007/s00236-024-00468-6","url":null,"abstract":"<div><p>Let <i>H</i>(<i>V</i>, <i>E</i>) be a <i>k</i>-regular connected hypergraph with rank <i>R</i> on <i>n</i> vertices and <i>m</i> edges. A set of vertices <span>(Ssubseteq V)</span> is an independent set if every two vertices in <i>S</i> are not adjacent. The independence number is the maximum cardinality of an independent set, denoted by <span>(alpha (H))</span>. In this paper, we prove the following inequality: <span>(alpha (H)ge frac{m-(k-2)n-1}{R})</span>, and the equality holds if and only if <i>H</i> is a hypertree with <i>R</i>-perfect matching. Based on the proofs, some combinatorial algorithms on the independence number are designed.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142753999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A binary integer programming-based method for qubit mapping in sparse architectures","authors":"Hui Jiang,&nbsp;Jianling Fu,&nbsp;Yuxin Deng,&nbsp;Jun Wu","doi":"10.1007/s00236-024-00471-x","DOIUrl":"10.1007/s00236-024-00471-x","url":null,"abstract":"<div><p>It is a current trend of sparse architectures employed for superconducting quantum chips, which have the advantage of low coupling and crosstalk properties. Existing qubit mapping algorithms do not take the sparsity of quantum architectures into account. To this end, we propose a qubit mapping method based on binary integer programming, called QMBIP. First, we slice a given quantum circuit by taking into account the sparsity of target architectures. Then, the constraints and the objective function are formulated and rendered to the binary integer programming problem by matrix transformation. The behavior of a <span>(textbf{SWAP})</span> gate is characterized by an elementary row transformation on the mapping matrix between the physical and logical qubits. To reduce the search space, we introduce path variables and isomorphic pruning, as well as a look-ahead mechanism. Finally, we compare with typical qubit mapping algorithms such as SABRE and SATMAP on the sparse architectures <i>ibmq_sydney</i>, <i>ibmq_manhattan</i>, <i>ibmq_singapore</i>, and a dense architecture <i>ibmq_tokyo</i>. Experiments show that QMBIP effectively maintains the fidelity of the compiled quantum circuits. For example, on <i>ibmq_sydney</i>, the fidelity of the quantum circuits compiled by our approach outperforms SABRE and SATMAP by 53.9% and 46.8%, respectively.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142737178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Homeostasis tissue-like P systems with cell separation","authors":"Yueguo Luo,&nbsp;Yuzhen Zhao,&nbsp;Wenqin Li,&nbsp;Ping Guo","doi":"10.1007/s00236-024-00470-y","DOIUrl":"10.1007/s00236-024-00470-y","url":null,"abstract":"<div><p>P systems are distributed, parallel computing models inspired by biology. Tissue-like P systems are an important variant of P systems, where the environment can provide objects for cells. Hence, the environment plays a critical role. Nevertheless, in actual biological tissues, there exists a peculiar biological phenomenon called “homeostasis”; that is, the internal organisms maintain stable, thereby reducing their dependence on external conditions (i.e., the environment). In this work, considering cell separation, we construct a novel variant to simulate the mechanism of biological homeostasis, called homeostasis tissue-like P systems with cell separation. In this variant, the number of object is finite, and certain substance changes occur inside the cells; moreover, an exponential workspace can be obtained with cell separation in feasible time. The computational power of this model is studied by simulating register machines, and the results show that the variant is computationally complete as number computing devices. Furthermore, to explore the computational efficiency of the model, we use the variant to solve a classic <span>(textbf{NP})</span>-complete problem, the SAT problem, obtaining a uniform solution with a rule length of at most 3.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142714232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Connected feedback vertex set on AT-free graphs","authors":"Joydeep Mukherjee,&nbsp;Tamojit Saha","doi":"10.1007/s00236-024-00469-5","DOIUrl":"10.1007/s00236-024-00469-5","url":null,"abstract":"<div><p>A connected feedback vertex set of a graph is a connected subgraph of the graph whose removal makes the graph cycle free. In this paper, we provide an approximation algorithm for connected feedback vertex set in AT-free graphs. Given an <span>(alpha )</span>-approximate solution for feedback vertex set on 2-connected AT-free graph, our algorithm produces a solution of size <span>(((alpha +0.9091)OPT+6))</span> for connected feedback vertex set on the same graph. The complexity of our algorithm is <span>(O(f(n)+(m+n)))</span>, where the time required to obtain the <span>(alpha )</span>-approximate solution is <i>O</i>(<i>f</i>(<i>n</i>)). Our result leads to the following two observations. The optimal feedback vertex set algorithm for AT-free graphs combined with our result provides an algorithm which produces a solution of size <span>((1.9091OPT+6))</span> with running time <span>(O(n^8m^2))</span> for 2-connected AT-free graphs. The 2-approximation algorithm for feedback vertex set in general graphs along with our result provides an algorithm which produces a solution of size <span>((2.9091OPT+6))</span> with running time <span>(O(min{m(log(n)),n^2}))</span>. Using the same method we also obtain a <span>(((alpha +1)OPT+6))</span>-approximation for this problem on general AT-free graphs. We note that, the complexity status of this problem is not known.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142714182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Comparative genomics with succinct colored de Bruijn graphs","authors":"Lucas P. Ramos,&nbsp;Felipe A. Louza,&nbsp;Guilherme P. Telles","doi":"10.1007/s00236-024-00467-7","DOIUrl":"10.1007/s00236-024-00467-7","url":null,"abstract":"<div><p>DNA technologies have evolved significantly in the past years enabling the sequencing of a large number of genomes in a short time. Nevertheless, the underlying problem of assembling sequence fragments is computationally hard and many technical factors and limitations complicate obtaining the complete sequence of a genome. Many genomes are left in a draft state, in which each chromosome is represented by a set of sequences with partial information on their relative order. Recently, some approaches have been proposed to compare draft genomes by comparing paths in de Bruijn graphs, which are constructed by many practical genome assemblers. In this article we describe in more detail a method for comparing genomes represented as succinct colored de Bruijn graphs directly and without resorting to sequence alignments, called <span>(texttt {gcBB})</span>, that evaluates the entropy and expectation measures based on the Burrows-Wheeler Similarity Distribution. We also introduce an improved version of <span>(texttt {gcBB})</span>, called <span>(texttt {multi-gcBB})</span>, that improves the time and space performance considerably through the selection of different data structures. We have compared phylogenies of 12 Drosophila species obtained by other methods to those obtained with <span>(texttt {gcBB})</span>, achieving promising results.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142679814","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Editorial 2024: moving forwards in the electronic age","authors":"Henning Fernau","doi":"10.1007/s00236-024-00466-8","DOIUrl":"10.1007/s00236-024-00466-8","url":null,"abstract":"","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"61 4","pages":"331 - 332"},"PeriodicalIF":0.4,"publicationDate":"2024-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142579477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Serial and parallel algorithms for order-preserving pattern matching based on the duel-and-sweep paradigm","authors":"Davaajav Jargalsaikhan,&nbsp;Diptarama Hendrian,&nbsp;Yohei Ueki,&nbsp;Ryo Yoshinaka,&nbsp;Ayumi Shinohara","doi":"10.1007/s00236-024-00464-w","DOIUrl":"10.1007/s00236-024-00464-w","url":null,"abstract":"<div><p>Given a text and a pattern over an alphabet, the classic exact matching problem searches for all occurrences of the pattern in the text. Unlike exact matching, <i>order-preserving pattern matching</i> (OPPM) considers the relative order of elements, rather than their exact values. In this paper, we propose efficient algorithms for the OPPM problem using the “duel-and-sweep” paradigm. For a pattern of length <i>m</i> and a text of length <i>n</i>, our serial algorithm runs in <span>(O(n + mlog m))</span> time, and our parallel algorithm runs in <span>(O(log ^2 m))</span> time and <span>(O(n log ^2 m))</span> work with <span>(O(log m))</span> time and <span>(O(m log m))</span> work pattern preprocessing on the Priority Concurrent Read Concurrent Write Parallel Random-Access Machines (P-CRCW PRAM).</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"61 4","pages":"415 - 444"},"PeriodicalIF":0.4,"publicationDate":"2024-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142209514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Linear-size suffix tries and linear-size CDAWGs simplified and improved","authors":"Shunsuke Inenaga","doi":"10.1007/s00236-024-00465-9","DOIUrl":"10.1007/s00236-024-00465-9","url":null,"abstract":"<div><p>The <i>linear-size suffix tries</i> (<i>LSTries</i>) (Crochemore et al. in Theor Comput Sci 638:171–178, 2016) are a version of suffix trees in which the edge labels are single characters, yet are able to perform pattern matching queries in optimal time. Instead of explicitly storing the input text, LSTries have some extra non-branching internal nodes called <i>type-2</i> nodes. The extended techniques are then used in the <i>linear-size compact directed acyclic word graphs</i> (<i>LCDAWGs</i>) (Takagi et al., in: SPIRE 2017, pp. 304–316, 2017), which can be stored with <span>(O(textsf{el}(T)+textsf{er}(T)))</span> space (i.e. without the text), where <span>(textsf{el}(T))</span> and <span>(textsf{er}(T))</span> are the numbers of left- and right-extensions of the maximal repeats in the input text string <i>T</i>, respectively. In this paper, we present simpler alternatives to the aforementioned indexing structures, called the <i>simplified LSTries</i> (<i>simLSTries</i>) and the <i>simplified LCDAWGs</i> (<i>simLCDAWGs</i>), in which most of the type-2 nodes are removed. In particular, our simLCDAWGs require only <span>(O(textsf{er}(T)))</span> space and work in a weaker model of computation (i.e. the pointer machine model). This contrasts the <span>(O(textsf{er}(T)))</span>-space CDAWG representation of Belazzougui and Cunial (in: Proceedings of the 24th international symposium on string processing and information retrieval, pp. 161–175, 2017), which works on the word RAM model.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"61 4","pages":"445 - 468"},"PeriodicalIF":0.4,"publicationDate":"2024-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142209384","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}