Subrata Dasgupta. The Second Age of Computer Science: From Algol Genes to Neural Nets. xxv + 326 pp., bibl., index. Oxford: Oxford University Press, 2018. £28.99 (cloth). ISBN 9780190843861.

Isis ◽  
2020 ◽  
Vol 111 (2) ◽  
pp. 439-440
Author(s):  
Cyrus C. M. Mody
Keyword(s):  
Computer Science ◽  
Neural Nets ◽  
Oxford University ◽  
Oxford University Press

Bipartite graphs as polynomials and polynomials as bipartite graphs

2020 ◽  
pp. 2150083
Author(s):  
Andrey Grinblat ◽  
Viktor Lopatkin
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Bipartite Graph ◽  
Bipartite Graphs ◽  
Zariski Topology ◽  
Oxford University ◽  
Models Of Concurrency ◽  
Polynomial Formula ◽  
Logic In Computer Science ◽  
Oxford University Press

The aim of this paper is to show that any finite undirected bipartite graph can be considered as a polynomial [Formula: see text], and any directed finite bipartite graph can be considered as a polynomial [Formula: see text], and vise verse. We also show that the multiplication in the semirings [Formula: see text], [Formula: see text] corresponds to an operation of the corresponding graphs. This operation is exactly the product of Petri nets in the sense of Winskel [G. Winskel and M. Nielsen, Models of concurrency, in Handbook of Logic in Computer Science, Vol. 4, eds. Abamsky, Gabbay and Maibaum (Oxford University Press, 1995), pp. 1–148]. As an application, we give an approach to dividing in the semirings [Formula: see text], [Formula: see text], and a criteria for parallalization of Petri nets. Finally, we endow the set of all bipartite graphs with the Zariski topology.

Sign in / Sign up

Export Citation Format

Share Document