Skip to main content
SpringerLink
Log in

Theory and Applications of Models of Computation

16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Jianer Chen

    1. Department of Computer Science, Texas A&M University, College Station, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Qilong Feng

    1. School of Computer Science and Engineering, Central South University, Changsha, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jinhui Xu

    1. Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, USA

    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 12337)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TAMC 2020.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (37 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Semilattices of Punctual Numberings

    • Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
    Pages 1-12

  3. Partial Sums on the Ultra-Wide Word RAM

    • Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen
    Pages 13-24

  4. Securely Computing the n-Variable Equality Function with 2n Cards

    • Suthee Ruangwises, Toshiya Itoh
    Pages 25-36

  5. Polynomial Kernels for Paw-Free Edge Modification Problems

    • Yixin Cao, Yuping Ke, Hanchun Yuan
    Pages 37-49

  6. Floorplans with Walls

    • Katsuhisa Yamanaka, Shin-ichi Nakano
    Pages 50-59

  7. A Primal-Dual Randomized Algorithm for the Online Weighted Set Multi-cover Problem

    • Wenbin Chen, Fufang Li, Ke Qi, Miao Liu, Maobin Tang
    Pages 60-68

  8. Sumcheck-Based Delegation of Quantum Computing to Rational Server

    • Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani
    Pages 69-81

  9. Online Removable Knapsack Problems for Integer-Sized Items

    • Kanaho Hanji, Hiroshi Fujiwara, Hiroaki Yamamoto
    Pages 82-93

  10. An Improved Approximation Algorithm for the Prize-Collecting Red-Blue Median Problem

    • Zhen Zhang, Yutian Guo, Junyu Huang
    Pages 94-106

  11. LP-Based Algorithms for Computing Maximum Vertex-Disjoint Paths with Different Colors

    • Yunyun Deng, Yi Chen, Kewen Liao, Longkun Guo
    Pages 107-118

  12. A Constant Factor Approximation for Lower-Bounded k-Median

    • Yutian Guo, Junyu Huang, Zhen Zhang
    Pages 119-131

  13. Reverse Mathematics, Projective Modules and Invertible Modules

    • Huishan Wu
    Pages 132-143

  14. Two-Stage Submodular Maximization Problem Beyond Non-negative and Monotone

    • Zhicheng Liu, Hong Chang, Ran Ma, Donglei Du, Xiaoyan Zhang
    Pages 144-155

  15. Optimal Matroid Bases with Intersection Constraints: Valuated Matroids, M-convex Functions, and Their Applications

    • Yuni Iwamasa, Kenjiro Takazawa
    Pages 156-167

  16. On the Complexity of Acyclic Modules in Automata Networks

    • Kévin Perrot, Pacôme Perrotin, Sylvain Sené
    Pages 168-180

  17. Eternal Connected Vertex Cover Problem

    • Toshihiro Fujito, Tomoya Nakamura
    Pages 181-192

  18. Parametric Streaming Two-Stage Submodular Maximization

    • Ruiqi Yang, Dachuan Xu, Longkun Guo, Dongmei Zhang
    Pages 193-204

  19. Approximation Guarantees for Deterministic Maximization of Submodular Function with a Matroid Constraint

    • Xin Sun, Dachuan Xu, Longkun Guo, Min Li
    Pages 205-214

  20. A Novel Initialization Algorithm for Fuzzy C-means Problem

    • Qian Liu, Jianxin Liu, Min Li, Yang Zhou
    Pages 215-225
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 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020.

The 37 full papers were carefully reviewed and selected from 83 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

  • Department of Computer Science, Texas A&M University, College Station, USA

    Jianer Chen

  • School of Computer Science and Engineering, Central South University, Changsha, China

    Qilong Feng

  • Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, USA

    Jinhui Xu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation