Algorithmica最新文献_第7页

Analysing Equilibrium States for Population Diversity 分析种群多样性的平衡状态

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-04-16 DOI: 10.1007/s00453-024-01226-3

Johannes Lengler, Andre Opris, Dirk Sudholt

{"title":"Analysing Equilibrium States for Population Diversity","authors":"Johannes Lengler, Andre Opris, Dirk Sudholt","doi":"10.1007/s00453-024-01226-3","DOIUrl":"10.1007/s00453-024-01226-3","url":null,"abstract":"<div>Population diversity is crucial in evolutionary algorithms as it helps with global exploration and facilitates the use of crossover. Despite many runtime analyses showing advantages of population diversity, we have no clear picture of how diversity evolves over time. We study how the population diversity of ((mu +1)) algorithms, measured by the sum of pairwise Hamming distances, evolves in a fitness-neutral environment. We give an exact formula for the drift of population diversity and show that it is driven towards an equilibrium state. Moreover, we bound the expected time for getting close to the equilibrium state. We find that these dynamics, including the location of the equilibrium, are unaffected by surprisingly many algorithmic choices. All unbiased mutation operators with the same expected number of bit flips have the same effect on the expected diversity. Many crossover operators have no effect at all, including all binary unbiased, respectful operators. We review crossover operators from the literature and identify crossovers that are neutral towards the evolution of diversity and crossovers that are not.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2317 - 2351"},"PeriodicalIF":0.9,"publicationDate":"2024-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01226-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140613146","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Min Orderings and List Homomorphism Dichotomies for Graphs and Signed Graphs 图和有符号图的最小排序和列表同态二分法

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-04-12 DOI: 10.1007/s00453-024-01228-1

Jan Bok, Richard C. Brewster, Pavol Hell, Nikola Jedličková, Arash Rafiey

{"title":"Min Orderings and List Homomorphism Dichotomies for Graphs and Signed Graphs","authors":"Jan Bok, Richard C. Brewster, Pavol Hell, Nikola Jedličková, Arash Rafiey","doi":"10.1007/s00453-024-01228-1","DOIUrl":"10.1007/s00453-024-01228-1","url":null,"abstract":"<div>Since the CSP dichotomy conjecture has been established, a number of other dichotomy questions have attracted interest, including one for list homomorphism problems of signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. The dichotomy classification is known for homomorphisms without list restrictions, so it is surprising that it is not known, or even conjectured, if lists are present since this usually makes the classifications easier to obtain. There is however a conjectured classification, due to Kim and Siggers, in the special case of “semi-balanced” signed graphs. These authors confirmed their conjecture for the class of reflexive signed graphs. As our main result we verify the conjecture for irreflexive signed graphs. For this purpose, we prove an extension result for two-directional ray graphs which is of independent interest and which leads to an analogous extension result for interval graphs. Moreover, we offer an alternative proof for the class of reflexive signed graphs, and a direct polynomial-time algorithm in the polynomial cases where the previous algorithms used algebraic methods of general CSP dichotomy theorems. For both reflexive and irreflexive cases the dichotomy classification depends on a result linking the absence of certain structures to the existence of a special ordering. The structures are used to prove the NP-completeness and the ordering is used to design polynomial algorithms.\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2289 - 2316"},"PeriodicalIF":0.9,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140602306","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}

引用次数: 0

Conflict-Free Coloring: Graphs of Bounded Clique-Width and Intersection Graphs 无冲突着色：有界剪辑宽度图和交集图

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-04-06 DOI: 10.1007/s00453-024-01227-2

Sriram Bhyravarapu, Tim A. Hartmann, Hung P. Hoang, Subrahmanyam Kalyanasundaram, I. Vinod Reddy

{"title":"Conflict-Free Coloring: Graphs of Bounded Clique-Width and Intersection Graphs","authors":"Sriram Bhyravarapu, Tim A. Hartmann, Hung P. Hoang, Subrahmanyam Kalyanasundaram, I. Vinod Reddy","doi":"10.1007/s00453-024-01227-2","DOIUrl":"10.1007/s00453-024-01227-2","url":null,"abstract":"<div>A conflict-free coloring of a graph G is a (partial) coloring of its vertices such that every vertex u has a neighbor whose assigned color is unique in the neighborhood of u. There are two variants of this coloring, one defined using the open neighborhood and one using the closed neighborhood. For both variants, we study the problem of deciding whether the conflict-free coloring of a given graph G is at most a given number k.In this work, we investigate the relation of clique-width and minimum number of colors needed (for both variants) and show that these parameters do not bound one another. Moreover, we consider specific graph classes, particularly graphs of bounded clique-width and types of intersection graphs, such as distance hereditary graphs, interval graphs and unit square and disk graphs. We also consider Kneser graphs and split graphs. We give (often tight) upper and lower bounds and determine the complexity of the decision problem on these graph classes, which improve some of the results from the literature. Particularly, we settle the number of colors needed for an interval graph to be conflict-free colored under the open neighborhood model, which was posed as an open problem.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2250 - 2288"},"PeriodicalIF":0.9,"publicationDate":"2024-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140586283","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}

