Алгоритмы как основной инструмент информатики: их анализ, синтез, оптимизация и классификация. Подходит для статей о конкретных алгоритмических решениях и теории алгоритмов.

см. 004.421 Алгоритмы составления программ


262 публикаций

Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.

Tree Containment Parameterized by Scanwidth
Differentially Private Range Subgraph Counting
Proportionality from Sampled Approvals
On the Complexity of Signed Domination
Express Language Modeling
Enumerating Inclusion-Maximal Arithmetic Progressions
Bit-counting complexity classes
Hardness as an Information Constraint: A Unifying Meta-Complexity Assumption
A note on rounding fractional matchings with constant-factor strong negative correlation
Counting Hamiltonian Paths in 3-Regular Planar Graphs
Proceedings of the 14th edition of the conference on Random Generation of Combinatorial Structures
The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
Multiversion Concurrency Control for Multiversion B-Trees
Engineering Scalable Distributed List Ranking
Quantum Cut Sparsifiers
Bayesian Probing on Graphs
Complexity and Algorithms for Unary Translocation Distance
Quantum Kravchuk Transform using $\mathfrak{su}(2)$ fast-forwarding
Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality
Probabilistically Checking Quantum Proofs, with Interaction
Online Span Minimization for Flexible Uniform Jobs
On the Hardness of Optimal Motion on Trees
$O(n +f(k))$: Truly Linear FPT
Scaling Laws for Neural-Network Quantum States
Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem
Quantum-Classical Equivalence for AND-Functions
Towards Optimal Robustness in Learning-Augmented Paging
Scalable Concurrent Queues for GPU
A Near-Optimal Offline Algorithm for Dynamic All-Pairs Shortest Paths in Planar Digraphs
The Completion-Threshold Framework for Obligatory-Test Scheduling on Multiple Machines
Terminal Steiner tree problem : Complexity and Algorithms
Approximate Algorithms for Chamfer Distance Under Translation
Towards Implementable Quantum Divide and Conquer: A TSP Solver with Improved Exponential Base over Held-Karp
Tomography of quantum states with bounded extent
Worst-Case Update Complexity of the Preisach Extremum Stack
The Preisach Extremum Stack is a Shannon-Minimal Sufficient Statistic for Rate-Independent Functionals
Stepsize Hedging: an Alternative Mechanism for Accelerating Gradient Descent
An Upper Bound on Grothendieck's Constant
Listing Even Cycles Faster than the Submodular-Width Barrier
Incremental BPE Tokenization
Sharp Low-Degree Thresholds for Planted-vs-Planted Testing
A Class of Multipartite Entangled States Based on State Transitions
Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry
What Makes Majority Illusion Easy to Detect?
On the Complexity of Recurrence Evaluation
Recursive Jump Operators and Optimal Proof Systems
Circular Array Data Structure
On Thin Perfect Matchings up to Polylogarithmic Factors
Adversarial Configurations for the ReCom Transition Function
Towards Optimal Robustness in Learning-Augmented Paging
High-Dimensional Expanders, the Sparsest Cut Problem, and Steurer's Conjecture
Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
Search-space Reduction for Boolean MinCSPs via Essential Constraints
Token Rankings are Unforgeable Language Model Signatures
Independence and Domination on Bounded-Treewidth Graphs: Integer, Rational, and Irrational Distances
Randomized separations in black-box TFNP
Quantum Time Lower Bounds by Permutation Invariance
Introduction
Dynamic Breadth First Search with Predictions
The anti-lexicographic SUS-anchor: a near-optimal k=1 sampling scheme
Multiagent Matroid Upgrading: Greedy is Fair and Efficient
Revisiting $O(n \log \log n)$ chaining for anchored edit distance
Ranked MSO-enumeration over compressed words
Planar Perfect Matching Counting is as Hard as Determinants
The Grothendieck Constant is Less Than $\fracπ{2 \log (1+ \sqrt{2})} - 10^{-5}$
An Improved Greedy Approximation for (Metric) $k$-Means
Distributed Gaussian Mean Testing under Communication Constraints: messages, samples, and coins
Algorithms with Polynomially-Improved Approximation Factors for the $2 \rightarrow q$ Norm, and Applications
Engineering Practical Succinct Bit Vectors: A Space-Time Pareto Analysis on Apple Silicon ARM64 Cores
PAC Learning with Bandit Feedback: Sharp Sample Complexity in the Realizable Setting
АЛГОРИТМ ДИАГНОСТИКИ СФЕНОИДИТА
Алгоритмы нелинейного программирования
РАСПАРАЛЛЕЛИВАНИЕ ГИБРИДНОГО АЛГОРИТМА МУРАВЬИНОЙ КОЛОНИИ С ИЗМЕНЯЮЩИМИСЯ С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО АЛГОРИТМА ПАРАМЕТРАМИ
Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't
Diffusion-Robust Optimization over Graphs
Quoridor is PSPACE-Complete
Optimal Bounds, Barriers, and Extensions for Non-Hermitian Bivariate Quantum Signal Processing
Tree Containment Parameterized by Scanwidth
Aspects of Coherence in Dependence Logic
Optimal Rates for Differentially Private Hypothesis Testing with E-values
Residual-Entropy Accounting for Routed Atom-Budgeted Learned Indexes
Elfs, transducers and quantum walks
Robust Statistical Estimators with Bounded Empirical Sensitivity
Optimal $e^{(γ+o(1))n}$-Approximation of the Permanent of Positive Semidefinite Matrices
Исследование эффективности алгоритма саранчи в задачах сегментации изображений
АЛГОРИТМЫ И АЛГОРИТМИЗАЦИЯ
СОПРОВОЖДЕНИЕ МАНЕВРИРУЮЩИХ ЦЕЛЕЙ С ИСПОЛЬЗОВАНИЕМ МНОГОМОДЕЛЬНОГО АЛГОРИТМА С ПЕРЕМЕННОЙ СТРУКТУРОЙ
ПРИМЕНЕНИЕ АЛГОРИТМОВ В ЮРИСПРУДЕНЦИИ
Fast Leaf-to-Ancestor Minimum Query in the Oracle Model
Linear Functional Testing with General Loadings in Sparse Regression: Separation Rates and Computational Barriers
A Radius-Sensitive Approximation Algorithm for Connected Submodular Maximization
Low-degree estimation thresholds in planted hypergraphs and tensor PCA
Improved Guarantees for Heterogeneous Treatment-Effect Estimation via Matrix Completion
On Language Generation in the Limit with Bounded Memory
Tree Search With Predictions
Proper Agnostic Learning of Functions of Halfspaces under Gaussian Marginals
Smoothed Score Queries and the Complexity of Sampling
The Complexity of Nested Reset Counter Systems
Covering vertices by sequential stars
Improved Dual Attack and Trapdoor Sampling via Quantum Rejection Sampling
Parameterized Complexity of Directed Feedback Set Problems in Tournaments
When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
Constant Inapproximability for Fisher Markets
Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity
The Dirichlet Mechanism for rounding with strong negative correlation, with applications
Approximate Algorithms for Chamfer Distance Under Translation
Algorithms with Polynomially-Improved Approximation Factors for the $2 \rightarrow q$ Norm, and Applications
A Note on Approximability of Densest At-Least-k-Subgraph
Entropy Equivalence Testing
Separate Chaining Data Structure
Skip List Data Structure
A Note on Second-Order Expected Maximum-Load Bounds for Binary Linear Hashing
An Approximation Algorithm for Graph Label Selection
Low Soundness Linearity Testing on the Half-Slice
Polynomial-time isomorphism test for groups with abelian Sylow subgroups
2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
A Tight Bound on Localization of Electrical Flows
A Comprehensive Evaluation of Vertex Elimination Algorithms for Algorithmic Differentiation
Compresssed Trie Data Structure
Resource bounded Kučera-Gács Theorems
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
Asymptotic Rank Speedup Theorems, Revisited
Finding a Solution to the Erdős-Ginzburg-Ziv Theorem in Linear Time
On the Complexity of the Minimum-($k,ρ$)-Shortcut Problem
The Gallai Vertex Problem is $Θ_2^p$-Complete
Polyhedral Instability Governs Regret in Online Learning
Risk of Bad Tails: CVaR-Aware Pandora's Box and Prophet Inequality
A Hierarchy of Tinhofer Graphs: Separations and Membership Testing
Learning-Augmented Online Scheduling with Parsimonious Preemption
Fairness in Aggregation: Optimal Top-$k$ and Improved Full Ranking
Tractable Maximization of Budgeted Phylogenetic Diversity on Networks Utilizing Node Scanwidth
Efficient Uniform Sampling of Surjections via their Profiles
Rounding Almost Commuting Hamiltonians
Circuits of Quantum Hashing and Quantum Fourier Transform for a Cactus as a Qubit Connectivity Graph
Creating Robust and Fair Graph Structures for Connectivity and Clustering
Treewidth of the $n \times n$ toroidal grid
Fibonacci Heap Data Structure
Closing a Long-Standing Complexity Gap for Selection: V 3(42) = 50
Efficient Banzhaf-Based Data Valuation for $k$-Nearest Neighbors Classification
Space-Time Trade-off in Integer Linear Scaling Rounded to the Nearest Integer through Multiplicative and Additive Decomposition
Polynomial-Time Robust Multiclass Linear Classification under Gaussian Marginals
Adjacency Matrix Data Structure
Beyond the Half-Approximation: Fair and Efficient Online Class Matching
Ancilla-Efficient QSAMPLE Preparation for Reversible Markov Chains
Reducing the Randomness in Partition Oracles for Bounded Degree Minor-Free Graphs
Optimal Dimension-Free Sampling for Regularized Classification
Leftist Heap Data Structure
Array Data Structure
Unambiguous Parity‐Query Complexity
Other Complexity Classes and Measures
Basic Notions in Computational Complexity
Basic Searching Algorithms
Quoridor is PSPACE-Hard
A sharp interaction-degree threshold for simulating QAOA
Extending CDCL to disjunctions of parity equations
On the Limits of PAC Learning of Networks from Opinion Dynamics
Entropy of pebble automata and space complexity
Tight Lower Bound for Approximating Parametrized Maximum Likelihood Decoding under ETH
Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
Proof Systems Based on Structured Circuits
Simulation of Non-Hermitian Hamiltonians with Bivariate Quantum Signal Processing
Quantum state isomorphism problems for groups
The Secretary Problem with a Stochastic Precursor
Lumberjack: Better Differentially Private Random Forests through Heavy Hitter Detection in Trees
On the Parameterized Complexity of Min-Sum-Radii
Optimal Testing of Reed-Muller Codes with an Online Adversary
Compact Trie Data Structure
Splay Tree Data Structure
Patricia Trie Data Structure
Efficient algorithms and data structures for indexing DNA sequence data
B+-Tree Data Structure
Open Addressing Data Structure
Pairing Heap Data Structure
Distributed Approximate Maximum Matching and Minimum Vertex Cover via Generalized Graph Decomposition
Strong Conflict-Free Vertex-Connection via Twin Cover: Kernelization and Chromatic Bounds
Clustering with Locally Bounded Ignorance
Tighter relaxations for MAP-MRF optimization via Singleton Arc Consistency
Upper Bounds for Symmetric Approximate Bounded Indistinguishability
Non-Redundancy of Low-Arity Symmetric Boolean CSPs
Enhanced and Efficient Reasoning in Large Learning Models
On the Complexity of Discounted Robust MDPs with $L_p$ Uncertainty Sets
Parse indexing for choosing pseudo-MEMs
Tolerant Testing for Unique Games
On efficient robust regression with subquadratic samples
Linear Kernels for $l$-Exact Component Order Connectivity
Deterministic Single Exponential Time Algorithms for Co-Path Packing and Co-Path Set Parameterized by Treewidth
Block-Sphere Vector Quantization
Optimizing for Fairness in Generalized Kidney Exchange: Theory and Computations
Fast Leaf-to-Ancestor Minimum Query in the Oracle Model
Finite Sample Bounds for Learning with Score Matching
Stochastic Matching via Local Sparsification
Semi-Streaming Algorithms for Submodular Maximization under Random Arrival Order
Graphs and Graph Algorithms
DialSort: Non-Comparative Integer Sorting via the Self-Indexing Principle: Architecture, Implementation, and Substrate-Aware Analysis
Improved Parallel Algorithms for EF1 Allocations
Online Graph Embedding in Star Graphs
Iterative Chow Filtering for Learning with Distribution Shift
Online Orthogonal Vectors Revisited
The stochastic block model has the overlap graph property for modularity
Chasing Small Sets Optimally Against Adaptive Adversaries
Performance bounds for nearest neighbor search with k-d trees
Streaming Complexity Separations for Dense and Sparse Graphs
Towards infinite PCSP: a dichotomy for monochromatic cliques
Multi-Prover Interactive Proof Systems with Leakage
Optimal Inapproximability of Generalized Linear Equations over a Finite Group
Modelling Network Resilience: The Complexity of Some Graph Division Games
The Expressive Power of Low Precision Softmax Transformers with (Summarized) Chain-of-Thought
Complexity of Finding and Enumerating Interconnection Trees
An Entropy-Governed Speedup for Quantum Algorithms on Local Hamiltonians
Computational Complexity
Correction to “Unambiguous Parity‐Query Complexity”
Fast and Compact Graph Cuts for the Boykov-Kolmogorov Algorithm
Low-Cost Arborescence Under Edge Faults
Min-Max Optimization Requires Exponentially Many Queries
Provable Quantization with Randomized Hadamard Transform
Hybrid Sketching Methods for Dynamic Connectivity on Sparse Graphs
The Robotaxi Placement Problem: Minimizing Expected ETA for Stochastic Demand
Optimizing Line Segment Inspection with Limited-Range Drones
More efficient PBWT prefix-array access via batching
B Complexity Analysis
Basic Searching Algorithms
Algorithms
CorBin: Generate High-Dimensional Binary Data with Correlation Structures
COLLECTION DATA STRUCTURES AND ALGORITHMS
Algorithms+Data Structures = Programs
Quantum algorithms for path and cycle containment problems
VP, VNP and Algebraic Branching Programs over Min-Plus Semirings
Understanding Robust Catalytic Computing
Robustness and Transferability of Pix2Geomodel for Bidirectional Facies Property Translation in a Complex Reservoir
An $\widetilde{O} (n^{3/7})$ Round Parallel Algorithm for Matroid Bases
Rigid homotopies for sampling from algebraic varieties: a Waring structure complexity model
The Scaling Properties of Implicit Deductive Reasoning in Transformers
Adjacency List Data Structue
Binary Heap Data Structure
Trie Data Structure
Advanced Sorting Algorithms
RETRACTION: Interactive Algorithms in Complex Image Processing Systems Based on Big Data
Basic Sorting Algorithms
The tractability landscape of diffusion alignment: regularization, rewards, and computational primitives
Connectivity augmentation is fixed-parameter tractable
Maximizing Reachability via Shifting of Temporal Paths
On the LSH Distortion of Ulam and Cayley Similarities
Quad Tree Data Structure
Sorted Array Data Structure
KD-Tree Data Structure
Tracked Array Data Structure
Complexity-scalable transform coding using variable complexity algorithms
Basic Sorting Algorithms
Advanced Algorithms
Parameterized Complexity of Generalized Vertex Cover Problems
Resilient Algorithms and Data Structures
Complexity of Algorithms
Complexity Analysis
Algorithms, Data Structures, and Complexity: A Complexity-First Pedagogical Framework
A case study in comparison based complexity: Finding the nearest value(s)
On the Complexity of Scheduling Conditional Real-Time Code
Complexity Classes
Deterministically finding an element of large order in $\mathbb{Z}_N^*$
A Scalable and Unified Framework to Weighted Rank Aggregation
Dynamic Edge Coloring of Forests
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
Algorithms And Data Structures For Association Rule Mining And Its Complexity Analysis