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

Sci. Ann. Comput. Sci.最新文献

筛选
英文 中文
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation 一种改进的最大权值二部匹配分解算法及其实验评价
Sci. Ann. Comput. Sci. Pub Date : 2020-08-31 DOI: 10.7561/SACS.2020.1.39
Shibsankar Das
{"title":"A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation","authors":"Shibsankar Das","doi":"10.7561/SACS.2020.1.39","DOIUrl":"https://doi.org/10.7561/SACS.2020.1.39","url":null,"abstract":"Let G be an undirected bipartite graph with positive integer weights on the edges. We refine the existing decomposition theorem originally proposed by Kao et al., for computing maximum weight bipartite matching. We apply it to design an efficient version of the decomposition algorithm to compute the weight of a maximum weight bipartite matching of G in O(|V |W /k(|V |, W /N))-time by employing an algorithm designed by Feder and Motwani as a subroutine, where |V | and N denote the number of nodes and the maximum edge weight of G, respectively and k(x, y) = log x/ log(x 2 /y). The parameter W is smaller than the total edge weight W, essentially when the largest edge weight differs by more than one from the second largest edge weight in the current working graph in any decomposition step of the algorithm. In best case W = O(|E|) where |E| be the number of edges of G and in worst case W = W, that is, |E| ≤ W ≤ W. In addition, we talk about a scaling property of the algorithm and research a better bound of the parameter W. An experimental evaluation on randomly generated data shows that the proposed improvement is significant in general.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125413687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Complete Axiomatisation for Probabilistic Trace Equivalence 概率迹等价的一个完全公理化
Sci. Ann. Comput. Sci. Pub Date : 2020-08-31 DOI: 10.7561/SACS.2020.1.69
Ferry Timmers, J. F. Groote
{"title":"A Complete Axiomatisation for Probabilistic Trace Equivalence","authors":"Ferry Timmers, J. F. Groote","doi":"10.7561/SACS.2020.1.69","DOIUrl":"https://doi.org/10.7561/SACS.2020.1.69","url":null,"abstract":"We provide an axiomatisation for =pTr , a variant of probabilistic trace equivalence as formulated by Bernardo et al., 2014, in the setting of the alternating model of Hansson. The equivalence considers traces individually instead of trace distributions. We show that our axiomatisation is sound and also complete for recursion-free sequential processes. Due to the nature of the trace equivalence, the axiomatisation is particularly complex.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127767607","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs 二部图中最大权匹配权的最优下界
Sci. Ann. Comput. Sci. Pub Date : 2020-08-31 DOI: 10.7561/SACS.2020.1.25
Shibsankar Das
{"title":"An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs","authors":"Shibsankar Das","doi":"10.7561/SACS.2020.1.25","DOIUrl":"https://doi.org/10.7561/SACS.2020.1.25","url":null,"abstract":"The problem of computing a maximum weight matching in a bipartite graph is one of the fundamental algorithmic problems that has played an important role in the development of combinatorial optimization and algorithmics. Let Gw,σ is a collection of all weighted bipartite graphs, each having σ and w as the size of each of the non-empty subset of the vertex partition and the total weight of the graph, respectively. We give a tight lower bound dw−σ σ e + 1 for the set {Wt(mwm(G)) | G ∈ Gw,σ} which denotes the collection of weights of maximum weight bipartite matchings of all the graphs in Gw,σ.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114984493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers 有理数抽象数据类型的最一般代数规范
Sci. Ann. Comput. Sci. Pub Date : 2020-08-31 DOI: 10.7561/SACS.2020.1.1
J. Bergstra
{"title":"Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers","authors":"J. Bergstra","doi":"10.7561/SACS.2020.1.1","DOIUrl":"https://doi.org/10.7561/SACS.2020.1.1","url":null,"abstract":"The notion of a most general algebraic specification of an arithmetical datatype of characteristic zero is introduced.Three examples of such specifications are given. A preference is formulated for a specification by means of infinitely many equations which can be presented via a finite number of so-called schematic equations phrased in terms of an infinite signature. On the basis of the latter specification three topics are discussed: (i) fracterm decomposition operators and the numerator paradox, (ii) foundational specifications of arithmetical datatypes, and (iii) poly-infix operations.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133089670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Small Longest Tandem Scattered Subsequences 小最长串联分散子序列
Sci. Ann. Comput. Sci. Pub Date : 2020-06-24 DOI: 10.7561/SACS.2021.1.79
L. Russo, Alexandre P. Francisco
{"title":"Small Longest Tandem Scattered Subsequences","authors":"L. Russo, Alexandre P. Francisco","doi":"10.7561/SACS.2021.1.79","DOIUrl":"https://doi.org/10.7561/SACS.2021.1.79","url":null,"abstract":"We consider the problem of identifying tandem scattered subsequences within a string. Our algorithm identifies a longest subsequence which occurs twice without overlap in a string. This algorithm is based on the Hunt-Szymanski algorithm, therefore its performance improves if the string is not self similar, which occurs naturally on strings over large alphabets. Our algorithm relies on new results for data structures that support dynamic longest increasing sub-sequences. In the process we also obtain improved algorithms for the decremental string comparison problem.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125760391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Identifying and Querying Regularly Visited Places 识别和查询经常访问的地方
Sci. Ann. Comput. Sci. Pub Date : 2019-12-30 DOI: 10.7561/sacs.2019.2.185
A. Rudi
{"title":"Identifying and Querying Regularly Visited Places","authors":"A. Rudi","doi":"10.7561/sacs.2019.2.185","DOIUrl":"https://doi.org/10.7561/sacs.2019.2.185","url":null,"abstract":"A stay point of a moving entity is a region in which it spends a significant amount of time. In this paper, we identify all stay points of an entity in a certain time interval, where the entity is allowed to leave the region but it should return within a given time limit. This definition of stay points seems more natural in many applications of trajectory analysis than those that do not limit the time of entity’s absence from the region. We present an O(n log n) algorithm for trajectories in R with n vertices and a (1 + )-approximation algorithm for trajectories in R to identify all such stay points. Our algorithm runs in O(kn), where k depends on and the ratio of the duration of the trajectory to the allowed gap time. We also present an algorithm to answer stay point queries in logarithmic time, after an O(kn log n) time preprocessing.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122398046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Probabilistic process algebra and strategic interleaving 概率过程代数与策略交错
Sci. Ann. Comput. Sci. Pub Date : 2019-12-20 DOI: 10.7561/sacs.2020.2.205
K. Middelburg
{"title":"Probabilistic process algebra and strategic interleaving","authors":"K. Middelburg","doi":"10.7561/sacs.2020.2.205","DOIUrl":"https://doi.org/10.7561/sacs.2020.2.205","url":null,"abstract":"We first present a probabilistic version of ACP that rests on the principle that probabilistic choices are always resolved before choices involved in alternative composition and parallel composition are resolved and then extend this probabilistic version of ACP with a form of interleaving in which parallel processes are interleaved according to what is known as a process-scheduling policy in the field of operating systems. We use the term strategic interleaving for this more constrained form of interleaving. The extension covers probabilistic process-scheduling policies.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127464957","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Generalising KAT to verify weighted computations 推广KAT来验证加权计算
Sci. Ann. Comput. Sci. Pub Date : 2019-11-04 DOI: 10.7561/sacs.2019.2.141
Leandro Gomes, A. Madeira, L. Barbosa
{"title":"Generalising KAT to verify weighted computations","authors":"Leandro Gomes, A. Madeira, L. Barbosa","doi":"10.7561/sacs.2019.2.141","DOIUrl":"https://doi.org/10.7561/sacs.2019.2.141","url":null,"abstract":"Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). On this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT [22], we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are defined: FSET(T), FREL(K,T) and FLANG(K,T) over complete residuated lattices K and T, and M(n,A) over a GKAT or I-GKAT A. As a final exercise, the paper discusses some program equivalence proofs in a graded context.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127558564","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Enumerating Collinear Points in Higher Dimensions 高维共线点枚举
Sci. Ann. Comput. Sci. Pub Date : 2019-09-10 DOI: 10.7561/SACS.2019.1.81
A. Rudi, R. A. Rufai
{"title":"Enumerating Collinear Points in Higher Dimensions","authors":"A. Rudi, R. A. Rufai","doi":"10.7561/SACS.2019.1.81","DOIUrl":"https://doi.org/10.7561/SACS.2019.1.81","url":null,"abstract":"In this paper, we study the problem of reporting all maximal collinear subsets of a point set S in R for d ≥ 3. An algorithm for this problem can be used to detect if any three of the points are collinear or find the line that intersects the most points in S. Besides, obtaining such maximal subsets is necessary for some problems about the collinearity relation among points, such as when covering them with the fewest lines. We present practical algorithms to find all maximal collinear subsets of a set of n points, including one with space complexity O(n) and time complexity O(dn log n), and one with space complexity O(n) and time complexity O(dn).","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124072527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Weighted Context-Free Grammars Over Bimonoids 二元类上的加权上下文无关语法
Sci. Ann. Comput. Sci. Pub Date : 2019-09-10 DOI: 10.7561/SACS.2019.1.59
George Rahonis, Faidra Torpari
{"title":"Weighted Context-Free Grammars Over Bimonoids","authors":"George Rahonis, Faidra Torpari","doi":"10.7561/SACS.2019.1.59","DOIUrl":"https://doi.org/10.7561/SACS.2019.1.59","url":null,"abstract":"We introduce and investigate weighted context-free grammars over an arbitrary bimonoid K. Thus, we do not assume that the operations of K are commutative or idempotent or they distribute over each other. We prove a Chomsky-Schützenberger type theorem for the series generated by our grammars. Moreover, we show that the class of series generated by weighted right-linear grammars over a linearly ordered alphabet Σ and K coincides with that of recognizable series over Σ and K.","PeriodicalId":394919,"journal":{"name":"Sci. Ann. Comput. Sci.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122984270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
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学术官方微信