#Computational Complexity
Latest news articles tagged with "Computational Complexity". Follow the timeline of events, related topics, and entities.
Articles (4)
-
πΊπΈ The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
[USA]
arXiv:2603.10139v1 Announce Type: cross Abstract: Every formal grammar defines a language and can in principle be used in three ways: to generate strings (production), to recognize them (parsing), or...
Related: #Formal Language Theory -
πΊπΈ A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
[USA]
arXiv:2508.21513v3 Announce Type: replace-cross Abstract: Graph Neural Networks (GNNs) have gathered increasing interest as learnable solvers of Boolean Satisfiability Problems (SATs), operating on g...
Related: #Machine Learning -
πΊπΈ Intermediate Results on the Complexity of STRIPS$_{1}^{1}$
[USA]
arXiv:2602.08708v1 Announce Type: new Abstract: This paper is based on Bylander's results on the computational complexity of propositional STRIPS planning. He showed that when only ground literals ar...
Related: #Computer Science, #Artificial Intelligence -
πΊπΈ The Median is Easier than it Looks: Approximation with a Constant-Depth, Linear-Width ReLU Network
[USA]
arXiv:2602.07219v1 Announce Type: cross Abstract: We study the approximation of the median of $d$ inputs using ReLU neural networks. We present depth-width tradeoffs under several settings, culminati...
Related: #Neural Networks, #Machine Learning Theory
Key Entities (2)
- SAT solver (1 news)
- Graph neural network (1 news)
About the topic: Computational Complexity
The topic "Computational Complexity" aggregates 4+ news articles from various countries.