引用次数: 0

The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly 基于瓦片的自组装中维度、扩散和指向性对内在交叉模型模拟的影响

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-04-03 DOI: 10.1007/s00453-024-01219-2

Daniel Hader, Matthew J. Patitz

{"title":"The Impacts of Dimensionality, Diffusion, and Directedness on Intrinsic Cross-Model Simulation in Tile-Based Self-Assembly","authors":"Daniel Hader, Matthew J. Patitz","doi":"10.1007/s00453-024-01219-2","DOIUrl":"10.1007/s00453-024-01219-2","url":null,"abstract":"<div>Motivated by applications in DNA-nanotechnology, theoretical investigations in algorithmic tile-assembly have blossomed into a mature theory. In addition to computational universality, the abstract Tile Assembly Model (aTAM) was shown to be intrinsically universal (FOCS 2012), a strong notion of completeness where a single tile set is capable of simulating the full dynamics of all systems within the model; however, this construction fundamentally required non-deterministic tile attachments. This was confirmed necessary when it was shown that the class of directed aTAM systems, those where all possible sequences of tile attachments result in the same terminal assembly, is not intrinsically universal (FOCS 2016). Furthermore, it was shown that the non-cooperative aTAM, where tiles only need to match on 1 side to bind rather than 2 or more, is not intrinsically universal (SODA 2014) nor computationally universal (STOC 2017). Building on these results to further investigate the other dynamics, Hader et al. examined several tile-assembly models which varied across (1) the numbers of dimensions used, (2) how tiles diffused through space, and (3) whether each system is directed, and determined which models exhibited intrinsic universality (SODA 2020). In this paper we extend those results to provide direct comparisons of the various models against each other by considering intrinsic simulations between models. Our results show that in some cases, one model is strictly more powerful than another, and in others, pairs of models have mutually exclusive capabilities. This paper is a greatly expanded version of that which appeared in ICALP 2023.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2211 - 2249"},"PeriodicalIF":0.9,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01219-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140586234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Generalized Coloring of Permutations 排列的广义着色

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-29 DOI: 10.1007/s00453-024-01220-9

Vít Jelínek, Michal Opler, Pavel Valtr

{"title":"Generalized Coloring of Permutations","authors":"Vít Jelínek, Michal Opler, Pavel Valtr","doi":"10.1007/s00453-024-01220-9","DOIUrl":"10.1007/s00453-024-01220-9","url":null,"abstract":"<div>A permutation (pi ) is a merge of a permutation (sigma ) and a permutation (tau ), if we can color the elements of (pi ) red and blue so that the red elements have the same relative order as (sigma ) and the blue ones as (tau ). We consider, for fixed hereditary permutation classes (mathcal {C}) and (mathcal {D}), the complexity of determining whether a given permutation (pi ) is a merge of an element of (mathcal {C}) with an element of (mathcal {D}). We develop general algorithmic approaches for identifying polynomially tractable cases of merge recognition. Our tools include a version of streaming recognizability of permutations via polynomially constructible nondeterministic automata, as well as a concept of bounded width decomposition, inspired by the work of Ahal and Rabinovich. As a consequence of the general results, we can provide nontrivial examples of tractable permutation merges involving commonly studied permutation classes, such as the class of layered permutations, the class of separable permutations, or the class of permutations avoiding a decreasing sequence of a given length. On the negative side, we obtain a general hardness result which implies, for example, that it is NP-complete to recognize the permutations that can be merged from two subpermutations avoiding the pattern 2413.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2174 - 2210"},"PeriodicalIF":0.9,"publicationDate":"2024-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140602087","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}

引用次数: 0

Extending Partial Representations of Circle Graphs in Near-Linear Time 在近线性时间内扩展圆图的部分表示法

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-26 DOI: 10.1007/s00453-024-01216-5

Guido Brückner, Ignaz Rutter, Peter Stumpf

{"title":"Extending Partial Representations of Circle Graphs in Near-Linear Time","authors":"Guido Brückner, Ignaz Rutter, Peter Stumpf","doi":"10.1007/s00453-024-01216-5","DOIUrl":"10.1007/s00453-024-01216-5","url":null,"abstract":"<div>The partial representation extension problem generalizes the recognition problem for geometric intersection graphs. The input consists of a graph G, a subgraph (H subseteq G) and a representation (mathcal R') of H. The question is whether G admits a representation (mathcal R) whose restriction to H is (mathcal R'). We study this question for circle graphs, which are intersection graphs of chords of a circle. Their representations are called chord diagrams. We show that for a graph with n vertices and m edges the partial representation extension problem can be solved in (O((n + m) alpha (n + m))) time, thereby improving over an (O(n^3))-time algorithm by Chaplick et al. (J Graph Theory 91(4), 365–394, 2019). The main technical contributions are a canonical way of orienting chord diagrams and a novel compact representation of the set of all canonically oriented chord diagrams that represent a given circle graph G, which is of independent interest.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2152 - 2173"},"PeriodicalIF":0.9,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01216-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140312141","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

