Conferences · eligible papers
ICALP
2021–2025 確定版
2021 · 137 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- 4 vs 7 Sparse Undirected Unweighted Diameter is SETH-Hard at Time n^{4/3}
日本大学: 関与なし（対象大学）
- A Complexity Approach to Tree Algebras: the Bounded Case
日本大学: 関与なし（対象大学）
- A Linear-Time n^{0.4}-Approximation for Longest Common Subsequence
日本大学: 関与なし（対象大学）
- A Rice’s Theorem for Abstract Semantics
日本大学: 関与なし（対象大学）
- A Spectral Independence View on Hard Spheres via Block Dynamics
日本大学: 関与なし（対象大学）
- A Subexponential Algorithm for ARRIVAL
日本大学: 関与なし（対象大学）
- Additive Approximation Schemes for Load Balancing Problems
日本大学: 関与なし（対象大学）
- Algorithms, Reductions and Equivalences for Small Weight Variants of All-Pairs Shortest Paths
日本大学: 関与なし（対象大学）
- Almost-Linear-Time Weighted 𝓁_p-Norm Solvers in Slightly Dense Graphs via Sparsification
日本大学: 関与なし（対象大学）
- Almost-Optimal Deterministic Treasure Hunt in Arbitrary Graphs
日本大学: 関与なし（対象大学）
- An Almost Optimal Edit Distance Oracle
日本大学: 関与なし（対象大学）
- An Efficient Coding Theorem via Probabilistic Representations and Its Applications
日本大学: 関与なし（対象大学）
- An Output-Sensitive Algorithm for Computing the Union of Cubes and Fat Boxes in 3D
日本大学: 関与なし（対象大学）
- Analysis of Smooth Heaps and Slim Heaps
日本大学: 関与なし（対象大学）
- Analytical Differential Calculus with Integration
日本大学: 関与なし（対象大学）
- Application of the Level-2 Quantum Lasserre Hierarchy in Quantum Approximation Algorithms
日本大学: 関与なし（対象大学）
- Approximately Counting Independent Sets of a Given Size in Bounded-Degree Graphs
日本大学: 関与なし（対象大学）
- Approximating Maximum Integral Multiflows on Bounded Genus Graphs
日本大学: 関与なし（対象大学）
- Approximation Algorithms for Min-Distance Problems in DAGs
日本大学: 関与なし（対象大学）
- Arboreal Categories and Resources
日本大学: 関与なし（対象大学）
- Automorphisms and Isomorphisms of Maps in Linear Time
日本大学: 関与なし（対象大学）
- Beating Two-Thirds For Random-Order Streaming Matching
日本大学: 関与なし（対象大学）
- Beyond PCSP(1-in-3, NAE)
日本大学: 関与なし（対象大学）
- Breaking O(nr) for Matroid Intersection
日本大学: 関与なし（対象大学）
- Breaking the 2ⁿ Barrier for 5-Coloring and 6-Coloring
日本大学: 関与なし（対象大学）
- Breaking the Barrier Of 2 for the Competitiveness of Longest Queue Drop
日本大学: 関与なし（対象大学）
- Coboundary and Cosystolic Expansion from Strong Symmetry
日本大学: 関与なし（対象大学）
- Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case
日本大学: 関与なし（対象大学）
- Comparison-Free Polyregular Functions
日本大学: 関与なし（対象大学）
- Computational Characterization of Surface Entropies for ℤ² Subshifts of Finite Type
日本大学: 関与なし（対象大学）
- Conditional Dichotomy of Boolean Ordered Promise CSPs
日本大学: 関与なし（対象大学）
- Constant-Factor Approximation to Deadline TSP and Related Problems in (Almost) Quasi-Polytime
日本大学: 関与なし（対象大学）
- Constructing a Distance Sensitivity Oracle in O(n^2.5794 M) Time
日本大学: 関与なし（対象大学）
- Counting Short Vector Pairs by Inner Product and Relations to the Permanent
日本大学: 関与なし（対象大学）
- Crossing-Optimal Extension of Simple Drawings
日本大学: 関与なし（対象大学）
- Current Algorithms for Detecting Subgraphs of Bounded Treewidth Are Probably Optimal
日本大学: 関与なし（対象大学）
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic
日本大学: 関与なし（対象大学）
- Decision Problems for Second-Order Holonomic Recurrences
日本大学: 関与なし（対象大学）
- Decremental APSP in Unweighted Digraphs Versus an Adaptive Adversary
日本大学: 関与なし（対象大学）
- Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth
日本大学: 関与なし（対象大学）
- Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders
日本大学: 関与なし（対象大学）
- Deterministic Maximum Flows in Simple Graphs
日本大学: 関与なし（対象大学）
- Deterministic Rounding of Dynamic Fractional Matchings
日本大学: 関与なし（対象大学）
- Deterministic and Game Separability for Regular Languages of Infinite Trees
日本大学: 関与なし（対象大学）
- Direct Sum and Partitionability Testing over General Groups
日本大学: 関与なし（対象大学）
- Dynamic Enumeration of Similarity Joins
日本大学: 関与なし（対象大学）
- Dynamic Membership for Regular Languages
日本大学: 関与なし（対象大学）
- Efficient Splitting of Necklaces
日本大学: 関与なし（対象大学）
- Elementary Equivalence Versus Isomorphism in Semiring Semantics
日本大学: 関与なし（対象大学）
- Fast n-Fold Boolean Convolution via Additive Combinatorics
日本大学: 関与なし（対象大学）
- Faster Algorithms for Bounded Liveness in Graphs and Game Graphs
日本大学: 関与なし（対象大学）
- Faster Algorithms for Bounded Tree Edit Distance
日本大学: 関与なし（対象大学）
- Faster Algorithms for Rooted Connectivity in Directed Graphs
日本大学: 関与なし（対象大学）
- Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths
日本大学: 関与なし（対象大学）
- Fault Tolerant Max-Cut
日本大学: 関与なし（対象大学）
- Fine-Grained Hardness for Edit Distance to a Fixed Sequence
日本大学: 関与なし（対象大学）
- Fluted Logic with Counting
日本大学: 関与なし（対象大学）
- Fourier Conjectures, Correlation Bounds, and Majority
日本大学: 関与なし（対象大学）
- Fully Dynamic Algorithms for Minimum Weight Cycle and Related Problems
日本大学: 関与なし（対象大学）
- Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time
日本大学: 関与なし（対象大学）
- Graph Similarity and Homomorphism Densities
日本大学: 関与なし（対象大学）
- Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
日本大学: 関与なし（対象大学）
- Haystack Hunting Hints and Locker Room Communication
日本大学: 関与なし（対象大学）
- High-Girth Near-Ramanujan Graphs with Lossy Vertex Expansion
日本大学: 関与なし（対象大学）
- Higher-Order Model Checking Step by Step
日本大学: 関与なし（対象大学）
- How to Send a Real Number Using a Single Bit (And Some Shared Randomness)
日本大学: 関与なし（対象大学）
- Improved Approximation Factor for Adaptive Influence Maximization via Simple Greedy Strategies
日本大学: 関与なし（対象大学）
- Improved Approximation for Longest Common Subsequence over Small Alphabets
日本大学: 関与なし（対象大学）
- Improved Lower Bounds for Reachability in Vector Addition Systems
日本大学: 関与なし（対象大学）
- Improving Gebauer’s Construction of 3-Chromatic Hypergraphs with Few Edges
日本大学: 関与なし（対象大学）
- Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
日本大学: 関与なし（対象大学）
- Isolating Cuts, (Bi-)Submodularity, and Faster Algorithms for Connectivity
日本大学: 関与なし（対象大学）
- Kernelization, Proof Complexity and Social Choice
日本大学: 関与なし（対象大学）
- Knapsack and Subset Sum with Small Items
日本大学: 関与なし（対象大学）
- LF Successor: Compact Space Indexing for Order-Isomorphic Pattern Matching
日本大学: 関与なし（対象大学）
- Learning Stochastic Decision Trees
日本大学: 関与なし（対象大学）
- Lifting for Constant-Depth Circuits and Applications to MCSP
日本大学: 関与なし（対象大学）
- Linear Time Runs Over General Ordered Alphabets
日本大学: 関与なし（対象大学）
- Local Approximations of the Independent Set Polynomial
日本大学: 関与なし（対象大学）
- Logarithmic Weisfeiler-Leman Identifies All Planar Graphs
日本大学: 関与なし（対象大学）
- Lower Bounds on Dynamic Programming for Maximum Weight Independent Set
日本大学: 関与なし（対象大学）
- Majority vs. Approximate Linear Sum and Average-Case Complexity Below NC¹
日本大学: 関与なし（対象大学）
- Matching on the Line Admits No o(√log n)-Competitive Algorithm
日本大学: 関与なし（対象大学）
- Maximum Matchings and Popularity
日本大学: 関与なし（対象大学）
- Minimum Stable Cut and Treewidth
日本大学: 関与なし（対象大学）
- Minimum-Norm Load Balancing Is (Almost) as Easy as Minimizing Makespan
日本大学: 関与なし（対象大学）
- Multiple Random Walks on Graphs: Mixing Few to Cover Many
日本大学: 関与なし（対象大学）
- Near-Optimal Schedules for Simultaneous Multicasts
日本大学: 関与なし（対象大学）
- Near-Optimal Two-Pass Streaming Algorithm for Sampling Random Walks over Directed Graphs
日本大学: 関与なし（対象大学）
- New Sublinear Algorithms and Lower Bounds for LIS Estimation
日本大学: 関与なし（対象大学）
- New Techniques for Universality in Unambiguous Register Automata
日本大学: 関与なし（対象大学）
- Non-Mergeable Sketching for Cardinality Estimation
日本大学: 関与なし（対象大学）
- On Coresets for Fair Clustering in Metric and Euclidean Spaces and Their Applications
日本大学: 関与なし（対象大学）
- On Counting (Quantum-)Graph Homomorphisms in Finite Fields of Prime Order
日本大学: 関与なし（対象大学）
- On Greedily Packing Anchored Rectangles
日本大学: 関与なし（対象大学）
- On the Approximability of Multistage Min-Sum Set Cover
日本大学: 関与なし（対象大学）
- Online Stochastic Matching with Edge Arrivals
日本大学: 関与なし（対象大学）
- Optimal Fine-Grained Hardness of Approximation of Linear Equations
日本大学: 関与なし（対象大学）
- Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata
日本大学: 関与なし（対象大学）
- Optimal Transformations of Games and Automata Using Muller Conditions
日本大学: 関与なし（対象大学）