Acta Informatica最新文献

{"title":"Fault-tolerance in distance-edge-monitoring sets","authors":"Chenxu Yang,&nbsp;Yaping Mao,&nbsp;Ralf Klasing,&nbsp;Gang Yang,&nbsp;Yuzhi Xiao,&nbsp;Xiaoyan Zhang","doi":"10.1007/s00236-024-00476-6","DOIUrl":"10.1007/s00236-024-00476-6","url":null,"abstract":"<div><p>Let <i>G</i> be a connected graph. For an edge <span>(e=xy in E(G))</span>, <i>e</i> is monitored by a vertex <i>v</i> if <span>(d_G(v, y)ne d_{G-e}(v, y))</span> or <span>(d_G(v, x)ne d_{G-e}(v, x))</span>. A set <i>M</i> of vertices of a graph <i>G</i> is distance-edge-monitoring (DEM for short) set if every edge <i>e</i> of <i>G</i> is monitored by some vertex of <i>M</i>. A DEM set <i>X</i> for a graph <i>G</i> is called fault-tolerant DEM set if <span>(Xsetminus {v})</span> is also DEM set for each <i>v</i> in <i>X</i>. Denote <span>(operatorname {dem}(G))</span> and <span>(operatorname {Fdem}(G))</span> the smallest size of DEM set and fault-tolerant DEM sets, respectively. In this paper, we first study the relation between <span>(operatorname {Fdem}(G))</span> and <span>(operatorname {dem}(G))</span> for a graph <i>G</i>. Next, we show that <span>(2 le operatorname {Fdem}(G) le n)</span> for any graph <i>G</i> with order <i>n</i>. Furthermore, the extremal graphs attaining lower and upper bounds are characterized. In the end, the exact values for some networks are given. Furthermore, it is shown that for <span>(2le s&lt;tle n)</span>, there exists a graph <i>G</i> of order <i>n</i> such that <span>(operatorname {dem}(G)=s)</span> and <span>(operatorname {Fdem}(G)=t)</span>.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142889663","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":"Dense non-binary Fibonacci codes","authors":"Shmuel T. Klein,&nbsp;Dana Shapira","doi":"10.1007/s00236-024-00473-9","DOIUrl":"10.1007/s00236-024-00473-9","url":null,"abstract":"<div><p>The current study advances prior research on non-binary Fibonacci codes by introducing new families of universal codes. These codes demonstrate the advantage of accommodating a larger number of codewords for sufficiently large lengths. They retain the properties of instantaneous decipherability and robustness against transmission errors. This work presents these dense codes as a promising alternative for compressing extensive lists of very large integers, commonly encountered in cryptographic applications. \u0000</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 1","pages":""},"PeriodicalIF":0.4,"publicationDate":"2024-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142844846","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":"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}