(alpha _i)-Metric Graphs: Radius, Diameter and all Eccentricities $$alpha _i$$ -度量图形：半径、直径和所有偏心率

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-25 DOI: 10.1007/s00453-024-01223-6

Feodor F. Dragan, Guillaume Ducoffe

{"title":"(alpha _i)-Metric Graphs: Radius, Diameter and all Eccentricities","authors":"Feodor F. Dragan, Guillaume Ducoffe","doi":"10.1007/s00453-024-01223-6","DOIUrl":"10.1007/s00453-024-01223-6","url":null,"abstract":"<div>We extend known results on chordal graphs and distance-hereditary graphs to much larger graph classes by using only a common metric property of these graphs. Specifically, a graph is called (alpha _i)-metric ((iin {mathcal {N}})) if it satisfies the following (alpha _i)-metric property for every vertices u, w, v and x: if a shortest path between u and w and a shortest path between x and v share a terminal edge vw, then (d(u,x)ge d(u,v) + d(v,x)-i). Roughly, gluing together any two shortest paths along a common terminal edge may not necessarily result in a shortest path but yields a “near-shortest” path with defect at most i. It is known that (alpha _0)-metric graphs are exactly ptolemaic graphs, and that chordal graphs and distance-hereditary graphs are (alpha _i)-metric for (i=1) and (i=2), respectively. We show that an additive O(i)-approximation of the radius, of the diameter, and in fact of all vertex eccentricities of an (alpha _i)-metric graph can be computed in total linear time. Our strongest results are obtained for (alpha _1)-metric graphs, for which we prove that a central vertex can be computed in subquadratic time, and even better in linear time for so-called ((alpha _1,varDelta ))-metric graphs (a superclass of chordal graphs and of plane triangulations with inner vertices of degree at least 7). The latter answers a question raised in Dragan (Inf Probl Lett 154:105873, 2020), 2020). Our algorithms follow from new results on centers and metric intervals of (alpha _i)-metric graphs. In particular, we prove that the diameter of the center is at most (3i+2) (at most 3, if (i=1)). The latter partly answers a question raised in Yushmanov and Chepoi (Math Probl Cybernet 3:217–232, 1991).</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2092 - 2129"},"PeriodicalIF":0.9,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01223-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140303258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On The Closures of Monotone Algebraic Classes and Variants of the Determinant 论单调代数类的闭包和判定式的变体

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-25 DOI: 10.1007/s00453-024-01221-8

Prasad Chaugule, Nutan Limaye

{"title":"On The Closures of Monotone Algebraic Classes and Variants of the Determinant","authors":"Prasad Chaugule, Nutan Limaye","doi":"10.1007/s00453-024-01221-8","DOIUrl":"10.1007/s00453-024-01221-8","url":null,"abstract":"<div>In this paper we prove the following two results.<ul>\u0000 <li>\u0000 We show that for any (C in {textsf {mVF}, textsf {mVP}, textsf {mVNP}}), (C = overline{C}). Here, (textsf {mVF}, textsf {mVP}), and (textsf {mVNP}) are monotone variants of (textsf {VF}, textsf {VP}), and (textsf {VNP}), respectively. For an algebraic complexity class C, (overline{C}) denotes the closure of C. For (textsf {mVBP}) a similar result was shown in Bläser et al. (in: 35th Computational Complexity Conference, CCC 2020. LIPIcs, vol 169, pp 21–12124, 2020. https://doi.org/10.4230/LIPIcs.CCC.2020.21). Here we extend their result by adapting their proof.\u0000 </li>\u0000 <li>\u0000 We define polynomial families ({mathcal {P}(k)_n}_{n ge 0}), such that ({mathcal {P}(0)_n}_{n ge 0}) equals the determinant polynomial. We show that ({mathcal {P}(k)_n}_{n ge 0}) is (textsf {VBP}) complete for (k=1) and it becomes (textsf {VNP}) complete when (k ge 2). In particular, ({mathcal {P}(k)_n}) is (mathtt {Det^{ne k}_n(X)}), a polynomial obtained by summing over all signed cycle covers that avoid length k cycles. We show that (mathtt {Det^{ne 1}_n(X)}) is complete for (textsf {VBP}) and (mathtt {Det^{ne k}_n(X)}) is complete for (textsf {VNP}) for all (k ge 2) over any field (mathbb {F}).\u0000 </li>\u0000 </ul></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2130 - 2151"},"PeriodicalIF":0.9,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140303306","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}

引用次数: 0

Embedding Arbitrary Boolean Circuits into Fungal Automata 将任意布尔电路嵌入真菌自动机

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-21 DOI: 10.1007/s00453-024-01222-7

Augusto Modanese, Thomas Worsch

引用次数: 0

The Near Exact Bin Covering Problem 近乎精确的垃圾箱覆盖问题

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-19 DOI: 10.1007/s00453-024-01224-5

Asaf Levin

引用次数: 0