English
Related papers

Related papers: NP-Completeness of Deterministic Communication Com…

200 papers

Deep learning has advanced from fully connected architectures to structured models organized into components, e.g., the transformer composed of positional elements, modular architectures divided into slots, and graph neural nets made up of…

Machine Learning · Computer Science 2021-07-13 Dianbo Liu , Alex Lamb , Kenji Kawaguchi , Anirudh Goyal , Chen Sun , Michael Curtis Mozer , Yoshua Bengio

We consider the process consisting of preparation, transmission through a quantum channel, and subsequent measurement of quantum states. The communication complexity of the channel is the minimal amount of classical communication required…

Quantum Physics · Physics 2014-11-21 Alberto Montina , Stefan Wolf

Modern statistical learning theory and deep learning characterize generalization primarily in terms of continuous capacity control (e.g., norm-based regularization, margin maximization, low-rank bias). While highly successful in continuous…

Machine Learning · Computer Science 2026-05-29 Dongsung Huh

Answer set programming (ASP) is a form of declarative programming that allows to succinctly formulate and efficiently solve complex problems. An intuitive extension of this formalism is communicating ASP, in which multiple ASP programs…

Logic in Computer Science · Computer Science 2011-09-13 Kim Bauters , Jeroen Janssen , Steven Schockaert , Dirk Vermeir , Martine De Cock

It is well-known that the training of Deep Neural Networks (DNN) can be formalized in the language of optimal control. In this context, this paper leverages classical turnpike properties of optimal control problems to attempt a quantifiable…

Machine Learning · Computer Science 2021-01-11 Timm Faulwasser , Arne-Jens Hempel , Stefan Streif

We show that the problem of constructing tree-structured descriptions of data layouts that are optimal with respect to space or other criteria from given sequences of displacements, can be solved in polynomial time. The problem is relevant…

Data Structures and Algorithms · Computer Science 2015-07-01 Robert Ganian , Martin Kalany , Stefan Szeider , Jesper Larsson Träff

Information-theoretic methods have proven to be a very powerful tool in communication complexity, in particular giving an elegant proof of the linear lower bound for the two-party disjointness function, and tight lower bounds on…

Computational Complexity · Computer Science 2014-07-22 Troy Lee , Nikos Leonardos , Michael Saks , Fengming Wang

We optimize pipeline parallelism for deep neural network (DNN) inference by partitioning model graphs into $k$ stages and minimizing the running time of the bottleneck stage, including communication. We give practical and effective…

Machine Learning · Computer Science 2024-06-05 Aaron Archer , Matthew Fahrbach , Kuikui Liu , Prakash Prabhu

In traditional software programs, it is easy to trace program logic from variables back to input, apply assertion statements to block erroneous behavior, and compose programs together. Although deep learning programs have demonstrated…

Machine Learning · Computer Science 2021-10-27 Mike Wu , Noah Goodman , Stefano Ermon

A caveat to many applications of the current Deep Learning approach is the need for large-scale data. One improvement suggested by Kolmogorov Complexity results is to apply the minimum description length principle with computationally…

Machine Learning · Computer Science 2022-08-25 Brieuc Pinon , Raphaël Jungers , Jean-Charles Delvenne

In this paper, we take a unified approach for network information theory and prove a coding theorem, which can recover most of the achievability results in network information theory that are based on random coding. The final single-letter…

Information Theory · Computer Science 2015-05-22 Si-Hyeon Lee , Sae-Young Chung

We reduce the problem of proving deterministic and nondeterministic Boolean circuit size lower bounds to the analysis of certain two-dimensional combinatorial cover problems. This is obtained by combining results of Razborov (1989),…

Computational Complexity · Computer Science 2025-03-19 Bruno P. Cavalar , Igor C. Oliveira

Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satisfiability threshold has centered around the structure and…

Computational Complexity · Computer Science 2007-10-03 Parikshit Gopalan , Phokion G. Kolaitis , Elitza Maneva , Christos H. Papadimitriou

Semantic communication is a novel communication paradigm that focuses on the transportation and delivery of the \emph{meaning} of messages. Recent results have verified that a graphical structure provides the most expressive and…

Information Theory · Computer Science 2025-11-14 Yiwei Liao , Shurui Tu , Yujie Zhou , Dongzi Jin , Yong Xiao , Yingyu Li

Deterministic linear network coding (DLNC) is an important family of network coding techniques for wireless packet broadcast. In this paper, we show that DLNC is strongly related to and can be effectively studied using matroid theory…

Information Theory · Computer Science 2015-06-04 Mingchao Yu , Parastoo Sadeghi , Neda Aboutorab

The basic framework of depth completion is to predict a pixel-wise dense depth map using very sparse input data. In this paper, we try to solve this problem in a more effective way, by reformulating the regression-based depth estimation…

Computer Vision and Pattern Recognition · Computer Science 2021-04-16 Byeong-Uk Lee , Kyunghyun Lee , In So Kweon

By replacing standard non-linearities with polynomial activations, Polynomial Neural Networks (PNNs) are pivotal for applications such as privacy-preserving inference via Homomorphic Encryption (HE). However, training PNNs effectively…

Machine Learning · Computer Science 2025-05-20 Forsad Al Hossain , Tauhidur Rahman

This paper investigates the extension complexity of polytopes by exploiting the correspondence between non-negative factorizations of slack matrices and randomized communication protocols. We introduce a geometric characterization of…

Discrete Mathematics · Computer Science 2026-02-13 M. Szusterman

Recently, deep learned enabled end-to-end (E2E) communication systems have been developed to merge all physical layer blocks in the traditional communication systems, which make joint transceiver optimization possible. Powered by deep…

Signal Processing · Electrical Eng. & Systems 2021-06-09 Huiqiang Xie , Zhijin Qin , Geoffrey Ye Li , Biing-Hwang Juang

In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems (nowadays usually called Boolean constraint satisfaction problems) and…

Computational Complexity · Computer Science 2007-05-23 Elmar Böhler , Edith Hemaspaandra , Steffen Reith , Heribert Vollmer