Complexity Classes

Feeds to Scour
SubscribedAll
Scoured 73 posts in 33.4 ms

Complexity and Algorithms for Unary Translocation Distance

 💻CS  Content type: Academic
arxiv.org·

A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP

 ⏱️Computational Complexity
zenodo.org··Hacker News

Show HN: TuringLLM – a LLM-powered Universal Turing machine

 💻CS  Content type: Code
github.com··Hacker News

Turing universal neural networks do not require global clocks

 💻CS  Content type: Academic
nature.com··Hacker News

Odd Cycle Transversal in $P_k$-Free Graphs

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

 🧮Lean4  Content type: Code
github.com··Hacker News

Optimal Regret Exponents for Bayesian Statistical Decision Problems

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

On the Complexity of the Bi-infinite Post Correspondence Problem

 💻CS  Content type: Academic
arxiv.org·

Towards Implementable Quantum Divide and Conquer: A TSP Solver with Improved Exponential Base over Held-Karp

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

The Arithmetic Circuit Combinatorial Nullstellensatz is NP-hard

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

Polynomial-time satisfiability for a special case of Positive$\wedge$Negative

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems

 💻CS  Content type: Academic
arxiv.org·

Dimensionality Reduction for Cyberattack Classification: A Comparative Evaluation of PCA and Linear Predictive Coding

 💻CS  Content type: Academic
arxiv.org·

Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

Quantum Time Lower Bounds by Permutation Invariance

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

Probabilistically Checking Quantum Proofs, with Interaction

 💻CS  Content type: Academic
arxiv.org·

Temporal matching in trees

 ⏱️Computational Complexity  Content type: Academic
arxiv.org·

From Estimates to Schedules: Learning-Augmented Restricted Assignment

 🧮SMT Solvers  Content type: Academic
arxiv.org·

Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization

 💻CS  Content type: Academic
arxiv.org·

DBHN-Net: Dual-Branch Hybrid Neural Network For Low-Complexity Monaural Speech Enhancement

 💻CS  Content type: Academic
arxiv.org·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help