发布求助
文献互助 智能选刊 最新文献

International Journal of Foundations of Computer Science最新文献

筛选
英文 中文
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time 两个周期态射的二元广义PCP在多项式时间内是可判定的
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-10-16 DOI: 10.1142/s0129054123480076
Vesa Halava, Štěpán Holub
{"title":"Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time","authors":"Vesa Halava, Štěpán Holub","doi":"10.1142/s0129054123480076","DOIUrl":"https://doi.org/10.1142/s0129054123480076","url":null,"abstract":"We show that the binary generalized Post’s Correspondence Problem is decidable in polynomial time for the case where both morphisms are periodic. Our result is based on combinatorial properties and we have formalized the proofs and verified correctness of our algorithm using the Isabelle/HOL formal proof system.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136113847","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
Optimal Embedded and Enclosing Isosceles Triangles 最佳嵌入和包围等腰三角形
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-10-05 DOI: 10.1142/s012905412342008x
Áron Ambrus, Mónika Csikós, Gergely Kiss, János Pach, Gábor Somlai
{"title":"Optimal Embedded and Enclosing Isosceles Triangles","authors":"Áron Ambrus, Mónika Csikós, Gergely Kiss, János Pach, Gábor Somlai","doi":"10.1142/s012905412342008x","DOIUrl":"https://doi.org/10.1142/s012905412342008x","url":null,"abstract":"Given a triangle [Formula: see text], we study the problem of determining the smallest enclosing and largest embedded isosceles triangles of [Formula: see text] with respect to area and perimeter. This problem was initially posed by Nandakumar [17, 22] and was first studied by Kiss, Pach, and Somlai [13], who showed that if [Formula: see text] is the smallest area isosceles triangle containing [Formula: see text], then [Formula: see text] and [Formula: see text] share a side and an angle. In the present paper, we prove that for any triangle [Formula: see text], every maximum area isosceles triangle embedded in [Formula: see text] and every maximum perimeter isosceles triangle embedded in [Formula: see text] shares a side and an angle with [Formula: see text]. Somewhat surprisingly, the case of minimum perimeter enclosing triangles is different: there are infinite families of triangles [Formula: see text] whose minimum perimeter isosceles containers do not share a side and an angle with [Formula: see text].","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134975810","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
Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions 优化单调基数约束集函数的线性时间流算法
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-10-05 DOI: 10.1142/s0129054123410083
Min Cui, Donglei Du, Ling Gai, Ruiqi Yang
{"title":"Improved Linear-Time Streaming Algorithms for Maximizing Monotone Cardinality-Constrained Set Functions","authors":"Min Cui, Donglei Du, Ling Gai, Ruiqi Yang","doi":"10.1142/s0129054123410083","DOIUrl":"https://doi.org/10.1142/s0129054123410083","url":null,"abstract":"Many real-world applications arising from social networks, personalized recommendations, and others, require extracting a relatively small but broadly representative portion of massive data sets. Such problems can often be formulated as maximizing a monotone set function with cardinality constraints. In this paper, we consider a streaming model where elements arrive quickly over time, and create an effective, and low-memory algorithm. First, we provide the first single-pass linear-time algorithm, which is a a deterministic algorithm, achieves an approximation ratio of [Formula: see text] for any [Formula: see text] with a query complexity of [Formula: see text] and a memory complexity of [Formula: see text], where [Formula: see text] is a positive integer and [Formula: see text] is the submodularity ratio. However, the algorithm may produce less-than-ideal results. Our next result is to describe a multi-streaming algorithm, which is the first deterministic algorithm to attain an approximation ratio of [Formula: see text] with linear query complexity.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135482653","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
Parameterized Algorithms for Fixed-Order Book Drawing with Few Crossings Per Edge 单边少交叉定序画册的参数化算法
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-29 DOI: 10.1142/s0129054123500168
Jingui Huang, Jie Chen, Yunlong Liu, Guang Xiao, Jianxin Wang
{"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":"https://doi.org/10.1142/s0129054123500168","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.0,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135199178","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
Special Issue — Graph Algorithms: Theory and Applications A Special Issue Dedicated to the Memory of Professor Takao Nishizeki: Preface 特刊-图算法:理论与应用-特刊致力于纪念西崎高雄教授:前言
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-29 DOI: 10.1142/s0129054123020045
Md. Saidur Rahman, Hsu-Chun Yen
{"title":"Special Issue — Graph Algorithms: Theory and Applications A Special Issue Dedicated to the Memory of Professor Takao Nishizeki: Preface","authors":"Md. Saidur Rahman, Hsu-Chun Yen","doi":"10.1142/s0129054123020045","DOIUrl":"https://doi.org/10.1142/s0129054123020045","url":null,"abstract":"","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135246550","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
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules 具有演化通信和分离规则的P系统对SAT解的形式化验证
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-29 DOI: 10.1142/s0129054123450065
David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
{"title":"A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules","authors":"David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez","doi":"10.1142/s0129054123450065","DOIUrl":"https://doi.org/10.1142/s0129054123450065","url":null,"abstract":"In the framework of membrane computing, several interesting results concerning frontiers of efficiency between the complexity classes P and NP have been found by using different ingredients. One of the main characteristics of cell-like membrane systems is their rooted tree-like structure, where a natural parent-children membrane relationship exists, and objects can travel through the membranes. Separation rules are used as a method to obtain an exponential workspace in terms of membranes in polynomial time. Inspired by cell meiosis, objects from the original membrane are distributed between the two new membranes. In this work, P systems with evolutional symport/antiport rules and separation rules are used to give a solution to SAT, a well known NP-complete problem. One of the advantages of this solution is the use of the environment as a passive agent.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135199629","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
Compositions of Weighted Extended Tree Transducers — The Unambiguous Case 加权扩展树换能器的组成-明确的情况
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-29 DOI: 10.1142/s0129054123480064
Andreas Maletti
{"title":"Compositions of Weighted Extended Tree Transducers — The Unambiguous Case","authors":"Andreas Maletti","doi":"10.1142/s0129054123480064","DOIUrl":"https://doi.org/10.1142/s0129054123480064","url":null,"abstract":"Generalizations of another two open conjectures, Conjectures 13 and 14, of [Lagoutte, Maletti: Survey — Weighted extended top-down tree transducers — Part III: Composition. Proc. AFCS, LNCS 7020, p. 272–308, Springer 2011] are verified. It is proved that the composition of an unambiguous weighted extended tree transducer [Formula: see text] with a nondeleting weighted top-down tree transducer [Formula: see text] can be computed by a single weighted extended tree transducer. Extending the recent confirmation of Conjecture 11 it is also proved that the composition succeeds for any weighted top-down tree transducer [Formula: see text] (even if it is not nondeleting) if the unambiguous weighted extended tree transducer [Formula: see text] is constant.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135199635","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
Two New Classes of (Almost) Perfect c-Nonlinear Permutations 两类新的(几乎)完美c-非线性排列
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-27 DOI: 10.1142/s0129054123500211
Zhenghua Xu, Lijing Zheng, Chonghui Huang
{"title":"Two New Classes of (Almost) Perfect c-Nonlinear Permutations","authors":"Zhenghua Xu, Lijing Zheng, Chonghui Huang","doi":"10.1142/s0129054123500211","DOIUrl":"https://doi.org/10.1142/s0129054123500211","url":null,"abstract":"In this short note, we present two classes of (almost) perfect [Formula: see text]-nonlinear permutations over finite fields of even characteristic.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135536217","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
On the Super (Edge)-Connectivity of Generalized Johnson Graphs 关于广义Johnson图的超(边)连通性
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-27 DOI: 10.1142/s012905412350017x
Zhecheng Yu, Liqiong Xu, Xuemin Wu, Chuanye Zheng
{"title":"On the Super (Edge)-Connectivity of Generalized Johnson Graphs","authors":"Zhecheng Yu, Liqiong Xu, Xuemin Wu, Chuanye Zheng","doi":"10.1142/s012905412350017x","DOIUrl":"https://doi.org/10.1142/s012905412350017x","url":null,"abstract":"Let [Formula: see text], [Formula: see text] and [Formula: see text] be non-negative integers. The generalized Johnson graph [Formula: see text] is the graph whose vertices are the [Formula: see text]-subsets of the set [Formula: see text], and two vertices are adjacent if and only if they intersect with [Formula: see text] elements. Special cases of generalized Johnson graph include the Kneser graph [Formula: see text] and the Johnson graph [Formula: see text]. These graphs play an important role in coding theory, Ramsey theory, combinatorial geometry and hypergraphs theory. In this paper, we discuss the connectivity properties of the Kneser graph [Formula: see text] and [Formula: see text] by their symmetric properties. Specifically, with the help of some properties of vertex/edge-transitive graphs we prove that [Formula: see text] [Formula: see text] and [Formula: see text] [Formula: see text] are super restricted edge-connected. Besides, we obtain the exact value of the restricted edge-connectivity and the cyclic edge-connectivity of the Kneser graph [Formula: see text] [Formula: see text] and [Formula: see text] [Formula: see text], and further show that the Kneser graph [Formula: see text] [Formula: see text] is super vertex-connected and super cyclically edge-connected.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135535857","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
Inverse Spectral Problems for a Special Acyclic Matrix 一类特殊非循环矩阵的逆谱问题
4区 计算机科学
International Journal of Foundations of Computer Science Pub Date : 2023-09-25 DOI: 10.1142/s0129054123460048
Qifang Su
{"title":"Inverse Spectral Problems for a Special Acyclic Matrix","authors":"Qifang Su","doi":"10.1142/s0129054123460048","DOIUrl":"https://doi.org/10.1142/s0129054123460048","url":null,"abstract":"In this paper, we consider the reconstruction of matrices whose graph is a star with root at the central vertex from given partial eigen data. Three inverse spectral problems are discussed. The necessary and sufficient conditions for the solvability of the problems are studied. Furthermore, the corresponding numerical algorithms are presented. Some numerical examples are also provided to demonstrate the applicability of the results obtained here.","PeriodicalId":50323,"journal":{"name":"International Journal of Foundations of Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135817219","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信