Skip to main content
SpringerLink
Log in

Theory and Applications of Models of Computation

17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Ding-Zhu Du

    1. University of Texas at Dallas, Richardson, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Donglei Du

    1. University of New Brunswick, Fredericton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Chenchen Wu

    1. Tianjin University of Technology, Tianjin, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Dachuan Xu

    1. Beijing University of Technology, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13571)

Included in the following conference series:

Conference proceedings info: TAMC 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Maximization of k-Submodular Function with a Matroid Constraint

    • Yunjing Sun, Yuezhu Liu, Min Li
    Pages 1-10

  3. Maximizing Approximately Non-k-Submodular Monotone Set Function with Matroid Constraint

    • Yanjun Jiang, Yijing Wang, Ruiqi Yang, Weina Ye
    Pages 11-20

  4. Time-of-Use Scheduling Problem with Equal-Length Jobs

    • Vincent Chau, Chenchen Fu, Yan Lyu, Weiwei Wu, Yizheng Zhang
    Pages 21-31

  5. Online Weakly DR-Submodular Optimization with Stochastic Long-Term Constraints

    • Junkai Feng, Ruiqi Yang, Yapu Zhang, Zhenning Zhang
    Pages 32-42

  6. Physical ZKP for Makaro Using a Standard Deck of Cards

    • Suthee Ruangwises, Toshiya Itoh
    Pages 43-54

  7. Characterization of the Imbalance Problem on Complete Bipartite Graphs

    • Steven Ge, Toshiya Itoh
    Pages 55-66

  8. New Algorithms for a Simple Measure of Network Partitioning

    • Xueyang Zhao, Binghao Yan, Peng Zhang
    Pages 67-78

  9. On Two Types of Concept Lattices in the Theory of Numberings

    • Nikolay Bazhenov, Manat Mustafa, Anvar Nurakunov
    Pages 79-92

  10. Computing Connected-k-Subgraph Cover with Connectivity Requirement

    • Pengcheng Liu, Zhao Zhang, Yingli Ran, Xiaohui Huang
    Pages 93-102

  11. Analyzing the 3-path Vertex Cover Problem in Planar Bipartite Graphs

    • Sangram K. Jena, K. Subramani
    Pages 103-115

  12. Competition-Based Generalized Self-profit Maximization in Dual-Attribute Networks

    • Liman Du, Wenguo Yang, Suixiang Gao
    Pages 116-127

  13. Largest Convex Hulls for Constant Size, Convex-Hull Disjoint Clusters

    • Xuehou Tan, Rong Chen
    Pages 128-139

  14. Two-Stage Submodular Maximization Under Knapsack and Matroid Constraints

    • Zhicheng Liu, Jing Jin, Donglei Du, Xiaoyan Zhang
    Pages 140-154

  15. \((\mathbb {Z},\text {succ},U), (\mathbb {Z},E,U)\), and Their CSP’s

    • William Gasarch, Michael Laskowski, Shaopeng Zhu
    Pages 155-175

  16. Circle Graph Isomorphism in Almost Linear Time

    • Vít Kalisz, Pavel Klavík, Peter Zeman
    Pages 176-188

  17. The Exact Subset MultiCover Problem

    • Emile Benoist, Guillaume Fertin, Géraldine Jean
    Pages 189-200

  18. Hide a Liar: Card-Based ZKP Protocol for Usowan

    • Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
    Pages 201-217

  19. Complexity Analysis of a Stochastic Variant of Generalized Alternating Direction Method of Multipliers

    • Jia Hu, Tiande Guo, Congying Han
    Pages 218-236

  20. A 3/4 Differential Approximation Algorithm for Traveling Salesman Problem

    • Yuki Amano, Kazuhisa Makino
    Pages 237-248
Back to top

Other volumes

  1. Theory and Applications of Models of Computation

Keywords

About this book

This book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022.

The 33 full papers were carefully reviewed and selected from 75 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory, and foundations of artificial intelligence.

Editors and Affiliations

  • University of Texas at Dallas, Richardson, USA

    Ding-Zhu Du

  • University of New Brunswick, Fredericton, Canada

    Donglei Du

  • Tianjin University of Technology, Tianjin, China

    Chenchen Wu

  • Beijing University of Technology, Beijing, China

    Dachuan Xu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation